Darapti, Felapton, Bramantip, Fesapo. Nous retrouvons ainsi la règle formulée par M. Ginzberg : « De deux universelles on ne peut pas conclure une particulière », mais pour de tout autres raisons. Et, qu’on le remarque bien, cette règle vaut pour le syllogisme classique, sans aucune modification de ses principes, et en vertu de ces principes mêmes, qui sont entièrement conservés. En revanche les quinze autres modes classiques sont parfaitement justifiés et reconnus valables par la Logistique.
Du même coup se trouve justifiée la conception de Quelque dans la logique classique, comme signifiant : « Quelques au moins » ; puisque, comme on l’a vu, les particulières équivalent à des affirmations d’existence, et par suite excluent expressément la nullité de la classe correspondante[1].
En revanche, la conception de Hamilton : « Quelques seulement », opposée, non à Nul, mais à Tout, n’a aucune place dans la Logique classique, et ne peut qu’en troubler l’ordonnance et l’harmonieuse symétrie. — Mais, dira-t-on, c’est pourtant une forme de proposition dont on a besoin couramment, et qu’il faut pouvoir exprimer. — Sans doute, mais la Logique classique savait fort bien l’exprimer, et c’est ce que Hamilton n’a pas vu, quand il proposait de la réformer ou de l’enrichir de ses formes baroques, inconséquentes et superflues. Que signifie : « Quelques a seulement sont b » ? Simplement ceci : « Tous les a ne sont pas b », c’est-à-dire : « il est faux que tous les a soient b », donc en définitive : « Quelques a ne sont pas b » (proposition O). Ainsi, tandis que la conception de Quelques au moins est parfaitement nécessaire et justifiée, la conception de Quelques seulement est tout à fait superflue, et son introduction, faisant double emploi avec des formes existantes, ne sert qu’à compliquer et à embrouiller tout le système.
Quant au jugement complexe : « Quelques a, et quelques a seulement, sont b », il se ramène, d’après ce qui vient d’être dit, aux deux propositions : « Quelques a sont b » et « Quelques a ne sont pas b ». Il peut donc parfaitement rentrer dans le cadre de la Logique classique, et n’y constitue ni une innovation, ni un enrichissement, ni une simplification.
- ↑ Sans entrer ici dans la discussion des jugements existentiels, qu’il suffise de dire qu’en logistique ils ne signifient rien de plus que la non-nullité d’une classe, c’est-à-dire le fait qu’elle contient quelques individus (dans l’univers du discours que l’on considère ou admet).
