Introducción: La epifanía vienesa de 1919 — El nacimiento del problema de la demarcación

En la vida cotidiana solemos equiparar la palabra «ciencia» con «verdad absoluta demostrada por los hechos». Sin embargo, numerosas doctrinas que reclaman para sí el estatus de ciencia —como la astrología, la homeopatía, la alquimia o las teorías conspirativas— presumen igualmente de acumular miles de «confirmaciones empíricas»: un astrólogo siempre encontrará en la carta astral una explicación para lo que te ocurrió ayer, y un conspiracionista interpretará incluso la ausencia total de pruebas como la demostración definitiva de lo bien oculta que está la conspiración. ¿Dónde se traza entonces la frontera epistemológica exacta entre la ciencia empírica genuina y la pseudociencia? En filosofía de la ciencia, este interrogante fundamental se conoce como el problema de la demarcación (Demarcation Problem / Abgrenzungsproblem).

A principios del siglo XX, el Círculo de Viena (positivismo lógico) liderado por Moritz Schlick y Rudolf Carnap intentó trazar esa línea mediante el criterio verificacionista del significado: un enunciado solo sería científicamente significativo si pudiera verificarse de forma concluyente mediante observaciones empíricas. Pero este criterio chocó de frente con el problema de la inducción de David Hume: toda ley científica es un enunciado universal de la forma $ orall x\, P(x)$ («todos los cisnes son blancos» o «toda masa obedece a la gravitación universal»). ¡Ni siquiera mil millones de observaciones de cisnes blancos pueden demostrar deductivamente una ley universal sobre infinitos casos! Si exigiéramos verificación completa, hasta la física de Newton quedaría expulsada de la ciencia.

El 29 de mayo de 1919, durante un eclipse total de Sol en la isla de Príncipe, el astrónomo británico Arthur Eddington midió la deflexión de la luz estelar al rozar el limbo solar y confirmó la audaz predicción cuantitativa de la relatividad general de Albert Einstein ($1,75$ segundos de arco frente a los $0,875$ de Newton). En Viena, el joven de 17 años Karl Popper vivió aquel suceso como una revelación intelectual: comprendió que la grandeza de la teoría de Einstein no residía en acomodar hechos ya conocidos, sino en atreverse a formular una predicción arriesgada (Risky Prediction) que, de haber resultado falsa en el experimento, habría destruido la teoría entera sin excusas.

  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. El giro copernicano de Karl Popper: La asimetría lógica entre verificación y falsación

En 1934, en La lógica de la investigación científica (Logik der Forschung), Popper propuso su célebre criterio de falsabilidad (o refutabilidad, Falsifiability): lo que define a la ciencia no es ser infalible, sino todo lo contrario: ser susceptible de entrar en conflicto con la experiencia y ser refutada. Este principio descansa en la asimetría lógica absoluta entre verificación y falsación en la lógica de predicados:

• Ninguna cantidad finita de observaciones favorables $O_1, O_2, \dots, O_n$ permite deducir lógicamente una teoría universal $T$ (inferir $T$ a partir de $T \implies O$ y $O$ es la falacia formal de afirmación del consecuente).
• En cambio, basta un único contraejemplo genuino $ eg O$ (como avistar un solo cisne negro en Australia) para que, mediante la regla deductiva rigurosa del Modus Tollens, de $T \implies O$ y $ eg O$ se deduzca con certeza absoluta $ eg T$ (la falsedad de la teoría $T$).

Por ello, Popper proclamó: una teoría es científica si y solo si prohíbe ciertos sucesos observables, es decir, si su conjunto de falsadores potenciales (Potential Falsifiers) no es vacío. La astrología es pseudociencia porque formula sus vaticinios con tal ambigüedad que cualquier suceso imaginable puede explicarse a posteriori: ¡una teoría que lo explica todo pase lo que pase, en realidad no explica nada y su contenido empírico de información es cero! Para Popper, la ciencia avanza mediante un proceso evolutivo sin fin de conjeturas y refutaciones; las teorías que sobreviven a las pruebas más severas nunca quedan «demostradas como verdaderas», sino que alcanzan un alto grado de corroboración.

2. La crisis del falsacionismo ingenuo: La tesis de Duhem-Quine y el descubrimiento de Neptuno

Por impecable que fuera el criterio de Popper en el plano lógico, al contrastarlo con la historia real de la física surgió un obstáculo formidable: ¡si los científicos hubieran aplicado al pie de la letra el falsacionismo ingenuo, todas las grandes teorías científicas habrían muerto en la cuna!

