Gödels ontologischer Gottesbeweis

Kirchner, AKA (2009) Gödels ontologischer Gottesbeweis. Other thesis, Universität Wien.

[img]
Preview
PDF (Erläuterung und philosophische Einordung von Gödels ontologischen Gottesbeweis(en))
KIRCHNER_-_Bachelorarbeit_I_-_Kurt_Gödels_ontologischer_Beweis.pdf - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (448kB)
Official URL: http://is.gd/aOMfv

Abstract

Kurt Gödel war ein bedeutender (Meta-)Mathematiker und Logiker des 20. Jahrhunderts.Seine bekanntesten Errungenschaften drehen sich wohl um die Unvollständigkeitssätze. Weniger bekannt ist die Tatsache, dass sich Gödel über lange Zeitspannen hinweg mit der Philosophie von Leibniz und mit Gottesbeweisen beschäftigt hat. Überlegungen dazu hat er zwar nie publiziert, aber in seinem Nachlass fanden sich mindestens zwei in Prädikatenlogik formulierte Gottesbeweise. Ergänzt werden sie durch einige Bemerkungen in seinen Notizbüchern. In der vorliegenden Arbeit soll diesen Überlegungen nachgegangen werden. Zentral wird das Nachvollziehen des axiomatischen Systems sein, dass Gödel formuliert, um darin schlussendlich zu zeigen, dass es notwendigerweise genau ein göttliches Wesen gibt. Der Term notwendigerweise deutet an, dass auch modallogische Axiome, Schlussregeln und Operatoren verwendet werden. Da die Notizen von Gödel eher spärlich sind, wurden zahlreiche Ergänzungen und Reformulierungen von anderen Autoren geschrieben, die teilweise andere (teilweise schwächere) Axiome verwenden, oder aber den Axiomen treu bleiben, jedoch Erläuterungen hinzufügen. Zum ersten Mal publiziert wurde eine Version der Gödelschen Gottesbeweise erst posthum, 1987 von Curt Christian in einem Sitzungsbericht der Österreichischen Akademie der Wissenschaften in Wien. Bei der Erörterung des axiomatischen Systems werde ich mich jedoch auf Fuhrmann (2005) beziehen. Die Originalbeweise mit zusätzlichen Kommentaren sind im Anhang A zu ?nden.

Item Type: Thesis (Other)
Uncontrolled Keywords: Gödel, Gott, Gottesbeweis, Modallogik, Axiomatik, Axiom, Logik, Prädikatenlogik, ontologischer Gottesbeweis, Anselm, Leibniz
Subjects: Philosophie > Seminararbeiten, Diplom, Dissertationen, Arbeitspapiere > Analytische Philosophie
Philosophie > Philosophische Disziplinen > Religionsphilosophie, Religionskritik
Philosophie > Philosophische Disziplinen > Logik, analytische Philosophie
Philosophie > Philosophische Institutionen > Institut für Philosophie, Wien
Depositing User: Andy Kirchner
Date Deposited: 21 Mar 2010 10:28
Last Modified: 08 Sep 2011 18:52
URI: http://sammelpunkt.philo.at/id/eprint/1924

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year