Paradoja del mentiroso

La paradoja del mentiroso es en realidad un conjunto de paradojas relacionadas.[1]

A través de los siglos, el interés por resolver esta paradoja y sus variantes ha impulsado una enorme cantidad de trabajo en semántica, lógica y filosofía en general.[2]

Comentario

Esta paradoja muestra que es posible construir oraciones perfectamente correctas según las reglas gramaticales y semánticas pero que pueden no tener un valor de verdad según la lógica tradicional.

Consideremos una de las formas más simples de esta paradoja:[3] “Esta oración es falsa”:

  • Si suponemos que esa afirmación es verdadera, entonces lo que dice es verdadero. Ya que la oración afirma que es falsa, entonces debe ser falsa. Por tanto, si suponemos que es verdadera, alcanzamos una contradicción.
  • Si suponemos que la oración es falsa, entonces lo que afirma debe ser falso. Ya que afirma que la oración es falsa, entonces la oración debe ser verdadera. De nuevo, si suponemos que es falsa, alcanzamos una contradicción.
Other Languages