Un paradoxe qui naît d'assignations problématiques de vérité ou de référence au sein d'une langue, généralement engendré par l'autoréférence ou des prédicats sémantiques non restreints conduisant à une contradiction ou à une indétermination (par ex. la phrase du menteur).

Principe

Combiner un mécanisme d'autoréférence avec des principes sémantiques (par exemple un prédicat de vérité naïf ou la bivalence classique) de sorte qu'une phrase parlant de vérité ou de référence ne puisse recevoir de manière cohérente une valeur de vérité classique.

Démonstration

La phrase « Cette phrase est fausse » conduit à la contradiction si l'on suppose que toute phrase est soit vraie soit fausse et que le prédicat de vérité s'applique à la phrase elle‑même : si vraie alors fausse, si fausse alors vraie ; c'est le mécanisme central.

Mauvaise application

Qualifier de paradoxe sémantique toute imprécision linguistique ou toute défaillance de communication, ou tenter de résoudre les paradoxes par un simple renommage syntaxique sans traiter la sémantique autoréférentielle, conduit à des solutions insuffisantes.

Conséquence

La prise en compte des paradoxes sémantiques impose de réviser les théories de la vérité ou des principes logiques : introduire des hiérarchies de langues/prédicats de vérité, restreindre la compréhension ou adopter des logiques non classiques (paraconsistantes ou paracomplètes).

Inversion

Supprimer l'autoréférence non restreinte ou limiter l'applicabilité du prédicat de vérité fait disparaître le paradoxe dans cette langue ; inversement, renforcer les principes sémantiques sans restriction recrée généralement le paradoxe.

Limite

S'applique aux langues formelles ou naturelles permettant l'autoréférence et des prédicats sémantiques internes ; il n'inclut pas automatiquement les énigmes de la vagueness, les malentendus pragmatiques ou les anomalies purement syntaxiques sans autoréférence sémantique.

Tension sémantique

Tension entre l'interpréter comme un problème de vérité (assignation de valeur de vérité) ou comme un problème de référence ou de présupposition ; les résolutions diffèrent en sacrifiant soit la logique classique, soit la puissance d'expression, soit la composition sémantique.

Synthèse

Les paradoxes sémantiques montrent que des principes sémantiques naïfs conjugués à l'autoréférence engendrent contradiction ou indétermination ; ils motivent des cadres sémantiques contraints, des distinctions de type ou l'adoption de logiques non classiques pour retrouver cohérence ou consistance.