Paradoja del mentiroso

Paradoja del mentiroso , también llamada paradoja de Epiménides , paradoja derivada de la afirmación atribuida al profeta cretense Epiménides (siglo VI a. C.) de que todos los cretenses son mentirosos. Si se considera que la declaración de Epiménides implica que todas las declaraciones hechas por los cretenses son falsas, entonces, dado que Epiménides era un cretense, su declaración es falsa (es decir, no todos los cretenses son mentirosos). La paradoja en su forma más simple surge de considerar la oración "Esta oración es falsa". Si la oración es verdadera, entonces es falsa, y si es falsa, entonces es verdadera. El estudio de tales paradojas semánticas llevó a algunos lógicos, en particular Alfred Tarski, a distinguir entre lenguaje objeto y metalenguaje y a concluir que ningún lenguaje puede contener consistentemente una teoría semántica completa de sus propias oraciones ( ververdad: Tarski y condiciones de verdad; Kripke, Saul: Verdad).

Este artículo fue revisado y actualizado más recientemente por Brian Duignan, editor senior.