Vous êtes sur la page 1sur 12

Le syllogisme C-1

LE SYLLOGISME
ANDR ROSS

INTRODUCTION

Dans le Time, Platon prtend quil nest nul besoin


dautres preuves que la vraisemblance puisque cest par la
rminiscence que lon parvient aux Ides. Aristote ne
partage pas cette conception de la Connaissance. Pour lui,
la vraisemblance ne suffit pas. La connaissance se construit par le raisonnement, il distingue le raisonnement
inductif et le raisonnement dductif. Par ces raisonnements, on parvient une reprsentation mentale du rel,
reprsentation qui se traduit dans le langage par les termes, les propositions et largumentation. Dans son approche, la science est une adquation entre le rel, la pense
et le langage. Cest la construction dune reprsentation
mentale et verbale du rel, ou la transposition du rel dans
la pense et le langage. Pour construire cette reprsentation, il tablit les fondements de la logique dductive.
Nous verrons ces fondements, en utilisant des formulations modernes.

Dans loptique de la logique moderne, le terme sujet et le


terme attribut dsignent des classes. Une classe tant un
ensemble dindividus ou dobjets ayant un ou des caractres communs. Ainsi, dans les propositions donnes en
exemple, on a deux classes, celle des carrs et celle des
losanges. Les carrs sont des quadrilatres dont les angles
sont droits et dont les cts sont gaux. Les caractres
communs sont : figure quadrilatre, angles droits et cts
gaux. Les losanges sont des quadrilatres dont les cts
sont gaux. Les caractres communs sont : figure quadrilatre et cts gaux.
PROPOSITIONS UNIVERSELLES
Universelle affirmative

Dans une proposition universelle affirmative, on affirme


linclusion de la totalit des individus de la classe sujet
dans la classe attribut. La proposition suivante en est un
exemple :

PROPOSITIONS

Tant en sciences humaines quen sciences de la nature, les


connaissances sont transmises par des propositions et
nous allons dbuter notre prsentation en prcisant le sens
que lon donne ce terme en logique et en mathmatiques.

Dfinition
Proposition
Une proposition est un nonc comportant un sujet et
un prdicat (attribut ou proprit ) relatif au sujet.
Une proposition peut tre universelle ou particulire, elle
peut tre affirmative ou ngative. En voici des exemples :
a) Tous les carrs sont des losanges.
b) Certains losanges sont des carrs.
c) Tous les losanges sont des carrs.
d) Certains carrs sont des losanges.
e) Aucun losange nest un carr.
f) Aucun carr nest un losange.
g) Certains carrs ne sont pas des losanges.
h) Certains losanges ne sont pas des carrs.

Tous les carrs sont des losanges


Universelle ngative

Dans une proposition universelle ngative, on affirme


lexclusion de la totalit des individus de la classe sujet
hors de la classe attribut. La proposition suivante en est un
exemple :
Aucun triangle nest un losange
PROPOSITIONS PARTICULIRES
Particulire affirmative

Dans une proposition particulire affirmative, on affirme


quil y a une partie des individus de la classe sujet qui sont
inclus dans la classe attribut. La proposition suivante en
est un exemple :
Certains paralllogrammes sont des losanges.

C-2

La logique

Particulire ngative

THORIE DE LINFRENCE IMMDIATE

Dans une proposition particulire ngative, on affirme


quil y a une partie des individus de la classe sujet qui ne
sont pas inclus dans la classe attribut. La proposition
suivante en est un exemple :

OPPOSITION DES PROPOSITIONS

Certains paralllogrammes ne sont pas des losanges.

PRINCIPES DU RAISONNEMENT

En logique, comme en mathmatiques, on reconnat certains principes fondamentaux dans le raisonnement. Ce


sont les suivants :

Principe didentit
Un concept est ce quil est. Il en est de mme du
terme qui le reprsente.
Ce principe indique quun concept (ou un terme) ne peut
reprsenter la fois plusieurs objets diffrents. De plus, il
permet de substituer un terme un autre terme qui lui est
quivalent, dans une dmonstration par exemple.

Principe du tiers exclu


Une proposition est soit vraie soit fausse.
Ce principe indique quil ny a que deux valeurs de vrit
possibles.

Principe de non-contradiction
Une proposition ne peut tre la fois vraie et fausse.
Ce principe permet, entre autre, de considrer comme
fausse toute proposition qui vient en contradiction avec
une proposition vraie. Ce principe est le fondement de la
dmonstration par labsurde.

