s/mbœ affirmantes nequeunt generarenegantem

8. Pejorem(partic. autnegat.) sequitur semper conclusio partem.

Un examen un peu attentif de ces règles fait voir qu'elles sont en réalité réductibles aux principes généraux que nous avons exposés (232 et 233). Ainsi la première et la troisième ne sont guère qu'une définition incomplète dusyllogisme; la sixième, la septième etla huitième ne sont que des variétés de traduction de l'axiome: Deux choses égales à une troisième sont égales entre elles. La quatrième et la cinquième se résument dans notre première règle; la seconde répond à notre troisième.

272. Après les simplifications dues à l'emploi de ces formes étranges, la théorie du syllogisme, comme la logique entière d'Aristotc, attaquée par les uns, acceptée par les autres, reproduite par tous, resta longtemps sans recevoir de modifications importantes.