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.

Compromiso ontológico y niveles de realidad

                                                                                  Dr. Victor Oxley

Cuando afirmo que las paradojas no son contradicciones internas del lenguaje ni meros errores de razonamiento, sino síntomas de un cruce ilegítimo entre niveles ontológicos distintos, no estoy proponiendo una metáfora, sino una tesis estructural susceptible de formalización rigurosa. Mi punto de partida es que la realidad —y correlativamente nuestros discursos sobre ella— está estratificada en dominios relativamente autónomos. Cada nivel ontológico O_k puede representarse como una estructura:

O_k = (D_k, P_k, R_k)

donde:

D_k es el dominio de entidades propias del nivel k,

P_k es el conjunto de propiedades bien formadas aplicables exclusivamente a elementos de D_k,

R_k es el conjunto de relaciones internas admisibles entre miembros de ese dominio.

Un acto de predicación es ontológicamente correcto si y solo si satisface la condición de tipificación:

∀o ∈ D_k, ∀p ∈ P_k    ⇒    p(o) es bien formado

Por el contrario, existe cruce ilegítimo de niveles —y, por tanto, germen de paradoja— cuando:

∃j ≠ k, ∃o ∈ Dj, ∃_p ∈ P_k   tal que    p(o)

En términos simples: se predica de un objeto una propiedad que pertenece a otro nivel ontológico.

Ramsey y la desontologización de la proposición

En Facts and Propositions, Ramsey (1927/1990) sostiene que creer que p no consiste en relacionarse con una entidad abstracta llamada “proposición”, sino en estar dispuesto a actuar como si p fuera el caso. Formalmente, si representamos una creencia como una función disposicional:

B_s(p) = d

donde:

Bs es el estado de creencia del sujeto s,

p es el contenido proposicional,

d es una disposición conductual,

entonces la creencia no introduce nuevas entidades ontológicas, sino que describe una estructura funcional de comportamiento. Esta desontologización de la proposición prepara el terreno para su análisis de la existencia.

Quine y el compromiso ontológico

Ramsey sostiene que “existir” no es un predicado real añadido a los objetos, sino la expresión de una cuantificación. Decir “existe un F” equivale a afirmar:

∃x F(x)

La existencia no aparece como propiedad E(x), sino como operador lógico que liga una variable. Esta línea será radicalizada por Willard Van Orman Quine, quien formula su célebre tesis: “To be is to be the value of a bound variable” (Quine, 1948). En notación formal, el compromiso ontológico de una teoría T puede expresarse como:

Compromiso(T) = {x  ∣  T ⊨ ∃x}

Es decir, una teoría está ontológicamente comprometida con aquellas entidades que deben pertenecer al dominio de cuantificación para que sus enunciados sean verdaderos.

Bunge y la distinción categorial

Aquí introduzco un matiz decisivo, inspirado en Mario Bunge. En su Treatise on Basic Philosophy (1977), Bunge objeta que identificar existencia con cuantificación constituye una confusión categorial. El cuantificador existencial ∃ es un operador lógico perteneciente al nivel formal O_f, mientras que la existencia de un objeto real pertenece al nivel ontológico O_r. Confundir ambos implica sostener implícitamente:

Existencia(x) = (∃x)

lo cual es ilegítimo porque el operador ∃ no es un predicado de primer orden, sino parte de la sintaxis del sistema. Desde una perspectiva realista, la afirmación “existe un electrón” debe interpretarse no solo como:

∃x Electron(x)

sino como:

∃x ∈ D_fısico Electron(x)

donde D_fısico ⊆ D_r es el dominio de entidades físicas reales. El cuantificador expresa que “hay algo”, pero ese “algo” pertenece a un dominio ontológico previamente constituido. Por ello prefiero hablar, con Bunge, de “particularizador existencial”, el operador lógico particulariza dentro de un dominio dado, pero no funda ontológicamente dicho dominio.

Ejemplos de cruces ilegítimos

Banach–Tarski: El teorema establece que:

∃{A₁,…, A_n} ⊆ D_continuo

tal que, mediante movimientos rígidos, se obtienen dos esferas congruentes a la original. La existencia afirmada aquí es:

