L’EXPÉRIENCE LOGIQUE 19
semble, fort probablement, mais nullement dans son fond résistant et durable.
Si l’on ne s’attache qu’au mécanisme des dix-neuf modes du syllogisme et aux quatre figures (dont les partisans de l’école de Lachelier ne retenaient que les quatorze premiers constituant les trois premières figures), on constatera que seuls Bramanlip, Darapli et Felapton ont été contestés comme tels, puisqu’ils concluent de deux universelles à une particulière ; la réduction fort ingénieuse qu’en a tentée un Padoa, les ramène finalement à la forme en Barbara. « Il nous reste donc seulement le syllogisme en Barbara, c’est-à-dire la propriété transitive du signe () de l’implication, ou syllogisme en forme collective[1]. »
Les relations n’étaient donc point erronées comme telles, ce qui était erroné c’était la valeur qu’on leur attribuait dans la théorie de la démonstration : les découvertes récentes ont entraîné un déplacement essentiel de valeur, non une modification du mécanisme formel comme tel. Nos points de départ étant établis, nous pourrons aborder maintenant la question des opérations fondamentales, à caractère beaucoup plus technique.
- ↑ A. Padoa, La Logique déductive, §§ 104 et 103.
