Reinterpretación estructural de la disputa Popper–Kuhn

                                                                                     Dr. Victor Oxley

1. Introducción

La polémica entre Karl Popper y Thomas Kuhn ha sido históricamente interpretada como un enfrentamiento entre racionalismo crítico y relativismo histórico, entre progreso acumulativo y revolución paradigmática. Sin embargo, esta interpretación tradicional no reconoce la complejidad multinivel de las teorías científicas.

La tesis central de este escrito es: la controversia se explica por la falta de distinción de niveles constitutivos en las teorías científicas. Popper analizaba principalmente los aspectos sintáctico-semánticos y la contrastación empírica (niveles S y R), mientras que Kuhn describía la reorganización pragmática de la práctica científica (nivel D). Frank P. Ramsey ofrece una formalización que permite distinguir estos niveles de manera rigurosa y clarificar cuándo la inconmensurabilidad se vuelve ontológicamente significativa.

2. Supuestos ontológicos y semánticos

Adoptamos un realismo científico robusto:

Existe un mundo físico independiente de nuestras teorías.

Las teorías buscan representar estructuras reales de ese mundo.

La verdad científica consiste en adecuación estructural progresiva. Como señala Psillos (1999), el realismo científico defiende que las teorías rastrean la verdad porque representan estructuras reales del mundo, lo que refuerza la idea de que la referencia científica es estructural y no meramente nominal. Como señaló Worrall (1989), el realismo estructural ofrece “lo mejor de ambos mundos”: mantiene la idea de que la ciencia progresa captando la estructura matemática y relacional de la realidad, sin comprometerse con la existencia literal de las entidades teóricas. Esta posición respalda la idea de que la verdad científica consiste en una adecuación estructural progresiva.

Bajo este marco, las teorías son artefactos conceptuales construidos para representar sistemas reales, cuya validez ontológica depende de su realizabilidad estructural.

3. La formalización ramseyana y los niveles de la teoría

3.1 La oración de Ramsey

Siguiendo a Ramsey (1927/1990), cualquier teoría con términos teóricos (t1, …, tn) puede reescribirse en forma existencial como:

R(T) = ∃x1, …, xn ; F(x1, …, xn)

donde:

• (x1, …, xn) sustituyen a los términos teóricos.
• F expresa la estructura relacional postulada.

Esta formulación, conocida como oración de Ramsey, tiene dos consecuencias fundamentales:

1. Evita compromisos ontológicos fuertes, pues lo relevante no es la existencia concreta de entidades teóricas, sino la posibilidad de que haya instanciaciones que satisfagan la estructura F.
2. Permite separar la referencia estructural de la creencia en entidades: aceptar una teoría no implica reificar sus términos, sino reconocer la utilidad de la estructura para organizar la experiencia y guiar la acción.

Extensión interpretativa: A partir de esta base ramseyana, podemos introducir un marco tripartito para comprender las teorías científicas:

T = ⟨S, R, D⟩

• S: sintaxis y coherencia formal.
• R: realizabilidad estructural, representada por la oración de Ramsey.
• D: disposiciones pragmáticas y normativas de los científicos.

Como subraya Ladyman (1998), el realismo estructural sostiene que lo que se preserva en las transiciones científicas es la estructura relacional, no la identidad de las entidades hipotéticas. Esta perspectiva respalda la extensión interpretativa aquí propuesta, donde el nivel R se centra en la realizabilidad estructural y permite distinguir continuidad de ruptura ontológica.

Esta tripartición no se encuentra explícitamente en Ramsey, sino que constituye una elaboración contemporánea inspirada en su formalización. Su utilidad radica en que permite reinterpretar la disputa Popper–Kuhn: Popper se sitúa en los niveles S y R, mientras que Kuhn se concentra en el nivel D.

3.2 Nivel sintáctico (S)

S = ⟨L, A, ⊢⟩

• L (lenguaje formal): son los símbolos y signos que usamos para expresar la teoría. Por ejemplo, en física clásica, L incluye términos como “masa”, “fuerza” y “aceleración”.
• A (axiomas y leyes): son las proposiciones básicas que la teoría da por válidas. En el caso de Newton, uno de los axiomas sería la segunda ley del movimiento: F = m·a.
• ⊢ (reglas de derivación): son las reglas lógicas que permiten deducir nuevas proposiciones a partir de los axiomas. Por ejemplo, a partir de la ley de gravitación universal y las leyes del movimiento, podemos deducir la órbita de un planeta.

Ejemplo ilustrativo: Si una teoría dice “todos los cuerpos caen con la misma aceleración en ausencia de resistencia”, el nivel sintáctico asegura que esa afirmación se puede expresar en símbolos, que se deduce de axiomas previos y que no contradice otras proposiciones de la teoría.

Popper se concentra en este nivel al evaluar si una hipótesis es falsable y si la teoría mantiene coherencia lógica.

3.3 Nivel realizacional (R)

R(T) = ∃x1 … ∃xn ; F(x1, …, xn)

La teoría es ontológicamente exitosa si existe al menos un modelo M tal que:

M ⊨ F (es decir, “M satisface la estructura F”).

Aquí lo importante no es el nombre de los términos teóricos, sino que haya estructuras reales que instancien las relaciones postuladas.

Ejemplo ilustrativo: La teoría de Newton postula que existe una fuerza de atracción proporcional a las masas e inversamente proporcional al cuadrado de la distancia. El nivel realizacional pregunta: ¿existe en el mundo real una estructura que cumpla esa relación? La respuesta es sí: los movimientos planetarios observados satisfacen esa estructura.

En cambio, la teoría del flogisto postulaba una sustancia que se liberaba en la combustión. El nivel realizacional muestra que no existe ningún modelo real que satisfaga esa estructura, por lo que la teoría colapsa ontológicamente.

