Syllogisme

Le syllogisme est une forme de raisonnement déductif codifiée par Aristote. Il se compose de deux prémisses et d'une conclusion, articulées par trois termes de telle sorte que la conclusion découle nécessairement des prémisses. C'est en quelque sorte le squelette logique de la déduction classique, la forme rendue visible et vérifiable.

Comme toute déduction, un syllogisme peut être valide sans être vrai : sa validité tient à l'agencement des termes et non au contenu des prémisses. Aristote a recensé les combinaisons qui produisent une conclusion correcte et celles qui aboutissent à des erreurs. Étudier un syllogisme, c'est donc examiner sa forme avant de discuter de la vérité de ce qu'il affirme.