<s>[INST]Popper, Tarski'nin teorisinin gerçeğin değerlendirilmesinde hangi iki şeyi içerdiğini savunuyor?[/INST]Bu teoriye göre, bir cümlenin gerçeği için şartların yanı sıra cümlenin kendileri de bir meta-dilbilginin parçasıdır. Bu nedenle, örneğin, "Kar beyazdır" cümlesi, eğer sadece kar beyaz ise doğrudur. Her ne kadar birçok filozof Tarski'nin deflasyonist bir teori olarak teorisini yorumlamış ve yorumlamaya devam etse de, Popper bunu “doğru” un “gerçeklere karşılık geldiği” ile değiştirildiği bir teori olarak ifade eder. Bu açıklamayı yukarıda açıklananlar gibi örneklerin iki şeye gönderme yaptığı gerçeğine dayandırır: iddialar ve başvurdukları gerçekler. Tarski'nin cümlelerin hakikat koşullarına ilişkin formülasyonunu bir "metalinguistic yüklem" in tanıtımı olarak tanımlar ve aşağıdaki durumları ayırt eder:</s>