Russell, Gödel und der Lügner

Lieferzeit: Lieferbar innerhalb 14 Tagen

69,90 

Ontologische und semantische Antinomien und Gödels Unvollständigkeitssatz im Vergleich

ISBN: 3838117360
ISBN 13: 9783838117362
Autor: Ucsnay, Stefanie
Verlag: Südwestdeutscher Verlag für
Umfang: 156 S.
Erscheinungsdatum: 01.11.2015
Auflage: 1/2015
Format: 1 x 22 x 15
Gewicht: 250 g
Produktform: Kartoniert
Einband: KT
Artikelnummer: 4740840 Kategorie:

Beschreibung

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.

Autorenporträt

Stefanie Ucsnay hat in Bonn, Frankfurt und Mainz Mathematik undPhilosophie studiert.

Das könnte Ihnen auch gefallen …