Page:Hamelin - Le Système d’Aristote.djvu/194

Le texte de cette page a été corrigé et est conforme au fac-similé.

Par son extension le moyen se place donc ici entre le majeur et le mineur (καὶ τῇ θέσει γίνεται μέσον, An. pr. I, 4, 25 b, 36). On traduirait donc la pensée d’Aristote en symbolisant le rapport des trois termes, dans la première figure, par trois cercles concentriques dont le plus intérieur serait le mineur, le plus extérieur le majeur et l’intermédiaire, le moyen. On peut dire encore pour définir la première figure, en se plaçant au point de vue, moins technique selon Aristote, de la compréhension, que le majeur Α y est l’attribut de tout le moyen Β et que le moyen Β y est l’attribut de tout le mineur Γ. — Nous n’avons plus maintenant qu’à déterminer les modes de la première figure. Aristote ne considère les combinaisons possibles entre quatre sortes de propositions que dans les prémisses : il laisse de côté avec raison les conclusions, et cela lui fait seulement 16 modes possibles à examiner, au lieu de 64, dans chaque figure. Il commence constamment par examiner les modes à prémisses universelles et passe, ensuite seulement, à ceux qui contiennent des particulières. La détermination des modes de la première figure est contenue dans le chap. 4 (An. pr. I). Aristote admet comme évidemment justifiés par le principe de la première figure les deux modes dont les prémisses sont, comme on a dit au Moyen-Âge, AA et EA. Tout Β est Α, Tout Γ est Β, donc Tout Γ est Α ; — Nul Β n’est Α, Tout Γ est Β, donc Nul Γ n’est Α. Ce sont les modes qu’on a appelés bArbArA et cElArEnt. Viennent ensuite les modes AE et EE. Aristote les rejette, en faisant voir sur des exemples (exemples qu’il ébauche seulement, en indiquant des triades de termes concrets avec lesquels on peut construire des syllogismes) qu’ils admettent, en partant de prémisses vraies, des conclusions, tantôt vraies, tantôt fausses, c’est-à-dire des conclusions qui ne sont pas nécessaires, des conclusions accidentelles qui ne sont pas des conclusions. AE peut, avec les termes animal, homme, cheval, donner lieu à une conclusion fausse : Tout homme est animal ; Aucun cheval n’est homme ; Aucun cheval n’est animal. Avec un autre exemple il donne une conclusion vraie : Tout homme est animal ; Aucune pierre n’est homme ; Aucune pierre n’est animal. Le mode EE admet une conclu-