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.