‹ Théorie logique des propositions modalesChapitre 53 sur 81 · CHAPITRE PREMIER · texte numérisé non relu

CHAPITRE PREMIER

Indication des questions à résoudre*

Âristote a posé les principes de la théorie du syllogisme ; ces principes sont la conversion et l'opposition deà propositions. Aristote va s'en servir pour démontrer les modes concluants des différentes figures du syllogisme.

Mais il y a, dans les Analytiques^ plusieurs espèces de démonstrations appliquées , tantôt aux syllogismes catégoriques, et tantôt aux syllogismes modaux.

Nous allons, dans la première partie de ce livre, faire connaître, et dans la seconde discuter chacune de ces différentes espèces de démonstrations.

Ces démonstrations sont au nombre de quatre :

r La démonstration algébrique directe , pour la-

quelle on emploie les lettres de l'alphabet ; nous l'appellerons encore démonstration géométrique ou littérale ;

2^ La démonstration par l'exposition des termes. Il y a deux démonstrations de cette espèce : j'appellerai la première la démonstration par l'exemple ;

3"" La démonstration par l'exposition des termes proprement dite. Je répète qu'elle doit être soigneusement distinguée de la précédente.

4? La démonstration par la réduction à l'absurde.

Expliquons brièvement en quoi consiste chacune des quatre espèces de démonstration dans Aristote.

Page 1