Ni Aristote, ni Galien

Les manuels de logique tiennent pour acquis que la quatrième figure des syllogismes catégoriques, curieusement passée sous silence par Aristote, a été inventée par Galien. Et cette figure, issue d’une combinatoire assez basique, permettrait une inférence de la conclusion tout aussi nécessaire que les trois figures canoniques exposées dans les Premiers Analytiques. Il y a là deux idées reçues, l’une historiquement fausse et l’autre logiquement problématique, qu’il convient de mettre à l’épreuve par une compréhension renouvelée de ce qu’est, pour Aristote, une figure de syllogisme catégorique. La prétendue quatrième figure apparaîtra alors pour ce qu’elle est : une impossibilité rationnelle, ce qui explique le silence aristotélicien à son sujet.