Les syllogismes

Qu’est-ce qu’un syllogisme ?

Un syllogisme est un raisonnement déductif rigoureux qui relie trois propositions : deux prémisses (la majeure et la mineure) et une conclusion qui découle nécessairement des deux premières si elles sont vraies. Le syllogisme a été formalisé par Aristote et constitue la base du raisonnement logique déductif en philosophie et en logique formelle.

• Prémisse majeure : proposition générale.
• Prémisse mineure : cas particulier relevant de la majeure.
• Conclusion : déduction logique des deux premières.

Exemple classique :

Tous les hommes sont mortels (majeure).
Or, Socrate est un homme (mineure).
Donc, Socrate est mortel (conclusion)

Définition et principes

Le syllogisme met en relation des catégories ou des ensembles à l’aide d’un « terme moyen » qui n’apparaît pas dans la conclusion, mais relie les deux autres termes (majeur et mineur). Sa validité dépend uniquement de sa forme logique, indépendamment de la véracité des prémisses : un syllogisme peut être valide, mais non concluant si ses prémisses sont fausses.

Validité vs Vérité :

• Un syllogisme est valide si la conclusion découle logiquement des prémisses.
• Il est concluant si, en plus, les prémisses sont vraies.

Exemple de syllogisme valide, mais non concluant :

Tous les chiens sont des oiseaux.
Les caniches sont des chiens.
Donc, les caniches sont des oiseaux.

Les principaux types de syllogismes

Les syllogismes, fondements du raisonnement déductif, constituent des structures argumentatives formalisées permettant d’établir des conclusions valides à partir de prémisses données. Voici une présentation des principaux types de syllogismes qui ont façonné la logique classique.

Le syllogisme catégorique, héritage aristotélicien, s’articule autour de trois propositions : deux prémisses et une conclusion. Il établit des relations d’appartenance entre concepts, permettant ainsi d’inférer des vérités nouvelles à partir de connaissances établies.

Le syllogisme hypothétique introduit une dimension conditionnelle dans le raisonnement. Sa structure « Si A, alors B ; or A ; donc B » permet d’explorer les relations causales et les implications logiques entre différentes propositions.

Le syllogisme disjonctif, quant à lui, repose sur l’exclusion mutuelle : « Soit A, soit B ; or non-A ; donc B ». Cette forme permet de conclure par élimination lorsqu’on dispose d’alternatives clairement définies.

Ces structures logiques, bien que développées il y a plus de deux millénaires, demeurent des outils intellectuels précieux pour l’analyse critique et la construction d’arguments rigoureux dans de nombreux domaines de la pensée contemporaine.

Les 20 formes de syllogismes les plus répandues

La tradition aristotélicienne distingue plusieurs formes (ou « modes ») de syllogismes, réparties en figures selon la position du terme moyen. Voici les formes les plus classiques, chacune illustrée, expliquée et accompagnée d’un conseil pour éviter les erreurs.

Le syllogisme Barbara

Le syllogisme Barbara représente l’une des formes les plus pures de la logique aristotélicienne. Cette structure de raisonnement déductif, appartenant à la première figure des syllogismes catégoriques, se caractérise par sa rigueur et sa clarté exemplaires.

Dans sa composition, le syllogisme Barbara s’articule autour de trois propositions universelles affirmatives (type A):
– Une majeure universelle affirmative
– Une mineure universelle affirmative
– Une conclusion universelle affirmative

Sa formulation canonique se présente ainsi:
* Majeure: Tout M est P
* Mineure: Tout S est M
* Conclusion: Donc tout S est P

Ce qui fait la force du Barbara, c’est sa validité formelle incontestable. Si les prémisses sont vraies, la conclusion l’est nécessairement. Cette forme syllogistique parfaite illustre admirablement le principe de transitivité dans la logique classique et demeure un modèle de référence dans l’étude des raisonnements déductifs.

Le syllogisme Celarent

Le syllogisme Celarent représente une forme de raisonnement déductif dans la logique aristotélicienne. Il s’agit d’un syllogisme de la première figure dont la majeure est universelle négative (E) et la mineure universelle affirmative (A), aboutissant à une conclusion universelle négative (E).

Sa structure formelle se présente ainsi :
– Majeure (E) : Aucun M n’est P
– Mineure (A) : Tout S est M
– Conclusion (E) : Donc, aucun S n’est P

Ce mode syllogistique, considéré comme l’un des quatre modes parfaits selon Aristote, permet d’établir une exclusion catégorique entre deux classes d’objets via un moyen terme commun. Sa validité logique est immédiatement reconnaissable et ne nécessite pas de réduction à d’autres formes pour être démontrée.

Dans l’histoire de la philosophie, Celarent a joué un rôle fondamental pour comprendre les mécanismes de la négation universelle dans le cadre du raisonnement logique.

Le syllogisme Darii

