Un paradoxe sémantique provoqué par des phrases qui affirment leur propre fausseté, typiquement illustré par « Cette phrase est fausse », qui conduit à une contradiction si l'on applique une attribution naïve de vérité.

Principe

Si un langage permet à une phrase de se référer à sa propre valeur de vérité et si l'on assume la bivalence classique et un prédicat naïf de vérité satisfaisant 'S est vraie ssi ce que S dit est le cas', alors l'autoréférence engendre l'incohérence.

Démonstration

Soit L la phrase « L est fausse ». Si L est vraie alors ce qu'elle affirme est le cas et donc L est fausse ; si L est fausse alors il n'est pas vrai que L est fausse, donc L est vraie. Les deux options entrent en conflit avec les règles naïves de vérité.

Mauvaise application

Considérer le paradoxe comme une simple astuce linguistique sans modifier la logique sous-jacente, ou tenter d'interdire toute autoréférence comme remède au lieu d'affiner la conception de la vérité ou la logique employée.

Conséquence

Il incite à des cadres sémantiques affinés : prédicats de vérité hiérarchisés, logiques paracomplètes/paraconsistantes, ou distinctions formelles entre langage-objet et métalangage pour éviter les attributions paradoxales.

Inversion

À l'opposé, une phrase s'autodéclarant comme « Cette phrase est vraie » n'engendre pas la même contradiction et produit des points fixes stables sous une vérité naïve, ou peut être traitée différemment dans des logiques non classiques.

Limite

Concerne les phrases qui se réfèrent à leur propre vérité ou fausseté ; il ne survient pas pour des phrases déclaratives ordinaires dépourvues d'assertions autoréférentielles de vérité ni pour des contradictions externes à la syntaxe.

Tension sémantique

Tension entre préserver les principes classiques de vérité (bivalence, tiers exclu) et accueillir des phrases autoréférentielles sans effondrement ; les résolutions sacrifient parfois la classicité pour la cohérence.

Synthèse

Le paradoxe du menteur révèle un conflit entre principes naïfs de vérité et autoréférence : sa résolution exige soit de réviser la logique (rejeter la bivalence ou l'explosion) soit de stratifier la vérité et séparer le langage-objet des niveaux où la vérité est attribuée.