La lettre A désigne, en logique formelle, la proposition universelle affirmative (v. Barbara). Dans la logique de Hamilton (v. Quantification du prédicat). A désigne la proposition toto-parliclle affirmative, el la lettre grecque α la proposition tolo-totale affirmative (v. Définition).
L'abduction est un syllogisme dont la majeure esl certaine, la mineure probable seulement; on peut en tirer une conclusion qui ne sera que probable, ce qui est plus rapproché de la seience qu'une proposition tout à fait incertaine. Exemple : Tout ce qui s'enseigne est science ; il parait vrai que la justice s'enseigne; donc il est probable que la justice est science. L'abduction L'abduction présenter un réel avantage, car si la mineure «■rit plus probable que la conclusion, c'est sans doulo qu'elle peut être démontrée par une voie plus courte: on cherchera donc la démonstration de la mineure et par elle la conclusion se trouvera démontrée. (Aristote, Prem. Anal. II, 25, 69220).
le vocabulaire philosophique. 1
