Comment déterminer la figure d'un syllogisme et savoir si l'argument est correctement construit ?

16 min read
19

Chaque jour, nous sommes confrontés au besoin de défendre notre point de vue, d'analyser les arguments d'autrui et de prendre des décisions bien réfléchies. Au cœur d'une pensée rigoureuse et fondée sur des preuves se trouve la logique formelle, et son outil classique est le syllogisme catégorique simple — une inférence déductive composée de deux prémisses et d'une conclusion.

Cependant, le simple fait d'énoncer une conclusion ne suffit pas. Pour comprendre si la conclusion découle nécessairement des prémisses ou si nous sommes confrontés à un piège logique, il faut savoir analyser la structure de l'inférence. Une étape clé de cette analyse est de déterminer la figure du syllogisme — le schéma qui montre exactement comment le soi-disant terme moyen est distribué dans les énoncés.

Ce guide pratique vous aidera à maîtriser rapidement l'algorithme d'analyse des syllogismes à partir de zéro. Vous apprendrez à identifier correctement les termes majeur et mineur, à distinguer la prémisse majeure de la prémisse mineure, à visualiser les connexions logiques à l'aide des cercles d'Euler, et à repérer instantanément les erreurs de raisonnement typiques.

Anatomie d'une Inférence : Identification des Termes S, P et M

Avant de passer aux schémas graphiques et aux règles de figure, vous devez apprendre à disséquer l'inférence comme un anatomiste expérimenté. Tout syllogisme catégorique simple se compose de trois éléments, appelés termes en logique. Leur agencement mutuel détermine la structure et la justesse de l'ensemble de la conclusion.

Ces trois « piliers » sont le sujet (S), le prédicat (P) et le terme moyen (M). Une erreur dans l'identification de ces éléments mènera inévitablement à une détermination erronée de la figure et à des conclusions fausses. Examinons comment trouver ces éléments dans le texte sans erreur et comment séparer correctement les prémisses en majeure et mineure.

Comment Trouver les Termes Extrêmes (Sujet S et Prédicat P) dans la Conclusion

L'analyse de tout syllogisme doit toujours commencer par sa fin — la conclusion. C'est là que se cache la clé pour déchiffrer toute la structure de l'inférence. Dans le texte, la conclusion est facilement reconnaissable grâce à des mots-marqueurs tels que : « par conséquent », « ainsi », « en conséquence », « il s'ensuit que ».

Dès que vous avez isolé l'énoncé de la conclusion, trouvez les deux termes extrêmes qu'il contient :

Sujet de la conclusion ($S$) — c'est ce dont parle la conclusion (le terme mineur). Grammaticalement, il correspond le plus souvent au sujet de la phrase.
Prédicat de la conclusion ($P$) — c'est ce qui est affirmé ou nié à propos du sujet (le terme majeur). Il est généralement exprimé par le prédicat ou la partie nominale du prédicat.

Exemple :
Dans la conclusion « Par conséquent, certains avocats ($S$) sont des défenseurs ($P$) » :

$S$ (sujet) — « avocats » ;
$P$ (prédicat) — « défenseurs ».

En identifiant $S$ et $P$, vous posez une base solide pour l'analyse ultérieure des prémisses.

Comment Calculer le Terme Moyen (M) et Différencier les Prémisses Majeure et Mineure

Après avoir identifié les termes extrêmes ($S$ et $P$) dans la conclusion, trouver le terme moyen ($M$, terminus medius) sera facile.

Étape 1. Calculer le terme moyen ($M$)
Regardez attentivement les deux prémisses. Trouvez le concept qui est dupliqué dans les deux mais qui est complètement absent de la conclusion elle-même. C'est le terme moyen ($M$). Il agit comme le lien entre le sujet et le prédicat, permettant la transition vers la conclusion, après quoi il « disparaît ».

Étape 2. Différencier les prémisses
Dans un syllogisme catégorique simple, les prémisses sont strictement différenciées par les termes extrêmes qu'elles contiennent :

