RÉDUCTION DES MODES

Il faut d'abord chercher la figure : pour cela il suffit de voir la place occupée par le moyen terme. Ici, il est deux fois attribut {prse prœ) ; donc deuxième figure.

Puis, il faut trouver le mode : pour cela, on recherche la nature des propositions.

Ici la Majeure est affirmative universelle ; donc = A. la Mineure est négative universelle ; donc = E. la Conclusion est négative universelle ; donc = E.

Cherchons dans la deuxième figure le mode AEE = Camestres.

Le C de Camestres indique que l'argiunent doit se réduire à Celaient de la première figure.

Pour y parvenir il faut lui faire subir certaines modifications ; elles sont signalées par les lettres M S dans le corps du mot Camestres.

S signifie qu'il faut convertir simplement la proposition indiquée par la voyelle E, qui la précède. On aura :

Nulle connaissance certaine n'est connaissance des choses contingentes.

La lettre M indique qu'il faut transposer les prémisses ; la majeure doit prendre la place de la mineure. On aura donc enfin :

Nulle connaissance certaine n'est connaissance des choses contin- gentes = E ;

Or toute science est une connaissance certaine = A ;

Donc nulle science n'est une connaissance des choses contingentes = E. On a E A E, donc Celarent.

IL — Réduction à l'absurde de Baroco et de Bocardo. La réduction à l'absurde ou à l'impossible se fait au moyen d'un argument, par lequel on montre que celui, qui nie une conséquence d'un syllogisme légitime, est contraint d'admettre deux propositions contradictoires. Exemple pour Baroco :

Tout heureux est sage = A ;

Or quelque prince n'est pas sage = 0 ;

Donc quelque prince n'est pas heureux = 0.

Prae prœ ; donc deuxième figure. — AOO ; donc Baroco.

Si on nie la conséquence (quelque prince n'est pas heureux), la contra- 1 dictoire sera vraie. Cela posé, faisons cet argument :

Tout heureux est sage = A ;

Or tout prince est heureux = A ;

Donc tout prince est sage = A.

Sub prse, donc première figure. — A A A, donc Barbara.

L'évidence de la conclusion est par conséquent incontestable ; ellei est néanmoins contradictoire à la mineure accordée de l'argument en: