Syllogismes

Logique : la théorie formelle des syllogismes
Marcel Crabbé
Les traditions se perdent. La théorie des syllogismes n’a pas plus d’intérêt pour
le logicien contemporain que n’en a, par exemple, l’alchimie pour le chimiste.
Cependant, contrairement à l’alchimie et à d’autres sciences anciennes dites dé-
passées, la théorie formelle du syllogisme n’est pas fausse, elle est seulement extrême-
ment limitée et pauvre en regard des développements de la logique contemporaine.
Le logicien actuel, qui ne s’intéresse pas à l’histoire de son domaine, ne la traite au
mieux que comme un exercice élémentaire 1 .
1 La logique chez Aristote

La logique d’Aristote aborde des problèmes très variés. Les écrits qui reçurent
le titre général d’Organon (Instrument) constituent une initiation à ses textes
scientifiques et philosophiques. L’Organon comprend les Catégories (énumération
des rubriques sous lesquelles on peut classer les différentes propriétés d’un objet
ou d’un individu), le traité De l’interprétation (analyse des énoncés et de leurs
relations), les Analytiques, se subdivisant en Premiers analytiques (théorie du
syllogisme) et en Seconds analytiques (théorie de la démonstration en science),
les Topiques (théorie de l’argumentation à partir des prémisses plus ou moins
probables) et les Réfutations sophistiques.
Seuls De l’interprétation et les Premiers analytiques relèvent de la logique
proprement dite. Cette logique s’est scolarisée au cours des temps et surtout au
Moyen Âge. Une série de manuels et de traités ont eu pour effet de mécaniser la
démarche du philosophe. Une tradition s’est ainsi progressivement constituée. Elle
a eu, jusqu’à l’avènement de la logique contemporaine, une influence considérable.
Nous donnerons un aperçu rapide de la partie minimale de cette tradition 2 .
1. Pour un jugement plus nuancé, nous renvoyons à notre article « The Formal Theory of
Syllogisms », The Review of Modern Logic 9 no 1–2, 2001–2003, pp. 29–52.
2. Notre manière d’envisager cette tradition fait que nous n’aborderons pas les techniques plus
« récentes », comme celles d’Euler, de Venn, de Boole, de Carroll, de Peirce, ou les techniques
Théorie des syllogismes 2
2 Les jugements
La théorie des syllogismes explicite essentiellement les rapports entre des énoncés
de la forme :
A : Tout S est P
E : Aucun S n’est P
I : Quelque S est P
O : Quelque S n’est pas P
Ces énoncés sont aussi appelés ‘propositions’ ou ‘jugements’ ou ‘jugements caté-

goriques’ ou ‘jugements catégoriques à sujet général’.
S et P sont les termes des énoncés. Le premier terme d’un énoncé est appelé
‘terme du sujet’, ‘attribut du sujet’, ‘concept du sujet’ ou plus simplement, par
abus de langage, ‘sujet’, le sujet étant en réalité le sujet grammatical, savoir ‘tout
S’, ‘aucun S’, ‘quelque S’. Le second terme est aussi appelé ‘prédicat’. Cette
terminologie induit une confusion inoffensive entre nature et fonction : le mot ‘terme’
renvoie à la nature des expressions, alors que ‘sujet’ et ‘prédicat’ désignent leurs
fonctions.
L’étude des liens entre ces énoncés comprend deux aspects : les inférences
immédiates et les syllogismes ou raisonnements médiats.
3 Les inférences immédiates

Les inférences, dites immédiates, règlent le passage de la vérité ou de la fausseté
d’un énoncé à la vérité ou à la fausseté d’un autre énoncé.
3.1 Inférences immédiates découlant du carré logique
Quelques-unes des inférences immédiates sont contenues implicitement dans le

carré logique ; il s’agit de la contradiction, de la contrariété, de la sous-contrariété
et de la subalternation.
Le carré logique schématise les relations fondamentales entre les quatre types de
jugements. Deux énoncés contraires ne peuvent être simultanément vrais, mais bien
simultanément faux. Deux énoncés sous-contraires ne peuvent être simultanément
de la logique actuelle. Ces méthodes, qui paraissent à certains égards plus efficaces, voire plus
intelligentes, que les anciennes, laissent pourtant échapper des éléments essentiels de ladite
tradition, comme l’intérêt porté sur les relations entre les principes, parmi lesquels se trouvent les
formes de syllogismes, ou les premières tentatives de mécanisation de la pensée, si abondamment
critiquées par les modernes.
Le carré logique
A c o n t r a i r e s E
c s
o e
s n r s
u t i u
b r o b
a a t a
l d c l
t i t
e d c e
r a t r
n r o n
e t i e
s n r s
o e
c s
I sou s - c o n t r a i r e s O
faux, mais bien simultanément vrais. Deux énoncés contradictoires ne peuvent être
ni simultanément vrais ni simultanément faux.
3.1.1 Contradiction
Il est vrai que tout S est P

Il est faux que quelque S n’est pas P
Il est vrai que aucun S n’est P

Il est faux que quelque S est P
Il est vrai que quelque S est P

Il est faux que aucun S n’est P
Il est vrai que quelque S n’est pas P

Il est faux que tout S est P




3.1.2 Contrariété


3.1.3 Sous-contrariété


3.1.4 Subalternation




3.2 Les conversions
Les conversions ne sont pas mentionnées dans le carré logique. Elles consistent
à passer de la vérité d’un énoncé à la vérité d’un énoncé résultant de celui-ci par
permutation de l’ordre de ses termes et éventuellement d’altération de sa « quantité »
(auquel cas la conversion est « imparfaite »).
3.2.1 Conversion parfaite
La conversion parfaite n’est possible que sur les énoncés E et I (simpliciter feci).

Il est vrai que aucun P n’est S

Il est vrai que quelque P est S

Il est faux que aucun P n’est S

Il est faux que quelque P est S
3.2.2 Conversion imparfaite
La conversion imparfaite fonctionne seulement avec des énoncés A et E, car

elle consiste alors en une subalternation suivie d’une conversion parfaite ou en une
conversion parfaite suivie d’une subalternation (Eva per accidens).

Il est vrai que quelque P est S

Il est vrai que quelque P n’est pas S

Il est faux que tout P est S

Il est faux que aucun P n’est S
3.3 L’obversion
Une obversion consiste à inférer la vérité d’un énoncé S — non P de la vérité

