Le syllogisme

Définition approfondie

Le syllogisme est une forme de raisonnement, théorisée par Aristote, dans laquelle une conclusion se déduit nécessairement de deux propositions admises, appelées prémisses. L'exemple devenu classique l'illustre : tous les hommes sont mortels ; or Socrate est un homme ; donc Socrate est mortel.

Le mot vient du grec sullogismos (συλλογισμός), formé de sun (avec, ensemble) et logizesthai (calculer, raisonner). Le syllogisme est donc, littéralement, l'acte de « raisonner ensemble » des propositions, de les lier de telle sorte qu'une conclusion en découle. Aristote en donne une définition précise : un discours dans lequel, certaines choses étant posées, quelque chose d'autre en résulte nécessairement, par le seul fait de ces données.

Ce qui caractérise le syllogisme, et fait toute sa portée, c'est la nécessité de l'enchaînement. Si les prémisses sont vraies et la forme correcte, la conclusion est nécessairement vraie : on ne peut pas l'admettre. C'est cette nécessité formelle qui fait du syllogisme un instrument de démonstration.

Contexte d'émergence

Le syllogisme est au cœur de la logique d'Aristote, qui est le premier à avoir constitué la logique comme discipline systématique. Avant lui, on raisonnait, on argumentait, on réfutait, mais personne n'avait dégagé les règles formelles du raisonnement valide. Aristote opère ce geste fondateur dans les traités regroupés sous le nom d'Organon, littéralement « l'instrument », car la logique est pour lui non une science particulière mais l'outil de toute science.

L'enjeu est considérable. En montrant que la validité d'un raisonnement dépend de sa forme, et non de son contenu, Aristote fonde l'idée d'une logique formelle. On peut juger qu'un raisonnement est correct sans rien savoir du sujet dont il traite, simplement en examinant sa structure. C'est une découverte d'une portée immense, qui dominera la logique occidentale pendant plus de deux mille ans.

Articulation du concept

Le syllogisme met en jeu trois termes et trois propositions. Reprenons l'exemple. Les trois termes sont « mortel » (le grand terme), « Socrate » (le petit terme) et « homme » (le moyen terme, celui qui apparaît dans les deux prémisses mais non dans la conclusion). Les trois propositions sont la majeure (tous les hommes sont mortels), la mineure (Socrate est un homme) et la conclusion (Socrate est mortel). Le moyen terme joue le rôle de pivot : c'est lui qui assure la liaison entre les deux autres.

Ce qui importe à Aristote, c'est que la conclusion suit nécessairement de la forme du raisonnement, indépendamment du contenu. On peut remplacer « homme », « mortel » et « Socrate » par n'importe quels termes respectant la même structure, et le raisonnement restera valide. C'est ce qui distingue la validité (la correction de la forme) de la vérité (la conformité au réel). Un syllogisme peut être valide tout en ayant une conclusion fausse, si l'une de ses prémisses est fausse ; et un raisonnement peut aboutir à une conclusion vraie par un cheminement invalide. La logique étudie la validité, c'est-à-dire la forme.

Aristote a méthodiquement recensé et classé les formes valides de syllogismes, distinguant les figures et les modes selon la disposition des termes et la nature des propositions (universelles ou particulières, affirmatives ou négatives). Ce travail de classification, d'une grande minutie, constitue le premier système logique de l'histoire. Il distingue aussi le syllogisme démonstratif, qui part de prémisses vraies et certaines pour produire la science, du syllogisme dialectique, qui part d'opinions probables.

Réception et postérité

La logique aristotélicienne a connu une domination presque sans partage pendant plus de deux millénaires. Reprise et commentée par les logiciens de l'Antiquité tardive, transmise au monde arabe puis à l'Occident médiéval, elle est enseignée dans toutes les universités. La scolastique en raffine l'usage et invente des moyens mnémotechniques pour retenir les formes valides de syllogismes. Kant lui-même estimait, à la fin du XVIIIe siècle, que la logique d'Aristote était une science achevée, à laquelle on n'avait rien ajouté d'essentiel depuis son origine.

Ce jugement, longtemps partagé, a été démenti par une révolution survenue à la fin du XIXe siècle. Avec les travaux de logiciens comme Gottlob Frege, la logique mathématique moderne transforme profondément la discipline. Elle dépasse le cadre du syllogisme en développant une analyse beaucoup plus puissante des propositions et des raisonnements, capable de traiter des relations et des quantifications que la syllogistique ne pouvait formaliser. La logique aristotélicienne apparaît dès lors comme un cas particulier, important historiquement mais limité, d'un édifice bien plus vaste.

Le syllogisme conserve néanmoins une valeur pédagogique et historique majeure. Il reste la porte d'entrée classique dans l'étude du raisonnement, et son exemple le plus célèbre demeure dans toutes les mémoires. Comprendre le syllogisme, c'est comprendre l'idée fondatrice que la validité d'un raisonnement tient à sa forme.

Exemples et illustrations

L'exemple canonique « tous les hommes sont mortels, or Socrate est un homme, donc Socrate est mortel » montre la structure de base. Mais il est instructif de voir comment un raisonnement peut être valide et pourtant aboutir au faux. Considérez : tous les oiseaux volent ; or l'autruche est un oiseau ; donc l'autruche vole. La forme est valide, mais la conclusion est fausse, parce que la majeure (« tous les oiseaux volent ») est fausse. Cet exemple fait sentir la différence entre validité (la forme est correcte) et vérité (l'accord avec le réel) : la logique garantit que si les prémisses sont vraies, la conclusion l'est, mais elle ne garantit pas la vérité des prémisses.

À l'inverse, un raisonnement peut être invalide tout en ayant des prémisses et une conclusion vraies. Par exemple : certains philosophes sont grecs ; or Socrate est grec ; donc Socrate est philosophe. Les trois propositions sont vraies, mais la conclusion ne découle pas validement des prémisses (le raisonnement commet une faute de forme). Ces exemples montrent que ce qu'étudie la logique aristotélicienne, c'est bien la forme du raisonnement, indépendamment de la matière.

Pour aller plus loin

Les Premiers Analytiques d'Aristote sont le traité fondateur de la théorie du syllogisme. C'est un texte technique, dont l'abord direct est ardu ; mieux vaut commencer par une introduction à la logique aristotélicienne, qui en présente les principes de façon ordonnée.

Pour mesurer la révolution moderne, une introduction à la logique contemporaine montre comment la logique des prédicats a dépassé le cadre syllogistique. L'article « Aristotle's Logic » de la Stanford Encyclopedia of Philosophy offre une synthèse rigoureuse en accès libre, qui situe le syllogisme dans l'ensemble de l'œuvre logique d'Aristote.

Sources

• Stanford Encyclopedia of Philosophy, article « Aristotle's Logic ». Consulté en mai 2026.
• Wikipédia, articles « Syllogisme » (français), « Syllogism » (anglais). Consultés en mai 2026.
• Premiers Analytiques d'Aristote (Organon). Consulté en mai 2026.