Principe de double ngation


La ngation dune ngation quivaut une affirmation.

La thorie de lopposition des propositions traite des relations logiques entre les propositions portant sur les mmes
termes (sujet et attribut) mais qui diffrent soit par la
quantit, soit par la qualit ou les deux. Linfrence immdiate permet, partir dune proposition dont la valeur de
vrit est connue, de construire dautres propositions dont
on peut, dans certains cas, dterminer directement la valeur de vrit. Cela fait partie de la dmarche visant
reconstruire dans le langage toute la complexit du rel.
Considrons les propositions suivantes :
Universelle affirmative, A :
Tous les carrs sont des losanges.
Universelle ngative, E :
Aucun carr nest un losange.
Particulire affirmative, I :
Certains carrs sont des losanges.
Particulire ngative, O :
Certains carrs ne sont pas des losanges.
Deux propositions qui diffrent la fois par la qualit et la
quantit sont des propositions contradictoires. Cest le
cas des propositions A et O qui sont contradictoires car
elles diffrent la fois par la qualit et la quantit. Les
propositions E et I sont contradictoires pour la mme
raison.
Deux propositions universelles qui ne diffrent que par la
qualit sont des propositions contraires. Ainsi, les propositions A et E sont contraires. Deux propositions particulires qui ne diffrent que par la qualit sont des
propositions subcontraires. Ainsi, les propositions I et O
sont subcontraires.
Rgles de la dduction par opposition

1. Deux propositions contradictoires ne peuvent tre toutes les deux vraies ou toutes les deux fausses. Lune
doit tre vraie et lautre fausse. De la vrit de lune, on
peut dduire la fausset de lautre et rciproquement.
2. Deux propositions contraires ne peuvent tre toutes les
deux vraies. Elles peuvent tre toutes les deux fausses

Le syllogisme C-3

ou lune des deux peut tre fausse et lautre vraie. De


la vrit de lune on peut donc dduire la fausset de
lautre, mais de la fausset de lune on ne peut rien
conclure propos de lautre.
3. Deux propositions subcontraires ne peuvent tre toutes
les deux fausses. Elles peuvent tre toutes les deux
vraies ou lune des deux peut tre vraie et lautre
fausse. De la fausset de lune on peut donc dduire la
vrit de lautre, mais de la vrit de lune on ne peut
rien conclure propos de lautre.
4. Pour les propositions subalternes, de la vrit de luniverselle on peut dduire la vrit de la particulire et de
la fausset de la particulire on peut dduire la fausset
de luniverselle. Par contre, on ne peut rien dduire de
la fausset de luniverselle et de la vrit de la particulire.
Cela donne deux principes spcifiques la dduction qui
sajoutent aux principes du raisonnement.

CONVERSION DES PROPOSITIONS

La conversion dune proposition consiste permuter ses


termes pour former une nouvelle proposition, la converse,
qui est de mme qualit, universelle ou particulire.
Les propositions suivantes sont des propositions converses universelles :

et

Tous les carrs sont des losanges.


Tous les losanges sont des carrs.

Les propositions suivantes sont des propositions converses particulires :

et

Certains carrs sont des losanges.


Certains losanges sont des carrs.

Une proposition se convertit sans en changer la quantit


lorsque lextension du prdicat est aussi grande que celle
du sujet.
Considrons la proposition :

Principe dinclusion
Ce qui est vrai du tout est vrai dune partie.

Principe dexclusion
Ce qui nest vrai daucun nest pas vrai dune partie.

Tous les carrs sont des paralllogrammes.


Cette proposition est une universelle affirmative, sa subalterne est la particulire affirmative ayant mme sujet et
mme prdicat, soit :
Certains carrs sont des paralllogrammes.

On illustre lopposition des propositions dans un carr tel


que celui de la figure suivante.
CARR DES OPPOSITIONS DE PROPOSITIONS
CARR
Axe de la qualit
s
re
ct
Co
nt

Subalternes

re

oi

ct

ra
di

di

Subalternes

ra

oi

nt

Aucun carr nest un paralllogramme.

Contraires

Co

Axe de la quantit

La proposition contraire est une universelle ngative ayant


mme sujet et mme prdicat, soit :

Subcontraires

La proposition subalterne de la proposition contraire est


une particulire ngative ayant mme sujet et mme prdicat, soit :
Certains carrs ne sont pas des paralllogrammes.

C-4

La logique

OBVERSION DES PROPOSITIONS

Lobversion dune proposition consiste la reformuler en


