Page:Œuvres philosophiques de Leibniz, Alcan, 1900, tome 1.djvu/474

446

nouveaux essais sur l’entendement

Les catégoriques simples sont ceux qu’on compte ordinairement, c’est-à-dire selon les modes des figures : et j’ai trouvé que les quatre figures ont chacune six modes, de sorte qu’il y a 24 modes en tout. Les quatre modes vulgaires de la première figure ne sont que l’effet de la signification des signes : Tout, Nul, Quelqu’un. Et les deux que j’y ajoute, pour ne rien omettre, ne sont que les subalternations des propositions universelles. Car de ces deux modes ordinaires, tout B est C, et tout A est B, donc tout A est C ; item nul B est C, tout A est B, donc nul A est C, on peut faire ces deux modes additionnels, tout B est C, tout A est B, donc quelque A est C ; item nul B est C, tout A est B, donc quelque A n’est point C. Car il n’est point nécessaire de démontrer la subalternation et de prouver ses conséquences : tout A est C, dont quelque A est C ; item nul A est C, donc quelque A n’est point C, quoiqu’on la puisse pourtant démontrer par les identiques, joints aux modes déjà reçus de la première figure. en cette façon.: tout A est C ; quelque A est A, donc quelque A est C. Item nul A est C, quelque A est A, donc quelque A n’est point C. De sorte que les deux modes additionnels de la première figure se démontrent par les deux premiers modes ordinaires de ladite figure avec l’intervention de la subalternation, démontrable elle-même par les deux autres modes de la même figure. Et de la même façon, la seconde figure en reçoit aussi deux nouveaux. Ainsi la première et la seconde en ont six ; la troisième en a eu six de tout temps ; on en donnait cinq à la quatrième, mais il se trouve qu’elle en a six aussi par le même principe d’addition. Mais il faut savoir que la forme logique ne nous oblige pas à cet ordre des propositions, dont on se sert communément, et je suis de votre opinion, Monsieur, que cet autre arrangement vaut mieux : tout A est B, tout B est C, donc tout A est C, ce qui serait particulièrement par les sorites, qui sont un tissu de tels syllogismes. Car s’il y en avait encore un : tout A est C, tout C est D, donc tout A est D, on peut faire un tissu de ces deux syllogismes, qui évite la répétition en disant : tout A est B, tout B est C, tout C est D, donc tout A est D, où l’on voit que la proposition inutile, tout A est C, est négligée, et la répétition inutile de cette même proposition que les deux syllogismes demandaient, est évitée ; car cette proposition, est inutile désormais, et le tissu est un argument parfait et bon en forme sans cette même proposition quand la force du tissu a été démontrée une fois pour toutes par le moyen de ces deux syllogismes. Il y a une infinité d’autres tissus