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 (İng. object language) ile üst dil (İng. metalanguage) 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. Öte yandan doğruluğun bu şekilde tanımlanması, söz konusu önermenin doğruluk koşulları ile ilgili hiçbir şey söylememektedir. Bu nedenle, özellikle 20. yüzyılın ikinci yarısında gelişen gerçekçilik karşıtı pek çok kuram Tarski’nin kuramından yararlanmıştır.