Le concept de preuve ê

publicité
Le concept de preuve
Dr Philippe Lejeune
GERHPAC, 26 novembre 2011
Prouver ?
•
•
•
•
•
•
•
•
Etablir la vérité.
Démontrer.
Expérimenter.
Mettre à l’épreuve, tester.
Vérifier, corroborer.
Garantir.
Trouver des indices.
Justifier.
•
•
•
•
•
•
•
•
Montrer, décrire.
Expliquer.
Interpréter.
Raisonner.
Argumenter.
Persuader, convaincre.
Croire.
Mentir.
Définition de la preuve (1)
• Démonstration (à partir d’axiomes).
• Expérimentation (vérification d’une hypothèse
par les faits).
• Modélisation & simulation (cosmos, atome).
• Logique (formalisme, règles d’inférence,
absence d’incohérences).
• Statistiques et probabilités (incertitude, hasard).
• Méthodes inductive et déductive (recherche de
l’invariant).
• L’inférence statistique (prédictive, causale,
bayésienne).
Définition de la preuve (2)
•
•
•
•
•
•
Expérience de pensée.
Observation.
Intuition.
Analogie.
Dialectique.
Bon sens.
Théories
Méthode
inductive
Hypothèses
Bacon
Newton
Mill
Abduction
Observations
Méthode
déductive
Leibniz
Poincaré
Popper
Peirce
Expérimentations
Modèle inductiviste
1. expérience
2. généralisation
3. théorie
1.
2.
3.
4.
Modèle hypothéticodéductif
rencontre d’un problème
formulation
d’hypothèses / théories
recours à l’expérience
(test de l’hypothèse)
réfutation ou
corroboration de
l’expérience
La dinde inductiviste de Russell
• une dinde s’aperçut qu’on la nourrissait à 9h00 du matin.
Toutefois, en bonne inductiviste, elle ne s’empressa pas
d’en conclure quoi que ce soit. Elle attendit donc d’avoir
observé de nombreuses fois qu’elle était nourrie à 9h00
du matin, et elle recueillit ces observations dans des
circonstances fort différentes, les mercredis et jeudis, les
jours chauds et les jours froids, les jours de pluie et les
jours sans pluie. Chaque jour, elle ajoutait un nouvel
énoncé d’observation à sa liste.
• Elle recourut donc à un raisonnement inductif pour
conclure : " je suis toujours nourrie à 9h00 du matin ".
• Or, cette conclusion se révéla fausse quand, un jour de
noël, à la même heure, on lui tordit le cou.
• L’induction est un raisonnement non fondé logiquement.
Paradoxe des corbeaux noirs
• Quel que soit le nombre de corbeaux noirs
que l’on a observés, cela ne justifie pas la
conclusion que tous les corbeaux sont
noirs.
• ‘tous les corbeaux sont noirs’ = ‘tout ce qui
n’est pas noir n’est pas un corbeau’.
– Donc le fait d’observer une vache blanche
confirme que tous les corbeaux sont noirs
(Paradoxe de Hempel).
Syllogisme (Aristote)
• Tout homme est mortel, or Socrate est un
homme, donc Socrate est mortel.
• Sophisme :
– Tout ce qui est rare est cher, un cheval bon
marché est rare, donc un cheval bon marché
est cher.
Le déductivisme de Popper
• Peut-on justifier l’affirmation qu’une théorie est vraie
pour des raisons empiriques c’est-à-dire qu’on admet la
vérité de certains énoncés expérimentaux ? Non.
• Le fait d’admettre la vérité de certains énoncés
expérimentaux nous autorise parfois à justifier
l’affirmation qu’une théorie est fausse (réfutation).
• L’évaluation d’une hypothèse repose seulement sur les
conséquences déductives (prédictions) que l’on peut en
tirer.
• Les théories ne sont que des conjectures.
• Le caractère intrinsèquement falsifiable d’une théorie
permet à la « vérité » de ne pas être une dictature.
Expériences de pensée
• Achille et la tortue (Zénon d’Elée et l’infini
mathématique).
• Le bateau de Galilée (référentiel inertiel).
• Les jumeaux de Langevin (relativité
restreinte).
• Le chat de Schrödinger (mécanique
quantique).
• L’expérience EPR (mécanique quantique).
Le chat de Schrödinger.
•
•
Schrödinger a imaginé une expérience de pensée dans laquelle un
chat est enfermé dans une boîte fermée avec un dispositif qui tue
l'animal dès qu'il détecte la désintégration d'un atome d'un corps
radioactif ; par exemple : un détecteur de radioactivité, relié à un
interrupteur provoquant la chute d'un marteau cassant une fiole
d’acide cyanhydrique, qui peut être enfermé sous forme liquide dans
un flacon sous pression et se vaporiser, devenant un gaz mortel,
une fois le flacon brisé.
Si les probabilités indiquent qu'une désintégration a une chance sur
deux d'avoir eu lieu au bout d'une minute, la mécanique quantique
indique que, tant que l'observation n'est pas faite, l'atome est
simultanément dans deux états (intact/désintégré). Or le mécanisme
imaginé par Schrödinger lie l'état du chat (mort ou vivant) à l'état
des particules radioactives, de sorte que le chat serait
simultanément dans deux états (l'état mort et l'état vivant), jusqu'à
ce que l'ouverture de la boîte (l'observation) déclenche le choix
entre les deux états. Du coup, on ne peut absolument pas dire si le
chat est mort ou non au bout d'une minute.
Difficultés
•
•
•
•
•
•
•
•
Le vrai et le faux (! relativisme, falsifiabilité).
La vérité est-elle universelle ?
La vérité est-elle évolutive ?
Validité du référentiel (géométries non euclidiennes).
Instruments de mesure et approche objective du réel.
Le vrai n’est pas toujours démontrable (Gödel).
La charge de la preuve.
Les mathématiques sont-ils un outil de connaissance ou
la structure même de l’être.
• Les erreurs.
Les erreurs
•
•
•
•
•
•
Les intervalles de confiance.
Le calcul d’erreur (métrologie).
Les erreurs statistiques (type I et type II).
Les biais.
La publication des résultats négatifs.
Les fraudes.
Domaines d’exercice de la preuve
•
•
•
•
•
•
•
•
Mathématiques (axiomatique et logique formelle).
Philosophie (rhétorique et morale).
Religion (dogme et foi).
Droit (vérité judiciaire, indices, témoignages,
reconstitutions, jugement obligatoire).
Histoire (pas d’expérimentation possible,
contextualisation, conclusion différée).
Sciences humaines (induction).
Informatique (signature numérique et cryptage).
Médecine (EBM, essais cliniques).
Paradigme de l’EBM
•
•
•
•
•
•
•
•
•
•
•
Plusieurs niveaux de preuve (≠ essais cliniques).
Tyrannie de la preuve ?
L’individu et le groupe (probabilités de survie).
Pertinence clinique.
Complexité.
Zones grises.
Prise de décision (analyse décisionnelle, asymétrie
d’information, libre-arbitre).
Accessibilité aux soins.
Éthique.
Urgence.
Innovation.
Conclusions
• Vers un pluralisme méthodologique.
• Boucle récursive : abduction, déduction,
induction.
• Empirisme, méthode expérimentale et
rationalité.
• Intérêt de l’inférence causale fondée sur
les réseaux bayésiens ?
‘Promenades d’Euclide’
Magritte
Téléchargement