Une théorie sémantique de la vérité est une théorie de la vérité en philosophie du langage qui soutient que la vérité est une propriété des phrases.
La conception sémantique de la vérité, qui est liée de différentes façons à la correspondance et aux conceptions déflationnistes, est due au travail publié par le logicien polonais Alfred Tarski dans les années 1930. Tarski, dans « On the Concept of Truth in Formalized Languages », a tenté de formuler une nouvelle théorie de la vérité afin de résoudre le paradoxe du menteur. Durant cette démarche, il fait plusieurs découvertes métamathématiques, notamment le théorème de Tarski, en utilisant la même méthode formelle de celle de Kurt Gödel utilisé dans ses théorèmes d'incomplétude. Grossièrement, cela indique qu'un prédicat de vérité satisfaisant la convention-T pour les phrases d'un langage donné ne peut pas être défini dans ce langage.
Pour formuler des théories linguistiques sans paradoxe sémantique, comme le paradoxe du menteur, il est généralement nécessaire de distinguer le langage que l'on parle (le langage objet) du langage que l'on utilise pour discuter (le métalangage). Dans ce qui suit, le texte cité – placé entre guillemets – dénote l'utilisation du langage objet, tandis que le texte non-cité dénote l'utilisation du métalangage ; une phrase citée (comme « P ») est toujours le nom du métalangage pour une phrase, de telle sorte que ce nom est tout simplement la phrase P interprétée en langage objet. De cette façon, le métalangage peut être utilisé pour parler du langage objet ; Tarski a exigé que le langage objet soit contenu dans le métalangage.
La condition de suffisance matérielle de Tarski, également connue sous le nom convention I, estime que toute théorie de la vérité viable doit admettre, pour chaque phrase « P », une phrase de la forme suivante (connue sous le nom de « forme (T) ») :
(1) « P » est vrai si et seulement si P.
Par exemple,
(2) « la neige est blanche » est vrai si et seulement si la neige est blanche.