∃X ∈ D_matematico

El escándalo surge cuando se interpreta como:

∃X ∈ D_fısico

Formalmente, se comete la sustitución ilegítima:

D_matematico ≡ D_fısico

cuando en realidad:

D_matematico ≠ D_fısico

La paradoja no reside en el sistema formal, sino en el cruce ontológico.

Regresión teológica: Sea una función:

C: D_teologico → D_teologico

Preguntar “¿quién creó a Dios?” equivale a exigir:

∃x ∈ D_teologico  (C(x) = x)

Pero si la definición de C excluye puntos fijos por axioma:

∀x ∈ D_teologico, C(x) ≠ x

la pregunta es estructuralmente inconsistente dentro de ese modelo.

Paradoja del mentiroso: Sea:

T: L_A → {V, F}

un predicado de verdad definido en un metalenguaje L_k+1. La oración L_k que afirma:

X ≡ ¬T(X)

produce contradicción solo si se fuerza:

T_k(X) ∈ L_k

cuando la condición de tipificación exige:

T_{k + 1}(X) ∈ L_{k + 1}

La paradoja es, nuevamente, un cruce de niveles.

En síntesis, podemos decir que:

Ramsey muestra que muchos problemas surgen al hipostasiar operadores lógicos.

Quine identifica el compromiso ontológico con la cuantificación.

Bunge recuerda que la existencia real no se reduce al operador lógico.

La teoría de funciones proporciona la estructura formal que permite distinguir dominios, puntos fijos y regresiones.

Mi tesis añade que las paradojas emergen cuando se confunden estos estratos: cuando el operador lógico se trata como propiedad ontológica, cuando el dominio matemático se identifica con el físico, o cuando se aplican funciones fuera del dominio para el cual fueron definidas.

La paradoja no es un fallo del mundo ni del cálculo formal. Es el síntoma de que hemos olvidado especificar el dominio D_k pertinente antes de cuantificar, o que hemos tratado el cuantificador ∃ como si produjera ser en lugar de particularizar dentro de un dominio ya constituido. La claridad ontológica exige, por tanto, mantener explícita la estructura:

∃x ∈ D_k F(x)

y no permitir la elisión del índice k. Allí donde ese índice se borra, nace el vértigo conceptual.

Referencias

Bunge, M. (1977). Treatise on Basic Philosophy, Vol. 3: Ontology I: The Furniture of the World. Dordrecht: Reidel.

Quine, W. V. O. (1948). On what there is. Review of Metaphysics, 2(5), 21–38.

Ramsey, F. P. (1990). Facts and propositions (1927). En D. H. Mellor (Ed.), Philosophical Papers (pp. 34–51). Cambridge: Cambridge University Press.

Tarski, A. (1936). Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica, 1, 261–405.

Banach, S., & Tarski, A. (1924). Sur la décomposition des ensembles de points en parties respectivement congruentes. Fundamenta Mathematicae, 6, 244–277.

Decir lo imposible: paradojas, funciones y niveles de realidad

                                                                                    Dr. Victor Oxley

En mis reflexiones en torno a la paradoja de Banach-Tarski, abrí una perspectiva que, desarrollada con cuidado, permite iluminar no solo un sorprendente resultado matemático, sino la naturaleza misma de las paradojas lógicas y su relación con los modelos formales que operamos, muchas veces sin conciencia de ello. Lo que comenzó como una indagación sobre una esfera que puede duplicarse por reordenamiento de sus partes derivó hacia una tesis de mayor alcance, las paradojas no son contradicciones en el lenguaje ni errores de razonamiento, sino síntomas de un choque entre ontologías de distinto nivel que el hablante mezcla sin advertirlo.

Recordemos brevemente en qué consiste la paradoja de Banach-Tarski. Demostrada por Stefan Banach y Alfred Tarski en 1924, afirma que es posible descomponer una esfera sólida en un número finito de partes y, reordenándolas mediante movimientos rígidos (rotaciones y traslaciones, sin estirar ni deformar), obtener dos esferas idénticas a la original, del mismo tamaño. El resultado es matemáticamente impecable, se sigue de los axiomas de la teoría de conjuntos, en particular del axioma de elección. Y sin embargo, choca frontalmente con nuestra intuición más elemental, en el mundo físico, la materia no se duplica por mucho que la cortemos y reordenemos sus pedazos.

