Définition et principe
Un syllogisme est un raisonnement déductif formel par lequel une conclusion est tirée à partir de deux propositions appelées prémisses. Dans la tradition aristotélicienne, il s'agit d'un enchaînement logique où, si les prémisses sont vraies et la forme du raisonnement correcte, la conclusion l'est nécessairement aussi. Le syllogisme vise à rendre explicite la relation entre termes partagés et à montrer la nécessité logique d'une conséquence.
Structure et termes
La forme la plus étudiée est le syllogisme catégorique, composé de trois propositions : la prémisse majeure, la prémisse mineure et la conclusion. Chaque proposition met en jeu deux des trois termes : le terme majeur (présent dans la conclusion comme prédicat), le terme mineur (présent dans la conclusion comme sujet) et le terme médiat ou moyen (qui relie les deux prémisses). La relation entre ces termes et la quantification (par exemple «tout», «quelques», «aucun») déterminent la validité formelle.
Types et règles générales
Outre le syllogisme catégorique, on distingue des formes hypothétiques (si A alors B), disjonctives (A ou B) et des enthymèmes (arguments abrégés où une prémisse est implicite). Quelques règles classiques pour la validité : le terme moyen doit être distribué au moins une fois, on ne peut tirer une conclusion particulière à partir de prémisses universelles sans justification, et on ne peut conclure une négation à partir de prémisses affirmatives. Le raisonnement peut être valide formellement sans que ses prémisses soient vraies dans le monde réel ; la distinction vérité/validité est essentielle.
Exemples classiques
- Exemple archétypal : "Tous les hommes sont mortels; Socrate est un homme; donc Socrate est mortel." Ici le terme moyen est «homme».
- Forme syllogistique (Barbara) : "Tous A sont B; Tous B sont C; donc Tous A sont C." Cette forme est traditionnellement nommée et étudiée pour sa validité évidente.
- Enthymème : un argument courant omet souvent une prémisse implicite, par exemple : "Socrate est mortel parce qu'il est un homme" (la prémisse "tous les hommes sont mortels" est sous-entendue).
Histoire et influence
Le syllogisme a été systématisé par Aristote dans ses Analytica priora, où il définit et examine les formes valides et les démonstrations. Au Moyen Âge, la logique syllogistique a été au cœur des méthodes d'enseignement et d'argumentation. Avec l'avènement de la logique symbolique aux XIXe et XXe siècles, la portée du syllogisme a été élargie et replacée dans un cadre plus général (logique des prédicats), mais il reste une pierre angulaire de l'enseignement de la pensée critique.
Usages pratiques et limites
Les syllogismes servent à clarifier des chaînes de raisonnement, à tester la cohérence d'arguments et à enseigner la déduction. Ils sont employés en philosophie, en droit et en rhétorique. Le principal défaut est de reposer sur la qualité des prémisses : un syllogisme peut être formellement correct mais conduire à une fausse conclusion si l'une des prémisses est fausse. De plus, nombre d'arguments naturels échappent aux formes syllogistiques strictes et exigent des outils logiques plus puissants pour être formalisés.
Faits notables et distinctions
- La tradition a donné des noms mnémotechniques (comme Barbara) aux formes valides du syllogisme catégorique.
- La logique moderne ne remplace pas totalement le syllogisme mais le voit comme un cas particulier de la logique des prédicats.
- L'étude des erreurs de syllogisme (sophismes) aide à repérer des raisonnements fallacieux courants.