changeant sa qualit pour nier son prdicat. Dans ce processus la quantit demeure inchange. Lobverse dune
universelle affirmative est une universelle ngative et
rciproquement. Lobverse dune particulire affirmative
est une particulire ngative et rciproquement.
Considrons la proposition :
Tous les carrs sont des paralllogrammes.
La proposition obverse est obtenue en conservant la quantit mais en niant la qualit, on obtient donc :
Aucun carr nest un paralllogramme.
Considrons la proposition :

Dans cet agencement de propositions, les deux premires


propositions sont appeles les prmisses, elles forment
lantcdent du syllogisme, et la troisime proposition est
appele la conclusion.
Le syllogisme est donc un raisonnement dductif dans
lequel la conclusion est tire de la mise en relation des
prmisses. Dans les deux prmisses de cet exemple, il y a
un moyen terme, homme, qui apparat dans les deux prmisses. Le moyen terme met en relation les deux autres
termes, Socrate et mortel.
Dans un syllogisme, la conclusion est une relation entre
deux termes qui est dduite de la relation que chacun des
termes entretient avec un terme intermdiaire qui napparat que dans les prmisses o il peut tre sujet ou attribut.
Les deux termes de la conclusion sont galement prsents
dans les prmisses lun dans la premire et lautre dans la
seconde.

Certains triangles ne sont pas quilatraux.


La proposition obverse est obtenue en conservant la quantit mais en niant la qualit, on obtient donc :
Certains triangles sont quilatraux.

LE SYLLOGISME

Pour Aristote, une preuve, ou un argument rationnel, est


une srie de propositions telles que chacune dcoule logiquement des prcdentes dans la srie selon une rgle
logique. Pour quune preuve dductive soit correcte, il
faut mettre en relation des propositions en construisant
des syllogismes. Il a donc cherch dterminer quelles
conditions un syllogisme est valide. Pour ce faire, il a
adopt une dmarche de mathmaticien en dterminant
toutes les formes possibles.
Pour la plupart des gens, lexemple qui vient dabord
lesprit lorsquon parle de syllogisme est le suivant :
Tous les hommes sont mortels
Socrate est un homme
donc Socrate est mortel.

Dans la syllogistique classique, on dsigne les termes de


la faon suivante :
Le Moyen terme, nous le noterons M, est celui qui se
rpte dans les deux prmisses.
Le Grand terme, nous le noterons G, est toujours mis
en relation avec le Moyen terme dans la premire
prmisse. Cette premire prmisse est appele la majeure par les logiciens classiques.
Le Petit terme, nous le noterons P, est toujours mis en
relation avec le Moyen terme dans la seconde prmisse. Cette deuxime prmisse est appele la mineure
par les logiciens classiques.
Dans la conclusion, le Petit terme est toujours le sujet
et le Grand terme est toujours lattribut (prdicat).
Le syllogisme a une structure spcifique que lon peut
illustrer de la faon suivante :

STRUCTURE DU SYLLOGISME

Met en relation
Prmisses

Majeure

G et M

Mineure

M et P

Conclusion

P et G

Le syllogisme C-5

Pour que le syllogisme soit valide, il doit respecter certaines rgles portant sur les termes et les propositions qui le
composent.

FIGURES DU SYLLOGISME

Majeure

I
M-G

Figures
II
III
G-M
M-G

IV
G-M

RGLES GNRALES DU SYLLOGISME

Mineure

P-M

P-M

M-P

M-P

Rgles portant sur les termes :

Conclusion

P-G

P-G

P-G

P-G

Rgles portant sur les propositions :

5. Les prmisses ne doivent pas tre toutes les deux ngatives.


6. De deux prmisses affirmatives, on ne peut tirer quune
conclusion affirmative.
7. La conclusion doit toujours suivre la moins bonne des
prmisses. Cela sgnifie que si une prmisse est ngative, la conclusion lest galement et si une prmisse est
particulire, la conclusion lest galement.
8. Les prmisses ne doivent pas tre toutes les deux particulires.
Dans ltude du syllogisme, Aristote a considr toutes
les formes possibles. La forme dun syllogisme dpend de
deux choses, le mode et la figure. La figure du syllogisme
dpend de la position occupe par le moyen terme dans les
prmisses du syllogisme. Le moyen terme peut tre sujet
dans la premire prmisse et prdicat dans la deuxime
(figure I). Il peut tre prdicat dans les deux prmisses
(figure II) ou sujet dans les deux prmisses (figure III) ou
encore prdicat dans la premire et sujet dans la deuxime
(figure IV). Les quatre figures sont donnes dans le tableau suivant.

