In dieser Arbeit soll der ontologische Gottesbeweis von Kurt Gödel vorgestellt werden, der einer der neueren Gottesbeweise darstellt. Dieser wird zunächst historisch eingeordnet und in Verbindung zu anderen Arten von Gottesbeweisen gesetzt, bevor er im nächsten Schritt logisch nachvollzogen und geprüft wird. Zum Ende wird das Argument Gödels hinsichtlich seiner logischen Gültigkeit und inhaltlichen Schlüssigkeit bewertet.
Der Nachweis der Existenz Gottes ist seit Jahrhunderten fester Bestandteil der Philosophie. Sogenannte Gottesbeweise, die die Existenz (eines) Gottes zu beweisen versuchen, gibt es in verschiedenen Ausführungen, die jeweils von unterschiedlichen Prämissen ausgehen. Dies ist abhängig von der Epoche, in der sie aufgestellt wurden. Erst in der frühen Neuzeit und der deutschen Aufklärung nahm die Bedeutung der Gottesbeweise zu und wurde schlussendlich zu einer eigenständigen Disziplin.
Inhaltsverzeichnis
1. Einleitung
2. Darstellung der Theorie
2.1 Historische Einordnung
2.2 Der ontologische Gottesbeweis von Kurt Gödel
2.3 Allgemeine logische Grundlagen
2.3.1 Modallogische Grundlagen und Schlussregeln
2.3.2 System S5
3. Prüfung der Gültigkeit des ontologischen Gottesbeweises
3.1 Gödels ontologischer Gottesbeweis in modallogischer Form
3.2 Teilbeweis 1 – Theorem 1
3.3 Teilbeweis 2 – Theorem 2
3.4 Teilbeweis 3 – Theorem 3
4. Bewertung und Folgen für das Argument
4.1 Modal collapse: Fallen die Modalitäten zusammen?
4.2 Ist die Verwendung des S5 Axioms anmessen?
4.3 Wurde „Göttlichkeit“ bewiesen?
4.4 Sind die Axiome zu stark?
5. Fazit
Zielsetzung & Themen
Diese Arbeit setzt sich zum Ziel, den ontologischen Gottesbeweis von Kurt Gödel auf Basis logischer Grundlagen darzustellen, nachzuvollziehen und kritisch zu prüfen, um dessen logische Gültigkeit sowie inhaltliche Schlüssigkeit zu bewerten.
- Historische Einordnung ontologischer Gottesbeweise
- Modallogische Grundlagen und das System S5
- Formalisierung von Gödels Beweisgang
- Kritische Diskussion von Modal-Collapse-Einwänden
- Evaluation der Stärke und Angemessenheit der verwendeten Axiome
Auszug aus dem Buch
2.2 Der ontologische Gottesbeweis von Kurt Gödel
Ähnlich wie Leibniz versuchte auch Gödel durch einen Möglichkeitsnachweis den ontologischen Beweis zu vervollständigen. Seinen 1970 angefertigten Gottesbeweis wollte Gödel jedoch nicht veröffentlichen – er befürchtete, sein Gottesbeweis könne als Glaubensbekenntnis missverstanden werden. Im selben Jahr erhielt eine Kreis Interessenten durch Dana Scott Zugang zu dem Beweis und wenig später wurde er in einem Seminar in Princeton vorgestellt (Bromand & Kreis, 2016). Gödels Anliegen bestand: „ […] im Nachweis, dass ein ontologischer Gottesbeweis auf eine Art und Weise geführt werden könne, die modernen logischen Maßstäben gerecht wird“ (Bromand & Kreis, 2016). Dieser Beweis sollte auf drei Definitionen und fünf widerspruchsfreien Axiomen beruhen, um das modale Konditional und die Möglichkeitsbehauptung in dem axiomatischen System herzuleiten. Wenn dies gelingt, müsste Gott strenggenommen als bewiesen gelten. Schlussendlich war er mit seiner Beweisführung zufrieden. Später wurde der Gottesbeweis von Howard Sobel kritisiert und von Anthony Anderson modifiziert.
Zusammenfassung der Kapitel
1. Einleitung: Dieses Kapitel führt in die Thematik der Gottesbeweise ein und skizziert das Vorhaben, Gödels ontologischen Beweis logisch zu analysieren.
2. Darstellung der Theorie: Hier erfolgt eine historische Einbettung sowie die Einführung der für den Beweis notwendigen modallogischen Grundlagen und Axiomensysteme.
3. Prüfung der Gültigkeit des ontologischen Gottesbeweises: In diesem Hauptteil wird der formale Beweisgang Gödels in modallogischer Form untergliedert in drei Teilbeweise dargelegt.
4. Bewertung und Folgen für das Argument: Dieses Kapitel widmet sich der kritischen Auseinandersetzung mit den logischen Konsequenzen des Beweises, wie dem Modal Collapse, und reflektiert die Angemessenheit der Axiome.
5. Fazit: Das Fazit fasst die Ergebnisse der Arbeit zusammen und konstatiert, dass trotz logischer Gültigkeit des formalen Systems die inhaltliche Überzeugungskraft im philosophischen Diskurs umstritten bleibt.
Schlüsselwörter
Kurt Gödel, ontologischer Gottesbeweis, Modallogik, System S5, Axiome, positive Eigenschaften, notwendige Existenz, Modal Collapse, Theologie, Metaphysik, logische Gültigkeit, analytische Wahrheit, philosophische Argumentation, Gottesbegriff, formale Logik.
Häufig gestellte Fragen
Worum geht es in dieser Arbeit grundsätzlich?
Die Arbeit untersucht den von Kurt Gödel entwickelten ontologischen Gottesbeweis unter dem Aspekt seiner formalen logischen Struktur und inhaltlichen Aussagekraft.
Welche zentralen Themenfelder werden behandelt?
Zentral sind die Grundlagen der Modallogik, die historische Entwicklung ontologischer Gottesbeweise, die formale Herleitung von Gödels Theoremen sowie die kritische Debatte um die verwendeten Axiome.
Was ist das primäre Ziel der Untersuchung?
Ziel ist es, den Gottesbeweis Gödels logisch nachzuvollziehen und zu prüfen, ob die mathematisch-logische Strenge auch eine inhaltliche Schlüssigkeit im theologischen oder metaphysischen Kontext trägt.
Welche wissenschaftlichen Methoden werden angewandt?
Die Arbeit nutzt die logische Analyse von Argumenten auf Basis prädikatenlogischer und modallogischer Formelsysteme, ergänzt durch die Literaturrecherche philosophischer Debatten.
Was wird im Hauptteil detailliert behandelt?
Der Hauptteil gliedert sich in die formale Rekonstruktion der drei Teilbeweise zu den Theoremen 1, 2 und 3 sowie die anschließende kritische Bewertung einzelner Einwände.
Durch welche Schlüsselwörter lässt sich die Arbeit charakterisieren?
Die Arbeit lässt sich durch Begriffe wie Modallogik, Gödels Gottesbeweis, S5-System, ontologischer Beweis und logische Konsistenz beschreiben.
Was versteht man unter dem in der Arbeit diskutierten "Modal Collapse"?
Der Modal Collapse beschreibt einen kritischen Einwand gegen Gödels Axiome, wonach diese dazu führen könnten, dass kontingente Wahrheiten in notwendige Wahrheiten übergehen, was das System in Frage stellt.
Wie unterscheidet der Autor den "God" von Gödel vom Gott der Theologie?
Der Autor unterscheidet zwischen dem formal-logisch durch Axiome definierten "God" und dem traditionellen, materialreich charakterisierten Gott der abendländischen Theologie.
Warum wird die Verwendung des S5-Axioms kritisiert?
Kritiker bezweifeln, ob das für logische Notwendigkeiten entworfene S5-System geeignet ist, um metaphysische Notwendigkeiten wie die Existenz Gottes korrekt abzubilden.
- Arbeit zitieren
- Anonym (Autor:in), 2020, Darstellung und Prüfung des ontologischen Gottesbeweises von Kurt Gödel auf Basis logischer Grundlagen, München, GRIN Verlag, https://www.hausarbeiten.de/document/947557
