DES PROPOSITIONS. 2<H

la proposition , est tout à fait renfermé dans l'espace B, qui représente le prédicat.

II. Pour les propositions négatives universelles, les deux espaces A etB, dont A marque toujours le sujet et B le prédicat, seront représentés l'un séparé de l'autre (fig. 42), puisqu'on dit que nul A n'est B, ou rien de tout ce qui est compris dans la notion A n'est compris dans la notion B.

III. Pour les propositions affirmatives particulières , comme Quelque A. est B, une partie de l'espace A sera comprise dans l'espace B {fig. 43), comme on voit visiblement que quelque chose comprise dans la notion A est aussi comprise dans la notion B.

Fig. 42. Fig. 43. Fig. 44.

IV. Pour les propositions négatives particulières, comme Quelque A n'est pas B, une partie de l'espace A doit se trouver hors de l'espace B, comme on voit fig. 44, qui convient bien avec la précédente; mais on remarque ici principalement qu'il y a quelque chose dans la notion A qui n'çst pas compris dans la notion B , ou qui se trouve hors de cette notion.

14 février 1761.

LETTRE XXXV

Des syllogismes, et sur leurs différentes formes, si la première proposition

est universelle.

Ces figures rondes, ou plutôt ces espaces (car il n'importe quelle figure nous leur donnons) sont très-propres à faciliter nos réflexions sur cette matière, et à nous découvrir tous les mystères dont on se vante dans la logique et qu'on y démontre avec bien de la peine, pendant que, par le moyen de ces figures, tout saule d'abord aux yeux. On emploie donc des espaces formés à plaisir pour représenter chaque notion générale, et on marque le sujet d'une proposition par un espace contenant A, et le prédicat par un autre espace qui contient B. La nature de la proposition même porte toujours ou que l'espace A se trouve tout entier dans l'espace B, ou qu'il ne s'y trouve qu'en partie, ou qu'une partie au

moins est hors de l'espace B , ou enfin que l'espace À tout entier est hors de B. Je mettrai ici encore une fois devant les yeux de Votre Altesse ces figures ou emblèmes de quatre espèces de propositions.