d’un énoncé S — P ou réciproquement. Les obversions n’interviennent pas dans la
théorie formelle usuelle, mais elles sont des outils pour la mise en forme de phrases
des langues naturelles. Elles permettent, par exemple, de transformer une phrase
négative en une phrase affirmative : ‘Aucun Gantois n’est wallon’ en ‘Tout Gantois
est non wallon’.
‘Tout S est P ’ équivaut à ‘Aucun S n’est non P ’. ‘Aucun S n’est P ’ équivaut
à ‘Tout S est non P ’. ‘Quelque S est P ’ équivaut à ‘Quelque S n’est pas non P ’.
‘Quelque S n’est pas P ’ équivaut à ‘Quelque S est non P ’.
3.3.1 La conversion par contraposition
Si, comme dans le cas des obversions, on s’autorise des modifications des termes,
on peut ajouter deux nouvelles conversions, par contraposition. Une obversion d’un
énoncé A, suivie d’une conversion parfaite et d’une nouvelle obversion redonne un
énoncé A contraposé. Il en va de même pour les énoncés O (Asto per contrapositio-
nem) 3 .
Donc, ‘Tout S est P ’ équivaut à ‘Tout non P est non S’ et ‘Quelque S n’est pas
P ’ équivaut à ‘Quelque non P n’est pas non S’.
3. Simpliciter feci convertitur, Eva per accid, Asto per contrap, sic fit conversio tota.
4 Les syllogismes
Un syllogisme est un raisonnement constitué de deux prémisses : la majeure et la
mineure ; de trois termes — le terme majeur (ou grand extrême), le terme mineur (ou
petit extrême) et le moyen terme — et d’une conclusion. Le moyen terme n’apparaît
pas dans la conclusion mais bien dans chacune des prémisses. Le premier terme de
la conclusion est le mineur et le second est donc le majeur. La majeure contient le
terme majeur et la mineure le terme mineur 4 . La majeure s’écrit avant la mineure.
Cette définition suffit dans les cas usuels mais elle pose problème lorsque, par
exemple, un même terme est moyen terme et mineur. À-t-on affaire alors à un ou à
deux termes ?
4.1 Les figures
Selon la disposition des termes dans les prémisses, on distingue quatre figures
de syllogisme. Dans la première figure, le moyen terme est le premier terme de
la majeure et le second terme de la mineure. Dans la deuxième figure, le moyen
terme est le second terme dans les deux prémisses. Dans la troisième figure, le
moyen terme est le premier terme dans les deux prémisses. Enfin, dans la quatrième
figure, le moyen terme est le second terme de la majeure et le premier terme de la
mineure.
Première figure Deuxième figure Troisième figure Quatrième figure
M - P P M M - P P M
@
I
@ 6 6
@
S @
- M S - M M S M S
B Jusqu’à la fin du Moyen Âge, on ne distinguait pratiquement que trois

figures, en groupant la première et la quatrième. On a attribué à tort la création
de la quatrième figure à Galien. Le problème de l’existence ou non de cette
dernière figure a fait l’objet de longues polémiques qui persistent jusque dans
le Vocabulaire de Lalande. La querelle porte essentiellement sur la question de
savoir s’il faut privilégier la forme, auquel cas il y aurait quatre figures, ou les
4. Terminus esto triplex : medius, majorque, minorque. Nequaquam medium capiat conclusio
oportet (Numquam contineat medium conclusio fas est). Cette définition formalise l’idée que les
termes de la conclusion doivent être reliés entre eux par la médiation du moyen terme. Deux termes
liés à un même troisième (moyen) sont liés entre eux ou deux termes sont déliés si l’un est lié au
moyen et si l’autre en est délié : quae sunt eadem uni tertio, sunt quoque eadem inter se ; quorum
unum convenit alterum ab eo discrepat, ea inter se diversa sunt.
procédés informels, qui vont progressivement s’identifier à des mouvements de

la pensée ou de l’esprit, auquel cas il y aurait trois figures.
Lorsqu’on ne retient que trois figures, on définit la première figure comme étant
celle où le moyen terme est premier terme dans une prémisse, qui est appelée
majeure, et second terme dans l’autre, qui est appelée mineure. Cette fois les
termes majeur et mineur sont définis à partir de leurs positions dans les prémisses
et non dans la conclusion. Le majeur est le second terme de la majeure et le
mineur est le premier terme de la mineure. On distingue alors les modes directs
de la première figure, où le mineur est le premier terme de la conclusion et le
majeur second terme, et les modes indirects, où le majeur est le premier terme
et le mineur second terme de la conclusion.
4.2 Les modes
Il y a soixante-quatre manières de ranger, avec répétitions, en une suite de

trois éléments les lettres A, E, I et O. À chacun de ces arrangements correspond
naturellement ce qu’on appelle un mode de syllogisme. Par exemple, à la suite EIA
correspond la classe (le mode) de syllogismes dont la majeure est un énoncé de type
E, la mineure un énoncé de type I et la conclusion un énoncé de type A.
4.3 Les formes valides
Une forme de syllogisme est complètement déterminée quand on connaît le mode

et la figure des syllogismes de cette forme. Les syllogismes de la quatrième figure,
de mode EIA ont donc une forme pouvant se représenter par :
Aucun P n’est M
Quelque M est S
Tout S est P
Il y a, par conséquent, exactement deux cent cinquante-six formes de syllogismes.

On appelle souvent mode ce que nous appelons ici, par souci de rigueur, forme.
Une forme de syllogisme est valide si tous les syllogismes de cette forme sont
des raisonnements corrects. Ainsi, la forme des syllogismes de la première figure
dont le mode est AAA est valide. Par contre, la forme de l’exemple (mode EIA,
quatrième figure) n’est pas valide. Dans la tradition, on admet généralement vingt-
quatre formes valides de syllogisme.
Il y a deux manières d’extraire les formes valides de l’ensemble des deux cent
cinquante-six formes de syllogisme.
4.3.1 La dérivation à partir des modes parfaits.
La première méthode consiste à admettre comme évidentes quatre formes de

syllogisme de la première figure, celles des modes « parfaits » AAA, EAE, AII et
EIO, et à démontrer à partir d’elles la validité des vingt formes restantes.
Les quatre formes de base sont désignées par les mots ‘Barbara’, ‘Celarent’,
‘Darii’ et ‘Ferio’ 5 . Chacune des autres formes valides recevra également un nom
commençant par une des lettres ‘B’, ‘C’, ‘D’ ou ‘F ’ et dont les trois premières
voyelles sont choisies parmi ‘A’, ‘E’, ‘I’ et ‘O’. L’ordre d’apparition des voyelles
définit le mode. La première lettre signifie qu’il faut, pour démontrer la validité
de la forme, admettre la forme de la première figure commençant par la même
consonne. Les consonnes ‘s’, ‘p’, ‘m’ et ‘c’ sont destinées à coder les étapes de la
démonstration : ‘s’ signifie qu’il faut opérer une conversion parfaite (« simpliciter »)
sur l’énoncé indiqué par la voyelle qui précède, ‘p’ renvoie à la conversion imparfaite
(« per accidens »), ‘m’ indique qu’il faut permuter (« mutare ») les prémisses et
‘c’ renvoie à une démonstration par l’absurde (« per contradictionem »). Enfin, les
autres consonnes ont un rôle euphonique 6 .
Exemples. Les syllogismes en Disamis (troisième figure) sont de mode IAI. Leur
forme est donc :
Quelque M est P
Tout M est S
Quelque S est P
Pour en démontrer la validité, on suppose que les deux prémisses sont vraies et on
cherche à établir la vérité de la conclusion. Si on opère une conversion parfaite sur la
majeure et si on permute les deux prémisses, on obtient à nouveau deux prémisses
vraies :
Tout M est S
Quelque P est M
Les termes sont disposés selon la première figure (S est cette fois le majeur et P le
mineur). Le Darii autorise la conclusion vraie :
Quelque P est S
Une conversion parfaite garantit enfin la vérité de la conclusion du Disamis.

5. Ces quatre formes incarnent le fameux dictum de omni et nullo qui affirme que de Tout
M est P et de Aucun M n’est P , on peut conclure, respectivement, X est P et X est non P ,
si X est M , X étant mis pour « Tout S » (Barbara, Celarent) ou « Quelque S » (Darii, Ferio).
DICTUM DE OMNI : quidquid universaliter dicitur de aliquo subjecto, dicitur de omni quod
sub tali subjecto continetur. (Quidquid de omnibus valet, valet etiam de quibusdam et singulis.)
DICTUM DE NULLO : quidquid universaliter negatur de aliquo subjecto, dicitur de nullo quod
sub tali subjecto continetur. (Quidquid de nullo valet, nec de quibusdam et singulis valet.)
6. s vult simpliciter verti, p vero per accid, m vult mutari, c per impossibile duci.
Les syllogismes en Baroco (deuxième figure) sont de la forme :
Tout P est M
Quelque S n’est pas M
Quelque S n’est pas P
Cette forme de syllogisme présente avec la forme Bocardo (troisième figure) la

