Vorbereitungen

Zusammenfassung

Wir werden im folgenden bestimmte formale Sprachen der klassischen Logik aufbauen und untersuchen. Da diese Sprachen den Gegen­stand der Betrachtungen bilden, werden sie auch Objektsprachen genannt. Diejenige Sprache, in der wir über die Objektsprachen reden, heißt Metasprache. Die Metasprache ist hier die deutsche Sprache, die gele­gentlich um gewisse technische Begriffe und Symbole erweitert wird. Sie enthält implizit dieselbe Logik, die in bezug auf die Objektsprachen explizit dargestellt werden soll. Darin liegt nichts Problematisches und insbesondere, trotz gegenteiliger Auffassungen¹, keinerlei „Zirkularität“; vielmehr kommt darin nur die Tatsache zur Geltung, daß man für die Darstellung und Beschreibung eines präzisen Instrumentes bereits ein ähnliches Instrument benötigt.