##  [Paradoja del Mentiroso](/es/node/60112) 

 Definición

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

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

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

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

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

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

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 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

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.