JEAN-MARC GINOUX

Matre de Confrences en Mathmatiques Appliques

ginoux@univ-tln.fr
http://ginoux.univ-tln.fr
Laboratoire P.R.O.T.E.E.,
I.U.T. de Toulon, Universit du Sud,
B.P. 20132, 83957, LA GARDE Cedex, France
Le raisonnement chez Colombo
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 2

- Sherlock Holmes (Sir Arthur Conan Doyle)
- Hercule Poirot (Agatha Christie)
- Lieutenant Colombo (R. Levinson & W. Link)
Pourquoi Colombo ?
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 3

- Sherlock Holmes & Hercule Poirot

On prsente le meurtre mais pas le meurtrier

Dcouvrir lassassin

- Lieutenant Colombo

On prsente le meurtre et le meurtrier

Comment Colombo va le confondre
Pourquoi Colombo ?
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 4

Colombo

doit
dmontrer
comment le crime a t commis

Raisonnement
Pourquoi Colombo ?
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 5

Quest-ce que raisonner ?




Un discours tel que, certaines choses tant poses,
quelque autre chose en rsulte ncessairement par
cela seul que les premires sont poses.
Aristote
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 6

Quest-ce que raisonner ?


Un discours tel que, certaines propositions
tant poses et par cela seul quelles sont poses,
quelque autre proposition en rsulte

- soit ncessairement,
- soit de faon plus ou moins probable.
Blanch
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 7

Exemple de Jacques Bernoulli (1713) :

si dans une foule en effervescence, quelquun avait t
transperc par une pe, et sil tait tabli parle tmoignage
dhommes dignes de foi qui regardaient de loin que lauteur
du crime avait un manteau noir, si lon trouvait que parmi les
gens en effervescence Gracchus ainsi que trois autres
taient revtus dune tunique de cette couleur, cette tunique
serait un argument pour dire que le meurtre a t commis
par Gracchus, mais un argument mixte :
dans un cas il prouve sa culpabilit,
et dans trois cas il prouve son innocence.
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 8

Quest-ce que raisonner ?




Raisonner, cest donc faire une infrence ou
combiner des infrences. Blanch
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 9

Quest-ce quune infrence ?




infrence : opration par laquelle est accepte
une proposition dont la vrit nest pas admise
directement, mais en vertu de sa liaison avec
dautres propositions.
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 10

Exemple dinfrence :


En arrivant devant chez vous, vous voyez un camion de pompier


Trs naturellement vous envisagez plusieurs ventualits
Vous faites une infrence, vous raisonnez
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 11

Problme avec les infrences


Parmi les ventualits envisages


Certaines sont correctes

Dautres sont fausses
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 12

Quest-ce que raisonner ?




Raisonner juste,
cest faire des infrences correctes.
Blanch

LOGIQUE
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 13

La justesse du raisonnement
dpend-elle
de la vrit ou de la fausset
des propositions ?


Non ! Elle est indiffrente au contenu,
et se fonde uniquement sur la forme.
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 14

Exemple de justesse du raisonnement

Les hommes sont mortels,
Socrate est un homme,
donc Socrate est mortel.
Guillaume dOccam

Un cheval bon march est rare,
ce qui est rare est cher,
donc un cheval bon march est cher.
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 15

Raisonnement et infrences

sont bass sur des

FORMES, SCHEMAS ou MODES

de

Raisonnement

Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 16

Quest-ce quun bon raisonnement ?


Un bon raisonnement,
ce n'est pas un raisonnement seulement correct,
c'est un raisonnement qui parvient son but.

indpendant de la forme, du schma, du mode
Argument tlologique (finalit)

Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 17

Raisonner


Raisonner, cest donc faire une infrence ou
combiner des infrences. Blanch


infrence : opration par laquelle est accepte
une proposition dont la vrit nest pas admise
directement, mais en vertu de sa liaison avec
dautres propositions.
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 18
Proprit dune Proposition
Principe du tiers exclu

Le Raisonnement
Vraie
Fausse
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 19
Proprit dune Proposition

Modus ponens
La vrit dune proposition entrane
la vrit de sa consquence.
(Si le premier, le second,
or le premier, donc le second.)

Exemple

Sil fait jour, il fait clair. Or il fait jour, donc il fait clair.
Sil pleut, il y a des nuages. Or il pleut, donc il y a des nuages.
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 20
Modus tollens
La fausset de la consquence prsuppose
celle du principe et permet donc de le rfuter,
car du vrai ne peut suivre le faux.
(Si le premier, alors le second,
or pas le second, donc pas le premier)

Exemple
Sil fait jour, il fait clair.
Or il ne fait pas clair, donc il ne fait pas jour.
S'il pleut, il y a des nuages.
Or il ny a pas de nuages, donc il ne pleut pas.
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 21
Proprit dune Proposition



Le faux implique tout (le vrai ou le faux)

Le vrai ne peut engendrer le faux

Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 22
Classification des modes de raisonnement

Dduction & Induction







Le Raisonnement
Principe
Conclusion
induction
dduction
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 23
Classification des modes de raisonnement

Dduction :