Prémisse majeure — c'est l'énoncé qui inclut le terme majeur ($P$, le prédicat de la conclusion). Dans la notation syllogistique standard, elle est généralement placée en premier.
Prémisse mineure — c'est l'énoncé qui contient le terme mineur ($S$, le sujet de la conclusion).

Exemple :*

Tous les métaux ($M$) sont conducteurs ($P$). (Prémisse majeure)
Le cuivre ($S$) est un métal ($M$). (Prémisse mineure)
Le cuivre ($S$) est conducteur ($P$). (Conclusion)

Maintenant que la structure de l'inférence est entièrement analysée, vous pouvez passer à la détermination graphique de la figure du syllogisme.

Algorithme Étape par Étape pour Déterminer la Figure du Syllogisme

Après avoir appris à trouver correctement le terme moyen (M) et à séparer les prémisses en majeure et mineure, la carte de l'inférence s'ouvre devant nous. En logique formelle, l'agencement relatif des termes dans les prémisses n'est pas aléatoire — il est soumis à une géométrie stricte, appelée la figure du syllogisme. Déterminer la figure est une étape clé qui vous permet de comprendre les règles selon lesquelles la pensée se déploie et si elle contient des défauts cachés.

Pour que ce processus ne soit pas difficile lors d'un examen ou lors de l'analyse d'un texte réel, nous le réduirons à un algorithme simple et clair. Ensuite, nous visualiserons la structure des prémisses à l'aide de schémas graphiques classiques et décomposerons une instruction étape par étape qui vous aidera à reconnaître instantanément l'une des quatre figures dans des exemples pratiques spécifiques.

Quatre Schémas Graphiques pour l'Agencement du Terme Moyen

La figure d'un syllogisme catégorique simple est sa variation structurelle, déterminée exclusivement par la position du terme moyen ($M$) dans les prémisses. Puisque le terme moyen relie les termes extrêmes ($S$ et $P$) et est présent dans les deux prémisses, il existe exactement quatre façons possibles pour qu'il soit distribué spatialement.

Quatre schémas graphiques sont utilisés en logique pour une mémorisation et une analyse rapides. Dans ceux-ci, les prémisses sont représentées conditionnellement comme des lignes horizontales, et la position du terme $M$ est connectée par un segment de ligne :

Figure 1 : Le terme moyen ($M$) occupe la position de sujet dans la prémisse majeure et la position de prédicat dans la prémisse mineure. La ligne graphique est dirigée du haut vers le bas et de gauche à droite (formant une ligne diagonale \).

$M$ — $P$
$S$ — $M$
Figure 2 : Le terme moyen ($M$) agit comme prédicat dans les deux prémisses. La ligne de connexion forme une ligne verticale sur le côté droit (|).

$P$ — $M$
$S$ — $M$
Figure 3 : Le terme moyen ($M$) est le sujet dans les deux prémisses. La ligne de connexion forme une ligne verticale sur le côté gauche (|).

$M$ — $P$
$M$ — $S$
Figure 4 : Le terme moyen ($M$) occupe la position de prédicat dans la prémisse majeure et la position de sujet dans la prémisse mineure. La ligne graphique est dirigée du haut vers le bas et de droite à gauche (formant une ligne diagonale /).

$P$ — $M$
$M$ — $S$

Ces motifs géométriques permettent la visualisation instantanée de la structure de l'inférence et sa préparation pour la vérification de la justesse logique.

Instruction Étape par Étape pour Identifier la Figure dans un Exemple Pratique

Examinons l'analyse étape par étape d'un syllogisme classique :

Tous les métaux conduisent l'électricité.
Le cuivre est un métal.
Le cuivre conduit l'électricité.

Étape 1. Analyser la conclusion.
Tout d'abord, nous trouvons la conclusion : « Le cuivre conduit l'électricité. » Le sujet de la conclusion (S) est « le cuivre », et le prédicat (P) est « conduit l'électricité. »

Étape 2. Déterminer les prémisses.
La prémisse majeure contient le prédicat (P) : « Tous les métaux conduisent l'électricité. » La prémisse mineure contient le sujet (S) : « Le cuivre est un métal. »

