La paradoxa del mentider.
Probablemente la paradoja del mentiroso se remonte al filósofo griego Eubulides de Mileto (siglo IV a.C.), quien, según la tradición, preguntó: «Si un mentiroso dice que miente, ¿miente o dice la verdad?». La paradoja del mentiroso pone a prueba nuestra comprensión de conceptos lógicos fundamentales como el de verdad y falsedad. Esto también incluye, entre otros, el siguiente principio: toda proposición es (de manera objetiva) verdadera o falsa. Dicho principio, denominado principio de bivalencia, es invalidado, en apariencia, por el caso del mentiroso que plantea Eubulides . Pues si el mentiroso dice que miente, entonces está afirmando que lo que dice es falso y que, por tanto, él no miente. Al decir la verdad, sin embargo, la frase que ha pronunciado no es cierta. De esta manera, si lo que dice el mentiroso es falso, entonces la frase que pronuncia es verdadera. Con ello llegamos a la conclusión de que la proposición del mentiroso es a la vez verdadera y falsa. ¡U...