¿Qué ocurre aquí? La tentación habitual es decir que nos enfrentamos a una paradoja, es decir, a una contradicción entre lo que la matemática demuestra y lo que la intuición nos dicta. Pero esa caracterización es insuficiente. No hay contradicción lógica alguna en Banach-Tarski; el resultado es perfectamente consistente dentro del sistema axiomático en el que se demuestra. La tensión no es interna al formalismo, sino entre el formalismo y otra cosa. ¿Qué otra cosa? Nuestra comprensión ingenua del espacio, del volumen, de la materia. Dicho de otro modo, la tensión se da entre dos ontologías distintas. La ontología del sentido común concibe el espacio como un receptáculo de objetos materiales que tienen volumen, que están formados por partes que también tienen volumen, y que no pueden duplicarse por simple reordenamiento. La ontología del continuo matemático, en cambio, concibe el espacio como un conjunto de puntos sin dimensión, donde existen subconjuntos tan intrincados que carecen de volumen definido (los llamados conjuntos no medibles), y donde el axioma de elección permite operaciones que desafían toda intuición física. Banach-Tarski es verdadero en la segunda ontología, pero inaplicable en la primera. La "paradoja" no está en el teorema, sino en el cruce ilegítimo de ambas ontologías, cuando alguien escucha el resultado y lo proyecta sobre el espacio físico, experimenta un choque.

Esta idea puede generalizarse, y para hacerlo resulta útil acudir a la teoría de funciones como modelo de comprensión de las relaciones de dependencia. Las funciones son el instrumento más elemental para representar cómo un objeto depende de otro, o cómo a cada elemento de un conjunto se le asigna un elemento de otro conjunto. Su comportamiento está regulado por teoremas precisos que anticipan, en el dominio abstracto, las posibilidades y límites de cualquier dominio que modelemos con ellas.

Consideremos la función más simple del mundo: M(x) = la madre de x. A cada persona x le asignamos su madre. Formalmente, tenemos una función M: P → P, donde P es el conjunto de las personas. Esta función tiene propiedades interesantes. Es unívoca: cada persona tiene una sola madre, lo que significa que M(x) tiene un único valor para cada x. No es sobreyectiva: no todas las personas son madres de alguien, esto es, existen y ∈ P tales que no hay ningún x con M(x) = y. Carece de puntos fijos: no existe x tal que M(x) = x, pues nadie es su propia madre. Formalmente, ¬∃x (M(x) = x).

Ahora bien, esta función puede servir para modelar no solo el parentesco, sino cualquier relación de dependencia unidireccional. Por ejemplo, podemos definir una función C(x) = el creador de x, donde C: E → E y E es el conjunto de las entidades creadas y creadoras. Trasladamos a ella las preguntas que antes nos hacíamos sobre la madre: ¿tiene esta función un punto fijo? Es decir, ¿existe un x tal que C(x) = x? Esto equivaldría a una entidad que se crea a sí misma. ¿Tiene la función un punto de partida? Esto es, ¿existe un x que no esté en la imagen de C, un creador no creado? Formalmente, ¿existe x ∈ E tal que para todo y, C(y) ≠ x? ¿Puede la cadena de creadores retroceder infinitamente? Esto es, ¿existe una sucesión infinita …, x₃, x₂, x₁ tal que C(x₁) = x₂, C(x₂) = x₃, …?

