Laut dieser Theorie sind die Bedingungen für die Wahrheit eines Satzes sowie die Sätze selbst Teil eines Metasprache. So, zum Beispiel, der Satz Schnee ist weiß ist wahr, wenn und nur, wenn Schnee weiß ist. Obwohl viele Philosophen interpretiert haben, und weiter interpretieren, die Theorie von Tarski als deflationären Theorie, bezieht sich Popper auf sie als Theorie, in der wahr wird, wird mit den Fakten ersetzt. Er gründet diese Interpretation auf die Tatsache, dass Beispiele wie die oben beschriebene auf zwei Dinge verweisen: Behauptungen und die Fakten, auf die sie verweisen. Er identifiziert die Formulierung von Tarski für die Wahrheit Bedingungen der Sätze, wie die Einführung eines metalinguistische-Prädikat und zeichnet die folgenden Fälle aus:
Welches Konzept hat Tarski vorgestellt, um die Bedingungen für die Wahrheit der Aussagen zu diskutieren?
Metasprache