El físico francés Pierre Duhem (1906) y el filósofo estadounidense W.V.O. Quine (1951) formularon la célebre tesis de Duhem-Quine (subdeterminación holista): en la práctica científica real, una hipótesis teórica central $H$ (como la ley de gravitación de Newton $F = G m_1 m_2 / r^2$) jamás puede por sí sola implicar una predicción observable $O$. Para calcular dónde estará un planeta mañana por la noche es indispensable conjugar $H$ con toda una red de hipótesis auxiliares (Auxiliary Hypotheses) $A_1, A_2, \dots, A_n$ (por ejemplo: «solo existen siete planetas en el sistema solar», «el espacio interplanetario carece de rozamiento», «la óptica del telescopio no introduce aberraciones») y condiciones iniciales $C_{ ext{init}}$. Por consiguiente, cuando una observación contradice la predicción ($ eg O$), el Modus Tollens solo nos dice que la conjunción completa $(H \land A_1 \land \dots \land A_n \land C_{ ext{init}})$ es falsa. ¡La lógica pura no puede decirnos si el error reside en el núcleo teórico $H$ o en alguna de las hipótesis auxiliares $A_i$!

El episodio más luminoso de la historia de la ciencia es el descubrimiento del planeta Neptuno en 1846: a comienzos del siglo XIX, la órbita observada de Urano discrepaba gravemente de los cálculos newtonianos ($ eg O$). ¿Declararon los físicos refutada la gravitación de Newton? ¡En absoluto! El francés Urbain Le Verrier y el inglés John Couch Adams mantuvieron intacto el núcleo newtoniano $H$ y modificaron la hipótesis auxiliar $A_1$ postulando un octavo planeta desconocido más allá de Urano. El 23 de septiembre de 1846, en el observatorio de Berlín, Johann Gottfried Galle apuntó su telescopio hacia las coordenadas calculadas por Le Verrier y halló a Neptuno a menos de $1^\circ$ de distancia. ¡Una aparente refutación se transformó en el mayor triunfo de la mecánica de Newton! En cambio, cuando Le Verrier intentó explicar la precesión anómala del perihelio de Mercurio ($43''$ por siglo) postulando un planeta interior llamado «Vulcano», fracasó: aquella vez sí era necesario sustituir el núcleo newtoniano $H$ por la relatividad general de 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. Los paradigmas de Kuhn, los programas de Lakatos y los modelos multicriterio actuales

Para salvar la racionalidad científica y explicar la historia real de la ciencia, la filosofía de la ciencia de la segunda mitad del siglo XX dio tres pasos decisivos:

1. La estructura de las revoluciones científicas de Thomas Kuhn (1962): Kuhn mostró que durante los largos periodos de ciencia normal, los científicos no intentan refutar su paradigma, sino que se dedican a «resolver rompecabezas» (puzzle-solving). Las anomalías se archivan temporalmente; solo cuando su acumulación desata una crisis profunda y surge un paradigma alternativo se produce un cambio de paradigma (revolución científica).
2. La Metodología de los programas de investigación científica de Imre Lakatos (MSRP, 1970): Lakatos sintetizó brillantemente a Popper y Kuhn. La unidad de evaluación científica no es una hipótesis aislada, sino un programa de investigación histórico integrado por un núcleo firme (Hard Core) irrenunciable y un cinturón protector de hipótesis auxiliares (Protective Belt) que se modifica para absorber las anomalías. ¿Cómo distinguir entonces la ciencia de la pseudociencia? Lakatos responde: ¡depende de si los cambios en el cinturón protector son progresivos o degenerativos!
   • Un programa de investigación progresivo (ciencia genuina) modifica sus hipótesis auxiliares de modo que no solo explica las anomalías previas, sino que predice hechos nuevos e inesperados (Novel Facts) que resultan confirmados empíricamente (como el hallazgo de Neptuno).
   • Un programa de investigación degenerativo (pseudociencia) se limita a añadir parches a posteriori (excusas ad hoc) para salvar las apariencias sin predecir jamás un solo hecho nuevo verificable.
3. Parecidos de familia y desafíos contemporáneos: Tras demostrar Larry Laudan (1983) que no existe una única condición necesaria y suficiente, filósofos actuales como Massimo Pigliucci y Martin Mahner emplean modelos multicriterio de «parecidos de familia» (Wittgenstein) combinados con la teoría bayesiana de la confirmación. Ante la actual crisis de replicación ($p$-hacking, HARKing y Registered Reports en psicología y biomedicina) y los debates sobre la teoría de cuerdas o el multiverso, el legado de Popper y Lakatos sigue siendo la brújula indispensable de la integridad científica.

| Corriente filosófica | Criterio de demarcación | Respuesta ante una anomalía ($