Le syllogisme Darii constitue l’une des formes valides du raisonnement déductif en logique aristotélicienne. Sa structure caractéristique se compose d’une prémisse majeure universelle affirmative (A), suivie d’une prémisse mineure particulière affirmative (I), aboutissant à une conclusion particulière affirmative (I).

La formulation classique de ce syllogisme peut être représentée ainsi :

* Prémisse majeure : Tout M est P
* Prémisse mineure : Certains S sont M
* Conclusion : Donc, certains S sont P

Cette forme de raisonnement, remarquable par sa rigueur, permet d’établir des vérités particulières à partir de principes généraux, tout en conservant la validité logique du processus inférentiel. Le syllogisme Darii occupe ainsi une place prépondérante dans l’arsenal méthodologique de la logique formelle et demeure un modèle d’argumentation précise et cohérente.

Le syllogisme Ferio

Le syllogisme Ferio représente l’une des formes valides du raisonnement logique aristotélicien. Sa structure se caractérise par une prémisse majeure universelle négative (E), une prémisse mineure particulière affirmative (I), et aboutit à une conclusion particulière négative (O).

Sa formulation suit le schéma suivant :

• Aucun P n’est M
• Certains S sont M
• Donc, certains S ne sont pas P

Ce mode syllogistique appartient à la première figure des syllogismes classiques, où le moyen terme occupe la position de prédicat dans la prémisse majeure et de sujet dans la prémisse mineure.

La validité du Ferio repose sur un principe fondamental de contradiction : si certains S possèdent la propriété M, mais qu’aucun P ne possède cette même propriété, alors nécessairement certains S ne peuvent être P.

Le syllogisme Baralipton

Le syllogisme Baralipton constitue une forme particulière de raisonnement logique appartenant à la première figure des syllogismes aristotéliciens. Sa structure se caractérise par une majeure universelle affirmative (A), une mineure universelle affirmative (A), et une conclusion particulière affirmative (I), avec conversion de la conclusion.

Dans cette configuration, le moyen terme occupe la position de sujet dans la majeure et de prédicat dans la mineure, ce qui permet d’établir une relation logique rigoureuse entre les propositions. La dénomination « Baralipton » elle-même suit la nomenclature médiévale des syllogismes, où chaque voyelle représente un type de proposition spécifique.

Ce mode de raisonnement déductif permet d’inférer des vérités particulières à partir de prémisses universelles, constituant ainsi un outil précieux dans l’élaboration d’argumentations philosophiques structurées et dans l’analyse critique du discours.

Syllogisme Celante

Le syllogisme de type Celante représente une forme valide de raisonnement déductif dans la logique aristotélicienne. Appartenant à la première figure du syllogisme, il se caractérise par une prémisse majeure universelle négative (E), une prémisse mineure universelle affirmative (A), et aboutit à une conclusion universelle négative (E).

Sa structure formelle peut être exprimée ainsi :
– Prémisse majeure (E) : Aucun M n’est P
– Prémisse mineure (A) : Tout S est M
– Conclusion (E) : Donc, aucun P n’est S

Cette forme de raisonnement permet d’établir une exclusion totale entre deux classes d’objets par l’intermédiaire d’un terme moyen. Sa validité repose sur les principes fondamentaux de la logique aristotélicienne et demeure un outil précieux dans l’analyse des arguments philosophiques.

Syllogisme Datisi

Le syllogisme Datisi appartient à la troisième figure du syllogisme catégorique aristotélicien. Sa structure se caractérise par un agencement spécifique des prémisses et de la conclusion qui respecte des règles précises de validité logique.

Dans cette forme particulière, la prémisse majeure est de type affirmatif universel (A), tandis que la prémisse mineure est de type affirmatif particulier (I). La conclusion qui en découle est nécessairement de type affirmatif particulier (I).

Sa formulation canonique peut s’exprimer ainsi :
– Tout M est P (prémisse majeure)
– Quelque M est S (prémisse mineure)
– Donc, quelque S est P (conclusion)

Le syllogisme Datisi constitue l’un des modes valides du raisonnement déductif dans la logique aristotélicienne, permettant d’établir des vérités particulières à partir de propositions universelles et particulières.

Le syllogisme Disamis

Le syllogisme Disamis Le syllogisme Disamis s’inscrit dans la tradition logique aristotélicienne comme une forme de raisonnement déductif précisément structurée. Ce mode particulier de la troisième figure syllogistique se caractérise par une prémisse majeure de type I (particulière affirmative), une prémisse mineure de type A (universelle affirmative), et une conclusion de type I (particulière affirmative). Sa structure formelle peut être représentée ainsi : – Quelque M est P (prémisse majeure, particulière affirmative) – Tout M est S (prémisse mineure, universelle affirmative) – Donc, quelque S est P (conclusion, particulière affirmative) La validité du Disamis repose sur une articulation rigoureuse des termes qui permet de déduire, à partir d’une attribution particulière et d’une attribution universelle partageant un moyen terme commun, une relation particulière entre deux concepts distincts. Cette forme syllogistique illustre avec élégance la subtilité du raisonnement déductif aristotélicien.

