La paradoja de Epimenides del es un problema en la lógica . Se nombra después Cretan Epimenides del filósofo Knossos (vivo circa 600 A.), que indicó el, " Cretans, siempre liars". No hay declaración del problema; una variación típica es dada en el Gödel, Escher, Bach del libro, por el Douglas R. Hofstadter : el Epimenides del

l era un Cretan que hizo una declaración inmortal: " Todos los Cretans son liars."

O " Los mentirosos son mentirosos, " dijo a mentiroso.

La paradoja Self-referential se presenta cuando uno considera si Epimenides habló la verdad.

Historia de la frase

Epimenides era un filósofo y un profeta religioso que, contra el sentimiento general de Crete, propusieron que el Zeus fuera inmortal, como en el poema siguiente : ¡Formaron una tumba para el thee, los Cretans santos y altos de O del one
The, siempre mentirosos, bestias malvadas, vientres ociosos! arte de mil del
But no absolutamente: el forever más livest y más abidest de mil,
For en thee vivimos y movemos y tenemos nuestro ser|Epimenides|Cretica

La negación de la inmotalidad del Zeus, entonces, es la mentira de los Cretans. Aparece eso por el " Cretans", Epimenides pensó el " Cretans con excepción del myself". El " de la frase; Cretans, siempre liars" fue cotizado por el Callimachus del poeta en su himno del al Zeus, con el mismo intento teológico que Epimenides. La segunda línea entera se cotiza en la epístola a Titus, 1:12, y es identificada como tal por el clemente de Alexandría : Uno de propios profetas de Crete la ha dicho: Los “Cretans son siempre mentirosos, bruses malvados, gluttons perezosos”. el
He ha dicho seguramente la verdad| Epístola a Titus | 1:12

Aunque esto incluye explícitamente la autorreferencia, aparece ser pensada solamente para difamar a Cretans de Anti-Paulina .

La inconsistencia lógica de un Cretan que afirma a todos los Cretans es mentirosos pudo no haber ocurrido siempre a Epimenides, ni al Callimachus, o clemente. En el contexto original, Epimenides significó necesario el " Cretans con excepción del myself", tan no hay autorreferencia y ningún problema lógico a hablar así de. La paradoja del mentiroso era sabida en antigüedad, pero no fue asociada a Epimenides y el St Augustine expone la paradoja del mentiroso en forma modificada, sin mencionar Epimenides o Titus, en contra los académicos (III. Muchas variaciones de la paradoja del mentiroso (llamada Insolubilia ) fueron estudiadas en las Edades Medias, pero ningunas de los trabajos medievales existantes sobre insolubilia refieren a Epimenides, ni directo ni a través de la epístola a Titus. El aspecto más temprano de Epimenides en el contexto de un problema lógico fecha solamente al siglo XIX. Desde entonces, la paradoja de Epimenides se ha empleado comúnmente en discusiones de la lógica.

Análisis lógico

Si uno define el " liar" como alguien que nunca es el veraz, entonces el " de la declaración; Todos los Cretans son mentirosos, " si es pronunciado por un Cretan, Epimenides, no puede ser constantemente verdad.

Varias interpretaciones y análisis están disponibles, si la declaración se considera falsa. Puede ser que sea afirmado que el " del verdad-valor; false" puede ser asignado constantemente al asunto simple que " Todos los Cretans son mentirosos, " de modo que esta declaración por sí mismo, cuando esté juzgada falsa, no sea, en realidad, paradójica. Así, si allí nunca está existido un Cretan (no Epimenides en este caso) que incluso habló una vez la verdad, el " categórico de la declaración; Todos los Cretans son (siempre) mentirosos, " ser falso, y Epimenides se pudo mirar simplemente como siendo hecho una declaración falsa misma. Pero si la declaración de Epimenides se entiende como esencialmente afirmación de su propia falsedad, después la declaración no puede constantemente ser falso, tampoco, porque su falsedad implicaría la verdad de su falsedad uno mismo-afirmada.

Una asimetría interesante es posible bajo una interpretación: la verdad de la declaración implica claramente su falsedad, pero, a menos que la declaración se interprete para referirse específicamente a sí mismo (algo que refiriéndose categórico a todas las declaraciones de Cretans), la declaración podría ser contingente falsa sin la implicación de su propia verdad.

Las versiones paradójicas del problema de Epimenides son estrechamente vinculadas a una clase de problemas lógicos más difíciles, incluyendo la paradoja del mentiroso, la paradoja de Russell, y la paradoja de Burali-Forti, que tienen autorreferencia en común con Epimenides. De hecho, la paradoja de Epimenides se clasifica generalmente como variación en la paradoja del mentiroso, y los dos no son a veces distinguidos. El estudio de la autorreferencia llevado a los progresos importantes en lógica y matemáticas en el vigésimo siglo.

Zenithic

Quinto di Treviso

Random links:

Iglesias que unen en Cristo | Roca del Pawnee, Kansas | El municipio de Wisconsin, Minnesota | Universidad médica de las fuerzas armadas de arma, Pune | Polvo persa