Alfred Tarski hat als erster bewiesen, dass eine Definition des Wahrheitsprädikats in einem
formalen System dass die Arithmetik enthält, nicht gegeben werden kann (Pucher 2001:
27f). In der folgenden Arbeit werde ich auf Tarskis Theorie als Korrespondenztheorie
eingehen und mich mit zwei Interpretationen, einmal durch K. Popper und durch D.
Davidson, befassen.