particularité d’exiger une démonstration par l’absurde (à partir du Barbara). On
suppose les prémisses vraies et la conclusion fausse. Le contradictoire de la conclusion
est donc vrai. Les deux énoncés :
Tout P est M
Tout S est P
peuvent alors servir de prémisses à un Barbara qui donne comme conclusion vraie :
Tout S est M
Le contradictoire de cet énoncé est faux. Il se trouve que c’est la seconde prémisse
du Baroco, qui a été supposée vraie ! L’hypothèse de la non validité du Baroco n’est
donc pas tenable 7 .
Les principales formes valides sont appelées :

1. Barbara, Celarent, Darii, Ferio ;
2. Cesare, Camestres, Festino, Baroco ;
3. Darapti, Felapton, Disamis, Datisi, Bocardo, Ferison ;
4. Bamalip, Calemes, Dimatis, Fesapo, Fresison.
La première figure comprend en outre Barbari et Celaront ; la seconde Cesaro et
Camestrop et la quatrième Calemop. Ces cinq formes sont appelées « subalternes »
car on les obtient en appliquant la subalternation à la conclusion des formes Barbara,
Celarent, Camestres et Calemes. Nous désignerons les formes syllogistiques par ces
noms standards.
Barbara Barbari Celarent

Tout M est P Tout M est P Aucun M n’est P
Tout S est M Tout S est M Tout S est M
Tout S est P Quelque S est P Aucun S n’est P
7. Ce raisonnement baroque serait l’une des origines de ce mot.
Celaront Darii Ferio

Aucun M n’est P Tout M est P Aucun M n’est P
Tout S est M Quelque S est M Quelque S est M
Quelque S n’est pas P Quelque S est P Quelque S n’est pas P
Cesare Cesaro Camestres

Aucun P n’est M Aucun P n’est M Tout P est M
Tout S est M Tout S est M Aucun S n’est M
Aucun S n’est P Quelque S n’est pas P Aucun S n’est P
Camestrop Festino Baroco

Tout P est M Aucun P n’est M Tout P est M
Aucun S n’est M Quelque S est M Quelque S n’est pas M
Quelque S n’est pas P Quelque S n’est pas P Quelque S n’est pas P
***
Darapti Felapton Disamis
Tout M est P Aucun M n’est P Quelque M est P
Tout M est S Tout M est S Tout M est S
Quelque S est P Quelque S n’est pas P Quelque S est P
Datisi Bocardo Ferison

Tout M est P Quelque M n’est pas P Aucun M n’est P
Quelque M est S Tout M est S Quelque M est S
Quelque S est P Quelque S n’est pas P Quelque S n’est pas P
***
Bamalip Calemes Calemop
Tout P est M Tout P est M Tout P est M
Tout M est S Aucun M n’est S Aucun M n’est S
Quelque S est P Aucun S n’est P Quelque S n’est pas P
Dimatis Fesapo Fresison

Quelque P est M Aucun P n’est M Aucun P n’est M
Tout M est S Tout M est S Quelque M est S
Quelque S est P Quelque S n’est pas P Quelque S n’est pas P
Exercice. Montrez qu’on peut réduire les quatre formes parfaites de syllogisme,
Barbara, Celarent, Darii, Ferio, à deux d’entre elles en utilisant la conversion parfaite
et la contradiction.
B On trouve également d’autres appellations. Ainsi, Celaront se nomme aussi

Celaro ; Camestrop, Camestros ; Calemes, Camenes ; Calemop, Calemos, Came-
nop ou Camenos ; Dimatis, Dimaris, Dibatis ou Diratis. Les logiciens de Port-
Royal, n’ayant cure du sens des lettres ‘s’, ‘p’, ‘m’, ont introduit pour la qua-
trième figure les noms : Barbari, Calentes, Dibatis, Fespamo, Fresisom.
Si on ne reconnaît que trois figures et qu’on remplace les syllogismes de la
quatrième figure par les syllogismes indirects de la première figure, on adopte
les noms suivants : Baralipton(± Bamalip), Celantes (± Calemes), Dabitis
(± Dimatis), Fapesmo (± Fesapo), Frisesomorum (± Fresison). À quoi il faudrait
ajouter le mode subalterne Celantop, correspondant à Calemop.
B On estimait parfois, à tort, que les modes subalternes ne devaient pas être
retenus, car leur conclusion est plus faible que celle que l’on peut déduire des
prémisses. Par exemple, après avoir rappelé que ce qui conclut le général conclut
le particulier, les logiciens de Port-Royal poursuivent en ces termes : « il faut
remarquer qu’il a plu aux hommes de ne considérer les espèces de syllogismes que
selon sa plus noble conclusion qui est la générale : de sorte qu’on ne compte point
pour une espèce particulière de syllogisme celui où on ne conclut le particulier
que parce qu’on en peut aussi conclure le général ».
Cette façon de voir ne paraît pas justifiée car, par symétrie, on devrait alors
ne pas tenir compte des formes qui utilisent des prémisses trop fortes pour la
conclusion : Fesapo, par exemple, qui s’obtient à partir de Fresison en renforçant
la mineure. Ces mêmes raisons, données par les auteurs de la Logique, auraient
dû aussi les conduire à rejeter la subalternation, ce qui aurait rendu beaucoup
de leurs démonstrations impossibles.
4.3.2 Les règles d’élimination
La seconde manière de déterminer les formes valides de syllogismes consiste à

procéder par élimination des formes non valides. Pour cela, on énonce une série de
règles auxquelles doivent se soumettre les syllogismes valables et on ne garde que les
formes de syllogismes les respectant toutes. Pour formuler précisément ces règles, il
faut enrichir quelque peu le vocabulaire technique.
On classe les énoncés de type A, E, I et O selon la « quantité » en universels
et particuliers et selon la « qualité » en affirmatifs et négatifs. Sont universels
les énoncés de type A et E et particuliers ceux de type I et O. Sont affirmatifs les
énoncés de type A et I et négatifs ceux de type E et O 8 . Ce classement est figuré
dans le tableau :
Affirmatifs Négatifs
Universels A E
Particuliers I O
La quantité d’un terme dans un énoncé est « universelle » ou « particulière »,

selon que l’énoncé se réfère ou non à la totalité des objets qui sont vérifiés par la
propriété désignée par ce terme. La quantité n’est pas une propriété intrinsèque du
terme, mais elle est liée à sa fonction dans l’énoncé : un même terme peut avoir une
quantité universelle ici et particulière là. Le tableau suivant indique, pour chaque
type d’énoncé, la quantité du sujet et celle du prédicat :
A E I O
Sujet Universelle Universelle Particulière Particulière
Prédicat Particulière Universelle Particulière Universelle
Ces notions étant définies, nous sommes en mesure de dresser une liste de règles
suffisantes pour éliminer les syllogismes non valides. Aux règles qui concernent le
nombre de termes et leur disposition, qui sont comprises dans la définition de la
notion de syllogisme, on ajoute les suivantes :
Règles portant sur la quantité des termes.
Rmt La quantité du moyen terme doit être universelle dans une des prémisses au
moins (règle du moyen terme) : aut semel, aut iterum medius generaliter
esto. On dit aussi que le moyen terme doit être distribué.
Rlh La quantité d’un terme ne peut être universelle dans la conclusion que si elle
est universelle dans la prémisse comprenant ce terme (règle du latius hos :
latius hos quam premissae conclusio non vult).
Règles portant sur la qualité des énoncés.
Rnn Deux prémisses négatives ne donnent pas de conclusion : utraque si praemissa
neget nil inde sequetur.
8. Les lettres A, E, I et O proviennent pour certains des mots latins ‘AffIrmo’ et ‘nEgO’, pour
d’autres elles n’étaient rien de plus que les quatre premières voyelles de l’alphabet latin. Asserit A
negat E verum generaliter ambo. Asserit I negat O verum particulariter ambo.
Rn Si une des prémisses est négative, la conclusion est négative.

