Teoría de la verdad desarrollada por Tarski (ver cita),que precisa la definición de verdad en un sentido tradicional, el de verdad como correspondencia, y las condiciones formales que ha de cumplir un lenguaje para contener tal definición. Define, pues, «verdad» respecto de un lenguaje. Según esta teoría, que mantiene los principios de la tradición clásica occidental, iniciada por Aristóteles, «verdadero» es una propiedad (metalingüística) de toda proposición que describa (en un lenguaje objeto) un hecho tal como éste es en el mundo real. Se llama «semántica» porque «verdad» o «verdadero» son términos semánticos, cuyo significado sólo puede explicarse mediante un metalenguaje; un metalenguaje puede relacionar expresiones lingüísticas con hechos, mientras que un lenguaje objeto sólo puede hablar de sus propias expresiones lingüísticas o de los hechos, pero no relacionar unas con otros, so pena de caer en antinomias y paradojas. Establece (por la llamada «convención T» o «equivalencia T» [Truth =verdad]) que una teoría de la verdad para un lenguaje L ha de poder formular el siguiente teorema: «X es una proposición verdadera en L si y sólo si p; donde p sea reemplazada por cualquier oración del lenguaje a que se refiere la palabra "verdadero" y X sea reemplazada por un "nombre" de esta oración». Así, en el clásico ejemplo de Tarski «"La nieve es blanca" es verdadero en castellano si y sólo si la nieve es blanca», se enuncian todas las condiciones que nos permiten decir que el enunciado «La nieve es blanca» es verdadero:
1) Hay lenguaje objeto ("La nieve es blanca"); del cual se dice
2) en metalenguaje si es o no verdadero y en qué condiciones: «es verdadero en castellano si y sólo si la nieve es blanca».
Si llamamos "X" a "La nieve es blanca" (lenguaje objeto, que también podría ser, por ejemplo, en alemán, "Der Schnee ist weiss") y "p" a su traducción al metalenguaje («la nieve es blanca») y añadiendo la conectiva «si y sólo si», también del metalenguaje, podemos escribir de forma generalizada: «X es verdadero si y sólo p»; o bien, «X corresponde a los hechos si y sólo si p»; expresiones que describen formalmente las condiciones necesarias y suficientes para que P sea verdadero.
En el ejemplo, «X» es una expresión «mencionada», mientras que «p» es una expresión «usada» (ver texto ).
El comentario de Karl R. Popper (ver texto ) a esta teoría pone de relieve que «verdad», para Tarski, como para el mismo Popper, es una propiedad del enunciado, no de un hecho psicológico, como un juicio o una creencia y tiene, por lo mismo, un valor objetivo, no subjetivo.