IV. Quelque B n'est pas A
Cela peut suffire pour faire voir à Voire Altesse commenl toutes
DES SYLLOGISMES. 2b3
les propositions peuvent être représentées par des figures; mais le plus grand avantage se manifeste dans les raisonnements qui, étant énoncés par des mots, sont nommés syllogismes, où il s'agit de tirer une juste conclusion de quelques propositions données. Cette manière nous découvrira d'abord les justes formes de tous les syllogismes.
Commençons par une proposition affirmative universelle :
Tout A est B,
où l'espace A (fig. 41) est enfermé tout entier dans l'espace B; et voyons comment une troisième notion C doit être rapportée à l'une ou à l'autre des notions A ou B, afin qu'on en puisse tirer une conclusion. Dans les cas suivants, la chose est évidente.
I. Si la notion C est contenue tout entière dans la notion A , elle sera aussi contenue tout entière dans l'espace B (fig. 46); d'où résulte cette forme de syllogisme :
Tout A est B ; Or, tout C est A ; Donc, tout C est B.
Ce qui est la conclusion.
Par exemple , que la notion A renferme tous les arbres, la notion B tout ce qui a des racines, et la notion C tous les cerisiers, et notre svllogisme sera :
Tout arbre a des racines; Or, tout cerisier est un arbre; Donc, tout cerisier a des racines.
II. Si la notion C a une partie contenue dans A, la même partie sera aussi contenue dans B, puisque la notion A se trouve renfermée tout entière dans la notion B (fig. 47 ou 48). De là résulte la seconde forme de syllogisme :
Tout A est B ;
Or, quelque C est A ;
Donc, quelque C est B.
vv-^y,
Fig. 46. Fig. 17. Fig. 48.
Si la notion C était tout entière hors de la notion A , il n'en sui-
DEUXIEME l'AlîTJE.
vrait rien par rapport à la notion B; il se pourrait que la notion fl fût ou tout entière hors de B (fiy. 49), ou tout entière en B {fig. 50), ou en partie en B (fig. 51); de sorte qu'on n'en saurait rien conclure.
Fig. 49.
Fig. 50.
Fia. 51.
III. Or, si la notion C étak tout entière hors de la notion B, elle serait aussi tout entière hors de la notion A, comme on voit parla /if/. i{) : d'où naît cette forme de syllogisme :
Tout A est B;
Or, nul C n'est B ou nul B n'est C ;
Donc, nul C n'est A.
IV. Si la notion C a une partie hors de la notion B, cette même partie sera aussi certainement hors delà notion A, puisque celle-ci
est tout entière dans la notion B [fia. 52); d'où naît celle forme de syllogisme :
Tout A est B;
Or. quelque C n'est pas B;
Donc, quelque C n'est pas A.
V. Si la notion C renferme en soi toute la notion B, une partie
de la notion C tombera certainement en A (//'</. 53) ; d'où resuite cette forme de syllogisme :
Tout A est B ; Or, tout B estC; Donc, quelque (' est A.
Fig. 63.
Aucune autre forme n'esl possible tant que la première proposition est affirmative et universelle.
Supposons maintenant que la première proposition soit négative et universelle, savoir :
Nul A n'est B ;
dont l'emblème est cette fig. 42, où la notion A se trouve tout entière hors de la notion 13 , et les cas suivants fourniront des conclusions.
I. Si la notion C est tout entière dans la notion B, elle sera aussi tout entière hors de la notion A (fig. 54) ; d'où l'on a cette forme de syllogisme :
Nul A n'est B; Or, tout C est B ; Donc, nul C n'est A.
II. Si la notion C est tout entière dans la notion A, elle sera aussi tout entière hors de la notion B [fig. 55) ; ce qtfi donne cette forme de syllogisme :
Nul A n'est B; Or, tout C est A ; Donc, nul C n'est B.
Fig. 54.
Fie.
111. Si la notion C a une partie contenue dans la notion A, cette partie se trouvera certainement hors de la notion B , comme (fig. 56) ; ou bien de cette manière (fig. 57), ou encore (fig. 58) ; d'où naît ce syllogisme :
Nul A n'est B ;
Or, quelque C est A ou quelque A est C ;
Donc, quelque C n'est pas B.
Fig. 56.
Fig. 57.
Fig. 58.
IV. De même, si la notion C a une partie contenue dans la notion B, cette partie se trouvera certainement hors de la notion A, comme
266 DEUXIÈME PARTIE. — LiailU: XXXV.
(fig. 59); ou bien de cette manière (fig. 60), ou encore (fig. 6' d'où l'on a ce syllogisme :
Nul A n'est B ;
Or, quelque C est B ou quelque B est C;
Donc, quelque C n'est pas A.
Fig. 59. Fig. 60. Fig. 61.
Pour les autres formes qui restent encore, quand la première proposition est particulière, ou affirmative, ou négative, je les représenterai l'ordinaire prochain.
17 février 1761.
Sur les différentes formes de syllogismes.
Dans ma lettre précédente, j'ai eu l'honneur de présentera Votre Altesse plusieurs formes de syllogismes ou raisonnements simples, qui tirent leur origine de la première proposition lorsqu'elle est universelle, affirmative ou négative. Il reste donc à développer encore les syllogismes lorsque la première proposition est supposée particulière, affirmative ou négative, pour avoir toutes les formes possibles de syllogismes qui conduisent à une conclusion sure.
Soit donc la première proposition affirmative particulière renfermée dans cette forme générale , Quelque A est B,
ou une partie de la notion A est contenue dans la notion B.
Soit maintenant une troisième notion C, qui, étant rapportée a la notion A , ou sera contenue dans la notion A , comme dans les fig. 62, 03, Gi; ou aura une partie dans la notion A, comme
Fig. 61.'.
(fig. 65 , CG , 67) ; ou sera tout entière hors de la notion A , comme
Fig. 65. Fig. 66. Fig. 67.
(fig. 68, 69, 70). Dans tous ces cas, on n'en saurait rien conclure
Fig. 68. Fig. 69. Fig. 70.
puisqu'il serait possible que la notion C fût dans la notion B ou tout entière, ou en partie, ou point du tout.
Mais si la notion C renferme en soi la notion A, il est certain qu'elle aura aussi une portion contenue dans la notion B, comme (fig. 71 ou 72) ; d'où résulte cette forme de syllogisme :
Quelque A est B; Or, tout A est C; Donc, quelque C est B. -
Fig. 71.
Fig. 72.
Il en est de môme lorsqu'on compare la notion C avec la notion B; on ne saurait tirer aucune conclusion, à moins que la notion G ne contienne en soi la notion B tout entière, comme (fig. 73 ou 74) ;
Fie. 73.
Fis. 71.
2fi8 DEUXIÈME PARTIE. — LETTRE XXXVI.
car alors, puisque la notion A a une partie contenue dans la notion B, la même partie se trouvera aussi certainement dans la notion C; d'où Ton obtient cette forme de syllogisme :
Quelque A est B ; Or, tout Best C; Donc, quelque C est A.
Supposons'enfin que la première proposition soit négative et particulière; savoir :
Quelque A n'est pas B,
à laquelle répond la /></. 7 o , ou une partie de la notion A se trouve hors de la notion B.
Dans ce cas, si la troisième notion C contient en soi la notion A tout entière, clic aura au— i certainement une partie hors de la notion B, comme (/?</. 70 ou 77) ; d'où naît ce syllogisme :
Quelque A n'est pas B;
Or, tout A est C ;
Donc, quelque C n'est pas B.
Fig. 75.
Fig. 76.
Fig. 77.
Ensuite, si la notion C est renfermée tout entière dans la notion B, puisque A a une partie hors de B, cette même partie se trouvera aussi certainement hors de C, comme [fiy. 78, 79); d'où l'on a cette forme de syllogisme . ,
Quelque A n'est pas;
Or, tout C est B;
Donc, quelque A n'est pas C.
Fig. 78.
Fig. 79
11 sera bon d'assembler toutes ces différentes formes de syllogii mes pour les considérer d'un seul coup d'œil.
