Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der Wahrheit

Zusammenfassung

Ein Tarski-Satz für eine Menge M ist ein Satz, der aussagt:

• 1. ,ich bin ein Element von M‘, der also von sich selbst behauptet, ein Element von M zu sein. Wenn wir einen solchen Satz in einer formalen Sprache wiederzugeben versuchen, müssen wir seinen Gehalt in einer indikatorenfreien Weise ausdrücken; denn Indikatoren - d. h. Ausdrücke, deren Bedeutung nicht unabhängig vom (schriftlichen oder Sprech-)Kontext feststeht-, wie,ich‘, ,hier‘, jetzt‘ u.a., kommen in einer derartigen Sprache nicht vor.