Paradoja del mentiroso
Eubúlides de Mileto · siglo IV a. C.
««Esta frase es falsa»: si es verdadera, es falsa; si es falsa, es verdadera.»
Qué significa
El bucle autorreferente que lleva 24 siglos royendo los cimientos de la lógica: no es un juego de palabras sino una bomba — Tarski demostró que ningún lenguaje consistente puede definir su propia verdad, y Gödel convirtió una prima de esta frase («yo no soy demostrable») en el teorema que limitó las matemáticas para siempre. La autorreferencia es el punto ciego de todo sistema.
En la vida real
El cretense Epiménides diciendo «todos los cretenses mienten», el cartel de «prohibido fijar carteles», y el test definitivo para chatbots y burócratas: «responde no a esta pregunta». Manejar con guantes.
🕹️ Ábrela en el atlas interactivo (con simulador)
Leyes relacionadas
Teoremas de incompletitud de Gödel · Paradoja del montón (sorites) · Ley de Poe