En filosofía y lógica , la paradoja clásica del mentiroso o la paradoja o antinomia del mentiroso del mentiroso es la declaración de un mentiroso de que está mintiendo: por ejemplo, declarar que "estoy mintiendo". Si el mentiroso realmente está mintiendo, entonces el mentiroso está diciendo la verdad, lo que significa que el mentiroso simplemente mintió. En "esta frase es una mentira" se refuerza la paradoja para hacerla susceptible de un análisis lógico más riguroso. Todavía se la llama generalmente la "paradoja del mentiroso", aunque la abstracción se hace precisamente a partir del mentiroso que hace la declaración. Tratar de asignar a esta afirmación, el mentiroso fortalecido, un valor de verdad binario clásico conduce a una contradicción ..
Si "esta oración es falsa" es verdadera, entonces es falsa, pero la oración dice que es falsa, y si es falsa, entonces debe ser verdadera, y así sucesivamente.
La paradoja de Epiménides (alrededor del año 600 a. C.) se ha sugerido como un ejemplo de la paradoja del mentiroso, pero no son lógicamente equivalentes. El vidente semimítico Epiménides , un cretense , afirmó que "todos los cretenses son mentirosos". [1] Sin embargo, la afirmación de Epiménides de que todos los cretenses son mentirosos puede resolverse como falsa, dado que él conoce al menos otro cretense que no miente (alternativamente, puede tomarse como una mera afirmación de que todos los cretenses dicen mentiras, no es que digan solo mentiras).
El nombre de la paradoja se traduce como pseudómenos lógos (ψευδόμενος λόγος) en griego antiguo . Una versión de la paradoja del mentiroso se atribuye al filósofo griego Eubulides de Mileto , que vivió en el siglo IV a. C. Según los informes, Eubulides preguntó: "Un hombre dice que está mintiendo. ¿Es cierto o falso lo que dice?". [2]
“ Dije en mi alarma: ¡Todo hombre es un mentiroso! ” ¿Está David diciendo la verdad o está mintiendo? Si es cierto que todo hombre es un mentiroso, y la declaración de David, "Todo hombre es un mentiroso" es cierta, entonces David también está mintiendo; él también es un hombre. Pero si él también miente, su afirmación de que "todo hombre es un mentiroso", en consecuencia, no es cierta. Cualquiera que sea la forma en que dirija la proposición, la conclusión es una contradicción. Dado que el mismo David es un hombre, se deduce que él también miente; pero si miente porque todo hombre es mentiroso, su mentira es de otro tipo. [3]
El filósofo gramático indio Bhartrhari (finales del siglo V d. C.) era muy consciente de una paradoja del mentiroso que formuló como "todo lo que estoy diciendo es falso" (sarvam mithyā bravīmi). Analiza esta afirmación junto con la paradoja de la "insignificancia" y explora la frontera entre las afirmaciones que no son problemáticas en la vida diaria y las paradojas. [4] [5]