La ilusión de una autorreferencia que nunca fue: de la paradoja del mentiroso a Gödel y Turing

El presente trabajo desarrolla un marco conceptual nuevo que cuestiona supuestos ampliamente aceptados por la lógica durante décadas, como la autorreferencia o la evaluación entre iguales. Su punto de partida es el principio de causalidad, entendido este como la razón por la cual determinados objetos lógicos se relacionan entre sí de manera unidireccional y asimétrica. Esta perspectiva conduce inevitablemente a una organización dependiente y jerárquica, que estructura nuestro pensamiento y modela la forma en que entendemos el mundo. Este planteamiento pretende ofrecer una visión más general e integradora que algunas de las soluciones que históricamente se han considerado más relevantes —entre ellas, ciertos postulados de la teoría de conjuntos, las jerarquías de tipos propuestas por Russell o la distinción entre lenguaje y metalenguaje de Tarski—, poniendo de relieve que tales restricciones formales son innecesarias si se atiende a la naturaleza misma de las ideas. El texto muestra también cómo el lenguaje, lejos de ser un instrumento aparentemente inocuo, ha funcionado como un arma de doble filo: su poder expresivo ha venido acompañado de ambigüedades que han favorecido la confusión de niveles y la ilusión de autorreferencia. Resulta especialmente relevante la homonimia lógica, fenómeno lingüístico por el cual un mismo símbolo puede denotar entidades o conceptos de orden distinto. Bajo esta perspectiva, se realiza primero un recorrido crítico por aquellas paradojas históricas cuyo origen reside en la ambigüedad inherente al lenguaje natural, como la paradoja del mentiroso o la de Grelling–Nelson. Posteriormente, se analizan algunos de los pilares de la lógica matemática moderna, especialmente el primer teorema de incompletitud de Gödel y el problema de la parada de Alan Turing, tradicionalmente interpretados como ejemplos paradigmáticos de autorreferencia. En el caso de Gödel, se argumenta que el lenguaje codificado solo simula una autorreferencia que, en rigor, nunca se produce; mientras que, en el problema de la parada, a la máquina generadora de la contradicción se le exige un funcionamiento incompatible con los supuestos que se plantean. Esta mirada crítica no constituye una mera cuestión filosófica o interpretativa, sino una refutación técnica que desmonta ambos teoremas desde el núcleo mismo que los sostiene: la pretendida capacidad de autorreferencia lógica o de evaluación al mismo nivel. Además, se evidencia que problemas similares se manifiestan en otros resultados fundamentales, lo que refuerza la necesidad de revisar ciertos postulados tradicionales y avanzar hacia una lógica más estricta con la separación entre niveles. Es importante señalar que el lector no encontrará formulaciones matemáticas complejas en el texto, pues el objetivo no es responder al exceso de formalismo con más formalismo, sino mostrar cómo el lenguaje debe interpretarse siempre a partir de una estructura lógica previa bien definida.