Étiquette : Réfutation

  • Réfutation et méthodologie des programmes de recherche scientifique

    Réfutation et méthodologie des programmes de recherche scientifique

    Par le biais de mon réseau, j’ai réussi à mettre la main sur un article passionnant d’Imre Lakatos, logicien et mathématicien, épistémologue et philosophe des sciences hongrois qui ayant fui le stalinisme, a poursuivi sa vie et sa carrière en Angleterre, sous l’influence de Karl Popper. L’article en question est « Falsification and the Methodology of Scientific Research Programmes », un des chapitres d’un livre co-écrit avec Musgrave. Comment arrive-t-on à lire un article comme celui-là, me direz-vous ? Et bien, en lisant l’ouvrage de Bence Nanay, il y citait le travail de Lakatos sur les « programmes de recherche », et couplé au fait que ça renvoyait sur Popper (que j’apprécie beaucoup), j’ai eu envie d’en savoir plus. J’emprunte la photo de Lakatos au site New Criterion.

    Passionnant et dense

    Le chapitre en question, qui fait une trentaine de pages en anglais, est dense et passionnant. Il est agréable à suivre, rigoureux et synthétique, et on y reconnait bien la patte d’un élève de Popper. Je me suis fait une petite liste de passage à citer, de citations à garder dans ma collection, et j’y ai bien retrouvé une passionnante réflexion sur le savoir, la connaissance et la progression des connaissances. Comment « sauver » la rationalité scientifique quand aucune connaissance ne peut être certaine ? Ce que j’ai apprécié, c’est que l’article revient sur un certain nombre d’attitudes qu’il est possible d’adopter vis-à-vis de la connaissance, pour en souligner les limites, et en se basant sur des exemples très concrets de l’histoire des sciences et de la physique. Si on ne peut rien prouver de manière absolument certaine, et si on ne veut pas se contenter de l’idée d’une vérité scientifique qui ne serait qu’un consensus, quel est le modèle le plus pertinent de la progression des connaissances ? Je ne vais pas essayer de tout résumer, car c’est trop dense pour être fait, mais je vais essayer de garder quelques idées clefs, concepts importants, et partager quelques citations. Si vous voulez gagner le temps de la lecture, vous pouvez garder l’idée clef, déjà présente chez Popper, que pour l’accès à la connaissance et le progrès vers la vérité, le meilleur moyen est la compétition permanente entre les idées, théories, énoncés, pour mieux décrire la réalité déjà connues ET prédire des faits nouveaux observables. Lakatos apporte une contribution intéressante avec l’idée de « programme de recherche progressif/dégénératif », qui décrit des mécanismes permettant sur un horizon moyen-terme de distinguer les théories qui tiennent la route, de celles qui commencent à s’écarter de la réalité. Mais au delà de ses apports nouveaux ou non (je ne suis pas capable d’en juger), l’article de Lakatos remet en perspective ces discussions d’une manière très vaste et agréable à suivre, logique et sereine.

    Postures épistémologiques

    L’auteur décrit plusieurs attitudes possibles, dont Lakatos critique rarement “par principe » les fondements (tous rationnels) : il montre (a) ce que la position cherche à sauver, (b) sur quelles hypothèses elle s’appuie, (c) pourquoi ça casse, et (d) ce qu’on peut tout de même en conserver dans une approche plus robuste. J’avoue avoir demandé à l’IA (Copilot en l’occurence) de faire une lecture, puis une synthèse du document après l’avoir lu, et que, comme je suis flemmard, j’ai demandé dans la foulée à ce qu’il me fasse un tableau pour garder ces éléments en tête de manière synthétique. Je les mets en fin d’article car ils sont plutôt bien faits.
    Les idées clefs peuvent être résumées ainsi, je grossis un peu le trait mais les idées sont là :

    • Pendant longtemps, on pensait que la science produisait des vérités prouvées. Lakatos appelle cela le justificationnisme. Mais cette idée s’effondre pour deux raisons : les théories ne peuvent pas être logiquement prouvées à partir des faits, et l’histoire des sciences montre qu’elles changent. La science est une succession d’échecs, certes cumulatifs, mais c’est sans appel : aucune théorie n’est définitivement vraie.
    • le probabilisme (les théories ne sont pas vraies, mais plus ou moins probables) ne fonctionne pas non plus, car comme Popper l’a démontré, toute théorie a, sur le long terme, une probabilité nulle (puisqu’elle sera un jour dépassée, sa probabilité d’être vraie est 0).
    • la falsificationnisme (ou réfutationnisme) apporté par Popper introduit une nouvelle manière de penser cela : on ne doit plus chercher à prouver une théorie, mais à la tester pour la réfuter.
      Une théorie est scientifique si elle est testable et si elle peut être contredite par une expérience (concrète ou de pensée)

    Lakatos démonte une forme de falsificationnisme naïf (c’est là où ça devient intéressant), sur la base de deux choses factuelles qui forcent à raffiner. Premièrement, il n’y a pas de « faits purs ». Les observations dépendent toujours de cadre théoriques, qui structurent l’analyse que l’on fait des observations. Ensuite, une théorie, et c’est le cas dans la pratique, ou pour de bonnes raisons souvent, peut toujours être sauvée face à des faits qui le contredisent. Quand une anomalie apparaît, les scientifiques ne disent pas : « la théorie est fausse », mais ils ajustent en ajoutant des hypothèses auxiliaires, remettant en question les conditions initiales, ou les instruments. CE n’est pas malhonnête, c’est économe et souvent c’est une attitude pertinente. S’appuyant sur l’idée (que l’on trouve chez Kuhn aussi) que les décisions scientifiques sont en partie conventionnelles (on décide ce qu’on considère comme un fait fiable), Lakatos propose un raffinement des idées de Popper : le falsificationnisme sophistiqué. Une théorie n’est pas rejetée à cause d’une anomalie seule, ou d’un fait qui la réfute. Elle est rejetée seulement si : une nouvelle théorie apparaît et qui est meilleure : expliquer ce que l’ancienne expliquait, prédire des faits nouveaux et être partiellement confirmée.

    Programme de recherches

    Lakatos introduit donc le concept de progrès scientifique à 3 coins : faits (bien sûr), théorie A et théorie B en compétition. La science progresse par la compétition entre les théories. Par la réfutation par les faits, bien sûr, mais une théorie n’est vraiment réfutée que s’il y a une meilleure théorie à se mettre sous la dent. Et d’ailleurs, c’est l’idée des programmes de recherche : on n’a pas affaire à des théories seules, mais à des séries de théories, qu’il appelle programme de recherche. Un programme de recherche c’est :

    • Noyau dur (hard core) : des principes fondamentaux non remis en cause (par choix méthodologique). L’auteur parle d’heuristique négative : interdit d’attaquer le noyau dur & les problèmes doivent être résolus ailleurs
    • Ceinture protectrice : des hypothèses auxiliaires, modifiables pour protéger le noyau. Ici, heuristique positive : ces éléments de ceinture protectrice guident la recherche, indiquent quelles pistes explorer et
      orientent les nouvelles théories. C’est le programme de recherche associé au noyau dur non attaquable.

    Lakatos amène donc l’idée majeure, en opposition partielle avec Kuhn, que la science n’est pas qu’une affaire de consensus social sur ce qui est vrai ou non, mais qu’elle est le lieu de déploiement de programme de recherche progressistes et dégénératifs. La rationalité scientifique s’évalue dans le temps : un programme est rationnel tant qu’il est progressif (il produit du nouveau contenu corroboré) et devient irrationnel quand il dégénère (ajustements ad hoc sans gains).

    J’ai trouvé cet article passionnant, et très riche. Je laisse à la suite, en annexe, les tableaux produits par l’IA, car ils me permettent de conserver une trace d’un niveau de détail plus fin.

    Annexes

    Tableau A : justifier / douter / remplacer

    Tableau A — Positions “de fond” (justifier / douter / remplacer) chez Lakatos
    Attitude / école Prémisses / hypothèses de base Ce que ça vise / promet (norme d’“honnêteté”) Où et pourquoi ça casse (diagnostic Lakatos)
    Justificationnisme (tradition dominante)
    (rationaliste & empiriste)
    • La connaissance = énoncés prouvés.
    • Rationalistes : preuves extra-logiques (intuition, révélation, etc.).
    • Empiristes : base factuelle certaine + logique inductive.
    • Ne rien affirmer d’improuvé.
    • Réduire l’écart entre spéculation et savoir établi.
    • Impossible de prouver une base empirique certaine.
    • Impossible d’une induction infaillible qui “augmente” le contenu.
    • Résultat : les théories restent improuvables.
    Scepticisme justificationniste
    • Garde le standard : il faut des preuves.
    • Conclut : pas de preuve ⇒ pas de connaissance (seulement croyance).
    Démystifier la prétention à la connaissance scientifique.
    • Issue “toxique” du justificationnisme : si l’idéal du prouvé échoue, tout s’effondre.
    • Risque : glisser vers irrationalisme / superstition.
    Probabilisme / néo‑justificationnisme
    (ex. Carnap)
    • Remplacer la preuve par des degrés de probabilité relatifs à l’évidence disponible.
    • N’énoncer que du “hautement probable”.
    • Ou publier théorie + évidence + probabilité.
    • Sous conditions générales, les théories ont une probabilité zéro au sens strict.
    • Donc l’approche ne discrimine plus utilement.
    “Vérité par consensus”
    (Polanyi / Kuhn, cadrage Lakatos)
    • La vérité dépend d’un consensus changeant.
    • Rationalité décrite via dynamique sociale de communauté.
    Expliquer stabilité et changement des théories par le social.
    • Risque de dissoudre la rationalité dans la sociologie.
    • Utile descriptivement, insuffisant pour fonder des critères d’évaluation.

    Tableau B : Réfutation / convention / progrès

    Tableau B — Positions sur la critique empirique (falsification / convention / progrès) chez Lakatos
    Attitude / école Prémisses / hypothèses de base Ce que ça vise / promet Où et pourquoi ça casse
    Falsificationnisme dogmatique
    (= “naturaliste”)
    • Frontière “naturelle” observation / théorie.
    • Les énoncés observationnels peuvent être prouvés vrais par l’expérience.
    • Donc une observation peut réfuter définitivement une théorie (modus tollens).
    • Science : pas de preuve, mais des réfutations.
    • Honnêteté = définir à l’avance un test tel que l’échec impose l’abandon.
    • Infalsifiable ⇒ “métaphysique”.
    • Pas d’observation “pure” (théorie‑chargée).
    • Les faits ne prouvent pas des propositions (seules propositions → propositions).
    • Les grandes théories ne “forbid” pas simplement des états observables sans auxiliaires / ceteris paribus.
    Fallibilisme “catastrophe”
    (sceptique)
    • Si tout est fallible (théories + “faits”), aucune élimination rationnelle n’est possible.
    • On ne fait que constater des incohérences : “anything goes”.
    Conclure à l’absence de progrès rationnel ; science = spéculation.
    • Abandon des standards intellectuels : “Babel”, chaos.
    • Impossible de justifier une élimination rationnelle des théories.
    Conventionalisme conservateur
    (Poincaré, Milhaud, Le Roy)
    • Après succès initial, décision de rendre une théorie “irréfutable” de fait.
    • Absorption des anomalies via “stratagèmes” (auxiliaires, réinterprétations).
    Stabiliser la science mature ; réparer plutôt que renverser.
    • Enfermement : plus la science avance, moins l’évidence empirique a de pouvoir contre les théories établies.
    • Explique mal les grands remplacements théoriques.
    Simplicisme de Duhem
    • Les théories ne meurent pas par réfutation directe.
    • Elles s’écroulent quand les réparations détruisent simplicité / bon sens.
    Permettre remplacement sans “crucial experiment” strict.
    • Critère trop vague : dépend du goût, de la mode ; manque d’objectivité.
    • La simplicité est contestable et historiquement ambiguë.
    Falsificationnisme méthodologique “naïf”
    (Popper + décisions)
    • Admet la faillibilité, mais décide d’énoncés “de base” acceptables via techniques.
    • Construit une “base empirique” provisoire (entre guillemets).
    • Conserve une élimination relativement directe après “falsification” (au sens méthodologique).
    Maintenir une critique empirique “hard‑line” malgré le fallibilisme.
    • Décisions risquées : on peut éliminer une théorie vraie et garder une fausse.
    • Problèmes avec ceteris paribus : dépendance à des décisions supplémentaires.
    • L’histoire des sciences ne colle pas (lenteurs et audaces réelles).
    Falsificationnisme méthodologique sophistiqué
    (Lakatos / Popper amélioré)
    • T est falsifiée seulement si une T’ la surpasse :
    • (1) contenu empirique excédentaire (faits nouveaux),
    • (2) explique les succès de T,
    • (3) excédent corroboré.
    • Pas de falsification avant une meilleure théorie.
    Rendre la critique constructive : remplacer par mieux ; focaliser sur corroboration de l’excédent.
    • Il reste des décisions (ce qui compte comme observation, acceptation provisoire).
    • Paradoxe du “raboutage” (tacking) : nécessité de continuité.
    Programmes de recherche scientifique
    (Lakatos)
    • Programme = noyau dur protégé + ceinture protectrice d’auxiliaires.
    • Heuristique négative : ne pas attaquer le noyau ; heuristique positive : plan de construction.
    • Évaluation : progressif vs dégénératif.
    Expliquer la ténacité rationnelle et le progrès historique ; autoriser résistance intermittente aux anomalies si le programme reste progressif.
    • Ce n’est pas présenté comme “erroné”, mais comme dépassement.
    • Limites : jugements sur nouveauté/corroboration, et ligne empirique provisoire.