Étape 3. Trouver le terme moyen (M).
Le concept présent dans les deux prémisses mais absent de la conclusion est le « métal ». Nous le désignons par M.

Étape 4. Déterminer la figure.
Nous écrivons le schéma de l'arrangement des termes :

Dans la prémisse majeure : M — P (le terme moyen est en position de sujet).
Dans la prémisse mineure : S — M (le terme moyen est en position de prédicat).

En reliant visuellement M, nous obtenons une ligne diagonale allant de gauche à droite et de haut en bas. C'est la première figure classique du syllogisme.

Analyse des Quatre Figures et Leurs Règles Spéciales

Déterminer le schéma graphique d'un syllogisme n'est que la moitié de la bataille. Pour garantir la vérité de la conclusion lorsque les prémisses sont vraies, il est nécessaire de vérifier si les règles spéciales prescrites pour chaque figure spécifique sont respectées. En logique formelle, ces règles agissent comme des filtres stricts : même si l'inférence semble convaincante extérieurement, la violation d'une seule exigence locale la rend instantanément non valide logiquement.

Chacune des quatre figures possède sa propre signification cognitive unique et des exigences strictes concernant la qualité et la quantité des prémisses. Examinons en détail quelles lois régissent la structure de chaque figure et comment ces règles aident à éliminer instantanément les inférences déductives fausses.

Caractéristiques et Règles des Premières et Deuxièmes Figures

Les premières et deuxièmes figures du syllogisme catégorique simple sont d'une importance fondamentale en logique, car les inférences déductives les plus évidentes et les procédures de réfutation sont basées sur elles.

Première Figure (M — P, S — M) :
Dans cette figure, le terme moyen ($M$) est le sujet dans la prémisse majeure et le prédicat dans la prémisse mineure. Il est soumis à deux règles strictes :

La prémisse majeure doit être une proposition universelle ($A$ ou $E$).
La prémisse mineure doit être une proposition affirmative ($A$ ou $I$).

Modes valides : AAA, EAE, AII, EIO.

Deuxième Figure (P — M, S — M) :
Ici, le terme moyen ($M$) occupe la position de prédicat dans les deux prémisses. Ses règles exigent :

La prémisse majeure doit être universelle ($A$ ou $E$).
L'une des prémisses (et la conclusion elle-même) doit être négative ($E$ ou $O$).

Modes valides : EAE, AEE, EIO, AOO.

Violer l'une de ces règles rend automatiquement l'inférence logiquement incorrecte, même si les prémisses semblent vraies.

Caractéristiques et Règles des Troisièmes et Quatrièmes Figures

Passons à l'analyse de la troisième et de la quatrième figures du syllogisme catégorique simple, il est important de noter qu'elles sont soumises à leurs propres lois spécifiques, différentes des deux premières figures.

Troisième Figure (le terme moyen M occupe la position de sujet dans les deux prémisses) :

Règle de la prémisse mineure : La prémisse mineure doit nécessairement être une proposition affirmative (A ou I).
Règle de la conclusion : La conclusion dans cette figure doit toujours être une proposition particulière (I ou O).

Exemple : Tous les bambous (M) sont des céréales (P). Tous les bambous (M) sont des plantes (S). Quelques plantes (S) sont des céréales (P).

Quatrième Figure (le terme moyen M est le prédicat dans la prémisse majeure et le sujet dans la prémisse mineure) :
Cette figure est considérée comme la moins naturelle pour notre pensée, mais elle est strictement formalisée :

Si la prémisse majeure est affirmative (A ou I), alors la prémisse mineure doit être universelle (A ou E).
Si la prémisse mineure est affirmative (A ou I), alors la conclusion doit être particulière (I ou O).
Si l'une des prémisses est négative (E ou O), alors la prémisse majeure doit être universelle (A ou E).

Le respect de ces règles garantit la correction formelle de l'inférence pour ces structures.

Méthodes de Vérification de la Validité Logique d'une Inférence