Lo fascinante es que estas preguntas, que parecen metafísicas o teológicas, tienen una formulación precisa en teoría de funciones, y las respuestas que esta proporciona iluminan la naturaleza de los problemas que plantean. La teoría de funciones nos dice que una cadena definida recursivamente necesita un punto de partida para estar bien fundada, pero también admite cadenas infinitas sin punto inicial si la función está definida sobre un conjunto infinito en ambas direcciones, como ocurre con los números enteros y la función sucesor S(n) = n + 1, que permite retroceder indefinidamente: …, -3, -2, -1, 0, 1, 2, 3, … Nos dice que los puntos fijos existen bajo ciertas condiciones, como establece el teorema del punto fijo de Brouwer para funciones continuas en dominios compactos y convexos: toda función continua f: D → D con D homeomorfo a un disco cerrado tiene al menos un punto x tal que f(x) = x. Pero este teorema no garantiza puntos fijos en dominios discretos como el de las personas o las entidades creadas. Nos dice que la pregunta por la regresión infinita no es en sí misma falaz, hay regresiones benignas, como la sucesión 1, 1/2, 1/4, 1/8, … que tiende a 0 y tiene un límite, y regresiones malignas, como la sucesión 1, 2, 3, 4, … que no tiene límite. La teoría de funciones proporciona criterios para distinguir unos casos de otros.

Lo que la teoría de funciones hace, en suma, es convertir preguntas metafísicas en preguntas sobre estructuras formales. Cuando alguien pregunta "¿quién creó a Dios?", la teoría de funciones responde, "Estás preguntando si la función 'creador' tiene un punto fijo o un punto inicial. Dime cómo está definida la función, cuál es su dominio y qué propiedades tiene, y te diré si puede tenerlos." La pregunta no es ilegítima en sí misma, pero su respuesta depende enteramente del modelo que adoptemos, y ese modelo implica una ontología que debe ser explicitada.

Esta manera de proceder revela algo profundo, la teoría de funciones no es solo una herramienta técnica, sino un espejo anticipatorio de la estructura del lenguaje y el pensamiento. Si los argumentos y razonamientos se modelan mediante funciones, entonces cada teorema sobre funciones es una predicción estructural sobre cómo pueden (o no) funcionar nuestros actos lingüísticos. Las funciones son la sintaxis del sentido. Los teoremas sobre funciones son teoremas sobre lo que puede y no puede hacerse con el lenguaje.

Consideremos un ejemplo sencillo. El teorema de Cantor demuestra que no existe una función biyectiva entre los números naturales y los números reales. Esto es, no hay una función f: ℕ → ℝ que sea simultáneamente inyectiva (a cada natural le corresponde un real distinto) y sobreyectiva (todo real es alcanzado por algún natural). La demostración construye un número diagonal que difiere de cada f(n) en la n-ésima cifra decimal, mostrando que siempre queda un real fuera de la lista. Esta misma estructura es la que aparece en la paradoja del mentiroso, un enunciado que dice de sí mismo que es falso genera una situación donde ningún valor de verdad puede asignarse establemente. La función diagonal de Cantor anticipa, en el dominio de los números, la estructura de lo que luego será una paradoja semántica.

Otro ejemplo: el teorema de punto fijo de Kleene en teoría de la computabilidad muestra que para cualquier función computable f, existe un número e tal que el programa con código e se comporta como f(e). Esto es, existe un punto fijo en el espacio de los programas. Este teorema anticipa que la autorreferencia no es intrínsecamente patológica; puede ser constructiva (como en "esta oración tiene cinco palabras") o destructiva (como en el mentiroso), dependiendo de las condiciones del sistema. La función de Ackermann, definida recursivamente por A(0, n) = n + 1, A(m + 1, 0) = A(m, 1), A(m + 1, n + 1) = A(m, A(m + 1, n)), crece más rápido que cualquier función recursiva primitiva. Esto anticipa que hay verdades inalcanzables por métodos limitados, lo que luego Gödel demostraría en el ámbito de la lógica, existen enunciados verdaderos pero indemostrables en sistemas formales consistentes y suficientemente expresivos. El teorema de Rice, que establece que cualquier propiedad no trivial del comportamiento de un programa es indecidible, anticipa el desfase entre sintaxis y semántica que Tarski formalizaría en su teorema de la indefinibilidad de la verdad, no hay un criterio puramente sintáctico para determinar la verdad semántica.

Lo que estos ejemplos muestran es que las funciones revelan la estructura profunda de lo que puede y no puede hacerse con el lenguaje. Cada vez que un lógico demuestra algo sobre funciones, está, sin saberlo, escribiendo un capítulo de una futura pragmática. Cantor no pensaba en el mentiroso, pero su diagonal es la misma que luego Gödel usaría para construir G, y que Tarski usaría para mostrar que la verdad no es definible. La función ya contenía todo.