Este nivel permite diferenciar entre cambios que afectan la referencia ontológica (ruptura realizacional fuerte) y cambios que son meramente sintácticos o pragmáticos.

3.4 Nivel pragmático-disposicional (D)

D(T) = {δ1, …, δk}

Cada δi representa disposiciones metodológicas: criterios de evidencia, tolerancia a anomalías, estrategias heurísticas, estándares de explicación.

Ejemplo ilustrativo: En la ciencia normal descrita por Kuhn, los físicos pueden tolerar ciertas anomalías (como pequeñas desviaciones en las órbitas planetarias) mientras confían en que el paradigma vigente las resolverá. Esa tolerancia es una disposición pragmática. Otro ejemplo: los químicos modernos aceptan como criterio de evidencia la reproducibilidad experimental; esa es otra disposición metodológica.

Kuhn analiza principalmente este nivel al estudiar cómo los paradigmas organizan la práctica científica y cómo las revoluciones implican cambios en estas disposiciones.

4. Teorema General de Transición Científica

Sea la transición: T1 = ⟨S1, R1, D1⟩ → T2 = ⟨S2, R2, D2⟩

Esto significa que una teoría inicial (T1), con su sintaxis (S1), su realizabilidad (R1) y sus disposiciones pragmáticas (D1), pasa a convertirse en una nueva teoría (T2), con sus propios componentes (S2, R2, D2). El teorema describe cómo puede darse esa transición.

4.1 Continuidad realizacional

∃M (M ⊨ R1 ∧ R2) o bien R1 ⊆ R2

Esto quiere decir que existe al menos un modelo M que satisface tanto la teoría anterior como la nueva, o que la estructura de la primera está contenida en la segunda.

Ejemplo: La física de Newton y la de Einstein. Aunque Einstein reformula la gravitación, las ecuaciones de Newton siguen siendo válidas como caso límite cuando las velocidades son bajas y los campos gravitatorios no son extremos. Es decir, la teoría de Newton está contenida dentro de la de Einstein.

4.2 Ruptura realizacional fuerte

∀M (M ⊨ R2 ⇒ M ⊭ R1)

Esto significa que todo modelo que satisface la nueva teoría contradice la anterior. No existe ninguna función que preserve la estructura de la teoría previa.

Ejemplo: La teoría del flogisto frente a la química moderna. Los modelos de la química actual (basados en oxígeno y conservación de masa) no pueden satisfacer la idea de “sustancia flogística” que se libera en la combustión. La teoría anterior colapsa porque no hay ninguna estructura real que la respalde.

4.3 Tipología de transiciones

• Acumulativa: La teoría nueva amplía la anterior. Ejemplo: La geometría euclidiana extendida con geometría analítica: se conserva lo previo y se añade más.
• Inclusiva: La teoría nueva cambia la sintaxis, pero mantiene parte de la estructura realizacional y reorganiza las prácticas. Ejemplo: La mecánica cuántica respecto a la clásica: cambia el lenguaje (funciones de onda, operadores), pero conserva ciertas estructuras (como la conservación de energía).
• Ruptura pragmática: Cambian las disposiciones metodológicas, aunque la sintaxis y la realizabilidad siguen siendo compatibles. Ejemplo: En biología, el paso de clasificaciones basadas en morfología a clasificaciones basadas en genética. La estructura de los organismos es la misma, pero cambian los criterios de evidencia y explicación.
• Ruptura realizacional fuerte: La teoría anterior se elimina porque su estructura no puede ser realizada en el mundo. Ejemplo: El flogisto, como vimos, o la teoría de los epiciclos ptolemaicos frente al modelo heliocéntrico.

En términos simples:

• Continuidad realizacional: la teoría nueva incluye a la vieja como caso especial.
• Ruptura realizacional fuerte: la teoría vieja se derrumba porque no hay nada en la realidad que la respalde.
• Tipología de transiciones: nos ayuda a clasificar si el cambio es una ampliación, una reorganización parcial, un cambio de prácticas o una ruptura total.

5. Relectura sistemática de la disputa Popper–Kuhn

La disputa entre Popper y Kuhn puede entenderse mejor si se la sitúa dentro del marco tripartito de los niveles de teoría (S, R y D). Cada autor se movía en planos distintos, lo que explica gran parte de la aparente incompatibilidad de sus posiciones.

5.1 Popper: eje S–R

Popper se concentra en los niveles Sintáctico (S) y Realizacional (R).

• En el nivel S, Popper exige que las teorías tengan coherencia formal y que sus hipótesis sean falsables. Para él, una teoría que no puede ser sometida a prueba empírica carece de valor científico.
• En el nivel R, Popper entiende la racionalidad científica como un proceso de eliminación de teorías irrealizables: aquellas que no encuentran ningún modelo en la realidad que las satisfaga.

Ejemplo ilustrativo: Si una teoría afirma que “todos los cisnes son blancos”, Popper diría que es científica solo si puede ser refutada por la observación de un cisne negro. En términos de R, la teoría colapsa si la realidad muestra un modelo que contradice su estructura.

5.2 Kuhn: eje D

Kuhn, en cambio, se sitúa en el nivel Pragmático-disposicional (D).

• Para él, la ciencia normal se desarrolla dentro de un paradigma que establece normas, criterios de evidencia, estándares de explicación y formas de resolver problemas.
• Las revoluciones científicas ocurren cuando esos criterios cambian radicalmente, reorganizando la práctica científica.

Ejemplo: En la astronomía ptolemaica, los astrónomos aceptaban como práctica normal el uso de epiciclos para explicar los movimientos planetarios. Con Copérnico y luego Kepler, cambió el paradigma: se reorganizaron los problemas y se adoptaron nuevas normas de explicación (órbitas elípticas, heliocentrismo). Kuhn subraya que este cambio no es solo lógico, sino también práctico y cultural.