Le mode est dtermin par les relations logiques nonces


dans les propositions du syllogisme, soit A, E, I et O. Il y
a donc quatre modes possibles pour la majeure et quatre
pour la mineure. Ce qui donne 16 modes possibles qui
peuvent se reprsenter sous 4 figures diffrentes. Il y a
donc 64 modes qui peuvent avoir quatre conclusions possibles (A, E, I ou O). Il y a donc 256 syllogismes possibles.
Aristote a alors procd lanalyse de ces formes pour
dterminer les formes valides. En considrant des rgles
gnrales comme les suivantes :
La conclusion dun raisonnement dductif ne doit pas
contredire les prmisses.
La conclusion dun raisonnement dductif doit tre
ncessaire.
Si le syllogisme respecte ces deux conditions, le raisonnement est valide. Il faut remarquer que la validit dun
raisonnement dductif garantit que la conclusion est dductible des prmisses mais ne garantit pas que cette
conclusion est vraie. partir de ces rgles gnrales, il est
possible de dterminer des rgles particulires pour chacune des figures de faon ne retenir parmi ces 256
formes que celles qui sont valides. Dans la logique aristotlicienne, on ne reconnat que 19 formes qui respectent
les rgles du syllogisme.
SYLLOGISMES
SYLLOGISME
S VALIDES (Aristote)

Modes valides

1. Le syllogisme doit comporter trois termes dextensions


diffrentes : le grand terme (G), le moyen terme (M) et
le petit terme (P).
2. Dans la conclusion, les termes ne doivent pas avoir une
extension plus grande que dans les prmisses.
3. Le moyen terme ne doit pas apparatre dans la conclusion.
4. Le moyen terme doit tre pris universellement au moins
une fois.

I
AAA

Figures
II
III
EAE
AAI

IV
AAI

EAE

AEE

EAO

AEE

AII

EIO

IAI

IAI

EIO

AOO

AII

EAO

OAO

EIO

EIO

C-6

La logique

Cependant, Aristote a fait deux erreurs. Parmi ces 19


syllogismes, deux ne sont pas valides. De plus, certains
sont redondants, La procdure de validation utilisant les
diagrammes dEuler et de Venn que nous verrons maintenant a permis de simplifier lanalyse de la forme dun
syllogisme pour en dterminer la validit. Cette mthode
a galement permis de ramener cette liste 8 formes
valides en liminant les formes redondantes.

Un proposition attributive tablit une relation entre sa


classe sujet et sa classe attribut. Leonhard Euler a dvelopp une mthode gomtrique dans laquelle les termes
en relation sont reprsents par des cercles. Les relations
sont alors interprtes en termes dinclusion, dexclusion
et dintersection.
Ces diffrentes reprsentations sont donnes dans le tableau suivant :

DIAGRAMME DEULER
RELATIONS ENTRE CLASSES
Mthode
thode dEuler
d Euler

Auteur de travaux sur le calcul diffrentiel, les mathmatiques analytiques, lalgbre, la mcanique, lhydrodynamique, lastronomie et loptique, Euler a publi son premier
mmoire en 1725; il avait alors 18 ans. Il produisit en tout
prs de 900 travaux, mmoires et livres pour une moyenne
de 800 pages par anne durant la partie productive de sa
vie. Le nombre dEuler, dfini par :
1 m

lim 1 + = e
m
m
est la base des logarithmes naturels.

Prdicat, T

Affirmative

Ngative

Proposition
universelle

Sujet, S

Tous les S sont des T

Aucun S nest un T

Inclusion totale

Exclusion totale

Proposition
particulire

Leonhard Euler (1707-1783) tait


un mathmaticien suisse qui fut
lve de Jean Bernouilli. En 1727,
il devint membre de lAcadmie
des sciences de Saint-Petersbourg
linvitation de Catherine I,
pouse de Pierre le Grand. Il fut
mdecin militaire dans la marine
russe de 1727 1730 puis devint
professeur de physique lAcadmie en 1730 et professeur de mathmatiques partir de 1733. En 1741, il devint
membre de lAcadmie des sciences de Berlin linvitation de Frdric le Grand. Il y demeura 25 ans pour
retourner Saint-Petersbourg en 1766 aprs une dispute
avec Frdric le Grand sur la libert acadmique. lge
de 31 ans, il avait perdu son il droit et, peu aprs son
retour en Russie, il devint presque entirement aveugle
aprs lopration dune autre cataracte. Malgr tout, il
poursuivit ses recherches: il dictait alors les rsultats son
fils. Le nombre dEuler qui est la base des logarithmes
naturels commmore son nom.

