Menurut teori ini, kondisi untuk kebenaran kalimat serta kalimat itu sendiri adalah bagian dari logamanguage. Jadi, misalnya, kalimat "Snow adalah putih" adalah benar jika dan hanya jika salju putih. Meskipun banyak filsuf telah menafsirkan, dan terus menafsirkan, teori Tarski sebagai teori deflasioner, Popper menyebutnya sebagai teori di mana "benar" diganti dengan "koresponds terhadap fakta-fakta" Ia mendasarkan penafsiran ini pada fakta bahwa contoh - contoh seperti yang diuraikan di atas memaksudkan dua hal: pernyataan dan fakta - fakta yang dimaksudkannya. Dia mengidentifikasi formulasi Tarski dari kondisi kebenaran kalimat sebagai pengenalan dari "metalingutic predikat" dan membedakan kasus-kasus berikut:
Apa yang dikatakan Tarski tentang formulasi Popper tentang kondisi kalimat yang benar?
pengenalan dari "metalingutic predikat" dan