5.3 Fuente de la polémica

La raíz de la polémica está en que Popper y Kuhn hablaban desde planos distintos:

• Popper interpretaba los cambios pragmáticos (nivel D) como una amenaza a la ontología (nivel R). Para él, si cambian las normas de práctica, podría estar en riesgo la referencia a estructuras reales.
• Kuhn, por su parte, interpretaba la coherencia formal (nivel S) como reflejo de las prácticas (nivel D). Para él, las reglas lógicas y los lenguajes formales no son independientes, sino que se configuran dentro de un paradigma.

Formalmente, la mayoría de los casos muestran que:

D1 ≠ D2 no implica ¬∃M (M ⊨ R1 ∧ R2)

Es decir, que un cambio en las disposiciones pragmáticas (D) no necesariamente implica una ruptura en la referencia ontológica (R). Solo los cambios en R afectan directamente la relación de la teoría con la realidad.

Ejemplo: El paso de Newton a Einstein. Cambiaron las disposiciones pragmáticas (D) y el lenguaje formal (S), pero hubo continuidad realizacional (RNewton ⊆ REinstein). Popper veía la continuidad ontológica, mientras que Kuhn destacaba la reorganización de las prácticas. Ambos tenían razón, pero en niveles distintos.

• Popper defendía que la ciencia progresa eliminando teorías que no pueden realizarse en la realidad (niveles S y R).
• Kuhn mostraba que la ciencia progresa reorganizando normas, criterios y prácticas dentro de paradigmas (nivel D).
• La polémica surge porque cada uno interpretaba los cambios desde su propio eje.

La clave está en reconocer que no todo cambio en las prácticas (D) implica una ruptura ontológica (R). Solo cuando el nivel realizacional colapsa, la inconmensurabilidad se vuelve real y la teoría anterior deja de tener referencia en el mundo.

6. Ejemplos históricos

Los ejemplos históricos permiten ilustrar cómo se aplican los niveles S, R y D en la práctica científica, mostrando cuándo hay continuidad y cuándo ruptura ontológica.

6.1 Newton → Einstein

En la transición de la física de Newton a la relatividad de Einstein:

• Nivel S (Sintaxis): cambia el lenguaje formal. Newton describe el espacio y el tiempo como absolutos, mientras que Einstein introduce un nuevo marco matemático en el que espacio y tiempo forman una sola entidad: el espacio-tiempo.
• Nivel D (Disposiciones pragmáticas): también cambia. Los científicos pasan de aceptar como “normal” la mecánica clásica a reorganizar sus prácticas bajo la relatividad, lo que implica nuevas formas de calcular, nuevas predicciones y nuevos estándares de evidencia.
• Nivel R (Realización): aquí hay continuidad. Las ecuaciones de Newton siguen siendo válidas como caso límite dentro de la teoría de Einstein, cuando las velocidades son bajas y los campos gravitatorios no son extremos. Formalmente, esto se expresa como: RNewton ⊆ REinstein Es decir, la estructura de Newton está contenida dentro de la de Einstein.

Ejemplo: Imagina que tienes un mapa antiguo de tu ciudad. Ese mapa funciona bien para moverte por las calles principales, pero no muestra detalles como túneles o nuevas avenidas. Luego aparece un mapa moderno, más completo, que incluye todo lo que el anterior tenía y además añade información nueva. El mapa viejo no era falso, solo incompleto. Así ocurre con Newton y Einstein: la teoría de Einstein amplía y corrige la de Newton, pero no la destruye.

Conclusión: No hay ruptura ontológica. Popper acierta al señalar la continuidad estructural, mientras que Kuhn acierta al destacar la reorganización pragmática de las prácticas científicas.

6.2 Flogisto → Química moderna

En la transición de la teoría del flogisto a la química moderna:

• Nivel S (Sintaxis): la teoría del flogisto usaba un lenguaje que hablaba de una “sustancia” liberada en la combustión. La química moderna, en cambio, describe la combustión en términos de oxígeno y conservación de masa.
• Nivel D (Disposiciones pragmáticas): cambian los criterios de evidencia. Los químicos dejan de aceptar la explicación flogística y adoptan nuevas prácticas experimentales basadas en mediciones precisas de masa y composición.
• Nivel R (Realización): aquí ocurre una ruptura fuerte. No existe ningún modelo real que pueda satisfacer la estructura postulada por la teoría del flogisto. Formalmente: ∀M (M ⊨ Rchem ⇒ M ⊭ Rflog) Esto significa que cualquier modelo que satisface la química moderna contradice la teoría del flogisto.

Ejemplo: Imagina que alguien cree que el fuego funciona porque “libera una sustancia invisible llamada flogisto”. Luego, los experimentos muestran que lo que realmente ocurre es que el oxígeno se combina con los materiales y que la masa se conserva. La idea del flogisto no puede encajar en ningún experimento real: es como intentar usar un mapa que señala calles que nunca existieron.

Conclusión: Aquí sí hay ruptura ontológica. El artefacto conceptual del flogisto se elimina porque no corresponde a ninguna estructura real. Es un caso claro de ruptura realizacional fuerte.

Tenemos entonces:

• Newton → Einstein: continuidad estructural (la teoría vieja sigue siendo válida como caso límite). No hay ruptura ontológica, pero sí reorganización de prácticas.
• Flogisto → Química moderna: ruptura total (la teoría vieja no corresponde a ninguna estructura real). El artefacto conceptual se elimina.

7. Conclusión

La disputa entre Popper y Kuhn puede comprenderse mejor si se reconoce que cada uno operaba en planos distintos de análisis de las teorías científicas. La falta de distinción entre estos niveles constitutivos —Sintaxis (S), Realización (R) y Disposiciones pragmáticas (D)— es lo que generó la aparente incompatibilidad de sus posturas.