Certains S sont des T Certains S ne sont pas des T

Inclusion partielle

Exclusion partielle

REMARQUE

La proposition particulire Certains S sont des T


affirme que certains individus de la classe sujet sont dans
la classe du prdicat. La partie du cercle de la classe sujet
extrieure au cercle de la classe attribut est en pointills
car la proposition nindique pas sil y a des individus de la
classe sujet qui ne possdent pas lattribut. Le fait dnoncer que Certains S sont des T ne permet pas de
conclure que Certains S ne sont pas des T . On ne peut
prendre pour acquis quil y a des individus dans la partie
du cercle de la classe sujet extrieure au cercle de la classe
attribut, do le pointill.


MTHODE DANALYSE DEULER

Grce sa mthode de reprsentation des propositions par


des cercles, Euler pouvait dterminer la validit du syllogisme sans utiliser les rgles particulires chaque figure
de la dmarche aristotlicienne.

Le syllogisme C-7

Illustrons ce procd en considrant le syllogisme de la


forme AAA de la premire figure (le moyen terme est
sujet dans la premire prmisse et prdicat dans la
deuxime).
La premire prmisse est une universelle affirmative, elle
est donc de la forme :
Tous les M sont des G
La deuxime prmisse est une universelle affirmative, elle
est donc de la forme :
Tous les P sont des M
La conclusion est galement une universelle affirmative,
elle est donc de la forme :
Tous les P sont des G
ANALYSE DU SYLLOGISME
Figure I. forme AAA
Grand terme Moyen terme Petit terme
G
M
P

Majeure
Tous les M sont des G
Mineure
Tous les P sont des M
Conclusion
Tous les P sont des G

Ce syllogisme est valide puisque :


La conclusion du raisonnement dductif ne contredit
pas les prmisses.
La conclusion du raisonnement dductif est ncessaire.

Analysons le syllogisme de la forme IAI de la figure III


par la mthode dEuler.
Le syllogisme est de la figure III, ce qui signifie que le
moyen terme est sujet dans les deux prmisses. La premire prmisse est une particulire affirmative, elle est
donc de la forme :
Certains M sont des G
La deuxime prmisse est une universelle affirmative, elle

est donc de la forme :


Tous les M sont des P
La conclusion est galement une particulire affirmative,
elle est donc de la forme :
Certains P sont des G
ANALYSE DU SYLLOGISME
Figure III
III.. forme IAI
Grand terme Moyen terme Petit terme
G
M
P

Majeure
Certains M sont des G
Mineure
Tous les M sont des P
Conclusion
Certains P sont des G

Ce syllogisme est valide puisque :


La conclusion du raisonnement dductif ne contredit
pas les prmisses.
La conclusion du raisonnement dductif est ncessaire.
DIAGRAMME DE VENN
John Venn (1834-1923) est n
Hull en Angleterre. Son pre et
son grand-pre taient pasteurs
et il reut une ducation trs
stricte. Il fut lui-m^me ordonn
pasteur. En 1862, il devint charg
de cours lUniversit de Cambridge en logique et en thorie
des probabilits. Son intrt pour
la logique, la philosophie et la
mtaphysique stait dvelopp la lecture des travaux de
Augustus De Morgan, Georg Boole, John Austin et John
Stuart Mill.
Il a apport des dveloppements nouveaux la logique
mathmatique de Boole et est surtout connu pour sa reprsentation graphique des ensembles par des cercles qui se
recoupent et dont les diverses plages reprsentent des
unions et des intersections densembles. En considrant
trois cercles dans un rectangle, les intersections de ces

C-8

La logique

