Page:Annales de mathématiques pures et appliquées, 1816-1817, Tome 7.djvu/233

Le texte de cette page a été corrigé et est conforme au fac-similé.

227

RATIONNELLE.

3.^o Supposons qu’accordant les prémisses $^{\displaystyle A}$ n du syllogisme $^{\displaystyle A}$ nn, on prétende en refuser la conclusion n ; on sera contraint (20) d’admettre la contradictoire A de cette conclusion. Prenant donc G pour moyen terme, et formant un syllogisme dont la mineure soit cette contradictoire et dont la majeure soit celle du premier ; ce syllogisme sera de la forme AAA, et sa conclusion A sera justement la contradictoire de la mineure n qu’on avait admise.

4.^o Supposons enfin qu’accordant les prémisses n $^{\displaystyle A}$ du syllogisme n $^{\displaystyle A}$ n, on prétende en rejeter la conclusion n ; on sera contraint (20) d’admettre la contradictoire A de cette conclusion. Prenant donc P pour moyen terme, et formant un syllogisme dont la majeure soit cette contradictoire, et dont la mineure soit celle du premier ; ce syllogisme sera encore de la forme AAA, et sa conclusion A sera justement la contradictoire de la majeure n qu’on avait admise^[1].

67. L’expérience a prouvé que, parmi les diverses formes syllo-

↑ Dans les traités de logique, on se contente de ramener les vingt-quatre formes syllogistiques concluantes aux quatre premières de la première figure ; mais on voit qu’elles peuvent, à la rigueur, être réduites aux deux premières seulement. On peut même remarquer que, d’après la note du n.^o 14, la forme NAN rentre dans la forme AAA, qui est ainsi la seule d’où toutes les autres dérivent.
Les commentateurs d’Aristote, pour faciliter le, souvenir des formes syllogistiques concluantes, les avaient rapportées à quatre vers techniques, dont chaque mot rappelait une de ces formes, et montrait en outre, par les lettres dont il était composé, à quel mode de la première figure le syllogisme se réduisait, et ce qu’il fallait faire pour l’y ramener. Le grand nombre des conditions auxquelles on avait cherché à satisfaire, dans la composition de ces vers artificiels, aurait peut-être dû en faire excuser un peu la dureté, qui a été dans ces derniers temps le sujet d’une multitude de plaisanteries assez mauvaises. Les vers des méthodes latine et grecque de Port-Royal, ceux de la Géographie de Buffier, etc., qui ont été plus épargnés, ne méritaient peut-être guère plus de faveur.

[1] Dans les traités de logique, on se contente de ramener les vingt-quatre formes syllogistiques concluantes aux quatre premières de la première figure ; mais on voit qu’elles peuvent, à la rigueur, être réduites aux deux premières seulement. On peut même remarquer que, d’après la note du n.^o 14, la forme NAN rentre dans la forme AAA, qui est ainsi la seule d’où toutes les autres dérivent.
Les commentateurs d’Aristote, pour faciliter le, souvenir des formes syllogistiques concluantes, les avaient rapportées à quatre vers techniques, dont chaque mot rappelait une de ces formes, et montrait en outre, par les lettres dont il était composé, à quel mode de la première figure le syllogisme se réduisait, et ce qu’il fallait faire pour l’y ramener. Le grand nombre des conditions auxquelles on avait cherché à satisfaire, dans la composition de ces vers artificiels, aurait peut-être dû en faire excuser un peu la dureté, qui a été dans ces derniers temps le sujet d’une multitude de plaisanteries assez mauvaises. Les vers des méthodes latine et grecque de Port-Royal, ceux de la Géographie de Buffier, etc., qui ont été plus épargnés, ne méritaient peut-être guère plus de faveur.

[1]