• Popper se situaba en los niveles S y R. Para él, lo esencial era que las teorías fueran coherentes en su formulación lógica (S) y que pudieran ser contrastadas con la realidad, eliminando aquellas que no encontraran ningún modelo que las satisfaga (R). Su racionalidad científica se basaba en la falsabilidad y en la depuración progresiva de teorías irrealizables.
• Kuhn, en cambio, se movía en el nivel D. Su interés estaba en cómo los paradigmas organizan la práctica científica: qué normas se aceptan, qué problemas se consideran relevantes, qué criterios de evidencia se aplican y cómo cambian estas disposiciones en las revoluciones científicas. Para él, la ciencia normal y las rupturas paradigmáticas eran fenómenos principalmente pragmáticos y sociales.

No todo cambio en las disposiciones pragmáticas (D) implica una ruptura ontológica (R). Formalmente, puede expresarse así:

D1 ≠ D2 no implica ¬∃M (M ⊨ R1 ∧ R2)

Esto significa que, aunque cambien las normas, los criterios o las prácticas, puede seguir existiendo continuidad estructural en la referencia de las teorías al mundo. Solo cuando el nivel realizacional colapsa —cuando no existe ningún modelo real que satisfaga la estructura postulada— se produce la verdadera inconmensurabilidad ontológica.

• En el paso de Newton a Einstein, cambian el lenguaje formal (S) y las disposiciones pragmáticas (D), pero hay continuidad realizacional (RNewton ⊆ REinstein). La teoría de Newton sigue siendo válida como caso límite dentro de la relatividad. Aquí no hay ruptura ontológica.
• En el paso del flogisto a la química moderna, la estructura postulada por el flogisto no encuentra ningún modelo real que la satisfaga. La teoría colapsa y se elimina. Aquí sí hay ruptura realizacional fuerte.

De este modo, la ciencia progresa mediante la construcción, ajuste y eliminación de artefactos estructurales. En este sentido, la reinterpretación aquí propuesta se alinea con la defensa de Psillos (1999) del realismo científico: las teorías progresan porque logran captar aspectos estructurales de la realidad, incluso cuando sus términos teóricos cambian o se abandonan. Esta reinterpretación se conecta con la propuesta de Worrall (1989), quien defendió que lo que se preserva en las transiciones científicas es la estructura, incluso cuando cambian los términos teóricos. Así, la continuidad ontológica se asegura en el nivel estructural, mientras que las rupturas afectan a las entidades hipotéticas que no encuentran realización en el mundo.

La aportación de Ramsey es decisiva porque su formalización hace explícita esta distinción: permite separar la sintaxis, la referencia estructural y las disposiciones pragmáticas. Gracias a ello, podemos analizar con rigor cuándo un cambio científico es simplemente pragmático, cuándo es acumulativo y cuándo constituye una ruptura ontológica.

La disputa Popper–Kuhn no es un enfrentamiento irreconciliable, sino un cruce de planos. Popper tenía razón en la importancia de la coherencia y la referencia estructural; Kuhn tenía razón en la relevancia de las normas y prácticas. La inconmensurabilidad ontológica solo aparece cuando hay ruptura realizacional.

En línea con Ladyman (1998), esta reinterpretación enfatiza que la ciencia progresa mediante la conservación y ajuste de estructuras, incluso cuando los términos teóricos cambian o se abandonan. Así, la continuidad se asegura en el nivel estructural, mientras que las rupturas afectan únicamente a las entidades que no encuentran realización en la realidad.

La ciencia, entonces, debe entenderse como un proceso dinámico de construcción y depuración de estructuras conceptuales que buscan representar la realidad con mayor fidelidad.

Referencias

Kuhn, T. S. (1962). The structure of scientific revolutions. University of Chicago Press.

Lavoisier, A. L. (1789). Traité élémentaire de chimie. Cuchet.

Popper, K. R. (1959). The logic of scientific discovery. Hutchinson.

Ramsey, F. P. (1990). Theories. En D. H. Mellor (Ed.), Philosophical papers (pp. 112–136). Cambridge University Press. (Trabajo original publicado en 1927).

Psillos, S. (1999). Scientific realism: How science tracks truth. Routledge.

Worrall, J. (1989). Structural realism: The best of both worlds? Dialectica, 43(1–2), 99–124.

Ladyman, J. (1998). What is structural realism? Studies in History and Philosophy of Science, 29(3), 409–424.

Intuición, lenguaje y niveles ontológicos: Una refutación del intuicionismo matemático de Brouwer desde la neurociencia, la semántica y la lógica ramseyana

                                                                                 Dr. Victor Oxley

La tesis intuicionista de L. E. J. Brouwer, según la cual las matemáticas constituyen una construcción mental originada en una intuición pura y prelingüística, ha sido sometida a un escrutinio crítico desde diversos frentes de la filosofía analítica y la ciencia cognitiva contemporánea. La acumulación de evidencia neurocientífica, los hallazgos de la psicología del desarrollo, el análisis lógico-semántico del lenguaje matemático y, de manera crucial, la distinción entre niveles ontológicos, convergen para demostrar que la posición intuicionista descansa sobre una serie de confusiones categoriales insostenibles. Este escrito presenta una síntesis de dichas evidencias organizada en seis líneas argumentales, prestando especial atención al problema de la confusión de niveles ontológicos que subyace al error intuicionista, y culmina con una formalización lógico-semántica que dota de precisión a la refutación.

1. La evidencia neurocientífica: El "sentido numérico" como base biológica limitada