cercles et de leurs complments donnent 8 rgions distinctes. Les unions de ces rgions donnent 256 combinaisons
boolennes distinctes des trois ensembles. Ces 256 combinaisons boolennes ont permis dillustrer les 256 formes de syllogisme et de dterminer les huit formes valides
en liminant les formes redondantes parmi les 19 juges
valides dans la logique aristotlicienne.
Venn a dit Logic of Chance en 1866 qui fut considr
comme un ouvrage trs original ayant considrablement
influenc le dveloppement de la thorie des statistiques.Il
fit galement paratre Symbolic Logic, en 1881 et The
Principles of Empirical Logic, en 1889. En 1883, il fut lu
Fellow de la Royal Society et la mme anne, il quitta la
prtrise. Il sintressa alors lhistoire et dlaissa compltement la logique donnant mme toute sa collection
douvrages sur la logique la bibliothque de lUniversit
de Cambridge en 1888. Il crivit alors lhistoire de son
collge publie sous le titre The Biographical History of
Gonville and Caius College 1349-1897.
Venn a modifi la mthode dEuler. Dans un diagramme
de Venn (on dit en fait dEuler-Venn), les classes sont
toujours reprsentes par des cercles qui se recoupent. La
classe sujet, note S, est reprsente par le cercle de
gauche et celle de lattribut, note T, est reprsente par le
cercle de droite.
T

S
1

Ces cercles dterminent trois rgions ou plages, notes 1,


2 et 3. Pour indiquer quune plage est vide, on la hachure.
Pour indiquer quune plage contient des individus, on y
inscrit un X. Lorsquune plage nest pas hachure et nest
pas marque dun X, elle peut contenir des individus ou ne
pas en contenir, la proposition ne permet pas de le savoir.
Examinons les diffrents cas que lon peut rencontrer
lorsquil y a deux classes.

PROPOSITIONS UNIVERSELLES
Universelle affirmative

Considrons la proposition universelle affirmative suivante :


Tous les carrs sont des losanges
Pour reprsenter cette inclusion totale, on doit hachurer la
plage 1 puisque celle-ci ne contient aucun objet.
T

S
1

Forme de la proposition :
Tous les S sont des T
Quantit des termes
S, universel
T, particulier

REMARQUE

Le fait quune plage ne soit pas hachure nindique pas


quil y a effectivement des individus dans cette plage et ne
signifie pas non plus quil ny en a pas.


Relation didentit

La relation didentit est un cas particulier de proposition


universelle affirmative. Elle donne une quivalence entre
la classe sujet et la classe attribut.
Considrons la relation didentit suivante :
Les nombres entiers pairs sont les nombres entiers
de la forme n = 2k, o k est un entier.
Tous les individus de la classe sujet sont inclus dans la
classe attribut et tous les individus de la classe attribut
sont contenus dans la classe sujet. Par consquent, les
plages 1 et 3 sont vides et doivent tre hachures. On a
alors la reprsentation suivante :
T

S
1

Forme de la proposition :
Tous les S sont des T
et tous les T sont des S
(S = T)
Quantit des termes
S, universel
T, universel

Le syllogisme C-9

REMARQUE

Une bonne dfinition est une relation didentit. On ne


tient pas compte de ce type de proposition dans la thorie
du syllogisme car on ne peut sassurer dun point de vue
formel que S = T.


Universelle ngative

Considrons la proposition :
Aucun triangle nest un losange
Cest une universelle ngative. Pour reprsenter cette exclusion totale, on doit hachurer la plage 2 puisque celle-ci
ne contient aucun objet.
T

S
1

Forme de la proposition :
Aucun S nest un T
Quantit des termes
S, universel
T, universel

REMARQUE

La plage 3 nest pas hachure, elle peut contenir des


individus, mais elle peut galement ne pas en contenir. La
proposition est muette l-dessus.


PROPOSITIONS PARTICULIRES
Particulire affirmative

Considrons la proposition universelle affirmative suivante :

S
1

Forme de la proposition :
Certains S sont des T
Quantit des termes
S, particulier
T, particulier

Particulire ngative

Dans une proposition particulire ngative, on affirme


quil y a une partie des individus de la classe sujet qui ne
sont pas inclus dans la classe attribut. Considrons, la
proposition universelle ngative suivante :
Certains paralllogrammes ne sont pas des losanges.
Cet nonc signifie quil y a au moins un paralllogramme
qui nest pas un losange. Pour reprsenter cela graphiquement, on inscrit un X dans la plage 1 qui reprsente les
objets de la classe sujet qui sont exclus de la classe
attribut.
T

S
1

Forme de la proposition :
Certains S ne sont pas des T
Quantit des termes
S, particulier
T, universel

MTHODE DANALYSE DE VENN

Dans la mthode de Venn, les trois termes du syllogisme


sont reprsents par trois cercles qui se recoupent. Le
moyen terme M par le cercle de gauche, le grand terme G
par le cercle de droite et le petit terme P par le cercle du
bas.
G

Certains paralllogrammes sont des losanges.

Cet nonc signifie quil y a au moins un paralllogramme