Nom	Explication	Mise en situation	Exemple	Éviter le piège
1. Barbara
		Exclusion et inclusion
7. Datisi	Tous A sont B, certains A sont C, donc certains C sont B	Inclusion croisée	Tous les chiens sont carnivores, certains chiens sont domestiques, donc certains domestiques sont carnivores	Bien repérer les intersections
8. Disamis	Certains A sont B, tous A sont C, donc certains C sont B	Inclusion partielle	Certains chats sont noirs, tous les chats sont félins, donc certains félins sont noirs	Ne pas inverser la relation
9. Bocardo	Certains A ne sont pas B, tous A sont C, donc certains C ne sont pas B	Exclusion partielle	Certains hommes ne sont pas riches, tous les hommes sont mortels, donc certains mortels ne sont pas riches	Bien distinguer les groupes
10. Ferison	Aucun A n’est B, certains A sont C, donc certains C ne sont pas B	Exclusion partielle	Aucun poisson n’a de poils, certains poissons sont rouges, donc certains rouges n’ont pas de poils	Attention à la portée du « certains »
11. Darapti	Tous A sont B, tous A sont C, donc certains C sont B	Double inclusion	Tous les chats sont animaux, tous les chats sont carnivores, donc certains carnivores sont animaux	Ne pas généraliser à tous les C
12. Felapton	Aucun A n’est B, tous A sont C, donc certains C ne sont pas B	Exclusion et inclusion	Aucun oiseau n’est mammifère, tous les oiseaux sont volants, donc certains volants ne sont pas mammifères	Ne pas confondre exclusion et inclusion
13. Bramantip	Tous A sont B, tous B sont C, donc certains C sont A	Inclusion réciproque	Tous les chiens sont animaux, tous les animaux sont mortels, donc certains mortels sont chiens	Ne pas inverser la conclusion
14. Camenes	Tous A sont B, aucun B n’est C, donc aucun C n’est A	Inclusion et exclusion	Tous les chats sont félins, aucun félin n’est un oiseau, donc aucun oiseau n’est un chat	Bien suivre la chaîne logique
15. Dimatis	Certains A sont B, tous B sont C, donc certains C sont A	Inclusion partielle	Certains chiens sont blancs, tous les blancs sont visibles, donc certains visibles sont chiens	Attention à la réciprocité
16. Fesapo	Aucun A n’est B, tous B sont C, donc certains C ne sont pas A	Exclusion et inclusion	Aucun poisson n’est un mammifère, tous les mammifères sont vertébrés, donc certains vertébrés ne sont pas poissons	Ne pas généraliser
17. Fresison	Aucun A n’est B, certains B sont C, donc certains C ne sont pas A	Exclusion partielle	Aucun fruit n’est légume, certains légumes sont verts, donc certains verts ne sont pas fruits	Bien définir les ensembles
18. Baroco	Tous A sont B, certains B ne sont pas C, donc certains A ne sont pas C	Inclusion et exclusion	Tous les chiens sont animaux, certains animaux ne sont pas domestiques, donc certains chiens ne sont pas domestiques	Attention à l’inclusion partielle
19. Cesare	Aucun A n’est B, tous C sont A, donc aucun C n’est B	Exclusion catégorique	Aucun poisson n’est mammifère, tous les saumons sont poissons, donc aucun saumon n’est mammifère	Vérifier la chaîne d’exclusion
20. Camestres	Tous A sont B, aucun B n’est C, donc aucun C n’est A	Inclusion et exclusion	Tous les chats sont félins, aucun félin n’est un oiseau, donc aucun oiseau n’est un chat	Bien suivre la logique des termes

Conseils pour ne pas tomber dans le piège

• Vérifier la validité de la forme : un syllogisme n’est valide que si la conclusion découle nécessairement des prémisses.
• Vérifier la vérité des prémisses : une conclusion peut être fausse, même si le raisonnement est valide, si les prémisses sont fausses.
• Éviter les faux syllogismes : par exemple, confondre inclusion et appartenance (« Tous les humains sont mortels, un âne est mortel, donc un âne est humain » est un faux syllogisme).
• Distinguer validité et vérité : la logique du syllogisme est indépendante de la réalité des faits.
• Analyser la portée des termes : attention aux généralisations abusives ou aux confusions de catégories.

Limites du syllogisme

Le syllogisme, bien qu’outil fondamental de la logique, a ses limites : il suppose des prémisses universelles rarement vérifiables dans la réalité, et il ne permet pas de produire de nouvelles connaissances mais seulement de déduire à partir de ce qui est déjà admis.

En résumé, le syllogisme est un pilier du raisonnement déductif, à manier avec rigueur et esprit critique pour éviter les erreurs logiques et les conclusions fallacieuses.

Photo : Vitaly Gariev sur Pexels.

Pour aller plus loin

Liens affiliés Amazon : en tant que Partenaire Amazon, ce site perçoit une commission sur les achats éligibles réalisés via ces liens, sans coût supplémentaire pour vous.