La investigación neurocientífica, particularmente la desarrollada por Stanislas Dehaene, ha establecido que el cerebro humano posee un "sentido numérico" innato, localizado en regiones específicas del lóbulo parietal, que nos permite discriminar cantidades de manera aproximada (Dehaene, 2016). Este hallazgo podría interpretarse superficialmente como un triunfo del intuicionismo, al demostrar una capacidad matemática anterior al lenguaje. Sin embargo, lo que la neurociencia revela es precisamente lo opuesto a la tesis fuerte de Brouwer. Las investigaciones de Dehaene y su equipo han identificado neuronas que responden a números específicos en el área parietal del cerebro; en experimentos con animales —y por inferencia en humanos— se han encontrado poblaciones neuronales que se activan selectivamente ante la presencia de uno, dos o tres objetos. Pero lo crucial es que este "sentido numérico" es aproximado, no exacto. Como señala el propio Dehaene, las neuronas que responden a cantidades se vuelven menos precisas a medida que el número aumenta: las mismas neuronas que responden al cuatro también pueden responder al cinco, lo que explica por qué nuestra intuición numérica básica solo permite estimaciones, no cálculos exactos. Aún más revelador: los experimentos muestran que los bebés de cinco meses pueden realizar sumas y restas simples, lo que indica una capacidad innata para estas operaciones, pero no existe evidencia de una intuición innata para la multiplicación, la división o las operaciones más complejas. Dehaene explica que aprendemos a multiplicar mediante "una suerte de memoria verbal, no es intuitivo" (Dehaene, 2016, p. 84). Esta asimetría es devastadora para el intuicionismo: si las matemáticas fueran puramente intuitivas, todas las operaciones deberían tener el mismo estatus ontológico. El hecho de que unas sean innatas y otras requieran aprendizaje simbólico demuestra que las matemáticas superiores no pueden reducirse a la intuición.

La teoría del "reciclaje neuronal" del mismo autor explica este fenómeno con mayor profundidad. Según esta hipótesis, el cerebro humano posee circuitos preexistentes, heredados de nuestra historia evolutiva, que son "reciclados" para funciones culturales como la lectura o la matemática avanzada. Desarrollamos la matemática avanzada gracias al reciclaje de circuitos que tienen una historia evolutiva muy larga y que nos permiten evaluar un número aproximado; los transformamos para que nos permitan estimar un número exacto, y usamos eso para el álgebra y la matemática de alto nivel (Dehaene, 2016, p. 22). Este modelo implica que las matemáticas superiores no son pura intuición ni pura convención, sino el resultado de una interacción compleja entre capacidades innatas limitadas y sistemas simbólicos culturales que las potencian y transforman cualitativamente. El lenguaje matemático no es un mero vehículo para comunicar intuiciones preexistentes, sino un instrumento que reorganiza la cognición y permite operaciones que serían imposibles sin él.

2. La evidencia del desarrollo cognitivo: La construcción progresiva y la necesidad de representación

La psicología del desarrollo proporciona evidencia complementaria de este proceso constructivo. Las investigaciones de Piaget (1952) muestran que el niño construye nociones de número, seriación y conservación a partir de la acción sobre objetos, pero estas nociones son rudimentarias y necesitan ser estabilizadas simbólicamente. Gelman y Gallistel (1978) demostraron que los niños pequeños poseen principios de conteo —unicidad, orden estable, cardinalidad— antes de dominar el vocabulario numérico, pero estos principios operan en contextos concretos y no se generalizan espontáneamente. La ontología operativa del niño, constituida por esquemas de acción y regularidades perceptivas, es cualitativamente distinta de la ontología formal de los objetos matemáticos abstractos. Raymond Duval (2006) ha demostrado que la actividad matemática requiere necesariamente de sistemas semióticos de representación; no es posible operar con objetos matemáticos abstractos sin alguna forma de representación. Esto no significa que el pensamiento no exista antes del lenguaje, pero sí que el pensamiento matemático avanzado es coextensivo con su representación simbólica. El modelo triádico de Ogden y Richards (1923), que distingue entre símbolo, referencia y referente, muestra que la comprensión matemática implica un recorrido complejo: el niño debe aprender a vincular el símbolo escrito con el concepto mental y este con la entidad abstracta. Este recorrido no está garantizado por intuición alguna, y la interferencia narrativa en los enunciados —esto es, la forma coloquial en que se presentan los problemas— puede obstaculizar el acceso a la estructura lógica, demostrando que la mediación lingüística es constitutiva, no accidental.

3. La distinción de niveles ontológicos: El error fundamental de Brouwer

La distinción entre niveles ontológicos resulta fundamental para desenmascarar el error brouweriano. Podemos diferenciar tres estratos ontológicos claramente distinguibles: la ontología empírica (O_emp), correspondiente a objetos físicos perceptibles; la ontología operativa (O_op), constituida por esquemas de acción y regularidades perceptivas; y la ontología formal (O_form), que comprende los objetos matemáticos abstractos definidos en sistemas axiomáticos. Brouwer colapsa estos niveles al postular una relación de identidad o derivación directa donde solo existe mediación simbólica.

Formalicemos esta distinción. Definamos los siguientes conjuntos y relaciones:

- O_emp = {x | x es un objeto físico perceptible}

- O_op = {s | s es un esquema de acción o regularidad perceptiva}

- O_form = {o | o es un objeto matemático definido en un sistema axiomático S}

La tesis intuicionista fuerte puede expresarse como:

(1) ∀o ∈ O_form, ∃s ∈ O_op tal que o es intuido directamente a través de s, sin mediación simbólica.

(2) O_form ⊆ O_op (la ontología formal es un subconjunto de la operativa).

Pero la evidencia neurocientífica y cognitiva establece una relación diferente. Sea R la relación de representación simbólica, definida como:

R: O_op × L × O_form, donde L es el lenguaje matemático.

Para cada objeto formal o ∈ O_form, existe un esquema operativo s ∈ O_op y una expresión lingüística l ∈ L tales que o es constituido mediante la aplicación de reglas de transformación a s a través de l. Formalmente:

