Paradoja de Epiménides: una paradoja que aparenta ser una versión de la paradoja del mentiroso, pero que realmente no lo es.
Paradoja de Epiménides: una paradoja que aparenta ser una versión de la paradoja del mentiroso, pero que realmente no lo es.
La Paradoja de Epiménides es una paradoja, relacionada con la filosofía y la lógica.
Es una paradoja falsídica, ya que aparenta autocontradecirse si se sigue un razonamiento, pero se puede mostrar que dicho razonamiento no es correcto.
Formulación
Epiménides era un legendario poeta filósofo del siglo VI adC a quien se le atribuye estar dormido durante cincuenta y siete años aunque Plutarco afirma que sólo fueron cincuenta.
Se atribuye a Epiménides haber afirmado:
Todos los cretenses son unos mentirosos.
Sabiendo que él mismo era cretense, ¿decía Epiménides la verdad?
Comentario
Antes de empezar, hay que aclarar que definimos que un mentiroso sólo hace afirmaciones que son falsas.
Esta definición es común en el estudio de la lógica, y es posible obtener esta paradoja con menos ambigüedad (aunque también demasiada complejidad) si se formula como Todos los cretenses son personas cuyas afirmaciones son siempre falsas.
Siguiendo esta definición, a primera vista parece que la afirmación se autocontradice, ya que Epiménides está afirmando que miente (ver la paradoja del mentiroso).
Esto no es realmente cierto, ya que a pesar de que la afirmación no puede ser cierta, sí podría ser falsa.
Si suponemos que es cierta, Epiménides sí está afirmando que, como cualquier cretense, está mintiendo, y por lo tanto la afirmación sería falsa, y alcanzaría una autocontradicción.
Pero si suponemos que es falsa, no alcanzamos una contradicción, ya que si la afirmación Todos los cretenses mienten es falsa, significa que hay al menos un cretense, no necesariamente Epiménides, que dice la verdad.
Por lo tanto, es perfectamente posible que la afirmación sea falsa, y la afirmación no es una verdadera paradoja.
Kurt Gödel modernizó la paradoja de Epiménídes demostrando que este tipo de paradojas se daban en la matemática formal.
