Refine
Document Type
- Doctoral Thesis (2)
Language
- German (2)
Has Fulltext
- yes (2)
Is part of the Bibliography
- no (2)
Keywords
- Gödel's incompleteness theorem (1)
- Gödelscher Unvollständigkeitssatz (1)
- Logic (1)
- Logik (1)
- Metamathematics (1)
- Metamathematik (1)
- Ontologische Antinomie (1)
- Semantische Antinomie (1)
- semantical paradox (1)
- set-theoretical paradox (1)
Institute
- Philosophie (2)
Es werden ontologische Antinomien, semantische Antinomien und die Sätze von Tarski, Gödel, Rosser und Church miteinander verglichen. Der Vergleich verläuft in zwei Schritten: Abstrakte Formulierungen der Sätze von Tarski, Gödel, Rosser und Church ermöglichen eine direkte Gegenüberstellung mit der Lügner-Antinomie und der Antinomie von Grelling. Der Beweis des Unvollständigkeitssatzes wird dabei mit und ohne Verwendung des Fixpunktsatzes betrachtet und die Rolle des Fixpunktsatzes analysiert. Parallel zur Antinomie von Richard werden abstrakte Sätze für Terme anstelle von Formeln gebildet. Hieraus erhält man wiederum einen Unvollständigkeitssatz. Im zweiten Schritt werden ontologische und semantische Antinomien gegenübergestellt. Es wird der Begriff einer Diagonalstruktur entwickelt, auf den beide Antinomietypen bezogen werden. Im Fall von ontologischen Antinomien werden die Antinomien von Cantor, Russell und Burali-Forti behandelt.