qui est un losange. Pour reprsenter cela graphiquement,
on inscrit un X dans la plage 2 qui reprsente lintersection des deux classes, cest--dire la plage qui contient les
objets appartenant aux deux classes.

2
5

3
P

Pour vrifier la validit du syllogisme, on illustre dabord


les deux prmisses, puis on examine si la relation entre P

C-10

La logique

et G donne dans la conclusion se vrifie dans le diagramme.


Utilisons les diagrammes de Venn pour analyser le syllogisme de la forme AAA de la premire figure (le moyen
terme est sujet dans la premire prmisse et prdicat dans
la deuxime).
La premire prmisse est une universelle affirmative, elle
est de la forme :
Tous les M sont des G
La proposition nonce linclusion de tous les M dans les
G. Il ny a donc pas de M dans les rgions 1 et 6, on les
hachure.

M
4

1
6

Le diagramme indique que les prmisses entranent cette


conclusion. On peut donc dclarer le syllogisme valide.

Analysons maintenant le syllogisme de la forme IAI de la


figure III par la mthode de Venn.
Le syllogisme est de la figure III, ce qui signifie que le
moyen terme est sujet dans les deux prmisses. La premire prmisse est de la forme :
Certains M sont des G
On indique quil y a des M dans G en plaant un X dans la
rgion commune aux deux cercles. Cependant, ces individus peuvent tre dans la plage 4 , dans la plage 7 ou dans
les deux. On inscrira un X dans chacune des ces plages en
les joignant par un trait pointill pour montrer que lon ne
peut garantir dans laquelle des deux plages sont ces individus.

La deuxime prmisse est une universelle affirmative, elle


est de la forme :
Tous les P sont des M
La proposition nonce linclusion de tous les P dans les
M. Il ny a donc pas de P dans les rgions 3 et 5, on les
hachure.
G

M
4

1
6

4X
6

7X

2
5

La deuxime prmisse de la forme :


Tous les M sont des P
La proposition nonce linclusion de tous les M dans les
P. Il ny a donc pas de P dans les rgions 1 et 4, on les
hachure.

M
3
P

La figure reprsente alors le diagramme de Venn du


syllogisme complet et on doit pouvoir dterminer partir
du graphique la relation entre P et G. On constate que tous
les P sont inclus dans les G et cest exactement ce que dit
la conclusion, soit luniverselle affirmative :
Tous les P sont des G

4X
6

7X

2
5

Le diagramme indique que les prmisses entranent la


conclusion :

Le syllogisme C-11

Certains P sont des G


Cest exactement la conclusion du syllogisme de la forme
IAI de la figure III. On peut donc dclarer le syllogisme
valide.
La mthode danalyse dEuler-Venn est trs intressante
car elle procure un support gomtrique au raisonnement
dductif. Cest une manifestation de la puissance de labstraction mathmatique.
Cette mthode a permis de simplifier la liste des formes
valides retenues par Aristote en liminant les formes qui
donnent une mme reprsentation graphique et sont de ce
fait redondantes. En particulier, dans une proposition de la
forme E ou I, on peut, par conversion, interchanger le
sujet et le prdicat sans affecter la signification de la
proposition. Un tel changement donne une forme redondante de syllogisme dans une autre figure puisque le sujet
et le prdicat ont t interchangs.. Les formes de syllogismes valides retenues en appliquant la mthode des
diagrammes DEuler-Venn sont celles du tableau suivant.

Ces conditions de validit dun syllogisme ne portent que


sur lenchanement des prmisses et de la conclusion,
cest--dire sur la forme du raisonnement. Le fait de
respecter ces conditions ne signifie pas que la conclusion
est vraie. Il garantit seulement que la conclusion dcoule
des prmisses.
Pour que la conclusion dun raisonnement dductif soit
vraie, il faut que les deux conditions de validit soient
respectes et que les prmisses soient vraies. Illustrons ce
propos en considrant le syllogisme suivant :
Tous les triangles sont des paralllogrammes.
Or, tous les rectangles sont des triangles.
Donc tous les rectangles des paralllogrammes.
Dans cet exemple, une conclusion vraie dcoule de deux
prmisses fausses. Considrons maintenant le syllogisme
suivant :
Tous les paralllogrammes sont des triangles.
Or, tous les rectangles sont des paralllogrammes.
Donc tous les rectangles sont des triangles.

SYLLOGISMES
SYLLOGISME
S VALIDES (Venn)

Modes valides

Figures
I
AAA

II
AOO

III
AAI

