Der polnische Logiker Alfred Tarski hat die traditionelle Wahrheitsdefinition des Aristoteles (»Wahrheit ist die Übereinstimmung von Begriff und Sachverhalt«) semantisch reformuliert. »Wir kommen zu einer Definition der Wahrheit und Falschheit, indem wir einfach sagen, dass eine Aussage wahr ist, wenn sie von allen Gegenständen erfüllt wird, sonst falsch.« (Die semantische Konzeption der Wahrheit und die Grundlagen der Semantik , Absatz 11). Dies bedeutet, dass, sofern ein Sachverhalt angenommen wird, genau dieser Satz wahr ist, der diesen Sachverhalt behauptet.