∀o ∈ _Oform, ∃s ∈ O_op, ∃l ∈ L, ∃T (reglas de transformación) tales que o = T(s, l).

La relación entre O_op y O_form no es de inclusión (⊆) sino de proyección funcional:

O_form = f(L, O_op), donde f: L × O_op → O_form es una función de transformación que satisface:

(i) f no es inyectiva: diferentes esquemas operativos pueden dar lugar al mismo objeto formal bajo diferentes representaciones.

(ii) f no es sobreyectiva respecto de O_op: existen elementos de O_op que no generan objetos formales sin la intervención de L.

(iii) f requiere L como argumento esencial: sin lenguaje, no hay acceso a O_form.

La confusión de Brouwer consiste en postular erróneamente que:

∃g: O_op → O_form, con g biyectiva y g(s) = o sin mediación de L.

Pero la evidencia muestra que g no existe; en su lugar, tenemos:

∀o ∈ O_form, o = f(l, s) para algún l ∈ L, s ∈ O_op, y f depende de reglas sintácticas y semánticas que son constitutivas del objeto formal.

Adicionalmente, consideremos la relación entre las capacidades intuitivas I y las capacidades matemáticas efectivas C. La evidencia neurocientífica establece:

I ⊂ C, con C \ I ≠ ∅.

Es decir, existen capacidades matemáticas (como la multiplicación, el álgebra, el cálculo infinitesimal) que no son intuitivas en el sentido brouweriano, sino que emergen de la interacción con sistemas simbólicos. Si representamos el conjunto de objetos accesibles mediante intuición como O_int = {o ∈ O_form | o es accesible sin mediación simbólica}, la evidencia muestra que O_int es un subconjunto propio de O_form:

O_int ⊂ O_form, con O_form \ O_int ≠ ∅.

Por tanto, la tesis intuicionista (1) es falsa, pues existen objetos formales no accesibles mediante intuición pura. Brouwer confunde así sus supuestos objetos intuitivos con el hecho de que estos ya eran producto de un lenguaje que hacía posible nombrarlos y determinar sus propiedades. Cuando Brouwer cree estar "intuyendo" un objeto matemático, en realidad está operando con conceptos que ya han sido moldeados por el lenguaje matemático que aprendió. Su "intuición" no es un acceso privilegiado a O_form, sino el resultado de la internalización de prácticas simbólicas culturales.

Esta confusión lleva a Brouwer a cometer lo que podemos denominar falacia de adscripción ontológica: atribuye a O_op propiedades que solo son propias de O_form, y postula una relación de identidad donde solo existe mediación. De esta confusión se derivan las falsas apreciaciones características del intuicionismo: la creencia de que la lógica deriva de la intuición, cuando la lógica formal es una construcción cultural que opera en O_form; la negación del principio del tercero excluido, basada en una exigencia de constructibilidad que solo tiene sentido en O_op; la idea de que las matemáticas son esencialmente una actividad mental privada, cuando O_form es un dominio público gobernado por reglas compartidas.

4. La perspectiva logicista y su relación con las estructuras del lenguaje

El programa logicista, representado fundamentalmente por Gottlob Frege y Bertrand Russell, intentó demostrar que las matemáticas pueden reducirse a la lógica. Formalmente, el logicismo postula la existencia de una función de reducción ρ tal que para cada enunciado matemático m ∈ M, existe un enunciado lógico λ ∈ Λ (donde Λ es el conjunto de verdades lógicas) tal que ρ(m) = λ y la verdad de m se identifica con la verdad lógica de λ.

Frege (1884/1950) sostuvo que los números son objetos lógicos y que las proposiciones aritméticas son derivables de leyes lógicas mediante definiciones explícitas. En su formalización, introdujo la distinción crucial entre sentido (Sinn) y referencia (Bedeutung). Definamos:

- Para una expresión lingüística e, sea S(e) su sentido y R(e) su referencia.

- Dos expresiones e₁ y e₂ pueden tener S(e₁) ≠ S(e₂) pero R(e₁) = R(e₂).

Aplicado al intuicionismo, esto implica que Brouwer confunde S(e) —que puede estar vinculado a construcciones mentales en O_op— con R(e) —que pertenece a O_form y es independiente de la psicología individual. Formalmente:

∀e ∈ L_m (lenguaje matemático), S(e) ∈ O_op (el sentido puede ser "intuido"), pero R(e) ∈ O_form (la referencia es objetiva).

La teoría de las descripciones definidas de Russell (1919) proporciona una herramienta adicional. Para una descripción definida "el F", Russell propone el análisis:

∃x (F(x) ∧ ∀y (F(y) → y = x))

Este análisis muestra que las expresiones aparentemente referenciales no necesitan presuponer la existencia de su referente. Formalmente, sea D una descripción definida. Su análisis lógico es:

ψ(ιx F(x)) ≡ ∃x (F(x) ∧ ∀y (F(y) → y = x) ∧ ψ(x))

Aplicado a las expresiones matemáticas, esto implica que "el número 2" no presupone la existencia de un objeto intuido "2", sino que es una abreviatura de una estructura cuantificacional compleja. La existencia del número 2 no es un hecho intuitivo, sino una consecuencia de la coherencia del sistema axiomático en el que aparece.

La relación entre logicismo y estructuras del lenguaje puede formalizarse mediante la noción de forma lógica profunda versus forma gramatical superficial. Sea Φ la forma gramatical superficial de una expresión, y φ su forma lógica profunda. Existe una función de transformación T tal que T(Φ) = φ, donde φ revela la verdadera estructura lógica de la proposición. El intuicionismo comete el error de tomar Φ como ontológicamente reveladora, cuando es φ la que determina los compromisos ontológicos genuinos.

5. La lógica como estructura del lenguaje y su prioridad sobre la intuición

