Proposition (philosophie)Une proposition est en philosophie ce qui dans un énoncé est susceptible d'être conservé lors d'une traduction et de recevoir une valeur de vérité, c'est-à-dire d'être vrai ou faux. Un exemple courant pour désigner ce qu'est une proposition par rapport à un énoncé ou à une phrase est de comparer les deux énoncés ou phrases suivantes : « Il pleut. » « It's raining. » Ces deux énoncés ou phrases ont la même proposition, à savoir qu'il pleut. Un autre exemple courant dans le domaine est de comparer « La neige est blanche » et « Snow is white ».
Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
Formule propositionnelleEn logique mathématique une proposition, ou formule propositionnelle, ou expression propositionnelle est une expression construite à partir de connecteurs et de variables propositionnelles. En logique propositionnelle classique, une formule propositionnelle, ou expression propositionnelle, est une formule bien formée qui possède une valeur de vérité. Si les valeurs de toutes les variables propositionnelles dans une formule propositionnelle sont données, une unique valeur de vérité peut être déterminée.
Variable propositionnelleUne variable est représentée par un symbole qui définit une quantité qui peut prendre n'importe quelle valeur dans un ensemble de valeurs. En logique mathématique, une variable propositionnelle est un symbole qui désigne une proposition dans le calcul propositionnel, c'est une variable qui peut être remplacée par une proposition vraie ou fausse ou par une formule qui est elle-même composée de variables propositionnelles et donc qui peut prendre parfois la valeur vraie et parfois la valeur faux.
Attitude propositionnelleUne attitude propositionnelle est la manière dont un sujet se comporte par rapport à une proposition. Les attitudes propositionnelles les plus courantes sont croire que p, dire que p, penser que p, désirer que p... où p est la proposition qui est crue, dite, pensée ou désirée. Les attitudes propositionnelles sont un sujet d'étude de la philosophie de la logique depuis la création avec Frege et Russell de la logique mathématique. Celle-ci obéit à une règle qui est le principe de substitution.
Atomic sentenceIn logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example, "The dog ran" is an atomic sentence in natural language, whereas "The dog ran and the cat hid" is a molecular sentence in natural language. From a logical analysis point of view, the truth or falsity of sentences in general is determined by only two things: the logical form of the sentence and the truth or falsity of its simple sentences.
PhraseEn grammaire, une phrase peut être considérée comme un ensemble autonome, réunissant des unités syntaxiques organisées selon différents réseaux de relations plus ou moins complexes appelés subordination, coordination ou juxtaposition. D'un point de vue acoustique ou visuel, cependant (c'est-à-dire, aussi bien à l'oral qu'à l'écrit), la phrase apparaît comme une succession de mots (de même qu'un train apparaît comme une succession de wagons).
LuneLa Lune, ou Terre I, est l'unique satellite naturel permanent de la planète Terre. Il s'agit du cinquième plus grand satellite naturel du Système solaire, et du plus grand des satellites planétaires par rapport à la taille de la planète autour de laquelle il orbite. Elle est le deuxième satellite le plus dense du Système solaire après Io, un satellite de Jupiter. La Lune est en rotation synchrone avec la Terre, lui montrant donc constamment la même face.
Pleine lunevignette|La super lune du 14 novembre 2016 se trouvait à du centre de la Terre, l'occurrence la plus proche depuis 1948. Elle ne sera pas encore plus proche avant 2034. vignette|droite|Photographie de la pleine lune vue par un télescope Schmidt-Cassegrain de 235 mm. La Lune était près de sa plus grande latitude d'écliptique nordique, donc les cratères méridionaux sont particulièrement proéminents. vignette|Photographie de la pleine lune au cours de l'éclipse lunaire totale du 28 septembre 2015.
Sentence clause structureIn grammar, sentence and clause structure, commonly known as sentence composition, is the classification of sentences based on the number and kind of clauses in their syntactic structure. Such division is an element of traditional grammar. In standard English, sentences are composed of five clause patterns: Subject + Verb (intransitive)Example: She runs. Subject + Verb (transitive) + ObjectExample: She runs the meeting. Subject + Verb (linking) + Subject Complement (adjective, noun, pronoun)Example: Abdul is happy.
Tempsthumb|Chronos, dieu du temps de la mythologie grecque, par Ignaz Günther, Bayerisches Nationalmuseum à Munich. vignette|Montre à gousset ancienne Le temps est une notion qui rend compte du changement dans le monde. Le questionnement s'est porté sur sa « nature intime » : propriété fondamentale de l'Univers, ou produit de l'observation intellectuelle et de la perception humaine. La somme des réponses ne suffit pas à dégager un concept satisfaisant du temps.
CapitalLe capital est une somme d'investissements utilisée pour en tirer un profit, c'est-à-dire un stock de biens ou de richesses nécessaires à une production. Cet emploi, courant en sciences économiques, en finance, en comptabilité, en sociologie et en philosophie, a néanmoins dans les domaines distincts des significations spécifiques. Au , « capital » est un adjectif dérivé de la racine latine caput : la tête, signifiant « principal ». Dans le dictionnaire de Nicot publié en 1606, l'adjectif est transformé en substantif pour désigner « le capital d'un marchand ».
FranceLa France (), en forme longue depuis 1875 la République française (), est un État souverain transcontinental dont le territoire métropolitain s'étend en Europe de l'Ouest et dont le territoire ultramarin s'étend dans les océans Indien, Atlantique, Pacifique, ainsi qu'en Antarctique et en Amérique du Sud. Le pays a des frontières terrestres avec la Belgique, le Luxembourg, l'Allemagne, la Suisse, l'Italie, l'Espagne, Monaco et l'Andorre en Europe, auxquelles s'ajoutent les frontières terrestres avec le Brésil, le Suriname et les Pays-Bas aux Amériques.
ParisParis () est la capitale de la France. Divisée en vingt arrondissements, elle est le chef-lieu de la région Île-de-France et le siège de la métropole du Grand Paris. Elle est établie au centre du Bassin parisien, sur une boucle de la Seine, entre les confluents avec la Marne et l'Oise. Occupé depuis le avant notre ère par le peuple gaulois des Parisii, le site original de Lutèce prend le nom de Paris vers 310 puis se développe par enceintes successives.
Capital financiervignette|Capital net 2006 Le capital financier, est formé des avoirs sous forme d'actifs financiers, essentiellement des titres à long terme de propriété (actions et assimilés) ou de créance (obligations et assimilées). Dans un sens élargi on y inclut les contrats dérivés sur la valeur de ces actifs. Il est à distinguer du capital économique, autrement dit les moyens de production, sur les plans : juridique (l'actif financier est propriété de l'investisseur, le moyen de production est propriété de l'entreprise ou de l'institution que cet investisseur finance) comptable (Passif vs Actif) des modalités de constitution et mise en œuvre (Placement vs Investissement) de la rentabilité.
Connecteur logiqueEn logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Fonds propres réglementairesLes fonds propres réglementaires correspondent aux fonds propres que doivent détenir les établissements financiers en lien avec l'exigence réglementaire définie par le Comité de Bâle. Historique sur les accords internationaux (Bâle I, puis Bâle II dit Mc Donough) Le Tier 1 correspond à la partie jugée la plus solide (le noyau dur) des capitaux propres des institutions financières. Le ratio correspond au rapport entre le Tier 1 et le total des actifs ajustés du risque est un ratio financier qualifiant le risque d'instabilité de ces institutions en cas de crise financière.
Capital humainLe capital humain est l'ensemble des connaissances, aptitudes, expériences, talents, et qualités accumulées par une personne, une équipe, une organisation, ou un groupe d'organisations, et qui déterminent en partie leur capacité à travailler ou à produire pour eux-mêmes ou pour les autres. En 1866, justifiant la création d'un « secondaire spécial », le ministre de l'Instruction publique Victor Duruy affirme que « par le développement de cet enseignement, on répondra à une nécessité impérieuse de la nouvelle organisation du travail : mettre l'homme en valeur, c'est un capital et le plus précieux de tous ».
Air FranceAir France (Code IATA : AF ; code OACI : AFR) est la compagnie aérienne nationale française, fondée le . Ses activités principales sont le transport de passagers, de fret ainsi que la maintenance et l'entretien des avions. Elle dessert les principaux aéroports français ainsi que de nombreux aéroports étrangers. Sa plate-forme de correspondance principale est située sur l'aéroport de Paris-Charles-de-Gaulle avec lequel elle entretient de nombreux accords d'exploitation.
