🏷️ Origen

Se atribuye al filósofo griego Eubulides de Mileto (siglo IV a.C.), aunque su versión más famosa es la del cretense Epiménides («todos los cretenses mienten»). Es la reina de las paradojas de autorreferencia, y resultó ser mucho más que un juego: en el siglo XX, su lógica está detrás de los resultados más profundos sobre los límites de las matemáticas.

🤔 Qué es (el planteamiento)

Considera esta frase: «Esta oración es falsa.» Pregúntate si es verdadera o falsa.

• Si es verdadera, entonces lo que dice es el caso; y lo que dice es que es falsa. Luego es falsa.
• Si es falsa, entonces lo que dice no es el caso; y dice que es falsa, así que en realidad es verdadera.

Sea cual sea la opción, llegamos a la contraria: si es verdadera, es falsa; si es falsa, es verdadera. La frase no puede ser ni lo uno ni lo otro sin contradecirse. Se muerde la cola y revienta.

🌀 Por qué descoloca (la tensión)

Descoloca porque la frase parece perfectamente gramatical y comprensible —cualquiera la entiende—, y sin embargo, al preguntarle su verdad, la lógica entra en un bucle infinito. Pone en aprietos algo que dábamos por intocable: el principio de bivalencia (toda afirmación es verdadera o falsa, sin más opción). Aquí hay una afirmación que no puede ser ni verdadera ni falsa, y eso amenaza los cimientos mismos de la lógica.

🔑 Soluciones e intentos de respuesta

o falso; sería gramaticalmente correcta pero sin contenido proposicional (como una orden o una pregunta). ⚖️ Pega: parece una excusa a medida; ¿por qué exactamente no es una proposición?

puede contener su propio predicado de verdad sin contradicción. Para hablar de la verdad de las frases de un lenguaje hace falta otro lenguaje superior (un «metalenguaje»). La frase del mentiroso mezcla niveles que deben separarse. ⚖️ Solución técnica potente y muy influyente.

y falsas (dialeteísmo, Graham Priest). ⚖️ Resuelve la paradoja cambiando las reglas de la lógica, lo que muchos consideran un precio altísimo.

• No es una proposición legítima: una salida es negar que «esta oración es falsa» diga algo evaluable como verdadero
• Prohibir la autorreferencia / jerarquía de lenguajes (Tarski): el lógico Alfred Tarski propuso que ningún lenguaje
• Lógicas no clásicas: admitir un tercer valor (ni verdadero ni falso) o que ciertas frases sean a la vez verdaderas

🧠 Qué debate de fondo toca

Toca la naturaleza de la verdad, la autorreferencia y los límites de la lógica y el lenguaje. Y tiene una descendencia ilustre: la estructura del mentiroso (una frase que habla de sí misma) es el corazón del teorema de incompletitud de Gödel (1931), que demostró que en todo sistema matemático lo bastante potente hay verdades que no se pueden demostrar dentro de él; y de la prueba de Turing sobre lo que las máquinas no pueden calcular. Un acertijo de taberna griega resultó marcar los límites mismos de la razón formal.

🔗 Relacionadas / fuentes

• Misma familia: `paradoja-de-russell.md`, `paradoja-de-curry.md`, `grelling-nelson.md`. Conexión: `../FICHAS/russell.md`.
• Base: `_INDICE-paradojas.md`. Fuentes: SEP «Liar Paradox», «Self-Reference»; Tarski.