LIVRE II, CHAPITRE VIII

par contraire, ni Tune ni l'autre proposition ne sera détruite; car, si A n'est pas à quelque C, et qu'il soit à tout B, B ne sera pas à quelque C. Mais la donnée première ne sera pas même encore détruite ; car il se peut que B soit à quelque C, et qu'il ne soit pas à quelque autre. Mais, pour A B, proposition universelle, il n'y aura pas de syllogisme du tout ; car, en supposant que A n'est pas à quelque C , et que B est à quelque C , aucune des propositions ne sera universelle. § 1 1. De même encore, si le syllogisme est privatif; car, si l'on suppose que A est à tout C, les deux propositions sont détruites; si on le suppose seulement à quelque C , ni Tune ni l'autre ne le sera; et ici la démonstration serait la même.

C; Donc B n'est pas à quelque G, ce qui ne détruit pas du tout la donnée première : B est à quelque C— Pour la proposition universelle , la majeure , le syllogisme n'esi. pas possible , parce que les deux prémisses sont particulières; cl qu'on ne peut obtenir ainsi de conclusion dans aucune figure.

S 11. Sile syllogisme est priva* tif, même règle pour Ferio que pour Darii: par la contradictoire de la conclusion, on détruit les deux prémisses; parla contraire, on n'en détruit aucune : A est à tout C, contradictoire; à quelqi^ C, contraire.

—la démonstration est la mêma , par contradictoire; premier syllogisme en Ferio : A n'est à aucun B, B est à quelque C ; Donc A n'est pas à

quelque G. Second syllogisme en Cesarey détruisant la mineure : A n'est â aucun B , A est à tout G ; Donc B n'est à aucun G. Troisième syllogisme en Datisi, détruisant la majeure :

A est à tout c, B est à quelque G; Donc A est à quelque B.— Par contraire ; premier syllogisme en Ferio :

A n'est à aucun B , B est à quelque c ; Donc A n'est pas à quelque G.

Second syllogisme en Festino, qui ne détruit pas la mineure en prenant la contraire de la conclusion : A n'est à aucun B, A est à quelque G ; Donc B n'est pas à quelque G. Le troisième syllogisme pour la majeure : A est à quelque G , B est à quelque G , n'est pas possible parce que les deux prémisses sont particulières ; ce qui est contre toutes les règles.