Introduction : L’illumination viennoise de 1919 — La naissance du problème de la démarcation

Dans le langage courant, nous assimilons volontiers la « science » à un ensemble de « vérités absolues prouvées par les faits ». Pourtant, d’innombrables doctrines qui revendiquent le titre de science — comme l’astrologie, l’homéopathie, l’alchimie ou les théories du complot — se targuent elles aussi d’accumuler des milliers de « confirmations empiriques » : un astrologue trouvera toujours dans votre thème astral une explication à vos déboires de la veille, et un complotiste interprétera l’absence même de preuves comme la démonstration suprême de la perfection du camouflage. Où passe donc la frontière épistémologique exacte entre la véritable science empirique et la pseudoscience ? En philosophie des sciences, cette question fondamentale porte le nom de problème de la démarcation (Demarcation Problem / Abgrenzungsproblem).

Au début du XX^e siècle, le Cercle de Vienne (positivisme logique) de Moritz Schlick et Rudolf Carnap tenta de tracer cette frontière grâce au critère de vérifiabilité (Verificationism) : un énoncé n’aurait de sens scientifique que s’il peut être définitivement vérifié par l’observation empirique. Mais ce critère se fracassa rapidement sur le célèbre problème de l’induction de David Hume : toute loi de la nature est une proposition universelle de la forme $ orall x\, P(x)$ (« tous les cygnes sont blancs » ou « tous les corps massifs obéissent à la gravitation universelle »). Or, même un milliard d’observations de cygnes blancs ne pourront jamais prouver déductivement une loi universelle portant sur une infinité de cas ! Si l’on exigeait une vérification complète, même la physique de Newton devrait être bannie de la science.

Le 29 mai 1919, lors d’une éclipse solaire totale sur l’île de Príncipe, l’astronome britannique Arthur Eddington mesura la déviation de la lumière des étoiles frôlant le Soleil et confirma la prédiction audacieuse de la relativité générale d’Albert Einstein ($1,75$ seconde d’arc, contre $0,875$ pour Newton). À Vienne, le jeune Karl Popper, alors âgé de 17 ans, vécut cet événement comme une révélation : il comprit que la grandeur de la théorie d’Einstein ne résidait pas dans sa capacité à expliquer après coup des faits connus, mais dans le courage de formuler une prédiction risquée (Risky Prediction) qui, si l’observation l’avait démentie, aurait immédiatement condamné la théorie tout entière !

  flowchart TD
    A["Empirical Observation Contradicts Prediction (~O)"] --> B{"Naive Falsificationism vs. Duhem-Quine"}
    B -->|"Naive Popperian View"| C["Reject Core Theory H Immediately"]
    B -->|"Duhem-Quine / Lakatosian View"| D["Protect Hard Core H; Modify Auxiliary Belt A_i"]
    D -->|"Predicts Novel Verified Fact (e.g. Neptune 1846)"| E["Progressive Research Programme (Scientific)"]
    D -->|"Only Post-Hoc Excuses, No Novel Predictions"| F["Degenerating Research Programme (Pseudoscientific)"]

1. Le renversement copernicien de Karl Popper : L’asymétrie logique entre vérification et réfutation

En 1934, dans La Logique de la découverte scientifique (Logik der Forschung), Popper proposa son célèbre critère de réfutabilité (ou falsifiabilité, Falsifiability) : ce qui fait la scientificité d’une théorie, ce n’est pas qu’elle soit infaillible, mais tout au contraire qu’elle soit exposée au risque d’être réfutée par l’expérience ! Ce critère repose sur l’asymétrie logique absolue entre vérification et réfutation en logique des prédicats :

• Aucune accumulation d’observations positives $O_1, O_2, \dots, O_n$ ne permet de déduire logiquement une loi universelle $T$ (conclure $T$ à partir de $T \implies O$ et $O$ constitue le sophisme formel de l’affirmation du conséquent).
• En revanche, un seul contre-exemple avéré $ eg O$ (par exemple l’observation d’un unique cygne noir en Australie) suffit, en vertu de la règle déductive implacable du Modus Tollens, à déduire de $T \implies O$ et $ eg O$ la conclusion certaine $ eg T$ (la théorie $T$ est fausse) !

Popper énonça donc : une théorie est scientifique si et seulement si elle interdit certains événements observables, autrement dit si la classe de ses réfutateurs potentiels (Potential Falsifiers) n’est pas vide. Si l’astrologie est une pseudoscience, c’est précisément parce qu’elle formule ses prédictions de manière si vague que n’importe quel événement peut être accommodé après coup — une théorie qui explique tout ce qui pourrait arriver n’explique en réalité strictement rien ; son contenu informatif empirique est nul ! Pour Popper, la science progresse par une suite ininterrompue de conjectures et réfutations ; une théorie qui survit aux tests les plus sévères n’est jamais « prouvée vraie », elle acquiert seulement un haut degré de corroboration.

2. La crise du falsificationnisme naïf : La thèse de Duhem-Quine et la découverte de Neptune

Aussi élégant que fût le critère de Popper sur le plan logique, sa confrontation avec l’histoire réelle de la physique révéla une difficulté majeure : si les scientifiques avaient appliqué à la lettre le falsificationnisme naïf, toutes les grandes théories scientifiques auraient été tuées dans l’œuf !

