Popper lập luận rằng lý thuyết của Tarski liên quan đến hai điều gì trong việc đánh giá sự thật?
Theo lý thuyết này, các điều kiện cho sự thật của một câu cũng như bản thân các câu là một phần của siêu ngôn ngữ. Vì vậy, ví dụ, câu "Tuyết trắng" là đúng khi và chỉ khi tuyết trắng. Mặc dù nhiều nhà triết học đã giải thích và tiếp tục giải thích lý thuyết của Tarski như một lý thuyết giảm phát, Popper gọi nó là một lý thuyết trong đó "đúng" được thay thế bằng "tương ứng với các sự kiện". Ông dựa trên cách giải thích này trên thực tế là các ví dụ như mô tả ở trên đề cập đến hai điều: khẳng định và các sự kiện mà chúng đề cập. Ông xác định công thức của Tarski về các điều kiện sự thật của các câu là sự ra đời của một "k vị ngữ kim loại" và phân biệt các trường hợp sau:
khẳng định và các sự kiện mà họ đề cập