<s>[INST]Tarski, ifadelerin gerçeği için koşulları tartışmak için hangi kavramı ortaya koydu?[/INST]Bu teoriye göre, bir cümlenin gerçeği için şartların yanı sıra cümlelerin kendileri de bir meta dilin bir 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 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>