Raa Deux prémisses affirmatives ne donnent pas de conclusion négative : ambae
affirmantes nequeunt generare negantem. 9
Les deux dernières règles peuvent se formuler en une règle unique : la conclusion
est négative ssi une des prémisses l’est.
Règles redondantes portant sur la quantité des énoncés.
Rpp Deux prémisses particulières ne donnent pas de conclusion : nil sequitur

geminis e particularibus unquam.
Rp Si une prémisse est particulière, la conclusion es particulière.
La combinaison des règles Rn et Rp s’exprime encore comme suit : « la conclusion

suit la prémisse la plus faible » : pejorem sequitur conclusio partem. On estimait,
en effet, qu’une négative est plus faible qu’une affirmative et qu’une particulière est
plus faible qu’une universelle. Une lecture plus étendue de cette formule, qui veut
que la conclusion suit la partie la plus faible, permet de justifier également la règle
du latius hos.
Dérivation de Rpp . Supposons que les deux prémisses d’un syllogisme sont
particulières. Les sujets des prémisses sont donc pris particulièrement. Le moyen doit
être universel dans une des prémisses (Rmt ), qui sera par conséquent négative. La
conclusion est donc négative (Rn ) et les prémisses, qui sont particulières, contiennent
deux termes pris universellement (Rlh ). Elles sont donc toutes deux négatives, ce qui
est impossible par Rnn .
Dérivation de Rp . Supposons qu’un syllogisme a une prémisse particulière.
Le sujet de cette prémisse est donc pris particulièrement. Si la conclusion était
universelle, le mineur serait universel dans la mineure (Rlh ) et, comme le moyen doit
être universel dans une des prémisses (Rmt ), une des prémisses serait négative et la
conclusion aussi (Rn ). Le majeur serait dès lors universel dans la majeure (Rlh ). Les
deux prémisses seraient donc négatives, car trois termes y sont pris universellement,
ce qui est interdit par Rnn .
En utilisant les règles concernant les énoncés, Rnn , Rn , Raa , Rpp et Rp , on voit
que seuls les modes AAA, AAI, AEE, AEO, AII, AOO, EAE, EAO, EIO, IAI,
IEO et OAO peuvent donner des syllogismes valides. Le mode IEO est, par ailleurs,
exclu par Rlh , car le majeur y est universel dans la conclusion et particulier dans
la majeure. Il n’y a donc plus que onze modes à examiner pour obtenir tous les
syllogismes valides.
Il reste maintenant à déterminer les formes valides pour chaque figure en
déduisant des règles générales des règles propres aux différentes figures.
9. Le seul cas qui ne respecte pas cette règle, mais bien les autres, est le mode AAO dans la
quatrième figure.
1. Pour la première figure.

M P
S M
S P
La majeure doit être universelle et la mineure affirmative.
En effet, si la mineure était négative, la conclusion le serait aussi (Rn ) et le
majeur serait universel (Rlh ) dans la majeure qui serait donc aussi négative. Cela
violerait Rnn .
Ensuite, le moyen doit être pris universellement dans une des prémisses (Rmt ).
Ce ne peut être que dans la majeure, car la mineure est affirmative. La majeure est
donc universelle.
Il ne reste donc plus que les modes AAA, AAI, AII, EAE, EAO et EIO.
Le sens de la première figure est le suivant : la majeure énonce une loi universelle
(affirmative ou négative) soumise à une condition, exprimée par le moyen terme, et
la mineure affirme que tout ou partie du sujet vérifie la condition. La conclusion dit
que tout ou partie du sujet vérifie la loi.
2. Pour la deuxième figure.
P M
S M
S P
La majeure doit être universelle et la conclusion négative.
En effet, une prémisse est négative (Rmt ) et la conclusion l’est aussi (Rn ). Le
majeur est donc pris universellement dans la majeure (Rlh ) qui est donc universelle.
Les modes qui peuvent donner des formes valables sont donc AEE, AEO, AOO,
EAE, EAO, EIO.
Le sens de la deuxième figure est le suivant : la majeure énonce une loi universelle
(affirmative ou négative), sous condition, et la mineure énonce (négativement ou
affirmativement) que tout ou partie du sujet ne vérifie pas la loi. La conclusion dit
que tout ou partie du sujet ne vérifie pas la condition.
3. Pour la troisième figure.
M P
M S
S P
La mineure doit être affirmative et la conclusion particulière.
Si la mineure était négative, la conclusion serait négative (Rn ) et la majeure aussi
(Rlh ), ce qui va à l’encontre de Rnn . Donc la mineure est affirmative et la conclusion
est particulière (Rlh ).
Les modes valides possibles sont donc AAI, AII, EAO, EIO, IAI, OAO.
La troisième figure est interprétée comme la figure de la contingence. Elle permet,
en effet, de conclure qu’une partie de S se trouve ou non dans P , par la raison qu’un
terme M , qui est, en tout ou en partie, dans S, est ou n’est pas, en tout ou en partie,
dans P .
4. Pour la quatrième figure, les règles sont moins suggestives.
P M
M S
S P
Si la majeure est affirmative, la mineure est universelle (Rmt ). On écarte ainsi AII
et AOO.
Si la conclusion est universelle, la mineure est négative (Rlh ). Ceci écarte AAA
et EAE.
Si la conclusion est négative, la majeure est universelle (Rlh ). Ceci écarte OAO.
Les modes qui restent sont donc AAI, AEE, AEO, EAO, EIO, IAI.
On constate donc que les formes de syllogisme qui passent l’épreuve des règles
d’élimination sont en fait les vingt-quatre formes valides citées précédemment.
4.4 Le présupposé d’existence
Dans l’exposé précédent, nous avons implicitement supposé que les termes utilisés
désignaient des concepts vérifiés par au moins un individu ou objet. Nous avons de
fait exclu des termes qui, comme ‘licorne’, ‘martien’, ‘carré rond’, désignent des
propriétés qui ne sont attribuables à rien. Si on rejette ce présupposé d’existence,
comme on le fait couramment et à juste titre dans la logique contemporaine,
on pourra utiliser des énoncés comportant ce genre de termes. En ce cas toute
particulière dont le sujet est un tel terme est clairement fausse : s’il n’y a pas de S,
il n’y a pas de S qui est P et « Aucun S n’est P » est vraie. Plus surprenant, toute
universelle ayant un sujet vide est vraie : s’il n’y a pas d’objet vérifiant S, il n’y
a pas de S qui n’est pas P et « Tout S est P » est vraie. Une inférence comme la
subalternation qui conclut d’une universelle à une particulière est dès lors incorrecte.
On le voit clairement à partir de l’exemple suivant :
Tout carré rond est rond
Quelque carré rond est rond
Si on n’y prend garde, on peut ainsi, comme l’a noté Leibniz, prouver, à peu de
frais, l’existence d’un être nécessaire (Dieu) :
Tout être possédant l’existence nécessaire est possédant l’existence nécessaire

Quelque être possédant l’existence nécessaire est possédant l’existence nécessaire
Les seules inférences immédiates qui demeurent correctes en l’absence du pré-

