<s>[INST]Filozoflar Tarski'nin gerçeklerle ilgili önerdiği teoriye ne gibi bir terim verir?[/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 filozoflar Tarski'nin teorisini deflasyonist bir teori olarak yorumlamış ve yorumlamaya devam etse de, Popper, “doğru” un yerine “gerçeklere karşılık gelen” bir teori olduğunu ifade eder. Bu açıklamayı, yukarıda anlatıldığı 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>