Ahora bien, esta reflexión sobre las funciones y su capacidad para modelar relaciones de dependencia nos conduce de vuelta al problema ontológico planteado por Banach-Tarski. Pues lo que allí ocurre es que estamos modelando el espacio material (finito, intuible, discreto a escala humana) con el infinito continuo matemático (puramente abstracto, no intuible, denso). Y ese desajuste entre modelo y realidad es lo que produce el vértigo. Cuando afirmamos Banach-Tarski, estamos diciendo algo como, "El espacio material se comporta así." Pero el espacio material no se comporta así. Lo que se comporta así es el modelo matemático. El acto falla porque confundimos el mapa con el territorio, o más precisamente, porque pretendemos que el territorio tenga propiedades que solo tiene el mapa.

Esta misma estructura se reproduce en otros casos. En la paradoja del mentiroso, modelamos el lenguaje cotidiano (que opera con una ontología ingenua de referencia y verdad) con una semántica formal cerrada (que exige metalenguaje y prohíbe la autorreferencia total). En la paradoja de Russell, modelamos la definición ingenua de conjuntos (donde toda propiedad define un conjunto) con una teoría axiomática (que restringe la existencia para evitar contradicciones). En la pregunta por el creador, modelamos la cadena causal (que en el mundo físico tiene siempre un término anterior) con una función recursiva (que puede tener puntos fijos o regresiones infinitas). En todos los casos, el problema es el mismo, aplicamos un modelo formal a un dominio que no es el suyo, y el choque ontológico resultante lo experimentamos como paradoja.

La realidad está estratificada en niveles (físico, químico, biológico, social, etc.), y cada nivel tiene sus propias leyes, propiedades y categorías. El error categorial —o error de referencia— ocurre cuando se atribuyen propiedades de un nivel a objetos de otro nivel. Lo que aquí se propone es que las paradojas lógico-lingüísticas son un caso particular de ese error de referencia entre niveles ontológicos, solo que en este caso los niveles en conflicto no son solo los de la realidad material, sino también los de la realidad formal y la del lenguaje cotidiano.

Formalicemos esta idea. Sean O₁, O₂, …, Oₙ distintos niveles ontológicos, cada uno con su propio dominio de objetos Dₖ y su propio conjunto de propiedades Pₖ admisibles. Un acto de habla que predica la propiedad π ∈ Pⱼ sobre un objeto o ∈ Dₖ es ontológicamente bien formado si y solo si j = k, esto es, si la propiedad pertenece al mismo nivel ontológico que el objeto. Un acto de habla para el cual j ≠ k es un cruce ilegítimo de niveles, y su resultado será, o bien un sinsentido, o bien una paradoja, o bien una afirmación que, aunque formalmente correcta en algún sistema, resulta inaplicable o incomprensible en el nivel del objeto.

La paradoja del mentiroso puede verse entonces como un cruce entre el nivel del lenguaje cotidiano (donde las frases refieren a estados de cosas) y el nivel de la semántica formal (donde la verdad se define mediante predicados de verdad). La paradoja de Russell cruza el nivel de la definición ingenua de conjuntos con el nivel de la teoría axiomática. Banach-Tarski cruza el nivel del espacio físico intuible con el nivel del continuo matemático. La pregunta por la primera causa cruza el nivel de la causalidad empírica con el nivel de las funciones recursivas.

Lo que llamamos "paradoja" no es, entonces, una contradicción en el lenguaje ni un error de razonamiento. Es el síntoma de un salto ontológico no advertido. El hablante opera un modelo formal sin saberlo, y lo aplica a un dominio que no es el suyo. La paradoja es el momento en que el modelo se revela como modelo, chocando contra el límite de lo modelado.