supposé d’existence sont la contradiction, la conversion parfaite, l’obversion et la
contraposition.
Il faut également exclure neuf des vingt-quatre formes jugées valides de syllo-
gisme : Barbari, Celaront, Cesaro, Camestrop, Darapti, Felapton, Bamalip, Calemop
et Fesapo. Les syllogismes de ces formes sont les seuls à avoir cette particularité de
posséder deux prémisses universelles et une conclusion particulière. Quand on rejette
le présupposé d’existence, il faut donc ajouter une nouvelle règle :
Ruu Deux prémisses universelles ne donnent pas de conclusion particulière 10 .
Le nombre de formes de syllogisme valides est donc de 24, 19 ou de 15 selon le
point de vue adopté.
Exercice. À quelle figure appartient le syllogisme valide suivant :

Tout homme est homme
5 Extensions de la théorie
Outre les énoncés universels, particuliers, affirmatifs et négatifs, on peut encore
répertorier, du point de vue de la quantité, les énoncés singuliers, et du point de vue
de la qualité, les énoncés indéfinis ou infinis. Un énoncé singulier est un énoncé de la
forme « Socrate est mortel », où le sujet est un terme singulier. Un énoncé infini est,
par exemple, un énoncé comme ‘Tout Brésilien est non européen’. Dire des Brésiliens
qu’ils sont non européens ne dit pas ce qu’ils sont d’une manière positive, comme
quand on dit qu’ils sont américains ; le jugement n’est donc pas affirmatif, il n’est
pas non plus négatif car sa copule est affirmative. On remarquera que du point de
vue formel, ce jugement est affirmatif, et qu’il est équivalent à un jugement négatif
‘Aucun Brésilien n’est européen’. Du reste tout jugement affirmatif est équivalent,
par obversion, à un jugement négatif et réciproquement : « Tout S est P » équivaut
10. La note 9 montre que cette nouvelle règle rend Raa inutile.
à « Aucun S n’est non P », « Quelque S n’est pas P » équivaut à « Quelque S est

non P » 11 .
Aristote a également jeté les premiers jalons d’une théorie des syllogismes
modaux, qui a été approfondie par les logiciens médiévaux. On distingue, du point
de vue de la modalité, trois types de jugements : les jugements de possibilité
(problématiques) « il est possible que tout S est P », les jugements de réalité
(assertoriques) « tout S est P » et les jugements de nécessité (apodictiques) « il
est nécessaire que tout S est P ».
Enfin, du point de vue de la complexité, on distingue les jugements catégoriques
(ou non composés d’autres jugements), hypothétiques « si A, alors B », conjonctifs
« A et B », disjonctifs « A ou B », « ou bien A ou bien B », etc. La logique des
jugements complexes fut d’abord l’œuvre des mégariques (Philon) et des stoïciens
(Chrysippe).
On trouve aussi au Moyen Âge des développements de la logique des opérations
temporelles, il sera vrai que, il a été vrai que, il sera toujours vrai que, etc. Par
contre, la logique des opérateurs spatiaux (il est vrai ici que, il est vrai là que, etc.),
qui n’a d’ailleurs pas de correspondant dans les conjugaisons des langues proches,
semble n’avoir pas été étudiée.
Voici, à titre exemplatif, la fameuse table des jugements de la Critique de la
Raison Pure, dont Kant infère ses douze catégories :
1
Quantité du jugement
Universel
Particulier
Singulier
2 3
Qualité Relation
Affirmatif Catégorique
Négatif Hypothétique
Indéfini Disjonctif
11. Pour Aristote et les scolastiques, un énoncé in(dé)fini est un énoncé dont la quantité n’est
pas indiquée comme ‘Le plaisir est désirable’.
4
Modalité
Problématique
Assertorique
Apodictique
6 Utilisation de la théorie
Pour utiliser la théorie, lorsqu’on veut s’assurer de la validité d’un raisonnement,
on commence par formaliser le raisonnement et puis on vérifie s’il a une forme valide.
Pour formaliser le raisonnement, il faut d’abord découvrir les deux prémisses et
la conclusion. Ensuite, il faut traduire ces phrases sous forme d’énoncés A, E, I, O,
en veillant à faire apparaître trois termes au plus. Dans le meilleur des cas, on se
trouvera en présence d’un syllogisme. Si ce syllogisme est valide, on peut en conclure
que le raisonnement initial l’est aussi ; si le syllogisme n’est pas valide, on peut en
conclure soit que le raisonnement initial n’est pas valide, soit qu’il a été mal analysé.
Cette dernière situation peut être due au fait qu’on peut lui donner une autre forme
syllogistique ou qu’on ne peut pas le traduire du tout en syllogisme.
Il faut remarquer que ce n’est qu’abusivement que l’on qualifie un raisonnement
formulé en langage courant de Barbara, Celarent, etc. Cette qualification ne peut
s’appliquer stricto sensu qu’à des syllogismes mis en forme, car il arrive souvent
qu’un même raisonnement puisse être mis en forme de différentes manières.
Quand on se trouve en présence d’un raisonnement dont la conclusion déplaît,
parce qu’elle est fausse par exemple, on peut soit suspecter que le raisonnement est
non valide ou qu’une prémisse n’est pas vraie, soit s’incliner devant la conclusion,
aussi désagréable soit-elle.
Illustrons cela par le raisonnement suivant, dont la conclusion n’est pas accep-
table pour beaucoup :
Tout ce qui est rare est cher
Une chose pas chère, c’est rare
Une chose pas chère, c’est cher
On peut montrer qu’il n’est pas valide en l’analysant comme suit :

Tout M est P
Tout S est N
Tout S est P
avec M = ‘chose rare, en ce qu’elle est difficile à produire’ ; P = ‘chose chère’ ;

S = ‘chose pas chère’ et N = ‘chose rare, en ce qu’elle est peu fréquente’. En ce
cas, on estime que le mot ‘rare’ est ambigu. On peut de même envisager que ‘cher’
est ambigu, signifiant tantôt « ayant une valeur sentimentale », tantôt « ayant une
valeur marchande ». Dans tous ces cas, le raisonnement « n’est pas » un syllogisme.
Si on propose ce raisonnement dans une conversation portant sur les marchan-
dises en vente sur un marché, l’analyse pourrait être :
Tout M est P
Tout S est M
Tout S est P
avec M = ‘chose rarement en vente sur ce marché’, P = ‘chose qui se vend cher sur
ce marché’ et S = ‘chose qui ne se vend pas cher sur ce marché’ ; il apparaît valide :
c’est un Barbara.
On peut alors contester une prémisse en soutenant qu’il y a des choses rares qui
ne sont pas chères, ou des choses pas chères qui ne sont pas rares.
Enfin, si cette stratégie n’est pas possible parce que les prémisses sont vraies
(pour ce marché), il faut se résoudre à admettre la conclusion. Celle-ci est du reste
vraie chaque fois que tout est cher.
6.1 Formalisation des énoncés
Nous nous contenterons de quelques indications.

Lorsque le prédicat grammatical est un verbe intransitif, on le remplace par ‘est’
suivi du participe présent ou de l’adjectif verbal : ‘Tout homme respire’ se traduit
en ‘Tout homme est respirant’.
Quand le prédicat grammatical est un groupe verbal composé d’un verbe transitif
et d’un complément direct, on peut soit traiter le groupe verbal comme un simple
verbe intransitif, soit opérer une transformation passive : ‘Tout citadin respire un
air impur’ se traduit donc en ‘Tout citadin est respirant un air impur’ ou ‘Quelque
air impur est respiré par tout citadin’.
Si le sujet grammatical est une expression ayant le rôle d’un nom propre, on
le remplace par un terme général (précédé de ‘Tout’ ou ‘Quelque’) et le résultat
sera une universelle ou une particulière : ‘Pierre est mortel’ devient ‘Tout individu
identique à Pierre est mortel’ ou ‘Quelque individu identique à Pierre est mortel’ 12 .
12. Cette dernière interprétation était considérée comme une véritable hérésie, car, selon les
Anciens, ‘Pierre est mortel’ parle de Pierre tout entier et doit donc être considéré comme universel.
Lorsque le sujet grammatical est un verbe intransitif, il est conseillé de le

