Paradoja del mentiroso
De Wikipedia, la enciclopedia libre
La paradoja del mentiroso es un concepto relacionado con la filosofía y la lógica, que se refiere a afirmaciones paradójicas que se autocontradicen.
Las dos versiones más conocidas son: “Estoy mintiendo” y “Esta oración es falsa”.
Tabla de contenidos |
[editar] 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: “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.
[editar] La primera versión conocida
La versión más antigua de la paradoja del mentiroso se atribuye al filósofo griego Eubulides de Mileto, que vivió en el siglo IV adC. Supuestamente Eubulides dijo:
- Un hombre afirma que está mintiendo. ¿Lo que dice es verdadero o falso?
[editar] Una versión doble
Es posible construir esta paradoja de modo que una afirmación no se refiera directamente a su propio valor de verdad. Existen de este modo varias versiones equivalentes:
- La más simple: “La oración posterior es cierta” y “La oración anterior es falsa”.
- Una tarjeta, en una de cuyas caras aparece: “Lo que está escrito en la otra cara es cierto” y en la otra: “Lo que está escrito en la otra cara es falso”.
- Un libro, que en la página 23 tiene escrito “Lo que está escrito en la página 24 es cierto” y en la página 24: “Lo que está escrito en la página 23 es falso”.
[editar] Véase también
- Paradoja de Epiménides: una paradoja que aparenta ser una versión de la paradoja del mentiroso, pero que realmente no lo es.