Esta tesis tiene consecuencias importantes. En primer lugar, disuelve la pretensión de "resolver" las paradojas mediante ajustes sintácticos o semánticos. Las paradojas no se resuelven, se diagnostican, mostrando el cruce de niveles que las genera. En segundo lugar, explica por qué los matemáticos conviven pacíficamente con Banach-Tarski mientras que el público se escandaliza, los matemáticos saben qué ontología están usando, mientras que el público la desconoce y proyecta la ontología cotidiana sobre el resultado formal. En tercer lugar, abre una vía para comprender otros fenómenos contraintuitivos, como los de la mecánica cuántica o la relatividad, donde los resultados formales chocan con la intuición del sentido común precisamente porque cruzan niveles ontológicos.

La potencia explicativa de esta perspectiva se manifiesta también en su capacidad para diagnosticar falsos problemas. Cuando alguien pregunta "¿Dios puede crear una piedra tan pesada que ni él pueda levantarla?", la tradición teológica se enreda. Nuestro marco permite decir, estás mezclando la ontología de la omnipotencia (donde todo es posible) con la ontología de la física (donde las piedras tienen peso y las fuerzas tienen límites). La pregunta no tiene respuesta porque no hay un solo mundo donde ambas ontologías coexistan. No es que la pregunta sea estúpida, sino que presupone una ontología mixta que no existe.

Lejos de ser un artificio retórico, esta interpretación pragmática y ontológica de las paradojas constituye una auténtica ampliación del horizonte comprensivo. No se limita a renombrar el fenómeno, sino que revela su estructura subyacente como fenómeno de la acción y del cruce de niveles. La lógica dice qué falla (la consistencia, la verdad, la definibilidad). La pragmática dice cómo falla (el acto se bloquea a sí mismo). La ontología dice por qué falla, porque se han mezclado niveles que no debían mezclarse.

La mente humana puede reconocer esos límites y, desde fuera del sistema, comprender por qué el acto falla. Esa comprensión no elimina la paradoja, pero la disuelve como problema, transformándola en revelación. Las paradojas no son errores que haya que extirpar, sino síntomas necesarios de los límites de nuestras prácticas lingüísticas y de la estratificación de la realidad que el lenguaje, en su potencia unificadora, tiende a ignorar.

Así entendido, el enfoque aquí esbozado no es un juego de palabras, sino una propuesta filosófica que, al conectar la tradición analítica con la filosofía del lenguaje ordinario, con la teoría de funciones y con la ontología de niveles, promete iluminar aspectos de las paradojas que hasta ahora habían permanecido en la penumbra.

Referencias

Ackermann, W. (1928). Zum Hilbertschen Aufbau der reellen Zahlen. Mathematische Annalen, 99(1), 118-133. https://doi.org/10.1007/BF01459088

Austin, J. L. (1962). How to Do Things with Words. Oxford University Press.

Banach, S., & Tarski, A. (1924). "Sur la décomposition des ensembles de points en parties respectivement congruentes". Fundamenta Mathematicae, 6, 244-277.

Bunge, M. (1977). Treatise on Basic Philosophy. Vol. 3: Ontology I: The Furniture of the World. Reidel.

Bunge, M. (1979). Treatise on Basic Philosophy. Vol. 4: Ontology II: A World of Systems. Reidel.

Cantor, G. (1891). "Über eine elementare Frage der Mannigfaltigkeitslehre". Jahresbericht der Deutschen Mathematiker-Vereinigung, 1, 75-78.

Gödel, K. (1931). "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I". Monatshefte für Mathematik und Physik, 38, 173-198.

Kleene, S. C. (1938). "On Notation for Ordinal Numbers". The Journal of Symbolic Logic, 3(4), 150-155.

Rice, H. G. (1953). "Classes of Recursively Enumerable Sets and Their Decision Problems". Transactions of the American Mathematical Society, 74(2), 358-366.

Russell, B. (1902). Carta a Frege, 16 de junio. En J. van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (pp. 124-125). Harvard University Press.

Tarski, A. (1936). "Der Wahrheitsbegriff in den formalisierten Sprachen". Studia Philosophica, 1, 261-405.

Wandschneider, D. (1993). "Explaining the Paradoxes of Logic – The Nub of the Matter and its Pragmatics". En PRAGMATIK, Vol. IV. Hamburg.