nominaliser en utilisant les ressources de la langue, par exemple le participe présent,
l’adjectif verbal ou l’opérateur ‘le fait de ’. ‘Écrire prend du temps’ devient ‘Tout
écrivant est prenant du temps’.
Il faut noter que le résultat de l’analyse peut être inélégant ou lourd, mais
grammaticalement correct. Il peut aussi ne pas être grammatical : ‘les femmes sont
mortelles’ s’analyse en ‘Tout femme est mortel’. Dans de tels cas, on peut soit
considérer que la phrase appartient à une langue formelle et la laisser telle qu’elle,
soit la corriger légèrement en accordant en genre et en nombre, en faisant précéder
le prédicat de ‘un’ ou ‘une’, etc. : ‘toute femme est mortelle’.
Donc, ‘Socrate court’ s’interprète d’abord ‘Socrate est courant’, puis ‘Tout
individu identique à Socrate est courant’ ; ‘Paul aime Virginie’ se traduit par ‘Tout
individu identique à Paul est aimant Virginie’ ou ‘Tout individu identique à Virginie
est aimé de Paul’ ; ‘Étudier fatigue’ devient d’abord ‘Étudier est fatiguant’ et,
ensuite, ’L’étude est fatigante’, ‘Toute activité identique à l’étude est fatigante’ ;
‘Courir implique bouger’ se traduit ‘Tout courant est bougeant’ ou ‘Toute course est
mouvement’.
6.2 Exemples de formalisation de raisonnements
Il n’y a de bête si féroce qu’elle ne connaisse tant soit peu la pitié. Mais je n’en
connais aucune, et je ne suis donc pas une bête (Richard III, 1, 2).
C’est un Camestres :
Toute bête est connaissant la pitié
Aucun être identique à moi n’est connaissant la pitié
Aucun être identique à moi n’est une bête
ou un Baroco :
Toute bête est connaissant la pitié
Quelque être identique à moi n’est pas connaissant la pitié
Quelque être identique à moi n’est pas une bête
La loi interdit les écoutes téléphoniques, car les écoutes téléphoniques sont une
atteinte à la vie privée et la loi garantit la protection de la vie privée.
La conclusion est ‘la loi interdit les écoutes téléphoniques’ et les prémisses sont
‘les écoutes téléphoniques sont une atteinte à la vie privée’ et ‘la loi garantit la
protection de la vie privée’. Première analyse : S est ‘loi’, P est ‘interdisant les
écoutes téléphoniques’, M est ‘protégeant des atteintes à la vie privée’. ‘Les écoutes
téléphoniques sont une atteinte à la vie privée’ se traduit par « Tout non P est
non M », ‘la loi garantit la protection de la vie privée’ par « Tout S est M » et ‘la
loi interdit les écoutes téléphoniques’ par « Tout S est P ». Après contraposition de
la première prémisse, on se trouve en présence d’un Barbara. Deuxième analyse : S
est ‘écoute téléphonique’, P est ‘interdit par la loi’, M est ‘atteinte à la vie privée’,
on a à nouveau un Barbara.
Il est interdit aux étudiants en sciences de tricher aux examens. Or, les étudiants
en philosophie ne sont pas des étudiants en sciences. Il n’est donc pas interdit aux
étudiants en philosophie de tricher aux examens.
S = ‘étudiant en philosophie’, M = ‘étudiant en sciences’, P = ‘individu à qui il
est interdit de tricher’. Le raisonnement devient : Tout M est P . Or aucun S n’est
M . Donc, on n’a pas que tout S est P . Par passage au contradictoire, on transforme
la conclusion en « Quelque S n’est pas P ». Le résultat est :
Tout M est P
Aucun S n’est M
Quelque S n’est pas P
Ce syllogisme de la première figure, de mode AEO, ne satisfait pas à la règle du

latius hos, car P est universel dans la conclusion et particulier dans la majeure.
Fumer détend. Le stress fait fumer. Donc, le stress détend.

Première analyse. M = ‘action de fumer’, P = ‘activité qui détend’, S =
‘stress’, N = ‘faisant fumer’. Le raisonnement n’est pas un syllogisme, car il a
quatre termes : le moyen est ambigu. Deuxième analyse. M = ‘individu qui fume’,
P = ‘individu détendu’, S = ‘individu stressé’. On a un Barbara avec une prémisse
fausse. Troisième analyse. M = ‘activité faisant fumer’, P = ‘activité qui cause une
détente’, S = ‘stress’. On a à nouveau un Barbara.
Qui dit que vous êtes en Belgique dit la vérité. Qui dit que vous êtes à Liège dit
que vous êtes en Belgique. Donc, qui dit que vous êtes à Liège dit la vérité.
Une première analyse, grossière, peut être faite en assimilant « qui dit que ... dit
la vérité » à « ... » et « qui dit que ... dit que ... » à « si ... , alors ... » : S = ‘identique
à vous’, M = ‘étant en Belgique’, P = ‘étant à Liège’. On obtient un syllogisme qui
ne satisfait pas à la règle du moyen terme :
Tout P est M
Tout S est M
Tout S est P
Pour une analyse plus fine, on pose : M = ‘disant que vous êtes en Belgique’, P =
‘disant la vérité’, S = ‘disant que vous êtes à Liège’. Cela donne un Barbara :
Tout M est P
Tout S est M
Tout S est P
Les médiévaux, à la suite d’Aristote, ont résolu ce genre de paradoxe en

distinguant les sens absolu (simpliciter) et relatif (secundum quid) de ‘disant la
vérité’. Dans un emploi absolu, ‘disant la vérité’ signifierait « qui dit habituellement,
voire toujours, la vérité ». Cela correspond à l’analyse que nous venons de faire.
À supposer que les prémisses du raisonnement soient vraies, la conclusion doit
l’être aussi : même si vous n’êtes pas à Liège, celui qui dit que vous y êtes dit
habituellement la vérité. Dans un emploi relatif, l’expression ‘disant la vérité’ est
incomplète, car elle signifie « disant la vérité en disant que ... ». En ce cas, le majeur
du syllogisme devient équivoque : ‘disant la vérité’ devant être remplacé par ‘disant
la vérité en disant que vous êtes en Belgique’ dans la majeure et par ‘disant la vérité
en disant que vous êtes à Liège’ dans la conclusion, et le raisonnement n’est plus un
syllogisme, car il a plus de trois termes.
Enfin, une quatrième interprétation consisterait à choisir l’une des deux lectures
secundum quid. Le raisonnement serait à nouveau concluant mais, par exemple, la
conclusion devrait être comprise comme « qui dit que vous êtes à Liège dit la vérité,
en disant que vous êtes en Belgique ».
6.3 Du bon usage des paralogismes
Les raisonnements non valides peuvent être utilisés à des fins rhétoriques ou
sophistiques. Ils peuvent aussi être utilisés pour trouver des hypothèses, formuler
des conjectures, renforcer une conviction.
On appelle ‘paralogisme’ ou ‘sophisme’ un raisonnement non valide. La distinc-
tion faite usuellement entre sophisme et paralogisme ne concerne pas la logique
mais la rhétorique et la morale : un sophisme est un paralogisme proposé dans une
mauvaise intention. Cette différence est du même type que celle de l’erreur et du
mensonge. Les paralogismes les plus fréquents sont l’abduction et l’induction, ces
paradigmes de la logique de la découverte.
L’abduction est le syllogisme à la Sherlock Holmes, violant la règle du moyen
terme :
Tout P est M L’assassin a des moustaches vertes
Tout S est M Paul a des moustaches vertes
Tout S est P Paul est l’assassin
L’induction est le latius hos de la troisième figure :
Tout M est P Platon, Aristote et Nietzsche savaient le grec