EAE

EAO

AII

OAO

IV

EIO

Il y a toujours deux erreurs dans cette liste. Ce sont les


formes AAI et EAO de la troisime figure. Historiquement, cest en utilisant lalgbre de Boole que lon dtectera que ces deux formes ne sont pas valides.

Dans cet exemple, une conclusion fausse dcoule de deux


prmisses fausses. On peut mme considrer des prmisses fausses qui permettent dnoncer parfois une conclusion vraie, parfois une conclusion fausse.
Tous les paralllogrammes sont des losanges.
Or, tous les rectangles sont des paralllogrammes.
Donc tous les rectangles sont des losanges.
Tous les paralllogrammes sont des losanges.
Or, tous les rectangles sont des paralllogrammes.
Donc certains rectangles sont des losanges.

VALIDIT ET VRIT

Nous avons vu quun syllogisme est valide, lorsquil satisfait aux conditions suivantes :
La conclusion du raisonnement dductif ne contredit
pas les prmisses.
La conclusion du raisonnement dductif est ncessaire.

Ces exemples ont permis dillustrer deux principes de la


logique.

Implication et prmisses vraies


Des prmisses vraies entranent une conclusion ncessairement vraie.

C-12

La logique

Implication et prmisses fausses

BIBLIOGRAPHIE

Des prmisses fausses entranent une conclusion


dont on ne peut dire au dpart si elle sera vraie ou
fausse.

Ball, W. W. R. A Short Account of History of Mathematics, New


York, Dover Publications, Inc.,1960, 522 p.
Baruk, Stella, Dictionnaire des mathmatiques lmentaires,
Paris, ditions du Seuil, 1992,
Boyer, Carl B. A History of Mathematics, New York, John
Wiley & Sons, 1968, 717 p.
Caratini, Roger, Les Mathmatiques, Paris, Bordas, 1985.
Collette, Jean-Paul. Histoire des mathmatiques, Montral, ditions du Renouveau Pdagogique Inc., 1979 2 vol., 587 p.
Davis, Philip J, Hersh, Reuben, Marchisotto, Elena Anne. The
Mathematical Experience, Study edition, Boston, Birkhuser,
1995, 485 p.
Dunham, William. The Mathematical Universe, New York,
John Wiley & Sons, Inc., 1994, 314 p.
Eves, Howard. An Introduction to the History of Mathematics,
New-York, Holt Rinehart and Winston, 1976, 588 p.
Guedj, Denis, Le Thorme du Perroquet, Paris, ditions du
Seuil, 1998, 520 p.
Kline, Morris. Mathematical Thought from Ancient to Modern
Times, New York, Oxford University Press, 1972, 1238 p.
Kramer, Edna E. The Nature and Growth of Modern
Mathematics, New York, Hawthorn Books, Inc. Publishers,
1970, 758 p.
Smith, David Eugene. History of Mathematics, New York,
Dover Publications, Inc. 1958, 2 vol. 1 299 p.
Struik, David. A Concise History of Mathematics, New York,
Dover Publications, Inc. 1967, 195 p..

CONCLUSION

Dans ses rflexions sur la construction de la connaissance,


Aristote avait envisag deux modes de raisonnement. Le
raisonnement inductif permettant de dvelopper des concepts et dtablir des relations entre concepts partir de
lobservation de cas particuliers. Dans le langage, les
relations entre concepts devaient se traduire par des propositions, noncs qui peuvent tre vrais ou faux.
La dduction devait permettre de reconstruire dans le
langage toute la complexit du rel partir des jugements
gnraux pris comme prmisses dans des syllogismes.
Pour garantir que les conclusions tires des syllogismes
taient vraies, il fallait que les prmisses soient vraies
mais galement que le syllogisme soit valide. Aristote a
alors dtermin toutes les formes de syllogismes possibles
regroups sous quatre figures ainsi que les rgles du
syllogisme pour reconnatre les formes valides. Un syllogisme valide dont les prmisses sont vraies donne une
conclusion vraie. Dans ses travaux sur la validit du syllogisme, Aristote a adopt une dmarche trs utilise en
mathmatiques, soit ltude des formes. Quelles sont les
formes possibles? Parmi ces formes, lesquelles sont valides?
Aristote pensait quil serait possible de traduire tout argument valide en une suite de propositions simples qui
pourraient tre mises en relation dans des syllogismes
mais la ralit est plus complexe et plusieurs dmonstrations mathmatiques ne peuvent tre analyss de cette
faon.