Une expérience ne condamne jamais une hypothèse seule : le holisme de Duhem
La thèse de Duhem (ou thèse de Duhem-Quine) : le holisme de la confirmation
Une expérience de physique ne peut jamais condamner une hypothèse isolée, mais seulement tout un ensemble ; il n'y a pas d'expérience cruciale ; et le choix de l'hypothèse à abandonner relève du bon sens du physicien.
Une prévision repose sur tout un ensemble d'hypothèses : si elle échoue, la logique ne dit pas laquelle est fausse.
« Une expérience ne condamne jamais une hypothèse seule : le holisme de Duhem » est un argument de Pierre Duhem (La Théorie physique, son objet, sa structure, 1906, IIe partie, ch. VI, 1906) sur la question « La science peut-elle tout expliquer ? » (réponse : une construction humaine). Sa thèse : Une expérience de physique ne peut jamais condamner une hypothèse isolée, mais seulement tout un ensemble ; il n'y a pas d'expérience cruciale ; et le choix de l'hypothèse à abandonner relève du bon sens du physicien. Selon la vérification logique d'AskPhilosophy (solveur Z3), la conclusion suit bien de ses 5 prémisses. AskPhilosophy présente 2 objections, dont 1 avec une réponse documentée, et le texte original de chaque prémisse, vérifié mot pour mot.
On imagine souvent qu'une expérience sert à « tester » une idée comme on teste une pièce : si elle casse, l'idée est fausse. Pierre Duhem, physicien français, montre au début du XXe siècle que ce n'est pas si simple. Pour prévoir ce que doit donner une expérience, le physicien n'utilise pas seulement l'hypothèse qu'il veut tester : il se sert aussi de la théorie de ses instruments, de l'optique, des calculs, etc. Quand le résultat est différent de la prévision, quelque chose est donc faux dans l'ensemble, mais l'expérience ne dit pas quoi. Duhem en tire trois conséquences : il n'y a pas d'expérience qui condamne à elle seule une hypothèse ; il n'y a pas d'« expérience cruciale » qui trancherait entre deux hypothèses rivales ; et le choix de ce qu'il faut changer dépend du « bon sens » du physicien, qui n'est pas une règle de logique. Nous rangeons cet argument dans « Une construction humaine » parce qu'il montre que des choix humains interviennent dans la décision, même en physique. Duhem pense qu'un jour vient où le bon sens départage clairement les théories (§ X). Il parle de la physique et non de toute la science.
clique sur une prémisse pour la rejeter
Sans la prémisse implicite : Sans P3, on pourrait accepter P1 et P2 et dire qu'une expérience bien conçue isole quand même l'hypothèse testée, parce que les autres hypothèses sont solides au point qu'on peut les tenir pour sûres. Duhem reconnaît que c'est ce que fait le physicien, mais il dit que cette confiance « ne s'impose pas de nécessité logique ».
Objections
2Chaque objection est une conversation : clique pour voir qui répond, et où en est le débat.
Karl Popper 1963 · attaque la prémisse 2Popper répond que l'argument « holiste » va beaucoup trop loin. Il est possible, dans un bon nombre de cas, de trouver quelle hypothèse est responsable de la réfutation.
un défenseur répond
Popper répond que l'argument « holiste » va beaucoup trop loin. Il est possible, dans un bon nombre de cas, de trouver quelle hypothèse est responsable de la réfutation.
AAdolf Grünbaum 1960 · attaque la prémisse 3Grünbaum conteste que la logique démontre ce que Duhem en tire. Que l'on puisse toujours sauver une hypothèse en modifiant les autres n'est pas prouvé : il faut encore trouver des hypothèses de rechange qui s'accordent avec tous les résultats déjà établis, et rien ne garantit qu'elles existent. C'est une question de fait, à examiner cas par cas, et non une conséquence de la logique.
sans réponse
Grünbaum conteste que la logique démontre ce que Duhem en tire. Que l'on puisse toujours sauver une hypothèse en modifiant les autres n'est pas prouvé : il faut encore trouver des hypothèses de rechange qui s'accordent avec tous les résultats déjà établis, et rien ne garantit qu'elles existent. C'est une question de fait, à examiner cas par cas, et non une conséquence de la logique.