En savoir plus sur le livre
Die Arbeit vergleicht ontologische Antinomien, semantische Antinomien und die Sätze von Tarski, Gödel, Rosser und Church miteinander. 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 stellt die Arbeit ontologische und semantische Antinomien gegenüber. Es wird der Begriff einer Diagonalstruktur entwickelt, auf den beide Antinomietypen bezogen werden. Im Fall von ontologischen Antinomien behandelt die Arbeit die Antinomien von Cantor, Russell und Burali-Forti.
Achat du livre
Russell, Gödel und der Lügner, Stefanie Ucsnay
- Langue
- Année de publication
- 2010
- product-detail.submit-box.info.binding
- (souple)
Modes de paiement
Personne n'a encore évalué .