... c'est l'aide de la dduction que nous descendons
du principe gnral (axiomes) au cas particulier (thorme),
sans avoir besoin d'aucune exprience.
Claude Bernard, Principes de mdecine exprimentale, 1878, p. 208.

Gnral Particulier

Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 24
Classification des modes de raisonnement

Induction :

consiste remonter, par une suite d'oprations cognitives,
de donnes particulires (faits, expriences, noncs)
des propositions plus gnrales, de cas particuliers
la loi qui les rgit, des effets la cause, des consquences
au principe, de l'exprience la thorie.

Particulier Gnral
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 25
Exemple de dduction (syllogisme) :





Le Raisonnement

Majeure

Tous les haricots de ce sac sont blancs.

Rgle

mineure

Ces haricots sont tirs de ce sac.

Cas

Conclusion

Ces haricots sont blancs.

Rsultat
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 26
Exemple dinduction (syllogisme) :





Le Raisonnement

mineure

Ces haricots sont tirs de ce sac.

Cas

Conclusion

Ces haricots sont blancs.


Rsultat

Majeure

Tous les haricots de ce sac sont blancs

Rgle
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 27
Classification des modes de raisonnement

Abduction ou raisonnement hypothtico-dductif :

syllogisme dans lequel,

- la majeure tant certaine, mais
- la mineure seulement probable,
- la conclusion n'est elle-mme que probable .

Gnral Particulier (probable)
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 28
Exemple de dabduction (syllogisme) :





Le Raisonnement

Majeure

Tous les haricots de ce sac sont blancs.

Rgle

Conclusion

Ces haricots sont tirs de ce sac.

Rsultat

mineure

Ces haricots sont blancs.


Cas
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 29
Classification des modes de raisonnement

Raisonnement apagogique
Raisonnement par labsurde
(Reductio ad absurdum) :

Raisonnement par lequel on dmontre la vrit
d'une proposition en prouvant l'impossibilit
ou l'absurdit de la proposition contraire
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 30
Exemple de rduction par labsurde :

Soit dmontrer quil n'y a pas de plus petit
nombre rationnel strictement plus grand que 0.

Supposons quil existe un plus petit nombre
rationnel strictement positif : r

Soit x = r/2. On en dduit que 0 < x < r

Ceci est absurde, contradictoire avec lhypothse.
On peut donc en conclure que la proposition
initiale est ncessairement vraie.
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 31
Classification des modes de raisonnement

Analyse & Synthse







Le Raisonnement
Principe
Conclusion
analyse
synthse
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 32
Classification des modes de raisonnement

Synthse :

Mthode dductive et rationnelle de raisonnement
qui consiste, partir de propositions certaines,
dterminer d'autres propositions qui en sont
la consquence ncessaire.

Gnral Particulier

Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 33
Classification des modes de raisonnement

Analyse :

consiste dcomposer un tout en ses lments,
l'inverse de la synthse qui recompose un tout
partir de ses lments (solution rebours)

Gnral Particulier
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 34
Le mode principal de raisonnement de Colombo








est linduction ou lanalyse
Le Raisonnement chez Colombo
Crime
Assassin
Induction
analyse
dduction
synthse
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 35
La problmatique de Colombo

Confront au crime parfait
il doit dmontrer la culpabilit de lassassin.

Etape 1 :

Isoler le coupable prsum
Le Raisonnement chez Colombo
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 36
Le mode de raisonnement de Colombo

Procde-t-il dans ce cas par

Dduction

ou

Induction ?

Le Raisonnement chez Colombo
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 37
Le mode de raisonnement de Colombo

Dduction ?

Tous les hommes appellent leur femme en rentrant chez eux.

Cette personne est un homme.

Cette personne na pas appel sa femme.

Donc cette personne est suspecte !
Le Raisonnement chez Colombo
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 38
Le mode de raisonnement de Colombo

Raisonnement hypothtico-dductif :

- la majeure tant probable,
- la mineure certaine,
- la conclusion n'est elle-mme que probable .

Raison pour laquelle il na pas appel sa femme
Le Raisonnement
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 39
Etape 2 :

Il doit vrifier lalibi du coupable prsum

Alibi : Moyen de dfense d'une personne
invoquant le fait qu'elle se trouvait ailleurs
que sur le lieu d'un crime au moment o
celui-ci a t commis (Pb de lubiquit) .
Le Raisonnement chez Colombo
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 40
Etape 2 :

Lalibi a toujours lair parfait (scnario)

Ceci implique lexistence dun pseudo-meurtrier

Chercher le pseudo-meurtrier et son mobile
Chercher la faisabilit de lalibi du meurtrier
Le Raisonnement chez Colombo
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 41
Etape 2 :

Lalibi a toujours lair parfait (scnario)

Ceci implique lexistence dun pseudo-meurtrier

Chercher le pseudo-meurtrier et son mobile
Chercher la faisabilit de lalibi du meurtrier
Le Raisonnement chez Colombo
http://ginoux.univ-tln.fr Le raisonnement chez Colombo 42
La dynamique du choix
Le seul mauvais choix est l'absence de choix.
Amlie Nothomb, Mtaphysique des tubes