Le physicien français Pierre Duhem (1906) et le philosophe américain W.V.O. Quine (1951) formulèrent la célèbre thèse de Duhem-Quine (sous-détermination holiste) : dans la pratique scientifique réelle, une hypothèse théorique centrale $H$ (comme la loi de la gravitation de Newton $F = G m_1 m_2 / r^2$) ne peut jamais à elle seule engendrer une prédiction observable $O$ ! Pour calculer la position d’une planète demain soir, il faut impérativement adjoindre à $H$ tout un faisceau d’hypothèses auxiliaires (Auxiliary Hypotheses) $A_1, A_2, \dots, A_n$ (par exemple : « le système solaire ne comporte que sept planètes », « l’espace interplanétaire est vide », « le télescope est dépourvu d’aberration optique ») ainsi que des conditions initiales $C_{ ext{init}}$. Par conséquent, lorsqu’une observation contredit la prédiction ($ eg O$), le Modus Tollens nous apprend uniquement que la conjonction globale $(H \land A_1 \land \dots \land A_n \land C_{ ext{init}})$ est fausse ! La logique pure est totalement incapable de nous dire si la faute incombe à la théorie centrale $H$ ou à l’une des hypothèses auxiliaires $A_i$ !

L’épisode le plus célèbre de l’histoire des sciences est la découverte de la planète Neptune en 1846 : au début du XIX^e siècle, l’orbite observée d’Uranus présentait de graves écarts ($ eg O$) par rapport aux calculs newtoniens. Les astronomes ont-ils aussitôt déclaré la gravitation de Newton réfutée ? Absolument pas ! Le Français Urbain Le Verrier et l’Anglais John Couch Adams conservèrent intacte la loi de Newton $H$ et modifièrent l’hypothèse auxiliaire $A_1$ en postulant l’existence d’une huitième planète inconnue au-delà d’Uranus. Le 23 septembre 1846, à l’observatoire de Berlin, Johann Gottfried Galle pointa sa lunette vers la position calculée par Le Verrier et découvrit Neptune à moins de $1^\circ$ ! Ce qui ressemblait à une réfutation de Newton devint son plus éclatant triomphe. À l’inverse, lorsque Le Verrier tenta d’expliquer l’avance anormale du périhélie de Mercure ($43''$ par siècle) par une planète hypothétique « Vulcain », ce fut un échec — il fallut cette fois abandonner le cœur newtonien $H$ au profit de la relativité générale d’Einstein.

  flowchart TD
    V["Vienna Circle: Logical Verificationism"] --> P["Karl Popper (1919/1934): Falsifiability & Risky Predictions"]
    P --> DQ["Pierre Duhem & W.V.O. Quine: Holistic Underdetermination"]
    DQ --> K["Thomas Kuhn (1962): Normal Science, Paradigms & Revolutions"]
    K --> L["Imre Lakatos (1970): Progressive vs. Degenerating Research Programmes"]
    L --> M["Modern Multi-Criteria Cluster & Bayesian Confirmation"]

3. Les paradigmes de Kuhn, les programmes de Lakatos et les critères multidimensionnels modernes

Pour sauver la rationalité scientifique tout en rendant justice à l’histoire réelle des sciences, la philosophie des sciences de la seconde moitié du XX^e siècle a accompli trois avancées décisives :

1. La Structure des révolutions scientifiques de Thomas Kuhn (1962) : Kuhn montra que durant les longues périodes de science normale, les chercheurs ne cherchent nullement à réfuter leur paradigme, mais s’attachent à « résoudre des énigmes » (puzzle-solving). Les anomalies sont mises de côté ; ce n’est que lorsque leur accumulation provoque une crise profonde et qu’un paradigme rival émerge que survient un changement de paradigme (révolution scientifique).
2. La Méthodologie des programmes de recherche scientifiques d’Imre Lakatos (MSRP, 1970) : Lakatos réalisa une synthèse magistrale entre Popper et Kuhn. L’unité d’évaluation scientifique n’est pas une hypothèse isolée, mais un programme de recherche historique composé d’un noyau dur (Hard Core) intouchable et d’une ceinture protectrice d’hypothèses auxiliaires (Protective Belt) constamment réajustée pour encaisser les chocs empiriques. Comment dès lors distinguer la science de la pseudoscience ? Tout dépend, répond Lakatos, du caractère progressif ou dégénératif de ces réajustements !
   • Un programme de recherche progressif (science authentique) modifie sa ceinture protectrice de façon à expliquer les anomalies anciennes tout en prédisant des faits nouveaux inédits (Novel Facts) confirmés par l’expérience (comme la découverte de Neptune).
   • Un programme de recherche dégénératif (pseudoscience) se contente de rafistolages après coup (modifications ad hoc) pour sauver les apparences, sans jamais produire la moindre prédiction nouvelle vérifiable !
3. Ressemblance de famille et défis contemporains : Après que Larry Laudan (1983) eut montré qu’aucun critère unique nécessaire et suffisant ne suffit, des philosophes contemporains comme Massimo Pigliucci et Martin Mahner ont développé des modèles multicritères par « airs de famille » (Wittgenstein) couplés à la théorie bayésienne de la confirmation. Face à la crise de la reproductibilité ($p$-hacking, HARKing et Registered Reports en psychologie et biomédecine) et aux débats sur la théorie des cordes ou le multivers, l’héritage de Popper et de Lakatos demeure le rempart indispensable de l’intégrité scientifique.

| Courant philosophique | Critère de démarcation | Réponse face à une anomalie ($