La relación entre lógica y lenguaje puede entenderse mediante la distinción entre condiciones de verdad y condiciones de asertabilidad. Sea L un lenguaje formal con una sintaxis S_L y una semántica M_L. Las condiciones de verdad para una fórmula α ∈ L vienen dadas por:

α es verdadera en M syss M ⊧ α

Las condiciones de asertabilidad, por el contrario, dependen de criterios psicológicos o epistémicos. Brouwer confunde las condiciones de asertabilidad (lo que podemos construir intuitivamente) con las condiciones de verdad (lo que es objetivamente el caso).

El primer Wittgenstein (1922) estableció que la lógica es el andamiaje del pensamiento y el lenguaje. Formalmente, esto puede expresarse diciendo que toda proposición significativa p tiene una forma lógica φ(p) que determina sus condiciones de verdad. Las tautologías lógicas son aquellas proposiciones verdaderas en virtud de su forma lógica solamente:

p es una tautología syss para toda interpretación I, I ⊧ p

Las contradicciones son falsas en toda interpretación:

p es una contradicción syss para toda interpretación I, I ⊧ ¬p

El rechazo intuicionista del principio del tercero excluido (p ∨ ¬p) puede formalizarse como la negación de que para toda proposición p, p ∨ ¬p sea una tautología. Brouwer sostiene que para ciertas proposiciones (especialmente sobre conjuntos infinitos), no tenemos garantía de que p ∨ ¬p sea verdadera porque no podemos construir una prueba de p ni de ¬p.

Pero desde la perspectiva de la lógica como estructura del lenguaje, el principio del tercero excluido es una condición de posibilidad de la bivalencia semántica. Sea V(p) el valor de verdad de p. La semántica clásica postula:

V: Prop → {V, F}, con V(p) = V o F exclusivamente.

Esto equivale a: ∀p ∈ Prop, V(p) = V ∨ V(p) = F.

Este principio no es una generalización empírica sobre nuestras capacidades constructivas, sino una condición de la semántica bivalente. Confundir ambas es, nuevamente, un error categorial.

La prioridad de la lógica sobre la intuición puede formalizarse diciendo que las leyes lógicas son condiciones de posibilidad de cualquier discurso con sentido, incluyendo el discurso sobre la intuición. Sea D el dominio de discursos significativos. Entonces:

∀d ∈ D, d presupone las leyes lógicas L.

Intuitivamente, incluso el discurso intuicionista sobre la imposibilidad de construir pruebas presupone la lógica en la que se formulan esos enunciados. La negación intuicionista de ciertos principios lógicos es, paradójicamente, una operación lógica que presupone aquello que niega.

6. El análisis ramseyano del cuantificador existencial: La disolución de la ontología intuicionista

El análisis lógico-semántico de Frank Ramsey sobre el cuantificador existencial proporciona la herramienta más afinada para desactivar la pretensión intuicionista desde su raíz. Para Brouwer, la existencia matemática es sinónimo de constructibilidad mental. Formalmente:

∃_B x P(x) ≡ ∃c (c es una construcción mental que verifica P(x))

Pero Ramsey muestra que el cuantificador existencial tiene un significado puramente lógico que no implica compromiso ontológico con objetos intuidos. Su método —la "oración de Ramsey"— consiste en reemplazar términos teóricos por variables ligadas existencialmente.

Sea T una teoría con términos teóricos t₁, ..., tₙ. La oración de Ramsey R(T) se obtiene mediante:

R(T) ≡ ∃X₁ ... ∃Xₙ T[X₁/t₁, ..., Xₙ/tₙ]

donde T[Xᵢ/tᵢ] es el resultado de reemplazar cada término teórico tᵢ por una variable de segundo orden Xᵢ.

Aplicado a las matemáticas, esto significa que los enunciados matemáticos pueden interpretarse sin compromiso con la existencia de objetos intuitivos. Por ejemplo, "Hay un número primo mayor que 2" se analiza como:

∃x (Primo(x) ∧ x > 2)

donde "x" no nombra ningún objeto intuitivo, sino que es una variable ligada cuyo rango es el dominio del sistema formal en cuestión.

Formalicemos la diferencia entre la interpretación brouweriana y la interpretación ramseyana. Sea D el dominio de un sistema formal S. La semántica de Tarski define:

∃x P(x) es verdadero en S syss existe a ∈ D tal que P(a) es verdadero en S.

Esta definición no requiere que a sea "intuido" o "construido mentalmente"; solo requiere que a pertenezca al dominio D, que está definido axiomáticamente.

La confusión de Brouwer consiste en postular que:

∃x P(x) → ∃a ∈ O_op tal que a es intuido y verifica P(a).

Pero esto es un error categorial, pues el a que satisface P(a) en S no es un objeto de O_op, sino un elemento de D (el dominio de S), y D no es reducible a O_op.

La tendencia a reificar las variables —a preguntar "¿qué es esa x?" como si debiera haber un objeto al que la variable apunta— puede formalizarse como un error de tipo. Sea τ(x) el tipo de la variable x. En la interpretación brouweriana, se asigna a x un tipo ontológico incorrecto:

τ_B(x) = objeto intuido ∈ O_op

Pero la interpretación correcta asigna:

τ_R(x) = elemento del dominio D ⊆ O_form

La existencia matemática no es, pues, un predicado de objetos, sino una propiedad de sistemas formales. Decir que ∃x P(x) es verdadero en S es decir que S satisface cierta condición de coherencia interna, no que la mente ha "visto" un objeto.

Formalicemos esta idea mediante la noción de compromiso ontológico de Quine: ser es ser el valor de una variable. Esto significa que los compromisos ontológicos de una teoría son los valores que deben tomar las variables cuantificadas para que la teoría sea verdadera. Pero estos valores no son objetos intuidos, sino elementos del dominio de la teoría, que puede ser cualquier estructura que satisfaga los axiomas.

