Glossaire 103 + 113-TD1
(Jérôme Dokic, Julien Dutant, Mikaël Cozic)

Argument : un argument est la donnée d’une conclusion et d’un ensemble de prémisses censées la justifier.
Argument ampliatif (ou inductif au sens large) : un argument ampliatif est un argument dont la vérité de la conclusion n’est pas garantie par la vérité des prémisses. On parle d’argument « ampliatif »  car dans ces arguments la conclusion n’est pas  « contenue » dans les prémisses. 
Exemples : arguments inductifs (au sens étroit), inférence à la meilleure explication, etc.
Argument inductif (au sens étroit) : un argument inductif est un argument formellement fort (i.e. dont la force inductive repose sur la forme de l’argument). Les arguments formellement forts sont ceux qui reposent sur des rapports de proportion ou de probabilité au sein d’une population ou d’une série d’événements.
Exemples : urnes, dés, pile ou face.
Argument correct : Un argument est correct (ou sain) s’il est déductivement valide et si toutes ses prémisses sont vraies. 
Ambiguïté : Une phrase (resp. une expression) est ambiguë s’il a différentes significations possibles. Dans le cas des énoncés, on peut distinguer :
•	Ambiguïté lexicale : Une phrase est lexicalement ambiguë si son ambiguité provient (partiellement au moins) du fait qu’il comporte une expression ambiguë. Exemple : « Pierre a une punaise dans la main ». 
•	Ambiguïté structurale : Une phrase est structuralement ambiguë si son ambiguité provient (partiellement au moins) de son arrangement. Exemple : « Pierre a écrit un livre sur tout ».
•	Ambiguïté anaphorique : Une phrase est anaphoriquement ambiguë si son ambiguïté provient (partiellement au moins) du fait qu’au moins un des pronoms qu’il contient peut renvoyer à différents termes. Exemple : « L’ami de Pierre a vu son père ».
Conditions de vérité : les conditions de vérité d’un énoncé sont les conditions dans lesquelles cet énoncé est vrai. Exemple : un énoncé du type «  » est vrai quand «  » est vrai et «  » est vrai. 
Connecteurs propositionnels, connecteurs logiques : Au sens large, les connecteurs propositionnels sont des expressions qui, lorsqu’on les combine à un ou plusieurs énoncés, donnent un énoncé complexe. Au sens étroit, les connecteurs propositionnels sont les connecteurs logiques.  Les connecteurs logiques sont les connecteurs qui ont la propriété d’être vérifonctionnels : la valeur de vérité de l’énoncé complexe qu’ils donnent dépend uniquement de la valeur de vérité du ou des énoncés qu’ils combinent. (C’est pourquoi les connecteurs logiques, et eux seuls, ont des tables de vérité complètes.)
Un connecteur est n-aire quand il permet de former un énoncé à partir de n énoncés. Ainsi la disjonction, la conjonction et l’implication (notés respectivement «  », «  », «  ») sont des connecteurs binaires ; la négation (notée «  ») est un connecteur unaire. 
Convaincre et persuader. Convaincre : faire adopter une attitude (faire croire, vouloir ou agir) au moyen de raisons. Persuader : faire adopter une attitude sans la justifier par des raisons.
Enoncé  et proposition : Un énoncé est une phrase qui est vraie ou fausse.  On suppose ordinairement qu’un énoncé est vrai ou faux, au moins l’un des deux, mais pas les deux (principe de bivalence). La proposition est ce qu’exprime un énoncé ; plusieurs énoncés peuvent exprimer la même proposition. 
Enoncé atomique et complexe : Un énoncé est atomique (ou simple) s’il ne contient pas un autre énoncé comme partie. 
Dans le langage de la logique propositionnelle (LP), on symbolise les énoncés atomiques par les lettres : p, q, r, …
Expressions indexicales : Les expressions indexicales sont les expressions qui font dépendre l’interprétation d’une phrase de son contexte d’énonciation. Exemples : « je », « ici », « maintenant », les expressions « déictiques » comme « ceci », « cela », etc., ainsi que le temps des verbes (présent, passé futur). 
Expressions quantifiées ou quantificateurs : les termes comme « tout le monde », « tous les hommes », « quelqu’un », « certains hommes », « la plupart des gens », « plusieurs personnes », etc., qui peuvent occuper la position de sujet grammatical dans une suite de mots. 
La logique du premier ordre contient le quantificateur universel et le quantificateur existentiel, notés respectivement : « x », « x ». « xFx » signifie que tous les éléments du domaine de quantification ont la propriété exprimée par le prédicat « F » ; « xFx » signifie qu’il existe au moins un élément du domaine de quantification a la propriété exprimée par le prédicat « F». 
( et  sont les initiales retournées des mots allemands « Alle », « tous », et « Existiert », « il existe ».) 
Jugement : Le jugement est une attitude psychologique. Plus précisément, c’est l’attitude qui consiste à accepter un énoncé comme vrai. 
Logique propositionnelle, logique du premier ordre : la logique propositionnelle est la branche de la logique qui traite des connecteurs propositionnels (logiques) ; la logique propositionnelle est la branche de la logique qui traite des connecteurs propositionnels et des quantificateurs universel et existentiel. A chacune de ces logiques correspond un langage formel : le langage de la logique propositionnelle (LP) et le langage de la logique du premier ordre (LPO). 
Logique inductive : le projet de logique inductive (Carnap) est le projet de construire une méthode rigoureuse et objective d’établissement de la quantité de justification qu’un ensemble de prémisses offre à une proposition. L’implication logique devient alors un cas particulier, celui où un ensemble de prémisse offre une quantité maximale de justification à la conclusion. 
Maximisation de l’utilité espérée (principe de) : critère de décision en situation d’incertitude selon lequel l’agent doit choisir l’action qui maximise la moyenne pondérée de son utilité pour chacun des états de la nature possibles. 
Plus précisément, si l’agent a le choix entre les actions {a1, …, an} , si les conséquences de ses actions dépendent des états {s1, …, sl}, si la conséquence d’une action ai en l’état sk est notée oik, si ses désirs sont représentés par une fonction d’utilité u(.) sur les conséquences et si ses croyances sont représentées par une distribution de probabilité P sur l’ensemble des états possibles, alors l’utilité espérée d’une action ai est la suivante : 
EU(ai) = P(s1).u(oi1) + … + P(sl).u(oi2) 
Exemple : supposons que Pierre peut prendre ou non un parapluie pour sortir  et qu’il ne sait pas s’il pleuvra dans l’après-midi, mais croit qu’il y a une chance sur quatre qu’il pleuve et trois chances sur quatre qu’il ne pleuve pas ; supposons qu’il accorde une utilité de 1 au fait de sortir avec un parapluie s’il ne pleut pas et de 5 s’il pleut. Alors l’utilité espérée que Pierre retire du fait de prendre un parapluie est 1. ¾  + 5 . ¼ =  2.  S’il accorde une utilité de -5 au fait de sortir sans parapluie s’il pleut et de 6 s’il ne pleut pas, alors l’utilité espérée que Pierre retire du fait de ne pas prendre un parapluie est 6 . ¾ + -5. ¼ = 13/4. Selon le principe de maximisation de l’utilité espérée, Pierre ne doit donc pas prendre son parapluie. 
Paradoxe : ensemble de prémisses apparemment acceptables qui par un raisonnement apparemment acceptable aboutit à une conclusion apparemment inacceptable, par exemple à une contradiction. 
Exemples : paradoxes de Zénon, paradoxe du menteur, paradoxe du barbier. 
Prédicat : Un prédicat est une expression qui permet d’attribuer une propriété aux objets ou une relation entre objets.  Exemples : « ... est grand » (prédicat unaire), « ... aime ... » (prédicat binaire), « ... mange un sandwich à ... avec ... » (prédicat binaire)…Un prédicat dûment complété (Frege) forme un énoncé : « …est grand » complété par « Pierre » forme l’énoncé « Pierre est grand. » 
Symbolisation en langage du premier ordre (LPO) : « Gx » pour « x est grand », « Axy » pour « x aime y »,  « x(Gx  Fx) » pour « Tous les G sont des F »,  « x(Gx  Fx) » pour « Certains G sont des F », etc. 
Probabilité : Soit S un ensemble (fini) d’états. Exemple : S = {1,2,3,4,5,6} sont les faces possibles sur lesquelles un dé à six faces peut tomber.
1)	un événement est un ensemble d’états. Exemple : le dé tombe sur deux = {2}, le dé tombe sur un nombre pair = {2,4,6}
2)	une distribution de probabilité P sur S est une assignation d’un nombre réel à tout événement telle que : (1) P(S) = 1 (il est certain que le dé tombe sur une des faces) ; (2) P() = 0 (il est impossible que le dé ne tombe sur aucune des faces) ; si A et B ne peuvent se réaliser simultanément, P(AB) = P(A) + P(B) (additivité)
Probabilité conditionnelle : La probabilité conditionnelle de A étant donné B, notée P(A/B), est définie de manière suivante si la probabilité de B n’est pas nulle : P(A/B) = P(AB) / P(B). Un événement A est (statistiquement) indépendant d’un événement B si P(A) = P(A/B).
Sens logique et implicatures : Le sens d’un énoncé correspond à ce qui est dit littéralement, et les implicatures (Grice) correspondent à ce qui est plus ou moins implicitement véhiculé ou connoté par l’énoncé dans le contexte dans lequel il est formé. On peut distinguer : 
1)	Implicature conversationnelle. Une implicature conversationnelle résulte de l’interaction entre la signification conventionnelle des mots utilisés et les spécificités de la conversation.  Une implicature conversationnelle d’un énoncé et quelque chose que l’on peut inférer d’un énoncé sans qu’elle en soit conséquence logique : ainsi la réponse de B : « Il est tard et je veux m’endormir rapidement » à la question de A : « Veux-tu un café ? » a pour implicature (mais pas pour conséquence logique) que B ne veut pas de café. 
2)	Implicature conventionnelle. Une implicature conventionnelle fait partie de la signification conventionnelle (ou lexicale) des mots utilisés.
Sophisme :  un sophisme un argument défaillant dont on ne voit souvent pas la faiblesse. On distingue les sophismes formels qui sont des arguments déductivement invalides et ampliativement faibles (exemple : affirmation du conséquent) des sophismes matériels, ou substantiels, qui reposent implicitement sur des prémisses douteuses (exemples : arguments ad hominem, sophismes causaux). 
Tonalité ou éclairage : La tonalité (Frege) s’oppose au sens proprement dit qui seul a une pertinence logique. En général, elle se perd dans la traduction d’une langue vers une autre. En revanche, une bonne traduction doit préserver le sens. 
Vague : Un prédicat est vague lorsque son domaine d’application (ou extension) n’est pas clairement défini. Exemples : « chauve », « est un tas », « grand », « chaud », « rapide ».  Les prédicats vagues donnent naissance aux paradoxes soritiques comme le paradoxe du tas de sable. 
Valeur de vérité : La valeur de vérité d’un énoncé est sa vérité ou sa fausseté.
Valeur d’un argument : 
1)	Valeur psychologique d’un argument : Un argument peut avoir plusieurs valeurs psychologiques : il peut être séduisant, intéressant, persuasif, etc. 
2)	Valeur matérielle d’un argument : La valeur matérielle d’un argument est la vérité ou la fausseté de ses prémisses et de sa conclusion.
3)	Valeur logique d’un argument : La valeur logique d’un argument est sa validité déductive ou sa validité (ou force) inductive (ou ampliative).
Validité déductive : Si un argument est déductivement valide, il est impossible que les prémisses soient vraies alors que la conclusion est fausse. En d’autres termes, la vérité des prémisses garantit, ou entraîne nécessairement la vérité de la conclusion. 
Un argument est valide en vertu de termes non-logiques si sa validité provient (partiellement au moins) du sens de termes non-logiques que ses énoncés contiennent. Exemple : « Le chien est un animal » à partir de « Le chien est un mammifère ». 
Un argument est valide en vertu de constantes logiques (connecteurs, quantificateurs) si sa validité provient (partiellement au moins) des constantes logiques que ses énoncés contiennent. Exemple : « Spinoza est un mammifère » à partir de « Spinoza est un chien » et « Tous les chiens sont des mammifères ».
Validité (ou force) inductive (ou ampliative) : Un argument est ampliativement fort (a une force inductive) si, et seulement si, la probabilité que la prémisse soit vraie étant donné la vérité des prémisses est strictement supérieure à 0.5. Autrement dit, si les prémisses sont vraies, la conclusion a plus de chance d’être vraie que d’être fausse. 
La validité (ou force) inductive (ou ampliative) est une affaire de degrés. La conclusion d’un argument inductif est présentée comme étant plus ou moins raisonnable étant donné les prémisses.