Dictionnaire de philosophie/A (logique)

A
A B C D E F G H I J K L M
N O P Q R S T U V W X Y Z

A est le symbole qui représente les propositions générales et affirmatives dans la logique issue d'Aristote, enseignée jusqu'à la fin du XIXeme siècle.

Une proposition générale et affirmative est de la forme : tous les hommes sont mortels. Dans cette proposition, homme est le sujet, et mortel est l'attribut, c'est-à-dire ce que l'on dit du sujet. L'attribut mortel est affirmé de tous les hommes, c'est-à-dire qu'il est affirmé de manière universelle. Universel signifie en effet ici que l'on considère tous les individus en particulier désignés par le sujet, qui dans l'exemple est homme, et que l'on dit de chacun de ces individus (tel homme, Socrate, etc.), sans exception, qu'il possède l'attribut mortel.

Cette proposition est l'une des quatre formes de propositions, que l'on exprimait par ce moyen mnémotechnique :

Asserit A, negat E, verum generaliter ambo ;
Asserit I, negat O, sed particulariter ambo.

A représente également encore dans les propositions complexes et modales l'affirmation du mode et l'affirmation de la proposition. Consultez Aristote, Premiers analytiques, et Logique de Port-Royal, 2° partie. Voy. Proposition, Syllogisme.