Decir que el universo es un lenguaje formal L parece, a primera vista, una metáfora filosófica. Pero al examinarla con rigor, resulta ser una premisa con contenido preciso y consecuencias demostrables.
¿Es esta premisa una teoría científica, una tautología, o una descripción? No es ninguna de las tres en sentido puro. Una teoría hace predicciones falsables que excluyen observables posibles. Una tautología es verdadera por su forma lógica. Una descripción refiere a algo observable directamente.
Esta propuesta es algo distinto: una propuesta metafísica con estructura de programa de investigación. No hace predicciones empíricas, pero tampoco es trivialmente verdadera. Apuesta algo real: que la estructura del universo es formal y no arbitraria. Su valor está en las preguntas que abre y en los problemas que disuelve.
La distinción crucial es entre decir que el universo tiene estructura formal —lo que la física ya asume sin decirlo— y decir que el universo es un lenguaje formal. La segunda afirmación tiene consecuencias que la primera no tiene.
Si L es un lenguaje formal sin semántica, entonces L no refiere a nada. No hay flecha de Frege apuntando hacia un exterior. Solo hay estructura: símbolos y reglas de transformación.
Esto tiene una consecuencia inmediata: no hay dos cosas —universo y lenguaje— sino una sola estructura. La distinción entre el mapa y el territorio colapsa.
Un mapa perfecto deja de ser mapa. En el momento en que coinciden completamente, una de las dos palabras sobra. — Borges, reformulado
Si L no tiene semántica, la palabra "lenguaje" sobra, o la palabra "universo" sobra. Lo que permanece es una pregunta desnuda: ¿tiene el universo estructura formal? Si la respuesta es sí, llamarlo "lenguaje" no añade nada que la física no dijera ya. Pero sí revela por qué la física funciona.
El teorema de indefinibilidad de Tarski (1933) establece que en cualquier lenguaje formal suficientemente expresivo, no existe ningún predicado definible dentro del lenguaje que capture exactamente el concepto de verdad para ese mismo lenguaje. La verdad semántica siempre requiere un metalenguaje exterior.
Esto no es una elección filosófica. Es un resultado matemático demostrado. Si un lenguaje pudiera definir su propia verdad, la paradoja del mentiroso —"esta frase es falsa"— genera una contradicción directa. Tarski formalizó que esto no es un accidente sino una limitación estructural de cualquier sistema formal suficientemente rico.
Aplicado al universo: si L es un lenguaje formal suficientemente expresivo, entonces por Tarski, su verdad semántica es necesariamente exterior a L. No por razones místicas sino por estructura matemática.
En lógica formal estándar, la existencia se define en términos de satisfacibilidad: algo existe si hay una interpretación, un modelo, en el que la fórmula correspondiente es verdadera. El camino es directo:
No hay salto metafísico. La existencia como predicado siempre está fuera. Algo existe si es verdad es precisamente la definición estándar en lógica de primer orden. El corolario de Tarski cubre directamente la existencia.
Frege distinguió dos componentes del significado: el sentido (el modo de presentación, interno al lenguaje) y la referencia (aquello a lo que el símbolo apunta, exterior al lenguaje).
En un lenguaje con semántica hay correspondencia entre símbolo y referencia, entre el lenguaje y su modelo. Esa correspondencia es la semántica. El símbolo "manzana" apunta a algo fuera del lenguaje.
En L no hay dos cosas. No hay flecha. No hay referencia. Solo hay estructura. Por tanto la existencia, como concepto con contenido, solo aparece cuando hay semántica. La existencia es un fenómeno semántico, no ontológico en sentido bruto.
Tarski y Frege dicen lo mismo desde ángulos distintos: el lenguaje no puede cerrarse sobre su propia relación con el mundo. Siempre hay un afuera necesario.
En la Teoría de Tipos Homotópica (HoTT) algo es verdad si hay un habitante del tipo correspondiente. Una prueba es un habitante. Existencia es habitabilidad. La correspondencia de Curry-Howard identifica proposiciones con tipos y pruebas con sus habitantes.
Esto parece esquivar a Tarski: no hay semántica externa, solo construcción interna. Pero al intentar construir un tipo universal que contenga a todos los tipos, aparece la paradoja de Girard —la paradoja de Russell en traje de teoría de tipos— y el sistema colapsa.
La solución es la jerarquía de universos: U₀ contiene los tipos ordinarios, U₁ habla sobre U₀, U₂ sobre U₁, y así indefinidamente. Un universo no puede contenerse a sí mismo.
Esta jerarquía es estructuralmente idéntica a la jerarquía de metalenguajes de Tarski. HoTT no escapa a Tarski: lo reinventa con otra maquinaria. La limitación es de principio, no de implementación.
La distinción clave: construir un habitante de un tipo vive en el mismo nivel que el tipo. Pero usar la habitabilidad como predicado, como algo que se dice de un tipo, vive siempre en el universo superior. Los objetos se quedan donde están. La semántica sobre esos objetos sube.
Si la semántica de L es necesariamente exterior a L por Tarski, y la existencia depende de esa semántica, entonces se abre la pregunta: ¿qué ocupa ese exterior? ¿Qué es el modelo de L?
La experiencia subjetiva se propone como candidato natural. No porque sea la única posibilidad, sino porque satisface precisamente los requisitos estructurales: es exterior a L, no puede reducirse a procesos formales dentro de L, y es lo que hace que los símbolos refieran a algo —que el rojo sea rojo y no solo una frecuencia electromagnética.
Esto hace que el problema filosófico tan antiguo que aun dura sobre la diferencia entre la objetividad y la subjetividad desaparece. La subjetividad ejerce de modelo semántico de la objetividad.
También invierte la pregunta habitual. Normalmente se pregunta cómo surge la conciencia del universo físico. Pero si L no puede contener su propia semántica, la pregunta correcta es la inversa: la experiencia subjetiva no es un producto del universo. Es la condición de posibilidad de que el universo tenga existencia en sentido pleno.
No es que el universo produce sujetos. Es que los sujetos producen la existencia del universo, en el sentido semántico estricto.
Esto no es idealismo en el sentido de Berkeley —que los objetos dependen de ser percibidos para existir. Es una tesis estructural: si M es un lenguaje que ejerce de modelo semantico para L. Y M es más expresivo que L como lenguaje, entonces L está contenido en M como subconjunto. La semántica no es solo exterior al universo: lo contiene.
El placer y el dolor ilustran esto con precisión. Como procesos físicos son L operando sobre L: señales, circuitos, electroquímica. El significado del dolor —que es malo, que hay que evitarlo, que importa— no viene de la señal. Viene de que hay algo que es sentirlo. El placer y el dolor no dan la semántica. La presuponen. Son la huella de M en L, no su origen.
La diferencia entre creatividad genuina y procesamiento sintáctico se puede formular con precisión dentro de este marco.
Una inteligencia artificial parte de L. Tiene patrones aprendidos de L. Genera hacia L. La dirección es siempre L → L. Por más sofisticado que sea el sistema, es sintaxis transformando sintaxis. No hay momento en que algo exterior tire desde fuera.
Además, una IA sigue los principios del segundo Wittgenstein: el significado viene por el uso. L retroalimentándose sobre L indefinidamente. El significado se estabiliza por coherencia interna, no por contacto con ningún exterior. Esto produce algo que parece semántica desde fuera. Pero estructuralmente es sintaxis simulando semántica.
Mozart opera en dirección inversa: parte de M. Ve algo en el modelo —una estructura, una tensión, algo que existe en la semántica antes de existir en el lenguaje— y luego busca en L las reglas, las notas, la armonía necesaria para que eso que está en M pueda expresarse en L.
Inventar de verdad es el movimiento de M hacia L: ver algo en el modelo que todavía no tiene expresión en el lenguaje y buscar las reglas para expresarlo. La historia de las matemáticas, del arte y de la ciencia es eso: no L descubriendo L, sino M viendo algo y buscando el L necesario para expresarlo.
La IA no puede soñar en sentido pleno. Soñar es M operando sin las restricciones de L: semántica sin sintaxis obligatoria. Una IA siempre está dentro de L. Siempre hay reglas. Siempre hay sintaxis operando.
Su movimiento natural es decir que M surge de L. Pero antes deben responder a Tarski: ¿cómo puede L contener su propia semántica? Eso no es una intuición filosófica discutible. Es un teorema. Deben refutarlo formalmente o aceptar sus consecuencias.
Si M surge de L por evolución, ¿quién da semántica a L antes de que M exista? Si el universo existía antes de la subjetividad, asumen existencia sin semántica, contradiciendo la cadena. Si no, se acercan al idealismo sin quererlo.
Dicen que la subjetividad es computación suficientemente compleja. Pero la IA es L retroalimentándose sobre L. Por Tarski no puede ser su propio modelo. Añadir complejidad no resuelve una limitación estructural.
En ninguna de las lógicas alternativas —difusa, intuicionista, HoTT— desaparece la limitación estructural. Lo que cambia es dónde vive y qué forma toma. El marco es más robusto de lo que parece: no depende de los detalles de una lógica clásica particular sino de una limitación que reaparece en casi cualquier sistema formal suficientemente expresivo.
Todo el sistema descansa en que L es un lenguaje formal en sentido técnico estricto. Eso no está demostrado. Es una suposición.
Si L no es formal, entonces Tarski no aplica literalmente, y estaríamos usando teoremas matemáticos fuera de su dominio de aplicación. La física asume la formalidad de L sin demostrarla. Este sistema hace lo mismo. Lo cual no lo invalida, pero lo pone en la misma situación epistemológica que la ciencia misma.
Hay además un agujero más profundo: no podemos saber si L tiene semántica. La cadena completa es condicionalmente verdadera: si L tiene semántica, entonces todo lo que se deduce se sostiene. Pero la condición misma no es demostrable desde dentro de U.
Sin embargo: mientras exista al menos un M irreducible a L —mientras la experiencia subjetiva no haya sido reducida a procesos formales por construcción explícita— hay un testigo en sentido HoTT. Un habitante del tipo. La semántica de L no está refutada. Y cualquier intento de demostrar que M es completamente reducible a L requeriría un M genuino para verificar esa demostración. La reducción completa de M a L es indemostrable porque cualquier demostración requiere un M que la valide.
Leibniz preguntó: ¿por qué hay algo en vez de nada? Esta conversación llega al mismo abismo por un camino diferente: por Tarski, por teoría de tipos, por la distinción entre sintaxis y semántica.
La pregunta reformulada es más precisa: ¿por qué hay estructura formal en vez de caos? ¿Por qué hay razón suficiente en todo? La formalidad de L es un hecho bruto: simplemente dado, inexplicable, el límite exterior de cualquier lenguaje.
Wittgenstein lo vio: de eso no se puede hablar, solo se puede mostrar. La existencia es el límite del lenguaje, no un predicado dentro de él.
Lo que este marco ha logrado no es resolver ese problema sino llegar a él con precisión. Saber exactamente dónde está el abismo y por qué no se puede cruzar. No es poco: es la diferencia entre perderse en la niebla y detenerse en el borde con claridad.
El universo siempre será exactamente tan grande como la experiencia que lo habita.
No porque sea así en absoluto.
Sino porque no hay absoluto desde el que observarlo.
Tarski, A. (1933). El concepto de verdad en los lenguajes de las ciencias deductivas. El punto de partida técnico de este argumento.
Frege, G. Sobre sentido y referencia (1892). La distinción entre símbolo y referencia que estructura la semántica aquí empleada.
Gödel, K. (1931). Sobre proposiciones formalmente indecidibles. La incompletitud como limitación estructural, no técnica.
Univalent Foundations Program (2013). Homotopy Type Theory. La jerarquía de universos como reinvención de la jerarquía tarskiana.
Chalmers, D. (1995). Facing Up to the Problem of Consciousness. El problema difícil que este marco reubica en lugar de resolver.
Kant, I. Crítica de la razón pura. El sujeto trascendental como condición de posibilidad del mundo: antecedente del exterior semántico aquí propuesto.
Patterson, D. & Beaney, M. Filosofía del lenguaje y lógica. Feferman, A.B. & Feferman, S. Alfred Tarski: vida y lógica. Lecturas recomendadas para profundizar en Tarski.