Tout M est S Platon, Aristote et Nietzsche étaient de grands philosophes
Tout S est P Les grands philosophes savaient le grec
Avec le présupposé d’existence, la règle du latius hos n’autorise que la conclusion

d’un Darapti : ‘Quelques grands philosophes savaient le grec’.
7 Limitations de la théorie
7.1 Limitations apparentes
On a déjà signalé que l’existence de certains jugements qui ne sont pas catégo-
riques à sujet général comme les jugements singuliers et infinis ne saurait constituer
une véritable limitation.
Quoiqu’un syllogisme n’ait que deux prémisses, on peut cependant analyser
des raisonnements comprenant un plus grand nombre de prémisses en enchaînant
plusieurs syllogismes, la conclusion d’un syllogisme devenant prémisse du suivant.
Un tel enchaînement est appelé polysyllogisme ou sorite.
Voici un exercice de Lewis Carroll :
Que peut-on déduire des affirmations suivantes ?
(1) Ces idées qui sont miennes, mais qui ne peuvent être exprimées sous forme de
syllogisme sont vraiment ridicules ;
(2) Aucune de mes idées sur les cramiques ne mérite d’être mise par écrit ;
(3) Aucune de mes idées qui ne se réalise pas ne peut être exprimée sous forme de
syllogisme ;
(4) Je n’ai jamais eu une idée vraiment ridicule que je n’ai pas transmise aussitôt à
mon avocat ;
(5) Je ne rêve que de cramiques ;
(6) Je ne transmets jamais d’idée à mon avocat, à moins qu’elle ne mérite d’être
mise par écrit.
En posant M = ‘idée de moi non exprimable en syllogisme’, C = ‘idée de moi
sur les cramiques’, I = ‘idée de moi qui se réalise’, S = ‘rêve de moi’, R = ‘idée de
moi vraiment ridicule’, T = ‘idée de moi transmise à mon avocat’, N = ‘idée de moi
méritant d’être notée’, on obtient :
(1) Tout M est R ;
(2) Aucun C n’est N ;
(3) Aucun non I n’est non M ;
(4) Aucun R n’est non T ;
(5) Tout S est C ;
(6) Tout T est N .
On transforme (3) et (4), par obversion, en « Tout non I est M » et « Tout R est
T », ce qui fait apparaître sept termes, et on désigne ‘non I’ par P . En enchaînant
trois Barbara, un Camestres et un Celarent, on a :
Tout T est N (6)
Tout R est T (4)
Tout R est N
Tout M est R (1)
Tout M est N
Tout P est M (3)
Tout P est N
Aucun C n’est N (2)
Aucun C n’est P
Tout S est C (5)
Aucun S n’est P
La conclusion « Aucun S n’est P » est une traduction de ‘Aucun de mes rêves n’est
non réalisé’, c’est-à-dire ‘Tous mes rêves se réalisent’.
La notion de polysyllogisme suggère donc que l’on généralise la notion de
syllogisme de façon à ne plus être limité à deux prémisses. Cela peut se faire comme
ceci. Un syllogisme, au sens général, a n ≥ 1 prémisses, H1 , ..., Hn , une conclusion

de sujet S et de prédicat P , et n + 1 termes, le mineur S, le majeur P et les moyens
termes Mi (1 ≤ i < n). Les prémisses « enchaînent » les termes au sens suivant :
H1 contient les termes P et M1 (ou S, si n = 1), Hi contient les termes Mi−1 et Mi
(1 < i < n) et, enfin, Hn contient les termes Mn−1 (ou P , si n = 1) et S. Quand
il n’y a qu’un moyen terme, on retrouve le syllogisme ordinaire, et avec zéro moyen
terme, on a les inférences immédiates.
Une règle du moyen terme généralise celle du syllogisme ordinaire : tout moyen
terme doit être pris universellement dans au moins une des prémisses. Les autres
règles d’élimination restent inchangées : un terme ne peut être universel dans sa
prémisse, s’il est particulier dans la conclusion ; une prémisse négative donne une
conclusion négative ; deux prémisses négatives ne donnent pas de conclusion ; si les
prémisses sont affirmatives la conclusion est affirmative 13 . L’exemple précédent, qui
se récrit :
Tout P est M (3) (Aucun non I n’est non M )
Tout M est R (1)
Tout R est T (4) (Aucun R n’est non T )
Tout T est N (6)
Aucun C n’est N (2)
Tout S est C (5)
Aucun S n’est P ,
vérifie toutes ces règles.
7.2 Limitations réelles
La logique des syllogismes ne permet généralement pas de rendre compte des

raisonnements comportant des énoncés complexes, ni des raisonnements qui font
intervenir des relations ou des fonctions. Les raisonnements avec énoncés complexes
ont été étudiés par les logiciens stoïciens. Les formes les plus courantes en sont le
modus ponens :
S’il pleut, il fait mauvais
Il pleut
Il fait mauvais
et le modus tollens :
S’il pleut, il fait mauvais
Il ne fait pas mauvais
Il ne pleut pas
13. L’article « The Formal Theory of Syllogisms », cité plus haut, contient une preuve que ces
règles éliminent exactement les syllogismes, au sens général, qui sont non valides.
Il faut noter toutefois que ces raisonnements sont analysables en syllogismes :
Toute situation pluvieuse est une situation (climatiquement) mauvaise

Toute situation identique à la situation présente est une situation pluvieuse
Toute situation identique à la situation présente est une situation mauvaise
Cependant, une telle analyse, qui réduit les relations entre énoncés à des relations
entre propriétés, manque de subtilité et n’est pas généralisable.
Aussi, quand on combine ces sortes de raisonnements avec les syllogismes, comme
l’ont fait beaucoup de médiévaux, on obtient une logique sensiblement plus souple
et plus riche.
Les modernes ont senti la limitation de la théorie des syllogismes lorsqu’on se
trouve en présence de relations. Par exemple, les raisonnements suivants proposés
par Jungius et Leibniz ne se laissent pas analyser en syllogismes ou inférences
immédiates :
Tout cercle est une figure
Qui dessine un cercle dessine une figure
Jésus-Christ est Dieu
La mère de Jésus-Christ est la mère de Dieu
8 Démonstration des règles

Nous allons démontrer, en guise d’exercice, la validité des règles générales de la
section 4.3.2.
Remarquons d’abord que la règle du moyen terme se déduit de la règle du latius
hos. En effet, si le moyen terme M n’est universel dans aucune des prémisses, alors le
syllogisme obtenu en « contraposant » une prémisse et la conclusion — c’est-à-dire
en remplaçant une prémisse par la contradictoire de la conclusion et la conclusion
par la contradictoire de cette prémisse — viole Rlh , car M est pris universellement
dans la conclusion et particulièrement dans sa prémisse.
La règle Rn se déduit semblablement de Rnn en contraposant la prémisse
affirmative (s’il y en a une) et la conclusion 14 .
Il reste donc à justifier les règles Rlh , Rnn et Raa .
La méthode que nous utiliserons est celle des contre-modèles ou contre-exemples.
Pour montrer qu’une règle est valable, nous montrerons qu’un syllogisme qui ne
respecte pas cette règle est non valide. Pour montrer qu’un syllogisme est non valide,
14. Ceci ne signifie nullement que ces règles sont redondantes, au sens qu’un syllogisme vérifiant
le latius hos vérifie la règle du moyen terme, ou qu’un syllogisme vérifiant Rnn vérifie Rn !
nous décrirons un exemple ou « modèle » dans lequel les prémisses du syllogisme

