Doğruluk yüklemi bir dilin içerisinde diğer yüklemler gibi kullanılabildiğinde yalancı paradoksu gibi birtakım paradokslara yol açmaktadır. Örneğin, “Bu cümle doğru değildir.” cümlesi eğer doğru ise kendinsin doğru olmadığını, yanlış ise kendisinin doğru olduğunu ifade etmektedir. Bu tür sorunları ortadan kaldıracak biçimde Tarski nesne dili ile üst dil arasında bir ayrım yapar ve doğruluk yüklemini üst dilde tanımlar. Doğruluk kuramının teoremleri P nesne dilinde bir önerme olmak üzere üst dilde şu önerme biçimini sağlar: “ ‘P’ doğrudur ancak ve ancak P”. Bir örnek vermek gerekirse “ ‘Kar beyazdır’ ancak ve ancak kar beyazdır ise”. Tarski’nin anlambilimsel doğruluk kuramı olarak anılan bu kuramın doğruluğun uygunluk kuramını tekrar mı ettiği yoksa doğruluk terimini gereksiz kılan bir kıymetten düşürme kuramı mı olduğu tartışma konusu olmuştur. ‹lk bakışta karşı- lıklı koşulun art bileşeninin önermeyi tekrar etmesi, söz konusu önermenin gerçekliği temsil ettiği oranda doğru olacağı izlenimini doğurmaktadır. Doğru cevap E'dir.