El análisis ramseyano muestra, además, que incluso los términos que parecen referir directamente (como "2") pueden ser eliminados mediante cuantificación existencial. Sea "2" un término singular. Su análisis ramseyano sería:

∃x (x es el sucesor de 1 ∧ ∀y (y es el sucesor de 1 → y = x))

Esto muestra que "2" no es el nombre de un objeto intuido, sino una abreviatura de una estructura relacional compleja.

7. La conjunción de argumentos y la formalización global de la refutación

La conjunción de estos argumentos permite formalizar la refutación completa del intuicionismo. Sea:

- M: conjunto de enunciados matemáticos

- O: conjunto de objetos matemáticos postulados por Brouwer

- L: lenguaje matemático

- I: capacidades intuitivas básicas

- C: capacidades matemáticas efectivas

- O_op: ontología operativa

- O_form: ontología formal

- S: sistema formal

- D: dominio de S

La tesis intuicionista afirma:

(T1) ∀m ∈ M, ∃o ∈ O tal que o es intuido prelingüísticamente y m expresa o.

(T2) O ⊆ O_op (los objetos matemáticos son un subconjunto de la ontología operativa).

(T3) La verdad de ∃x P(x) requiere una construcción mental de un objeto que satisfaga P.

La refutación establece:

(R1) I ⊂ C, con C \ I ≠ ∅ (hay capacidades matemáticas no intuitivas).

(R2) O_form = f(L, O_op), con f función de transformación que requiere L esencialmente.

(R3) O_form ⊈ O_op (la ontología formal no es reducible a la operativa).

(R4) ∃x P(x) es verdadero en S syss ∃a ∈ D tal que S ⊧ P(a), independientemente de la intuición.

(R5) D no es reducible a O_op; D es una estructura definida axiomáticamente.

La contradicción entre T y R muestra la insostenibilidad del intuicionismo. En particular, de R2 y R3 se sigue que T2 es falso; de R4 se sigue que T3 es falso; y de R1 y la existencia de objetos en O_form \ O_int (donde O_int son los objetos accesibles por intuición) se sigue que T1 es falso.

8. Conclusión

En conclusión, Brouwer fue víctima de una ilusión generada por el propio lenguaje que pretendía trascender. Al confundir los niveles ontológicos —al suponer que O_form puede derivarse directamente de O_op sin mediación simbólica— y al reificar las variables cuantificadas como si designaran objetos en O_op, construyó una filosofía que no resiste el examen de la evidencia empírica ni del análisis lógico.

La tradición logicista, desde Frege hasta Ramsey, nos ha enseñado que la lógica no deriva de la intuición, sino que constituye la estructura misma del lenguaje y el pensamiento proposicional. Las leyes lógicas no son generalizaciones psicológicas, sino condiciones de posibilidad de cualquier discurso objetivo. El lenguaje matemático no es un mero vehículo para comunicar intuiciones privadas, sino el medio en el que los objetos matemáticos cobran existencia como entidades públicas, gobernadas por reglas y accesibles a través de prácticas compartidas.

Las matemáticas no necesitan una intuición de objetos: necesitan reglas para manejar símbolos, y sistemas formales cuya validez última se mide por su coherencia interna y su éxito en la organización de nuestra experiencia y nuestra acción sobre el mundo. Como señala acertadamente Dehaene (2016), las mismas áreas del cerebro se ocupan de los números y del sentido espacial, pero esta base biológica es solo el punto de partida. Las matemáticas que realmente importan —las que permiten construir puentes, desarrollar teorías físicas o programar ordenadores— son el resultado de un largo proceso de reciclaje cultural de esos circuitos primitivos, un proceso en el que el lenguaje y la lógica juegan un papel constitutivo, no meramente comunicativo.

La distinción de niveles ontológicos —y la advertencia contra su confusión— nos permite ver que Brouwer no descubrió el fundamento último de las matemáticas, sino que fue víctima de una ilusión generada por el propio lenguaje que pretendía trascender. Las matemáticas no están en la intuición, sino en las reglas; no en la mente privada, sino en el espacio público del lenguaje y la lógica.

Referencias

Bunge, M. (2008). Tratado de Filosofía. Vol. II. Semántica II. Interpretación y verdad. Gedisa.

Dehaene, S. (2016). El cerebro matemático. Siglo Veintiuno Editores.

Duval, R. (2006). A cognitive analysis of problems of comprehension in a learning of mathematics. Educational Studies in Mathematics, 61(1-2), 103-131.

Frege, G. (1884/1950). The Foundations of Arithmetic. Blackwell.

Frege, G. (1892/1960). On sense and reference. En P. Geach & M. Black (Eds.), Translations from the Philosophical Writings of Gottlob Frege. Blackwell.

Frege, G. (1893/1964). The Basic Laws of Arithmetic. University of California Press.

Gelman, R., & Gallistel, C. R. (1978). The Child's Understanding of Number. Harvard University Press.

Molina, J. A. (2008). Negación y doble negación en el intuicionismo de Brouwer. Universidade de Santa Cruz do Sul.

Ogden, C. K., & Richards, I. A. (1923). The Meaning of Meaning: A Study of the Influence of Language upon Thought and of the Science of Symbolism. Harcourt, Brace & World.

Piaget, J. (1952). The child's conception of number. Routledge & Kegan Paul.

Ramsey, F. P. (1931). The Foundations of Mathematics and other Logical Essays. Kegan Paul, Trench, Trubner & Co.

Russell, B. (1919). Introduction to Mathematical Philosophy. George Allen & Unwin.

Strawson, P. F. (1959). Individuals: An Essay in Descriptive Metaphysics. Methuen.

Wittgenstein, L. (1922). Tractatus Logico-Philosophicus. Routledge & Kegan Paul.