sont vraies et la conclusion fausse. Ce contre-modèle sera décrit en associant à
chaque terme du syllogisme un ensemble non vide (pour tenir compte du présupposé
d’existence) et en donnant aux expressions logiques (‘tout’, ‘quelque’...) un sens
standard.
Un modèle M est constitué d’un ensemble non vide |M| et d’une interprétation
qui associe à chaque terme T un sous-ensemble non vide TM de |M|. En notant
M |= A le fait que l’énoncé A est vrai dans le modèle M, la vérité d’un énoncé dans
un modèle est définie comme suit :
M |= Tout S est P ssi l’ensemble SM est inclus dans PM ;

M |= Aucun S n’est P ssi l’ensemble SM est disjoint de PM ;
M |= Quelque S est P ssi les ensembles SM et PM ont au moins un élément
commun ;
M |= Quelque S n’est pas P ssi l’ensemble SM a au moins un élément non
dans PM .
Nous introduisons les notations :

RM ⊂ TM ssi RM est strictement inclus dans TM ;
RM ⊥ TM ssi RM et TM sont disjoints ;
RM ∪ TM est la réunion des ensembles RM et TM .
Nous utiliserons les faits suivants :

si RM ⊂ TM , tout énoncé en R et T dans lequel T est particulier est vrai dans
M;
si RM ⊂ TM , tout énoncé en R et T dans lequel T est universel est faux dans
M;
si RM ⊥ TM , tout énoncé négatif en R et T est vrai dans M ;
si RM = TM , tout énoncé affirmatif en R et T est vrai dans M.
Démonstration de Rlh . Soient R, T , les termes de la conclusion du syllogisme.

Supposons que T soit universel dans la conclusion et particulier dans la prémisse
correspondante. Alors, pour tout M tel que MM ⊂ TM et RM ⊂ TM , la prémisse
qui contient T est vraie et la conclusion est fausse.
Si la prémisse qui contient R est affirmative, on prend un M tel que RM = MM ⊂
TM .
Si elle est négative, on prend un M tel que MM ⊥ RM et TM = MM ∪ RM .
Dans les deux cas, les prémisses sont vraies et la conclusion fausse dans M.
Démonstration de Rnn . Si la conclusion est affirmative, on prend un M tel que
SM ⊥ PM , SM ⊥ MM et PM ⊥ MM . Si la conclusion est négative, on prend
SM = PM et SM ⊥ MM .
Démonstration de Raa . Si les prémisses sont affirmatives et la conclusion négative,
on prend M tel que SM = PM = MM .
Exercice. Existe-t-il des raisonnements intuitivement valides qui se sont pas des
syllogismes, mais qui sont néanmoins formés de deux prémisses et d’une conclusion
catégoriques ? Plus précisément, existe-t-il des raisonnements intuitivement valides
de la forme X, Y ` Z, qui ne sont pas des syllogismes, bien que X, Y et Z soient
des énoncés A, E, I ou O ?
Plan
1 La logique chez Aristote 1
2 Les jugements 2
3 Les inférences immédiates 2

3.1 Inférences immédiates découlant du carré logique . . . . . . . . . . . 2
3.1.1 La contradiction . . . . . . . . . . . . . . . . . . . . . . . . . 3
3.1.2 La contrariété . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3.1.3 La sous-contrariété . . . . . . . . . . . . . . . . . . . . . . . . 4
3.1.4 La subalternation . . . . . . . . . . . . . . . . . . . . . . . . . 4
3.2 Les conversions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3.2.1 La conversion parfaite . . . . . . . . . . . . . . . . . . . . . . 5
3.2.2 La conversion imparfaite . . . . . . . . . . . . . . . . . . . . . 5
3.3 L’obversion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.3.1 La conversion par contraposition . . . . . . . . . . . . . . . . 6
4 Les syllogismes 7
4.1 Les figures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
4.2 Les modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4.3 Les formes valides . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4.3.1 La dérivation à partir des modes parfaits . . . . . . . . . . . . 9
4.3.2 Les règles d’élimination . . . . . . . . . . . . . . . . . . . . . . 12
4.4 Le présupposé d’existence . . . . . . . . . . . . . . . . . . . . . . . . 16
5 Extensions de la théorie 17
6 Utilisation de la théorie 19
6.1 Formalisation des énoncés . . . . . . . . . . . . . . . . . . . . . . . . 20
6.2 Exemples de formalisation de raisonnements . . . . . . . . . . . . . . 22
6.3 Du bon usage des paralogismes . . . . . . . . . . . . . . . . . . . . . 24
7 Limitations de la théorie 24
7.1 Limitations apparentes . . . . . . . . . . . . . . . . . . . . . . . . . . 24
7.2 Limitations réelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
8 Démonstration des règles 27

Syllogismes

Transféré par

Informations du documentcliquez pour développer les informations du document

Droits d'auteur :

Formats disponibles

Syllogismes

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Syllogismes

Transféré par

Droits d'auteur :

Formats disponibles

Logique : la théorie formelle des syllogismes

1 La logique chez Aristote

Ces énoncés sont aussi appelés ‘propositions’ ou ‘jugements’ ou ‘jugements caté-

3 Les inférences immédiates

3.1 Inférences immédiates découlant du carré logique

Quelques-unes des inférences immédiates sont contenues implicitement dans le

Il est vrai que tout S est P

Il est vrai que aucun S n’est P

Il est vrai que quelque S est P

Il est vrai que quelque S n’est pas P

Il est faux que tout S est P

Il est faux que aucun S n’est P

Il est faux que quelque S est P

Il est faux que quelque S n’est pas P

Il est vrai que tout S est P

Il est vrai que aucun S n’est P

Il est faux que quelque S est P

Il est faux que quelque S n’est pas P

Il est vrai que tout S est P

Il est vrai que aucun S n’est P

Il est faux que quelque S est P

Il est faux que quelque S n’est pas P

3.2 Les conversions

3.2.1 Conversion parfaite

Il est vrai que aucun S n’est P

Il est vrai que quelque S est P

Il est faux que aucun S n’est P

Il est faux que quelque S est P

3.2.2 Conversion imparfaite

La conversion imparfaite fonctionne seulement avec des énoncés A et E, car

Il est vrai que tout S est P

Il est vrai que aucun S n’est P

Il est faux que quelque S est P

Il est faux que quelque S n’est pas P

Une obversion consiste à inférer la vérité d’un énoncé S — non P de la vérité

3.3.1 La conversion par contraposition

4.1 Les figures

B Jusqu’à la fin du Moyen Âge, on ne distinguait pratiquement que trois

procédés informels, qui vont progressivement s’identifier à des mouvements de

4.2 Les modes

Il y a soixante-quatre manières de ranger, avec répétitions, en une suite de

4.3 Les formes valides

Une forme de syllogisme est complètement déterminée quand on connaît le mode

Il y a, par conséquent, exactement deux cent cinquante-six formes de syllogismes.

4.3.1 La dérivation à partir des modes parfaits.

La première méthode consiste à admettre comme évidentes quatre formes de

Une conversion parfaite garantit enfin la vérité de la conclusion du Disamis.

Les syllogismes en Baroco (deuxième figure) sont de la forme :

Cette forme de syllogisme présente avec la forme Bocardo (troisième figure) la

Les principales formes valides sont appelées :

Barbara Barbari Celarent

Celaront Darii Ferio

Cesare Cesaro Camestres

Camestrop Festino Baroco

Datisi Bocardo Ferison

Dimatis Fesapo Fresison

B On trouve également d’autres appellations. Ainsi, Celaront se nomme aussi