LIVRE II, CHAPllKI] VII

montrer d'une façon différente l'autre proposition en renversant l'universelle ; car il n'y aura pas du tout de syllogisme.

§ 8. Il est donc évident que, dans la première figure, la démonstration circulaire se fait par la troisième et la , première; car la conclusion étant affirmative, c'est par la première; privative, par la dernière. En effet, on a supposé que l'un des termes était à tout ce à quoi l'autre n'est aucunement. Dans la figure moyenne, quand le syllogisme est universel, il se démontre par cette figure

jeure négative universelle, et la conclusion négative particulière du premier syllogisme, on obtient pour prémisses deux négatives, qui ne peuvent donner de syllogisme. Ainsi on ne peut prouver directement la mineure de Ferison ; il faut adopter Tassumption indiquée au g précédent.

§S, Seconde partie de ce chapitre, résumant les règles générales de la démonstration circulaire dans les trois figures : on peut voir les règles particulières dans les ch. 5 et 6 , et le début de celui-ci. — Privative par la dernière , c'est-à-dire que le syllogisme par assumption qui prouve la mineure de Ferio , a lieu dans la troisième figure, puisque le moyen est sujet des deux extrêmes. Voici ces règles pour tous les ipodes , d'après Pacius : Barbara prouve sa majeure et sa mineure en Barbara , et le cercle est parfait; CelarerU prouve sa majeure en Celarent, sa mineure par assumption ; Darii ne prouve que sa mineure et c'est en Barii; Ferio ne prouve qu'elle non

plus et par assumption. Dans la seconde figure : Cesare ne prouve que sa majeure en Celarent , et la conclusion est convertie ; Camestres ne prouve que sa mineure , et c'est en Camestres ; Festino ne prouve que sa mineure, et c'est par assumption ; Baroco ne prouve que sa mineure , et c'est en Baroco. Dans la troisième figure : Daraptiei Felapton ne prouvent ni leur majeure ni leur mineure; Disamis ne prouve que sa majeure, et c'est en Disamis ; Datisi ne prouve que sa mineure en Darii, et la conclusion est convertie ; Bro~ cardo ne prouve que sa majeure, et c'est en Brocardo; enfin Ferisonne prouve que sa mineure , et c'est par assumption. — Toutes les démonrstrations , Aristote a tort de dire :

toutes, puisqu'il reconnaît lui-même au g suivant , que quelques-unes se font dans une figure autre que la troisième : il faut ici sous-entendi'e :

complètes après : toutes les démonstrations; et alors la remarque est juste. L'expression a le tort ici d'être trop générale.

même, et par la première; lorsqu'il est particulier, c'est encore par la seconde et par la dernière. Dans la troisième figure, toutes les démonstrations se font par cette même figure. § 9. De plus, on voit que, dans la troisième et la moyenne figures , les syllogismes qui ne se forment pas par ces figures mêmes, ou ne sont pas susceptibles de démonstration circulaire , ou sont incomplets.