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 ngôn_ngữ kim_loại .Vì_vậy , ví_dụ , câu " tuyết là 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 là một lý_thuyết giảm_phát , Popper gọi nó là một lý_thuyết trong đó " là sự_thật " được thay_thế bằng " tương_ứng với sự_thật " .Ông dựa trên sự giải_thích này về thực_tế là các ví_dụ như mô_tả ở trên đề_cập đến hai điều : xác_nhận và sự_thật mà họ đề_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à giới_thiệu một " vị_ngữ kim_loại " và phân_biệt các trường_hợp sau :
Các nhà triết_học đưa ra thuật_ngữ nào cho loại lý_thuyết mà Tarski đề_xuất về sự_thật ?
giảm_phát