Paradoxe du menteur , également appelé paradoxe d'Épiménide , paradoxe dérivé de la déclaration attribuée au prophète crétois Épiménide (6e siècle avant notre ère) selon laquelle tous les Crétois sont des menteurs. Si la déclaration d'Épiménide est supposée impliquer que toutes les déclarations faites par les Crétois sont fausses, alors, étant donné qu'Épiménide était un Crétois, sa déclaration est fausse (c'est-à-dire que tous les Crétois ne sont pas des menteurs). Le paradoxe dans sa forme la plus simple découle de l'examen de la phrase «Cette phrase est fausse». Si la phrase est vraie, alors elle est fausse, et si elle est fausse, alors elle est vraie. L'étude de tels paradoxes sémantiques a conduit certains logiciens, notamment Alfred Tarski, à faire la distinction entre le langage objet et le métalangage et à conclure qu'aucun langage ne peut systématiquement contenir une théorie sémantique complète de ses propres phrases ( voirvérité: conditions de Tarski et de vérité; Kripke, Saul: Vérité).
Cet article a été récemment révisé et mis à jour par Brian Duignan, rédacteur en chef.