Après avoir déterminé la figure du syllogisme et l'avoir comparée aux règles spéciales, nous franchissons une étape importante, mais celle-ci n'est pas toujours suffisante pour un verdict final. Pour éliminer complètement l'erreur de raisonnement, il est nécessaire de procéder à une vérification directe de la correction logique de la structure de l'inférence. En logique formelle, deux méthodes principales sont traditionnellement appliquées à cet effet : l'analytique et la graphique.

La première méthode est basée sur la comparaison de la structure du syllogisme avec un tableau de modes valides qui ont été testés au cours des siècles. La deuxième méthode est visuelle, utilisant les cercles d'Euler pour modéliser les relations entre les volumes des concepts. La combinaison de ces approches garantit une précision absolue dans l'analyse de tout syllogisme catégorique simple.

Analyse des Modes Valides pour Chaque Figure

Chaque figure du syllogisme catégorique simple possède ses propres modes valides — des variétés d'inférences distinguées par les caractéristiques quantitatives et qualitatives des prémisses et de la conclusion ($A, I, E, O$). Sur les 256 combinaisons théoriquement possibles, seules 24 sont logiquement valides (6 pour chaque figure, y compris les modes affaiblis).

Pour faciliter la mémorisation, des noms mnémotechniques spéciaux ont été utilisés depuis le Moyen Âge, où les voyelles indiquent le type de proposition dans la structure du syllogisme (prémisse majeure, prémisse mineure et conclusion) :

Figure I (produit tous les types de conclusions) : Barbara (AAA), Celarent (EAE), Darii (AII), Ferio (EIO).
Figure II (conclusion toujours négative) : Cesare (EAE), Camestres (AEE), Festino (EIO), Baroco (AOO).
Figure III (conclusion toujours particulière) : Darapti (AAI), Disamis (IAI), Datisi (AII), Felapton (EAO), Bocardo (OAO), Ferison (EIO).
Figure IV (ne produit pas de conclusions universelles) : Bramantip (AAI), Camenes (AEE), Dimaris (IAI), Fesapo (EAO), Fresison (EIO).

Si la structure de votre syllogisme correspond à l'un de ces modes, l'inférence est déductivement valide.

Méthode de Vérification Graphique Utilisant les Cercles d'Euler

La méthode graphique utilisant les cercles d'Euler est la manière la plus fiable de visualiser un syllogisme catégorique simple et de vérifier instantanément sa validité sans mémoriser les règles et les modes.

La base de la méthode est la représentation des volumes de concepts sous forme de cercles. Puisqu'un syllogisme implique trois termes — le sujet de la conclusion (S), le prédicat de la conclusion (P) et le terme moyen (M) — nous travaillons avec trois cercles dans le schéma, dont les positions relatives sont strictement dictées par les prémisses.

Algorithme de vérification étape par étape :

Illustrer la prémisse majeure. Dessinez des cercles reflétant la relation entre le terme moyen (M) et le prédicat (P).
Superposer la prémisse mineure sur le schéma. Ajoutez le cercle du sujet (S), en observant strictement sa relation avec le terme moyen (M).
Évaluer le schéma résultant. Vérifiez si la relation entre S et P énoncée dans la conclusion découle de celle-ci. Si les cercles peuvent être tracés de telle sorte que les prémisses restent vraies, mais que la conclusion devient fausse, le syllogisme est construit de manière incorrecte.

Cet outil visuel élimine les erreurs subjectives et aide à vérifier rapidement la conclusion logique lors d'un examen ou d'une discussion.

Même avec des méthodes de vérification graphique telles que les cercles d'Euler, il est facile de commettre une erreur en pratique si le contrôle de la structure des concepts est affaibli. La logique formelle exige une précision impeccable : le moindre changement dans le sens d'un mot ou l'ignorance de règles spécifiques pour une figure donnée détruit instantanément la nécessité logique de la conclusion. Par conséquent, nous arrivons à une conclusion fausse ou peu fiable basée sur des prémisses en apparence convaincantes.

