Theo lý thuyết này, điều kiện cho sự thật của một câu nói cũng như những câu bản thân là một phần của một metalanguage. Vì vậy, ví dụ, câu tuyết là màu trắng là đúng nếu và chỉ nếu tuyết là trắng. Mặc dù nhiều nhà triết học đã giải thích, và tiếp tục phiên dịch, lý thuyết của Tarski như một lý thuyết deflationary, Popper đề cập đến nó như là một lý thuyết trong đó là sự thật được thay thế bằng tương ứng với sự thật. Anh ấy gửi lời giải thích này về sự thật rằng các ví dụ như một người được mô tả trên tham khảo hai điều: khẳng định và những sự thật mà họ tham khảo. Anh ta nhận dạng Tarski ' s thức về sự thật điều kiện của các câu như là giới thiệu của một metalinguistic predicate và phân biệt các trường hợp sau:
Với những gì Popper nói lý thuyết của Tarski thay thế cái " là sự thật?"
tương ứng với sự thật