Paradoja semántica que surge de oraciones que afirman su propia falsedad, típicamente ejemplificada por 'Esta oración es falsa', que provoca contradicción bajo reglas ingenuas de atribución de verdad.

Principio

Si un lenguaje permite que una oración se refiera a su propio valor de verdad y se asumen la bivalencia clásica y un predicado ingenuo de verdad que satisface 'S es verdadera si y solo si lo que S dice es el caso', la autorreferencia produce inconsistencia.

Demostración

Sea L la oración 'L es falsa'. Si L es verdadera entonces lo que afirma es cierto y por tanto L es falsa; si L es falsa entonces no es cierto que L es falsa, por lo que L es verdadera. Ambas opciones entran en conflicto con las reglas ingenuas de verdad.

Aplicación incorrecta

Tratar la paradoja como un simple juego lingüístico sin modificar la lógica subyacente, o intentar bloquear toda forma de autorreferencia como cura en lugar de refinar la concepción de verdad o la lógica utilizada.

Consecuencia

Motiva marcos semánticos afinados: predicados de verdad jerarquizados, lógicas paracompletas/paraconsistentes o distinciones formales entre lenguaje objeto y metalenguaje para evitar asignaciones paradójicas.

Inversión

En contraste, una oración que se autoafirma como 'Esta oración es verdadera' no genera la misma contradicción y produce puntos fijos estables bajo la verdad ingenua, o puede ser tratada de forma distinta en lógicas no clásicas.

Límite

Se refiere a oraciones que se autorrefieren a su verdad o falsedad; no surge en oraciones declarativas ordinarias sin afirmaciones autorreferenciales de verdad ni en contradicciones sintácticamente externas.

Tensión semántica

Tensión entre preservar principios clásicos de verdad (bivalencia, tercio excluido) y admitir oraciones autorreferenciales sin colapso; las resoluciones sacrifican a veces la classicidad por la coherencia.

Síntesis

La paradoja del mentiroso pone de manifiesto un choque entre principios ingenuos de verdad y autorreferencia: resolverla exige o modificar la lógica (rechazar bivalencia o explosión) o estratificar la verdad y separar lenguaje objeto y niveles donde se atribuye la verdad.