Pour protéger son raisonnement contre les distorsions destructrices, il est nécessaire d'étudier en détail les sophismes logiques typiques. Le plus souvent, ils sont liés soit à une manipulation incorrecte des termes au sein du syllogisme lui-même, soit à une violation subtile de ces règles très spécifiques des figures que nous avons abordées précédemment. Examinons ces pièges plus en détail pour apprendre à les reconnaître instantanément dans les discussions quotidiennes et les problèmes académiques.

L'Effet de la Quaternisation des Termes et Comment la Reconnaître

L'effet de la quaternisation des termes (quaternio terminorum) est l'une des erreurs les plus insidieuses dans un syllogisme catégorique simple. Selon les règles de la logique, un syllogisme doit contenir strictement trois termes : le sujet ($S$), le prédicat ($P$) et le terme moyen ($M$). L'erreur se produit lorsque le même mot est utilisé dans les prémisses avec des significations différentes. Par conséquent, le terme moyen est divisé, et nous nous retrouvons avec quatre termes au lieu de trois, ce qui rend la conclusion fausse ou logiquement déconnectée.

Considérez un exemple classique :

Le mouvement est éternel (ici « mouvement » est une catégorie philosophique).
Aller à l'université est un mouvement (ici « mouvement » est une action physique).
Donc, aller à l'université est éternel.

Comment reconnaître la quaternisation des termes en pratique ?

Vérifier l'ambiguïté des concepts : Assurez-vous que le terme moyen ($M$) dans la prémisse majeure et la prémisse mineure a une signification absolument identique.
Méfiez-vous des homonymes et des métaphores : Les mots à double sens (par exemple, « monde », « clé », « arc ») sont les principales sources de cette erreur.
Analyser le contexte : Si un terme est pris au sens collectif (comme une classe d'objets) dans une prémisse, et au sens distributif (comme un élément spécifique) dans une autre, vous avez une quaternisation des termes.

Pièges Logiques Lors de la Violation des Règles Spécifiques des Figures

La violation des règles spécifiques des figures est une autre source courante d'erreurs logiques. Chaque figure impose des exigences strictes sur la qualité et la quantité des prémisses ; ne pas s'y conformer détruit la rigueur de la conclusion.

Ignorer les règles de la première figure. Ici, la prémisse mineure doit être affirmative et la prémisse majeure doit être universelle. Si vous utilisez une prémisse mineure négative : « Tous les étudiants (M) passent des examens (P). Cette personne (S) n'est pas un étudiant (M) », une conclusion logiquement valide ne peut être tirée. La tentative de conclure que « Cette personne ne passe pas d'examens » est erronée car le prédicat de la conclusion ($P$) se révèle distribué, même s'il ne l'était pas dans la prémisse.
Le piège des prémisses affirmatives dans la deuxième figure. La deuxième figure exige qu'une des prémisses soit négative. La violation de cette règle conduit au terme moyen non distribué. Par exemple : « Tous les scientifiques vrais (P) aiment la vérité (M). Petrov (S) aime la vérité (M) ». La conclusion « Petrov est un scientifique vrai » est logiquement non fondée, car les dilettantes peuvent aussi aimer la vérité.

La connaissance de ces règles permet d'éviter des conclusions fausses qui semblent convaincantes en apparence.

Conclusion

La capacité de déterminer la figure d'un syllogisme et de vérifier sa correction n'est pas seulement une compétence académique pour réussir des examens, mais une base fiable pour la pensée critique. L'analyse systématique des arguments étape par étape — de la recherche des termes extrêmes et moyens ($S$, $P$, $M$) à l'analyse graphique et à la vérification par rapport aux règles spécifiques des figures — permet de reconnaître instantanément les manipulations et les erreurs logiques dans les discussions quotidiennes, la pratique juridique ou la recherche scientifique.

La pratique régulière amène rapidement cet algorithme à l'automatisation. Utilisez les schémas étudiés, les cercles d'Euler et les règles de mode comme un filtre pour les informations entrantes afin que vos propres arguments restent toujours impeccables, prouvables et logiquement cohérents.