Der Wahrheitsbegriff in den formalisierten Sprachen

Einführung

Alfred Tarski, Logiker in Warschau, veröffentlichte die Abhandlung 1933 auf Polnisch („Pojęcie prawdy w językach nauk dedukcyjnych“); 1935 folgte eine deutsche Fassung mit einem wichtigen Nachwort. Zuerst stellt er eine Adäquatheitsbedingung auf, die „Konvention W“ (englisch „convention T“): Jede brauchbare Definition muss alle Sätze der Form „‚p‘ ist wahr genau dann, wenn p“ zur Folge haben. Dann zeigt er, wie sich Wahrheit für eine formalisierte Sprache, etwa den Klassenkalkül, über den Begriff der Erfüllung von Formeln durch Folgen von Gegenständen definieren lässt. Wegen Antinomien wie der des Lügners muss die Definition in einer Metasprache gegeben werden, die wesentlich reicher ist als die Sprache, um die es geht. Das Werk legte den Grund für die formale Semantik und später die Modelltheorie.

Verbindungen

Aufgegriffen in

• Die semantische Konzeption der Wahrheit und die Grundlagen der Semantik1944 · Alfred Tarski

Weitere Werke von Alfred Tarski

• 1944Die semantische Konzeption der Wahrheit und die Grundlagen der Semantik