Andere Kunden interessierten sich auch für
![Die nicht-ziehbare Grenze der Logik]( "Die nicht-ziehbare Grenze der Logik")
Die nicht-ziehbare Grenze der Logik17,95 €![Metaphysik]( "Metaphysik")
Metaphysik88,00 €![Darstellung und Prüfung des ontologischen Gottesbeweises von Kurt Gödel auf Basis logischer Grundlagen]( "Darstellung und Prüfung des ontologischen Gottesbeweises von Kurt Gödel auf Basis logischer Grundlagen")
Darstellung und Prüfung des ontologischen Gottesbeweises von Kurt Gödel auf Basis logischer Grundlagen17,95 €![Ist es unmoralisch, ein Kind zu zeugen?]( "Ist es unmoralisch, ein Kind zu zeugen?")
Ist es unmoralisch, ein Kind zu zeugen?13,95 €![Paul Lorenzens Wahrscheinlichkeitstheorie. Grundlagen der Metamathematik, Stochastik und Wahrscheinlichkeitsbegriffe]( "Paul Lorenzens Wahrscheinlichkeitstheorie. Grundlagen der Metamathematik, Stochastik und Wahrscheinlichkeitsbegriffe")
Paul Lorenzens Wahrscheinlichkeitstheorie. Grundlagen der Metamathematik, Stochastik und Wahrscheinlichkeitsbegriffe17,95 €![Der Wiener Kreis und sein philosophisches Spektrum]( "Der Wiener Kreis und sein philosophisches Spektrum")
Der Wiener Kreis und sein philosophisches Spektrum69,99 €![A la Sombra de Gödel]( "A la Sombra de Gödel")
A la Sombra de Gödel25,99 €
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.