Der Wahrheitsbegriff in den generalisierten Sprachen

Zusammenfassung

Wenn wir uns an Hand des gegebenen Beispiels des Systems S₁ die möglichen Methoden zur Konstruktion eines formal korrekten und inhaltlich zutreffenden Begriffs des wahren Satzes in Molekularsprachen überlegen, so ergeben sich je nach der Zahl der in S vorkommenden Sätze zwei mögliche Wege. Falls die Zahl der Sätze, die sich in S bilden lassen, endlich ist, kann die Definition von „wahrer Satz in S“ in expliziter Form, sogar ohne Anwendung der obigen Rekursion, erfolgen. Man braucht dann, um diese Definition durchzuführen, nichts anderes zu unternehmen, als das Schema der Konvention A für alle einzelnen Sätze von S in der Weise auszufüllen, daß für „X“ sukzessive die metasprachlichen Namen dieser Sätze und für „p“ die Übersetzungen dieser Sätze in M eingesetzt und alle aus dem Schema A gewonnenen Aussagen disjunktiv miteinander verknüpft werden.