De acuerdo con esta teoría, las condiciones para la verdad de una oración, así como las frases en sí son parte de un metalenguaje. Así que, por ejemplo, la frase de nieve es blanca es cierto si y sólo si la nieve es blanca. Aunque muchos filósofos han interpretado, y siguen interpretando, la teoría de tarski como una teoría deflacionaria, popper se refiere a ella como una teoría en la que es cierto se sustituye con corresponde a los hechos. se basa en esta interpretación sobre el hecho de que ejemplos como el descrito anteriormente se refieren a dos cosas: las afirmaciones y los hechos a los que se refieren. identifica la formulación de tarski de las condiciones de la verdad de las penas como la introducción de un predicado metalingüístico y distingue los siguientes casos:
Con qué dice popper que la teoría de tarski sustituye al predicado " es cierto?"
corresponde a los hechos