Quelltext der Seite Gottesbeweis

'''Gottesbeweis''' bezeichnet in neuzeitlicher [[Terminologie]] den Versuch, mithilfe der [[Vernunft]] die [[Existenz]] [[Gott]]es zu [[Beweis (Logik)|beweisen]]. Der Begriff wurde rückwirkend auf verschiedenste philosophische Konzepte angewendet, die die Existenz Gottes glaubhaft machen wollten. Dagegen stehen einerseits rationale Widerlegungsversuche entsprechender Argumentationen oder Argumente, die Gründe gegen die Existenz Gottes ins Feld führen, andererseits Positionen eines [[Irrationalismus]] oder [[Nonkognitivismus]] bezüglich religiöser Überzeugungen. In der modernen [[Apologetik|christlichen Philosophie]] und Theologie gibt es Positionen, die auch die historischen Beweise mehr als „Zugänge“ zu einem Gottesbegriff verstehen denn als strenge Beweise im Sinne moderner Wissenschaftsmethodik. Zwischenpositionen sprechen von einer rationalen [[Epistemische Rechtfertigung|Rechtfertigung]] eines durch [[Offenbarung]] gewonnenen Gottesglaubens.

== Einleitung ==

=== Historische und aktuelle Einschätzungen ===
Versuche, die Existenz Gottes bzw. von Göttern wahrscheinlich zu machen bzw. Gottesbeweise darzulegen, finden sich bereits in der [[Philosophie der Antike]], z.&nbsp;B. bei [[Marcus Tullius Cicero|Cicero]] und [[Seneca]]; ferner in der jüdischen und frühchristlichen [[Apologetik]], danach bei den [[Patristik|Kirchenvätern]], wie z.&nbsp;B. bei [[Augustinus von Hippo|Augustinus]]. 

In der [[Jüdische Philosophie|jüdischen]], christlichen und [[Islamische Philosophie|islamischen]] Philosophie bzw. philosophischen Theologie der Antike und des Mittelalters wurden entsprechende Argumentationsstränge weitergeführt. Dazu zählen Überlegungen aus der Struktur der Wirklichkeit wie auch aus den begrifflichen Implikationen des Gottesbegriffs, wie beispielsweise bei [[Anselm von Canterbury]]. 

Anstrengungen im zeitlichen Kontext der frühen Neuzeit und Moderne, wie z.&nbsp;B. im Kontext eines methodischen Rationalismus bei [[René Descartes|Descartes]] oder [[Gottfried Wilhelm Leibniz|Leibniz]], führten diese Unternehmungen fort.

Für die neuzeitliche Diskussion der Problematik und möglichen Reichweise von Gottesbeweisen führte die grundsätzliche Kritik durch [[Immanuel Kant]] zu Neubewertungen: Kant beschränkte in seiner ''[[Kritik der reinen Vernunft]]'' mögliche Erkenntnisse über Sachverhalte auf den Bereich des anschaulich Erfahrbaren. Die klassischen Gottesbeweise seien demnach nicht schlüssig, weil ihre Begriffsanwendungen nicht durch Anschauung fundiert sei. 

Spätere [[Religionskritik]]er wie [[Ludwig Feuerbach]] fassten Gott als Inbegriff menschlicher Idealvorstellungen auf, die irrigerweise auf ein fiktives Göttliches [[Projektionstheorie|projiziert]] würde. Damit verbindet sich nicht nur eine These zur Entstehung der Gottesvorstellung, sondern auch die Annahme, dass dieser keine Realität entspreche.

Im Gefolge Kants kam es unter einigen Religionsphilosophen und Theologen zu einer theologischen Aufnahme seiner Radikalkritik in Entwicklung neuer subjektphilosophischer Religionsphilosophien. Innerhalb der [[Neuscholastik]], sowie auch unter einigen [[Religionsphilosophie|Religionsphilosophen]], speziell im Kontext sogenannter [[Natürliche Theologie|natürlicher Theologie]], wurden allerdings auch klassische Argumentationsformen weiterzuführen versucht.

Einige Vertreter [[Analytische Philosophie|analytischer Religionsphilosophie]] haben entweder Einwendungen gegen klassische Gottesbeweise zu verstärken versucht, so etwa [[John Leslie Mackie]]. Andere, wie zum Beispiel [[Alvin Plantinga]] und [[Richard Swinburne]], haben versucht, Gottesbeweise neu zu formulieren. Dies betrifft unter anderem die sogenannten kosmologischen wie auch ontologischen Beweisansätze.

=== Motive ===
In der vorchristlichen [[Antike]] und im christlichen [[Mittelalter]] Europas stand die Existenz von Göttern oder eines Gottes meist nicht in Frage. Durch Etablierung von [[Staatsreligion]]en und deren Wahrheitsanspruch war es vielerorts rechtlich nicht erlaubt, daran öffentlich zu zweifeln. Ein formaler Beweis war also nicht als Reaktion auf publizierte Kritik notwendig, sondern hatte das Ziel, religiöse Überzeugungen zu stützen oder theoretisch zu untermauern.

Viele Frühscholastiker betonen die Notwendigkeit, zwischen Vernunft und Glaube zu vermitteln. Wesentlich dafür ist die Auffassung, dass der Vernunft die Existenz Gottes einsichtig ist. In diesem Sinne hatten bereits arabische ([[Averroes]], [[Avicenna]], [[Muhyī d-Dīn Ibn ʿArabī]]<ref>[[Gotthard Strohmaier]]: ''Avicenna.'' Beck, München 1999, ISBN 3-406-41946-1, S. 130 f.</ref>), insbesondere [[Kalām#Theorien über die Herkunft des Begriffs|kalamitische]] und jüdische Denker ([[Maimonides]]) Gottesbeweise entwickelt.

Gottesbeweise dienten außerdem dazu, „[[Heidentum|Heiden]]“ zu bekehren, weil sich allein durch politische Macht in heidnisch geprägten Gesellschaften keine bestimmte Religiosität erzwingen lässt. Wo zudem die [[Bibel]] noch nicht als [[Heilige Schrift]] anerkannt wird, kann nicht erfolgreich offenbarungstheologisch argumentiert werden.

Hoch-Zeiten der Gottesbeweise waren die [[Frühe Neuzeit]] und die Epoche der deutschen [[Aufklärung]]. Für [[Deismus|deistische]] [[Vordenker der Aufklärung]] sollten die Gottesbeweise eine auf Vernunft gegründete ''[[Natürliche Religion]]'' ohne [[Offenbarung]] durchsetzen. Diese Vorstellung wurde besonders von [[David Hume]] kritisiert. Mit [[Immanuel Kant|Kants]] einflussreicher Kritik an den Gottesbeweisen verlieren die Gottesbeweise in philosophischen Diskussionen an Bedeutung. Indem sie das [[Subjekt (Philosophie)|Subjekt]] in das Zentrum ihrer Überlegungen stellten, versuchten etwa [[Friedrich Schleiermacher]] und [[Søren Kierkegaard]] Gottesbeweise zu rehabilitieren.

Viele der hier aufgeführten Gottesbeweise beziehen sich auf einen Schöpfergott nach [[Abrahamitische Religionen|abrahamitischer]] Definition. Damit sind sie auf Religionen, die zwar Götter, aber keinen Schöpfer kennen, nicht anwendbar. Dies trifft beispielsweise auf den [[Hinduismus]] zu.

== Typen von Gottesbeweisen ==

Gottesbeweise lassen sich in [[a priori|apriorische]] und [[a posteriori|aposteriorische]] Beweise einteilen; diese Untergliederung nahm bereits Kant vor ({{Kant|6=Der einzig mögliche Beweisgrund zu einer Demonstration des Daseins Gottes|1=2|2=155}}). Apriorische Gottesbeweise sind unabhängig von Erfahrung. So leitet beispielsweise [[Anselm von Canterbury]] die Existenz Gottes aus dessen [[Begriff]] ab. Aposteriorische Gottesbeweise gründen sich auf Erfahrung. Die sogenannten fünf Wege ''(quinque viae)'' in der Tradition des [[Thomas von Aquin]] gelten hier als typisches Beispiel.

Eine weitere Unterscheidung von Gottesbeweisen geht auf die Ausführungen zur [[Transzendentale Dialektik|Transzendentalen Dialektik]] in Kants ''Kritik der reinen Vernunft'' zurück. Hier wird nach [[Ontologie|ontologischem]], [[Kosmologie|kosmologischem]] und [[Teleologie|teleologischem]] Gottesbeweis unterschieden ({{Kant|6=Kritik der reinen Vernunft, II. Buch der transzendentalen Dialektik, Drittes Hauptstück: Das Ideal der reinen Vernunft|1=3|2=396}}). Zusätzlich zu Kants Gliederung wird heute häufig noch der [[moral]]ische Gottesbeweis ergänzt, den er selbst entwickelte ({{Kant|6=Kritik der reinen Vernunft (2. Auflage. 1787)|1=3|2=523}}).

=== Der ontologische Gottesbeweis ===

==== Anselm von Canterbury ====

Die erste bekannte Version des sogenannten [[Ontologie|ontologischen]] Gottesbeweises<ref>Die Bezeichnung als „ontologischer Gottesbeweis“ erhält das Argument Anselms erst durch Kant in dessen ''Kritik der reinen Vernunft''; vgl. z.&nbsp;B. Anselm von Canterbury; Franciscus Salesius Schmitt (Hrsg.): ''Proslogion. Untersuchungen. Lateinisch-deutsche Ausgabe'', Stuttgart-Bad Cannstatt 1962, S. 13.</ref> formulierte [[Anselm von Canterbury]] (1033–1109) im [[Proslogion]].<ref>S. Anselm von Canterbury: ''Proslogion'', Kapitel 2–4, z.&nbsp;B. hier: [https://www.ub.uni-freiburg.de/fileadmin/ub/referate/04/verweyen/anselm8.htm Kapitel II–IV]</ref> Auch [[René Descartes]] (1596–1650) hat auf diese Weise versucht, Gottes Existenz zu beweisen.<ref>{{Literatur |Autor=Giovanni B. Sala |Titel=Kant und die Frage nach Gott |Verlag=Walter de Gruyter |Ort=Berlin |Datum=1990 |ISBN= |Seiten=45}}</ref> Ontologisch wird diese Art des Gottesbeweises genannt, da Anselm und Descartes von der [[Logik|logisch]]-begrifflichen Ebene auf die Ebene des [[Sein]]s (griech. ''to on'', Genitiv ''ontos'') [[Schlussfolgerung|schlussfolgern]]. Als erster bezeichnete Kant den Ansatz Anselms und Descartes als ontologisch ({{Kant|3|396}}).

Anselm wendet sich mit seinem Beweis ausdrücklich an Gläubige, die die Inhalte ihres Glaubens verstehen wollen, oder sachlich gesagt, an einen das Verstehen suchenden Glauben („[[Intellectus fidei|fides quaerens intellectum]]“). Ein solcher Glaube hat einen Begriff von Gott als einem, „worüber hinaus nichts Größeres gedacht werden kann“ („quo nihil maius cogitari potest“). Dieser „Begriff“ ist nach Anselm gedanklich nur dann widerspruchsfrei nachzuvollziehen, wenn Gott wirklich existiert. Seine Argumentationsstruktur beginnt mit einer Annahme des Gegenteils:<ref>Gekürzt wiedergegeben nach Edgar Morscher: ''Was sind und was sollen die Gottesbeweise? Bemerkungen zu Anselms Gottesbeweis(en)'', in: Friedo Ricken (Hrsg.): ''Klassische Gottesbeweise in der Sicht der gegenwärtigen Logik und Wissenschaftstheorie. '', S. 64 f.</ref>

# Annahme des Gegenteils: ''Das, worüber hinaus nichts Größeres gedacht werden kann'' [d.&nbsp; i. Gott], existiert nicht in Wirklichkeit, sondern nur im Verstand.
# Wenn (1), dann kann etwas gedacht werden, das größer ist als ''das, worüber hinaus nichts Größeres gedacht werden kann'' (nämlich ebendieses, jedoch mit der zusätzlichen Qualität, dass es auch in Wirklichkeit existiert, was dann größer ist als das lediglich Gedachte, welches nicht in der Wirklichkeit existiert).
# Wenn etwas gedacht werden kann, das größer ist als ''das, worüber hinaus nichts Größeres gedacht werden kann'', dann ist ''das, worüber hinaus nichts Größeres gedacht werden kann'', etwas, worüber hinaus Größeres gedacht werden kann.
# ''Das, worüber hinaus nichts Größeres gedacht werden kann'', ist etwas, worüber hinaus Größeres gedacht werden kann [aus (1), (2) und (3) durch zweimalige Anwendung des [[Modus ponens]]].
# (4) ist widersprüchlich und daher (1) falsch, d.&nbsp;h.: ''Das, worüber hinaus nichts Größeres gedacht werden kann'' [d.&nbsp; i. Gott], existiert in Wirklichkeit und nicht nur im Verstand [aus (1)–(4) durch [[reductio ad absurdum]]].

Die Rezeption des ''Proslogion'' fokussiert sich auf das „unum argumentum“ („das eine Argument“) in den Kapiteln 2–4. Damit wird außer Acht gelassen, dass Anselm einerseits nicht rein rational argumentiert, sondern stets als Glaubender spricht, was durch die gebetsartigen Abschnitte zum Beispiel in Kapitel 1 verdeutlicht wird. Andererseits geht er in Kapitel 15 einen Schritt weiter und stellt die These auf, dass Gott größer ist, als gedacht werden kann.<ref>S. Anselm von Canterbury, ''Proslogion'', Kapitel 15: „non solum es quo maius cogitari nequit, sed es quiddam maius quam cogitari possit.“ („du bist nicht nur das, über das hinaus Größeres nicht gedacht werden kann, sondern etwas Größeres, als gedacht werden kann.“)</ref>

==== Kurt Gödel ====
[[Kurt Gödel]] (1906–1978) entwickelte 1970 eine [[Kurt Gödel#Ontologischer Gottesbeweis|Rekonstruktion des ontologischen Gottesbeweises]] in der Sprache der [[Modallogik]], die auf drei Definitionen und fünf widerspruchsfreien Axiomen beruht.<ref>Vgl. Kurt Gödel: ''Ontological proof''. In: Kurt Gödel: ''Collected Works Vol. 3: Unpublished Essays and Letters''. Oxford University Press 1970, S. 403. Zeile 17f Bemerkung zur Konsistenz.</ref><ref>Faksimile von Gödels Autograph mit dem Titel ''Ontologischer Beweis'' online: {{Webarchiv|url=http://www.idmp.uni-hannover.de/fileadmin/institut/IDMP-Studium-Mathematik/downloads/Gawlick/Predigt_Gawlick_Gottesbeweise.pdf |wayback=20130524164359 |text=Gawlick, Th.: Was sind und was sollen mathematische Gottesbeweise? |archiv-bot=2023-05-15 00:08:36 InternetArchiveBot }} (PDF; 520&nbsp;kB).</ref><ref> Kurt Gödel, Appendix A. Notes in Kurt Godel's Hand, in: J.H. Sobel.''Logic and Theism: Arguments for and Against Beliefs in God.'' Cambridge University Press, 2004, S. 144–145.</ref> Das Anliegen Gödels „bestand […] im Nachweis, daß ein ontologischer Gottesbeweis auf eine Art und Weise geführt werden könne, die modernen logischen Maßstäben gerecht wird“.<ref>{{Literatur |Autor=Joachim Bromand |Titel=Gottesbeweise von Anselm bis Gödel |Reihe=Suhrkamp Taschenbuch Wissenschaft |Auflage=1. Seiten=393 |Verlag=[[Suhrkamp]] |Ort=Berlin |Datum=2011 |ISBN=978-3-518-29546-5}}</ref> Gödel verzögerte die Veröffentlichung des Beweises, da er befürchtete, sein Anliegen würde als selbstständiger Versuch, einen gültigen Beweis aufzustellen, missverstanden.<ref>{{Literatur |Autor=Joachim Bromand |Titel=Gottesbeweise von Anselm bis Gödel |Reihe=Suhrkamp Taschenbuch Wissenschaft |Auflage=1. Seiten=392 |Verlag=[[Suhrkamp]] |Ort=Berlin |Datum=2011 |ISBN=978-3-518-29546-5}}</ref> Die formale [[Korrektheit (Logik)|Korrektheit]] von Gödels Beweis wurde mittels [[Maschinengestütztes Beweisen|maschinengestützten Beweisens]] aufgezeigt, und zwar für die Beweisversion von [[Dana Scott]], die folgende Übersetzung wiedergibt:<ref name="Scott">Christoph Benzmüller, Bruno Woltzenlogel Paleo: [http://arxiv.org/abs/1308.4526 Formalization, Mechanization and Automation of Gödel's Proof of God's Existence] auf arxiv.org. Fußnote 3 behandelt den Unterschied der Axiome von Dana Scott zu Gödels Axiomen, insbesondere die Ergänzung von Axiom 3 als Ersatz für ein schwächeres Axiom Gödels!</ref>

{| class="wikitable zebra toptextcells" style="border:none; width:70%;"
! width="90em;" style="background:#FFEBAD;"| [[Axiom]] 1
| Entweder eine Eigenschaft oder ihre Negation ist positiv.
|-
! style="background:#FFEBAD;"| Axiom 2
| Eine aus einer positiven Eigenschaft notwendigerweise folgende Eigenschaft ist positiv.
|-
! style="background:#FFFFEC;"| [[Theorem]] 1
| Positive Eigenschaften kommen möglicherweise einem Wesen zu.
|-
! style="background:#B9FFC5;"| Definition 1
| Göttlich ist ein Wesen, falls es alle positiven Eigenschaften besitzt.
|-
! style="background:#FFEBAD;"| Axiom 3
| Göttlich ist eine positive Eigenschaft.
|-
! style="background:#FFFFEC;"| [[Korollar]]
| Möglicherweise existiert ein göttliches Wesen.
|-
! style="background:#FFEBAD;"| Axiom 4
| Positive Eigenschaften sind notwendigerweise positiv.
|-
! style="background:#B9FFC5;"| Definition 2
| Eine Eigenschaft eines Wesens ist essentiell, falls diese alle seine Eigenschaften notwendigerweise impliziert.
|-
! style="background:#FFFFEC;"| Theorem 2
| Göttlich ist eine essentielle Eigenschaft jedes göttlichen Wesens.
|-
! style="background:#B9FFC5;"| Definition 3
| Ein Wesen ist notwendigerweise existent, falls es all seine essentiellen Eigenschaften notwendigerweise erfüllt.
|-
! style="background:#FFEBAD;"| Axiom 5
| Notwendige Existenz ist eine positive Eigenschaft.
|-
! style="background:#FFFFEC;"| Theorem 3
| Ein göttliches Wesen existiert notwendigerweise.
|}

{|class="wikitable mw-collapsible mw-collapsed"
|-
|Formulierung in der [[Modallogik]]
|-
|
:<math>\begin{align}

\text{Axiom 1} & \quad P(\neg \varphi) \;\Longleftrightarrow\; \neg P(\varphi) \\

\text{Axiom 2} & \quad \left(P(\varphi) \;\wedge\; \Box \; \forall x (\varphi(x) \Longrightarrow \psi(x))\right) \;\Longrightarrow\; P(\psi) \\

\text{Theorem 1} &\quad P(\varphi) \;\Longrightarrow\; \Diamond \; \exists x \; \varphi(x) \\

\text{Definition 1} &\quad G(x) \;\Longleftrightarrow\; \forall \varphi (P(\varphi) \Longrightarrow \varphi(x)) \\

\text{Axiom 3} &\quad P(G) \\

\text{Korollar} &\quad \Diamond \; \exists x \; G(x) \\

\text{Axiom 4} &\quad P(\varphi) \;\Longrightarrow\; \Box \; P(\varphi) \\

\text{Definition 2} & \quad \varphi \text{ ess } x \;\Longleftrightarrow\; \varphi(x) \wedge \forall \psi \left(\psi(x) \Longrightarrow \Box \; \forall y (\varphi(y) \Longrightarrow \psi(y))\right) \\

\text{Theorem 2} &\quad G(x) \;\Rightarrow\; G \text{ ess } x \\

\text{Definition 3} & \quad E(x) \;\Longleftrightarrow\; \forall \varphi (\varphi \text{ ess } x \Longrightarrow \Box \; \exists y \; \varphi(y)) \\

\text{Axiom 5} & \quad P(E) \\

\text{Theorem 3} & \quad \Box \; \exists x \; G(x)\end{align}</math>
|}

Die erste Definition führt einen Gottesbegriff ein, die zweite die essentiellen Eigenschaften von Wesen und die dritte die notwendige Existenz. Gödels Axiome 1, 2, 4 und 5 definieren positive Eigenschaften implizit. Das von Dana Scott ergänzte Axiom 3<ref name="Scott" /> liefert die mögliche Existenz eines göttlichen Wesens (Korollar) und das Theorem 3 den Nachweis der notwendigen Existenz des göttlichen Wesens nach Gödels Definition. Der Beweis ist natürlich nur dann überzeugend, wenn Gödels Gottesdefinition als hinreichend betrachtet und das in den übrigen Axiomen zum Ausdruck gebrachte [[Ontologie|ontologische]] Rahmenwerk akzeptiert wird.

=== Der kosmologische Gottesbeweis ===

Die antiken und mittelalterlichen Varianten des kosmologischen Beweises gehen in irgendeiner Form davon aus, dass das Universum eine Ursache außerhalb seiner selbst haben muss. Die Welt und ihre Existenz werden dabei als fraglich und fragwürdig betrachtet. Die klassische Formulierung des kosmologischen Gottesbeweises findet sich bei [[Thomas von Aquin]] in der [[Summa theologica]]<ref name=":0">{{Internetquelle |autor=Thomas von Aquin |url=http://www.logicmuseum.com/wiki/Authors/Thomas_Aquinas/Summa_Theologiae/Part_I/Q2 |titel=Summa Theologiae – Pars I, Quaestio 2 |hrsg=The Logic Museum |abruf=2017-07-22 |sprache=en}}</ref>, der dabei seinerseits auf Gedankengänge von [[Platon]]<ref>vgl. Platon, Phaidros 245 c ff., Nomoi 891 b ff.</ref> und [[Aristoteles]]<ref>vgl. Aristoteles, Physik VII-VIII; Metaphysik XII.</ref> zurückgriff.

==== Thomas von Aquin: quinque viae ad deum ====

In den ''quinque viae'' (fünf Wegen) des [[Thomas von Aquin]] (1225–1274) enthalten die vier ersten Wege zu Gott Varianten des kosmologischen Gottesbeweises. Der fünfte Weg stellt den teleologischen Gottesbeweis dar. Thomas unterscheidet den Aufweis Gottes aus der Bewegung ''(ex parte motus)'', aus der Wirkursache ''(ex ratione causae efficientis)'', aus dem Möglichen und Notwendigen ''(ex possibili et necessario)'', aus den Graden der Vollkommenheit ''(ex gradibus)'' und aus der [[Teleologie]] ''(ex gubernatione rerum)''. Jeder dieser Wege geht von Erfahrungstatsachen aus, d.&nbsp;h., er enthält [[empirisch]]e Prämissen. Diese können in der Argumentation Thomas’ nicht zugleich wahr und ihre [[Konklusion]], die Existenz Gottes, falsch sein.

Jeder seiner ''5 Wege'' hat denselben [[Syllogismus|syllogistischen]] Aufbau:

* der Obersatz = die 1. [[Prämisse]] (lat. ''praemittere'' – „voraussetzen“) eine empirisch nachprüfbare Tatsache (ein Faktum der anorganischen oder organischen Welt)
* der Untersatz = die 2. Prämisse eine [[Metaphysik|metaphysische]] Feststellung, d.&nbsp;h. eine Behauptung, die zwar nicht empirisch beweisbar ist, deren Annahme aber zumindest nicht unlogisch oder unsinnig ist. Solche Sätze nennt man [[Axiom]]e, z.&nbsp;B. dass alles Existierende einen hinreichenden Grund für sein Sein haben muss (physisches und metaphysisches [[Kausalität]]sprinzip) oder dass zwischen dem absoluten und dem erschaffenen ([[Kontingenz (Philosophie)|kontingenten]]) Sein eine Entsprechung ''(analogia entis)'' besteht, so dass vom Kontingenten aus sinnvolle und richtige Aussagen über [[das Absolute]] gemacht werden können. Wer die Gültigkeit von Axiomen abstreitet, kommt zu abwegigen Schlussfolgerungen; ihre Wahrheit ist also gegeben, aber unbeweisbar; diesen Wahrheitsgrad nennt man [[Evidenz (Philosophie)|Evidenz]] (von lat. ''evideri'' – „herausscheinen“).
* der Schlusssatz (lat. ''conclusio'') = er enthält den Nachweis der Existenz Gottes. Da für Thomas von Aquin die Gültigkeit metaphysischer Axiome außer Zweifel stand, hielt er seine Gottesbeweise für zwingend ([[Stringenz|stringent]]), und seine Anhänger in der Neuzeit, die [[Scholastiker#Neuzeitliche Spätscholastik und Neuscholastik|Neuscholastiker]], verfechten ihre Beweiskraft bis zum heutigen Tag.<ref name="mp">[http://www.mindpicnic.de/cardbox/geschichte-der-gottesbeweise-1/3/ mindpicnic.de] Zu Thomas von Aquins ''quinque viae ad deum''</ref>

Im Folgenden werden die einzelnen „Wege“ des Thomas von Aquin näher erläutert:

===== Via I: Bewegungsbeweis =====

Der erste Weg, ''ex parte motus'', auf dem Thomas das Dasein Gottes beweisen will, geht von der empirisch feststellbaren Tatsache der Bewegung in der Welt aus (deshalb auch „kinesiologischer“ Gottesbeweis genannt).
„Bewegung“ versteht Thomas dabei nicht nur physikalisch als Ortsveränderung, sondern im weiteren (philosophisch-aristotelischen) Sinn als „[[Physik (Aristoteles)#Bewegung|Übergang von der Möglichkeit in die Wirklichkeit]]“ (also auch in der Bedeutung von „Werden“, „Veränderung“, „Entwicklung“).
Von der Möglichkeit in die Wirklichkeit übergeführt werden kann etwas – nach dem [[Kausalität]]sprinzip bzw. dem [[Satz vom zureichenden Grund]] – aber nur durch etwas, das selbst in Wirklichkeit ist.
Alles, was in Bewegung ist, muss also durch etwas anderes – eine wirkende Ursache – bewegt worden sein.
Dass sich etwas „von selbst“ bewegen kann, schließt Thomas durch den „[[Satz vom Widerspruch]]“ aus, nach dem es unmöglich ist, dass etwas zugleich und in derselben Hinsicht in Möglichkeit und in Wirklichkeit existiert. Es ist deshalb auch unmöglich, dass etwas zugleich und in derselben Hinsicht bewegend und bewegt, also Ursache und Wirkung in einem, ist.
Jede Bewegung (Wirkung) ist also selbst wieder durch etwas anderes bewegt (bewirkt bzw. verursacht), dieses wiederum durch etwas anderes und so weiter.
In dieser Weise lässt sich jedoch nicht [[Infiniter Regress|bis ins Unendliche zurückgehen]], da sonst die gesamte Kette von Bewegendem (Ursachen) und Bewegtem (Wirkungen) – und damit auch die von uns zweifellos feststellbare Bewegung in der Welt – gar nicht in Gang gekommen wäre.
Also muss – nach Thomas von Aquin – notwendigerweise ein „[[Erste Ursache|erstes unbewegtes Bewegendes]]“ („primum movens, quod a nullo movetur“) vorausgesetzt werden, das die Kausalkette des Werdens in Gang gesetzt hat, ohne selbst Teil dieser Kausalkette zu sein.
„Und darunter“, behauptet Thomas von Aquin, „verstehen alle Gott“.<ref>Thomas von Aquino: ''Summe der Theologie'', zusammengefasst, eingeleitet und erläutert von Joseph Bernhart, Band I, ''Gott und Schöpfung'', Alfred Kröner, Stuttgart 1938, S. 24</ref>
{| style="max-width:60%"
|
{{Schlusstabelle|P1=In der Welt ist überall Bewegung.|P2=Alles Bewegte wird von einem anderen bewegt, d.&nbsp;h. nichts kann sich selbst die erste Bewegung geben.|K=Die bewegte Welt setzt einen von ihr verschiedenen Beweger voraus.|S=Also}}
|}
Eine unendliche Reihe von Bewegern, die ihre Bewegung jeweils von außen haben, erklärt nicht, woher die Bewegung erstmals ihren Ausgang nahm. Wenn eine endliche Reihe von Bewegtem sich die Bewegung nicht selbst geben kann, dann kann es auch eine unendliche Reihe nicht. Deshalb lehnt Thomas von Aquin in seinen „5 Wegen“ den „Rückgriff auf das Unendliche“ ([[Infiniter Regress|regressus in infinitum]]) grundsätzlich ab. Stattdessen sagt er: Es ist notwendig, anzunehmen, dass es eine erste Bewegungskraft ([[primum movens]]) gibt, die selbst von niemand anderem die Bewegung erhalten hat und insofern als „unbewegt“ (lat. ''immotum'' – „von niemandem in Bewegung gesetzt“) bezeichnet werden kann. Das primum movens immotum nennen wir Gott.<ref name="mp" />

===== Via II: Kausalitätsbeweis =====

Der kausale Gottesbeweis („ex ratione causae efficientis“) geht davon aus, dass alles, was in dieser Welt existiert, auf eine Ursache zurückzuführen ist. Da man die Reihe der Ursachen nicht unendlich fortsetzen könne, müsse eine [[Erste Ursache|erste nicht kontingente Ursache]] (causa prima) existieren, die selbst auf keine andere Ursache zurückführbar sei. Schon [[Aristoteles]] [[Postulat|postulierte]] eine solche erste Ursache, die selbst unverursacht ist, und nannte sie „das erste unbewegte Bewegende“ (πρῶτον κινοῦν ἀκίνητον) oder den „unbewegten Beweger“. Viele mittelalterliche Denker, auch [[Thomas von Aquin]], identifizierten diesen mit Gott. Die Argumentation des Aristoteles liegt dem „[[Kosmologie|kosmologischen]] Gottesbeweis“ zugrunde und wird von manchen zu einem „Kontingenzbeweis“ verallgemeinert.<ref name=":0" /> Die Zweite Prämisse ist der [[Satz vom zureichenden Grund]].
{| style="max-width:60%"
|
{{Schlusstabelle|P1=In der Welt gibt es überall Ursachen (actio) und Wirkungen (reactio), die miteinander in Verbindung stehen.|P2=Jede Wirkung setzt eine hinreichende Ursache voraus.
| P3=Wegen der Unmöglichkeit des [[Infiniter Regress|regressus in infinitum]] bleibt nur der Schluss, |K=die Welt eine prima causa efficiens (eine zeitlich erste Wirkursache) hat, welche selber incausata (unverursacht) ist. |S=dass}}
|}

Diese erste, unverursachte Wirkursache (prima causa incausata) wird Gott genannt. Gott ist sich selbst die Ursache seines Seins; er ist das Sein selbst in seiner ganzen Fülle.

===== Via III: Kontingenzbeweis =====

Der Kontingenzbeweis (''ex possibili et necessario'' – Thomas von Aquin) gilt als radikale Gestalt des kosmologischen Beweises.<ref>Hans Waldenfels: ''Kontextuelle Fundamentaltheologie.'' Schöningh, Paderborn 1985, S. 134–135.</ref> Sein Gedankengang ist folgender: Es gibt nichtnotwendig Seiendes (das Zufällige, [[Kontingenz (Philosophie)|Kontingente]]). Dieses nichtnotwendig Seiende könnte genauso gut nicht sein. ''Dass'' es aber ist, ist nur damit erklärbar, dass es seine Existenz einem anderen Sein verdankt. Diese Abhängigkeitskette lässt sich nur dann überhaupt stabil erklären, wenn es ein aus sich heraus Seiendes ''([[ens a se]])'' gibt, von dem alles kontingent Seiende abhängig ist. Dieses absolut Seiende (Absolute) wird mit Gott identifiziert. (Vgl. auch die Erklärung im Artikel ''[[Natürliche Theologie]]'').
{| style="max-width:60%"
|
{{Schlusstabelle|P1=Die Welt ist kontingent (= nicht notwendig existierend: alles [[Empirisch]]e entsteht und vergeht wieder, ist also entbehrlich).|P2=Da das Kontingente sich nicht selbst das Sein geben kann und da der [[Infiniter Regress|''regressus in infinitum'']] ausgeschlossen ist, setzt das Vorhandensein eines kontingenten Kosmos die Existenz eines absoluten Wesens (ens necessarium) voraus: von diesem notwendig existierenden Wesen empfängt jedes kontingente Wesen das Sein.|K=setzt die kontingente Welt zur Erklärung ihrer Entstehung die Existenz eines notwendig existierenden Wesens voraus; dieses Wesen wird Gott genannt|S=Also}}
|}
Argumentationen nach diesem Muster sehen sich verschiedenen Einwänden ausgesetzt: die Argumentation ist nur unter bestimmten Voraussetzungen schlüssig, die nicht von jeder Ontologie geteilt werden. Dazu zählen: die Prämisse, dass es überhaupt eine objektive Unterscheidung von kontingent und notwendig in einem für solche Argumente relevanten Sinne gibt; dass Fragen nach dem Warum der Existenz eines Objekts stets die Erwähnung eines anderen Objekts in der Antwort verlangen; dass trotzdem der Ausnahmefall überhaupt sinnvoll ist, dass es auch etwas („erstes“) gibt, wofür ebendies nicht gilt; dass dieses mit Gott (insb. dem Gott einer spezifischen Religion) identifiziert werden kann.

Eine Variante dazu stammt von [[Leibniz]], der annahm, es müsse einen letzten Grund der Dinge geben, der außerhalb der Welt und damit bei Gott liegt. Gott sei der zureichende Grund der Welt.

Für Leibniz ist der Begriff Gottes mit dem Begriff der [[Vernunft]] verbunden. Er setzt sich mit mehreren Varianten von Gottesbeweisen auseinander und formuliert den kosmologischen Gottesbeweis neu.

{{" |Text= In seinem kosmologischen Beweis geht Leibniz von dem ihm so genannten Satz von zureichenden Grund aus. Er ist neben dem Widerspruchsprinzip eines der beiden ,großen` Prinzipien der Vernunft. Nach § 32 der [[Monadologie]]<ref>{{Literatur |Autor=Gottfried Wilhelm Leibniz |Titel=Monadologie |Hrsg=Hecht Hartmut |Nummer=7853 |Auflage=1. |Verlag=RECLAMS UNIVERSAL-BIBLIOTHEK |Ort=Stuttgart |Datum=2019 |ISBN=9783150078532 |Seiten=27}}</ref> besagt es, dass sich keine Tatsache als wahr herausstellen kann, ohne dass es einen zureichenden Grund gäbe, warum es sich so und nicht anders verhält, obschon diese Gründe uns oft nicht bekannt sein können.
 |Autor=Bromand/Kreis, Gottesbeweise, 2011, S. 120.
|ref=<ref>{{Literatur |Autor=Bromand Joachim & Kreis Guido |Titel=Gottesbeweise von Anselm bis Gödel |Hrsg=Joachim Bromand und Guido Kreis |Auflage=6. |Verlag=Suhrkamp |Ort=Berlin |Datum=2011-03-14|ISBN=978-3-518-29546-5 |Seiten=120}}</ref>}}

===== Via IV: Stufenbeweis =====

Auch ''ex gradibus rerum''.

Thomas von Aquin argumentiert in seinem vierten Weg, dem Stufenbeweis, dass die Existenz Gottes aus der Hierarchie der Werte in der Welt abgeleitet werden kann. Er beobachtet, dass es in der Welt eine Hierarchie von mehr oder weniger guten, wahren und schönen Dingen gibt. Diese Werte sind abgestuft und weisen auf eine höchste Wahrheit, Güte und Schönheit hin. Da eine unendliche regressus in infinitum nicht akzeptabel ist, muss es ein Wesen geben, das die höchste Wahrheit, Güte und Schönheit verkörpert und somit die Ursache für die Existenz dieser Werte ist. Dieses höchste Gut wird von Thomas von Aquin als Gott bezeichnet.
{| style="max-width:60%"
|
{{Schlusstabelle|P1=In der Welt gibt es mehr oder weniger gute, wahre und schöne Dinge, d.&nbsp;h. die Werte sind abgestuft.|P2=Da eine [[Infiniter Regress|Rückführung ins Unendliche]] (regressus in infinitum) nicht in Frage kommt, muss es ein Wesen geben, welches die höchste Wahrheit, Güte und Schönheit ist und somit den absoluten Endpunkt in der Abstufung der Werte darstellt.|K=Es muss ein [[Optimum]] (bzw. Verissimum, Nobilissimum) geben, das für alles innerweltliche Sein die Ursache seines Gut-, Wahr- und Edelseins ist. Dieses höchste Gute, Wahre und Edle nennen wir Gott.|S=Also}}
|}

===== Via V: Finalitätsbeweis =====

''siehe [[#Der teleologische Gottesbeweis|→ entsprechender Abschnitt]]'', auch „teleologischer Beweis“ – ''ex gubernatione rerum''.

Im 5. Beweis, dem Finalitätsbeweis, schließt Thomas von Aquin von der Zielstrebigkeit der Naturdinge zurück auf eine erste leitende Zweckursache, die wir Gott nennen.<ref>Thomas von Aquin: Die Gottesbeweise in der „''Summe gegen die Heiden''“ und der „''Summe der Theologie''“. Text m. Übers., Einl. u. Kommentar; lat.-dt., hg. v. Horst Seidl. 2., verb. u. erw. Aufl. Hamburg: Meiner 1986, S. XII [Vorwort].</ref>

Zunächst gehen wir davon aus, dass die natürlichen Körper(dinge) nicht etwa aus Zufall, sondern aufgrund eines Zweckes bzw. eines Zieles tätig sind. Aus dem Gegenstand (der Tätigkeit der Naturdinge) folgt die Wirkung (der Zweck/das Ziel). Diese Zwecke unterliegen wiederum einer höheren Führung und Ordnung, da sie selbst nicht vernünftig sind. Aus der Wirkung (dem Zweck/dem Ziel) folgt die Ursache (der ordnende Geist). Letztlich steht über allen Naturdingen ein vernünftiger Geist, der sie auf ein Ziel hin ordnet. Diesen nennen wir Gott. In diesem letzten Schritt folgt aus dem Gegenstand (der Tätigkeit der Naturdinge) die Ursache (der ordnende Geist – Gott).<ref>Thomas von Aquin: Die Gottesbeweise in der ''„Summe gegen die Heiden“'' und der „''Summe der Theologie''“. Text m. Übers., Einl. u. Kommentar; lat.-dt., hg. v. Horst Seidl. 2., verb. u. erw. Aufl. Hamburg: Meiner 1986, 59.</ref><ref>Thomas von Aquin: Die Gottesbeweise in der „Summe gegen die Heiden“ und der „Summe der Theologie“. Text m. Übers., Einl. u. Kommentar; lat.-dt., hg. v. Horst Seidl. 2., verb. u. erw. Aufl. Hamburg: Meiner 1986, XVI [Vorwort].</ref>
{| style="max-width:60%"
|
{{Schlusstabelle|P1=In der Welt gibt es Ordnung und Zweckmäßigkeit (→ die physikalischen, chemischen und biologischen Naturgesetze).|P2=Ordnung, Zielstrebigkeit und Sinnhaftigkeit setzen einen denkenden Geist als Ordner voraus (aliquid intellegens), andernfalls müsste man wieder einen [[Infiniter Regress|regressus in infinitum]] vollziehen.|K=braucht die Welt zur Erklärung ihrer Ordnung einen ordnenden Geist, und den nennen wir Gott.|S=Also}}
|}

==== Kosmologischer Gottesbeweis nach Leibniz ====
Der kosmologische Gottesbeweis von Leibniz ist wie Via III von Thomas von Aquin ein Kontingenzbeweis. Er verläuft folgendermaßen:

(1) &nbsp;Es gibt wenigstens eine [[Kontingent|kontingente]] Sache.

(2) &nbsp;Für alles, was es gibt, muss es einen zureichenden Grund dafür geben, warum es sich so verhält, wie es sich verhält, und warum es sich nicht anders verhält als so, wie es sich verhält.

(3) &nbsp;Wenn es eine kontingente Sache gibt, dann existiert auch eine [[Notwendige und hinreichende Bedingung|notwendige]] [[Substanz]].

(4) &nbsp;Also: Es existiert eine notwendige Substanz. (Vgl. Bromand/Kreis, Gottesbeweise, 2011, S 122)

Die [[Existenz]] einer notwendigen Substanz wird aus der Kontingenz der Dinge und der Annahme eines zureichenden Grundes für alles Existierende abgeleitet.

[[Immanuel Kant|Kant]] kritisiert diesen Gottesbeweis und führt an, dass die kosmologische Argumentation nur einen Schluss auf eine letzte unabhängige Ursache zulässt. Leibniz könne keine Existenz einer notwendigen Sache zeigen und somit auch nicht die Existenz eines göttlichen Wesens, denn dieses müsste lt. Definition ein notwendiges Wesen sein. (Vgl. Broman/Kreis, Gottesbeweise, 2011, S 123)

==== Kosmologischer Gottesbeweis anhand der Feinabstimmung der Naturkonstanten ====
{{Hauptartikel|Feinabstimmung der Naturkonstanten}}
Eine moderne Varianten des [[Kosmologie|kosmologischen]] Gottesbeweises argumentiert wie folgt: Die [[Physikalische Konstante|physikalischen Naturkonstanten]] sind so aufeinander abgestimmt, dass Leben, wie wir es kennen, möglich ist. Wenn die Naturkonstanten, von den beobachteten Werten auch nur geringfügig (im Promillebereich) abweichen würden, dann wäre das Leben im Universum nicht möglich. Die Feinabstimmung der Naturkonstanten kann mit einer planvollen Wahl durch einen Schöpfergott erklärt werden.

=== Der teleologische Gottesbeweis ===
{{Hauptartikel|Teleologisches Argument}}

==== Beweisgang bei Thomas von Aquin ====

Der Begriff [[Teleologie]] bezieht sich traditionell, etwa bei [[Thomas von Aquin]], auf eine planvolle Einrichtung der Welt, durch welche die Dinge eine höhere Vollkommenheit erreichen.<ref>De ente et essentia 4: „Non autem potest esse quod ipsum esse sit causatum ab ipsa forma uel quiditate rei, dico sicut a causa efficiente, quia sic aliqua res esset sui ipsius causa et aliqua res se ipsam in esse produceret: quod est impossibile.“</ref><ref>I 3 4: „Si igitur esse rei sit aliud ab ejus essentia, necesse est, quod esse illius rei vel sit causatum ab aliquo exteriori, vel a principiis essentialibus ejusdem rei. ''Impossibile'' est autem, quod esse sit causatum tantum ex principiis essentialibus rei, quia ''nulla'' res sufficit, quod sit sibi causa essendi, si habeat esse causatum. Oportet ergo, quod illud cujus esse est aliud ab essentia sua, habeat esse causatum ab ''alio''.“</ref><ref>ST I–II q 1 a 2 „Prima autem inter omnes causas est causa finalis. Cujus ratio est, quia materia non consequitur formam, nisi secundum quod movetur ab agente: nihil enim reducit se de potentia ad actum.“</ref> Die Teleologie geht also über die ursprüngliche Vollkommenheit der Dinge hinaus, bezieht sich auf eine offene Naturkausalität<ref>ST I 103 a 1 resp „Ultima autem perfectio uniuscujusque est in consecutione finis. Unde ad divinam bonitatem pertinet, ut sicut produxit res in esse, ita etiam eas ad finem ''perducat''; quod ''est'' gubernare.“</ref><ref>ST I 103 a 1 resp „Cum enim optimi sit optima producere, non convenit summae Dei bonitati quod res productas ad perfectum non perducat.“</ref> und bedarf einer äußeren Ursache. Diese ist aufgrund einer intentionalen Ordnung notwendigerweise intelligent.<ref>ST I–II q 1 a 2 „Illa quae rationem habent, seipsa movent ad finem, quia habent dominium suum actuum per liberum arbitrium, quod est facultas voluntatis et rationis; illa vero quae ratione carent, tendunt in finem propter naturalem inclinationem, quasi ab alio mota, non autem a seipsis, cum non cognoscant rationem finis; et ideo nihil in finem ordinari possunt, sed solum in finem ab alio ordinantur.“ Aristoteles Phys. lib. II, text. 49.</ref>

Der teleologische Gottesbeweis geht dabei traditionell von der Weltenlenkung aus ''(gubernatio rerum)''.<ref>ST q 2 a 3 resp</ref> Es ist demnach feststellbar, dass es in den Dingen dauerhafte oder angehäufte Verbesserungen gibt. Diese bedürften notwendigerweise einer Weltenlenkung.<ref>Videmus enim in rebus naturalibus provenire quod melius est, aut semper, aut in pluribus; quod ''non contingeret'', nisi per aliquam providentiam res naturales dirigerentur ad finem boni, quod ''est'' gubernare. ST I q 103 a 1 resp.</ref> Unvernünftige Dinge seien nicht in der Lage, ein Ziel zu verfolgen und bedürfen anderer Dinge, die sie zum Ziel bestimmen.<ref>ST I q 2 a 3 resp „Ea autem quae non habent cognitionem, non tendunt in finem, nisi directa ab aliquo cognoscente et intelligente, sicut sagitta a sagittante.“</ref> An oberster Stelle müsse ein intelligentes Wesen stehen, das eben in der Lage ist, ein Ziel vorzugeben.<ref>ST I q 2 a 3 resp „Ergo est aliquid intelligens, a quo omnes res naturales ordinantur ad finem;“</ref> „Und das heißen wir Gott“, sagt Thomas von Aquin.<ref>Thomas von Aquino: ''Summe der Theologie'', zusammengefasst, eingeleitet und erläutert von Joseph Bernhart, Band I: ''Gott und Schöpfung.'' Alfred Kröner, Stuttgart 1938, S. 25.</ref>

==== Uhrmacher-Analogie ====
{{Hauptartikel|Uhrmacher-Analogie}}

=== Gott als moralisch notwendige Annahme bei Kant ===
[[Immanuel Kant]] (1724–1804) widersprach der Möglichkeit kosmologischer, teleologischer und ontologischer Gottesbeweise. Theoretisch sei das Ideal eines höchsten Wesens „nichts anderes als ein ''regulatives Prinzip'' der Vernunft, alle Verbindungen in der Welt so anzusehen, ''als ob'' sie aus einer allgenügsamen notwendigen Ursache entspränge“ und nicht die „Behauptung einer an sich notwendigen Existenz“.<ref>Kant: ''Kritik der reinen Vernunft'', B 647.</ref> Für die praktische Vernunft ist es dennoch „moralisch notwendig, das Dasein Gottes anzunehmen“, denn das moralische Gesetz führt über den Begriff des höchsten Guts zur Erkenntnis aller Pflichten als göttliche Gebote.<ref>Kant: ''[[Kritik der praktischen Vernunft]]'', A 226.</ref> In seiner ''Kritik der teleologischen Urteilskraft'' trat Kant schließlich einen eigenen moralischen Gottesbeweis an: „Folglich müssen wir eine moralische Weltursache (einen Welturheber) annehmen, um uns, gemäß dem moralischen Gesetze, einen Endzweck vorzusetzen; und so weit als das letztere notwendig ist, so weit ist auch das erstere anzunehmen: nämlich es sei ein Gott.“<ref>Kant: ''[[Kritik der Urteilskraft]]'', S. 621, Konkordanz: 424.</ref> Hierbei handele es sich jedoch nicht „um einen ''objektiv''-gültigen Beweis vom Dasein Gottes“, sondern Kant schränkte die Gültigkeit des Beweises ein: „Die Wirklichkeit eines höchsten moralisch-gesetzgebenden Urhebers ist also bloß ''für den praktischen Gebrauch'' unserer Vernunft hinreichend dargetan, ohne in Ansehung des Daseins desselben etwas theoretisch zu bestimmen“.<ref>Kant: ''Kritik der Urteilskraft'', Konkordanz: 434.</ref> Insofern erbringt Kant keinen Gottes''beweis'' im logisch-philosophischen Sinne.

=== Ciceros Gottesbeweis e consensu gentium ===
Der ethnologische oder historische Gottesbeweis wurde von [[Marcus Tullius Cicero|Cicero]] (106–43 v.&nbsp;Chr.) beigetragen. Er ging davon aus, dass es kein religionsloses Volk gibt ([[Consensus gentium|e consensu gentium]]). Die gemeinsame Gotteserfahrung aller Völker lässt auf die reale Existenz von Göttlichem schließen:
{{Zitat|Es gibt kein Volk, das so wild, und niemanden unter allen, der so roh wäre, daß er in seinem Geist nicht einen Gedanken an die Götter trüge – viele meinen über die Götter Verkehrtes (das aber pflegt aus einem schlechten Lebenswandel zu rühren) – dennoch glauben alle, daß es eine göttliche Kraft und Natur gibt; das bewirkt aber nicht eine Verabredung oder ein Konsens unter den Menschen, und auch wird die Annahme nicht durch Einrichtung oder Gesetze in Geltung gesetzt; die Übereinstimmung aller Völker in der ganzen Sache muß [darum] für ein Naturgesetz genommen werden.|ref=<ref>Cicero, Markus Tullius: Gespräche in Tusculum. I, 30., in: Gigon, Olof: Gespräche in Tusculum. München, 1992.</ref>}}

=== Der pragmatische Gottesbeweis ===
Im [[Pragmatismus]] geht man davon aus, dass [[Wahrheit]] und [[Utilitarismus|Nützlichkeit]] dasselbe sind. Daraus schlussfolgerte der Philosoph [[William James]], dass der Glaube an Gott zum [[Optimismus]] führe wie das [[Vertrauen]] in die [[Zukunft]] etc., während der [[Atheismus]] zu [[Pessimismus]] und [[Verzweiflung|Hoffnungslosigkeit]] etc. führe. Daraus wird die Konklusion gezogen, dass der Gottesglaube wahr und der Atheismus falsch sei.<ref>[http://www.philolex.de/gottesbe.htm www.philolex.de]</ref>

=== Die „Pascalsche Wette“ ===
{{Hauptartikel|Pascalsche Wette}}
Kein Gottesbeweis im eigentlichen Sinne, sondern eine Argumentation, warum es auch in Ermangelung von Beweisen sinnvoll sei, an Gott zu glauben, ist die mit Argumenten der [[Kosten-Nutzen-Analyse]] operierende ''[[Pascalsche Wette]]''. Der französische Mathematiker und Philosoph [[Blaise Pascal]] (1623–1662) argumentierte, dass es besser sei, bedingungslos an Gott zu glauben, weil man nichts verlöre, wenn er nicht existiert, aber auf der sicheren Seite sei, wenn es doch einen Gott gibt: „Setzen Sie also ohne zu zögern darauf, dass es ihn gibt.“<ref>Blaise Pascal, Penseés, Nr. 233, Übers. aus d. Frz., [http://www.zeno.org/Philosophie/M/Pascal,+Blaise/Gedanken+%C3%BCber+die+Religion/Zweiter+Theil:+Gedanken,+welche+sich+unmittelbar+auf+die+Religion+beziehen/3.+Da%C3%9F+es+schwer+ist+das+Dasein+Gottes+durch+die+nat%C3%BCrlichen+Geisteskr%C3%A4fte+zu+beweisen;+aber+da%C3%9F+das+Sicherste+ist+es+zu+glauben Online-Textausgabe]</ref>

== Kritik ==
Zu jeder angeführten Kritik an diesen Gottesbeweisen sei gesagt, dass sich die Existenz eines Gottes wissenschaftlich weder beweisen noch widerlegen lässt. Gott ist daher genauso ein Gegenstand des Glaubens wie etwa die [[Reinkarnation]].<ref>{{Literatur |Autor=Joachim Stiller |Titel=Religionsphilosophie und philosophische Theologie |Verlag=neobooks |Datum=2015 |ISBN=978-3-7380-1579-9 |Online={{Google Buch |BuchID=hDjLBgAAQBAJ |Seite=33}} }}</ref> Nach [[Bertrand Russell]] liegt zudem die Beweislast bei denjenigen, die eine Behauptung aufstellen. Keinesfalls stünden andere in der Pflicht, diese zu widerlegen. Die [[Russells Teekanne|Analogie der Teekanne]] diente Bertrand Russell zur Veranschaulichung. [[Christopher Hitchens]] geht sogar so weit zu sagen, dass alles ohne stichhaltige Belege verworfen werden muss ([[Hitchens Rasiermesser]]).

=== Am ontologischen Gottesbeweis ===
Bereits der Mönch [[Gaunilo von Marmoutiers]], ein Zeitgenosse Anselms, wie auch später [[Thomas von Aquin]] kritisierten Anselms Version des ontologischen Gottesbeweises. Gaunilo hält Anselm entgegen,<ref>Gaunilo von Marmoutiers: ''Quid ad haec respondeat quidam pro insipiente (Was zu dieser [Sache] irgendeiner für den Toren antworten könnte)''. Anselm wiederum schreibt eine Replik an Gaunilo: ''Quid ad haec respondeat editor ipsius libelli (Was zu dieser [Sache] der Autor seines eigenen Büchleins antworten könnte)''. Anselm besteht selbst darauf, dass dem ''Proslogion'' diese beiden Schreiben hinzugefügt werden, vgl. Anselm von Canterbury; Robert Theis (Übers.): ''Proslogion'', Stuttgart 2005, S. 138.</ref> man könne aus dem Begriff nicht auf die Existenz des damit bezeichneten Sachverhalts schließen. Der (bloße) Begriff einer „vollkommenen Insel“ etwa beweise nicht (schon) deren tatsächliche Existenz. Anselm erwidert, die Logik seiner Argumentation lasse sich auf nichts anderes anwenden als „das, worüber hinaus nichts Größeres gedacht werden kann“.<ref>Hansjürgen Verweyen: ''Nach Gott fragen. Anselms Gottesbegriff als Anleitung'' (Christliche Strukturen in der modernen Welt. Hrsg. v. Wilhelm Plöger; 23). Ludgerus, Essen 1978, S. 38 ([http://www.ub.uni-freiburg.de/referate/04/verweyen/anselm5.htm Online-Text]).</ref><ref>Vgl. auch [[Konrad Goehl]], [[Johannes Gottfried Mayer]]: ''Deus in cogitatione existens. Der Appendix zum „Proslogion“ des Anselm von Canterbury – oder: Kann Gaunilos Nicht-Sein gedacht werden?'' In: Konrad Goehl, Johannes Gottfried Mayer (Hrsg.): ''Editionen und Studien zur lateinischen und deutschen Fachprosa des Mittelalters. Festgabe für [[Gundolf Keil]] zum 65. Geburtstag.'' Königshausen & Neumann, Würzburg 2000 (= ''Texte und Wissen.'' Band 3), ISBN 3-8260-1851-6, S. 339–402.</ref>

Thomas von Aquin versucht, den ontologischen Gottesbeweis in seiner [[Summa contra gentiles]] (Buch I, Kapitel 11) und in der Summa theologica (1.&nbsp;Buch, 2.&nbsp;Untersuchung, 2.&nbsp;Artikel) zu widerlegen, ohne Anselm explizit als Urheber dieses Gottesbeweises zu nennen. Nach Thomas von Aquin ist der Begriff von Gott als etwas, über das hinaus nichts Größeres gedacht werden kann, nicht unmittelbar einleuchtend. Daraus, dass dieser verstanden wird, folge lediglich, dass Gott im Verstande ist, nicht aber, dass er tatsächlich existiert. Zudem habe Anselm nicht unterschieden zwischen dem, was schlechthin einleuchtend ''(per se notum simpliciter)'' und dem, was für den Menschen unmittelbar einleuchtend (per se notum quoad nos) ist. Da der Mensch das Wesen ''(essentia)'' Gottes mit seinem menschlichen Verstand gar nicht ergreifen kann, kann man nicht argumentieren, dass Gottes Existenz unmittelbar einleuchtend ist, da sein Sein sein Wesen ist ''(esse est essentia)''.

In der Neuzeit hat [[Gottfried Wilhelm Leibniz]] (1646–1716) die Variante des ontologischen Gottesbeweises von [[René Descartes]] (1596–1650) dahingehend korrigiert, dass zunächst die Möglichkeit der Existenz Gottes zu zeigen ist, unter dieser Voraussetzung aber dem Beweis zugestimmt: „Gesetzt, Gott ist möglich, so existiert er.“<ref>Leibniz: ''Nouveau Essays'', IV.10 §8: „Supposé Dieu soit possible, il exist.“</ref>

Die bekannteste neuzeitliche Kritik des ontologischen Gottesbeweises stammt von Immanuel Kant ({{Kant|3|397||||''Kritik der reinen Vernunft'' B 620–621|399}}). In der '' [[Kritik der reinen Vernunft]]'' (1781, 2. Auflage 1787) versucht er zu zeigen, dass der ontologische Beweis verschiedene [[Kategorie (Philosophie)|Kategorien]] vermengt. So werde der [[Modalität (Philosophie)|modale]] Begriff ''sein'' wie ein Begriff verwendet, der der Kategorie Qualität unterzuordnen sei, also eine Eigenschaft. So wird aber ein „bloß logisches“ Prädikat wie ein „reales“ behandelt, also die Verknüpfung der Vorstellungen nicht dahingehend unterschieden, ob sie auf subjektiven oder objektiven Gründen beruht. Zu sagen, dass ein Ding ''ist'' oder ''existiert'', fügt ihm nichts (keine Eigenschaft) hinzu. Der einzige Beweis für eine Existenz ist die Erfahrung. Man wiederholt daher nur, dass man ''erfahren'' hat, dass dieses Ding existiert. Weiterhin setzt die Definition des vollkommenen Wesens nach Kant dessen Existenz bereits voraus. Der ontologische Beweis ist daher schlicht ein [[Zirkelschluss]] oder eine [[Tautologie (Logik)|Tautologie]]. Da Gott keine objektive Realität besitzt, liegt kein Widerspruch in der Verneinung von Gottes Existenz, es wird damit nicht einmal die Vorstellung des Wesens an sich geleugnet. Wenn aber der Satz „Ein vollkommenes Wesen existiert nicht!“ nicht logisch widersprüchlich ist, dann ist der Satz „Ein vollkommenes Wesen existiert!“ nicht logisch notwendig.

Die Argumentation Kants hatte weitreichende Folgen. So führte sie den Logiker [[Gottlob Frege]] (1848–1925) dazu, in seiner [[Formalisierung]] der Logik Existenz nicht als [[Prädikat (Logik)|Prädikat]], sondern durch einen Operator, den [[Quantor|Existenzquantor]], auszudrücken. Damit wird die Unterscheidung zwischen realen Prädikaten und scheinbar realen Prädikaten von der [[Analytische Philosophie|Analytischen Philosophie]] aufgegriffen. [[Bertrand Russell]] (1872–1970) kritisierte am ontologischen Gottesbeweis, dass er nur dann wahr sein kann, wenn es einen direkten Weg aus der Phantasie in die Realität gibt. Ähnlich argumentiert auch [[Norbert Hoerster]] (geb. 1937). Demnach sagt es nichts über die Wahrheit einer [[Hypothese]] aus, wenn ihr Erfinder die Existenz mit in die Definition aufnimmt.<ref>Norbert Hoerster: ''Die Frage nach Gott'', beck, München 2005, S. 15ff</ref> [[Alfred Jules Ayer]] (1910–1989) wies darauf hin, dass man durchaus darauf beharren kann, dass zum Begriff „Gott“ auch die Existenzbehauptung gehört. Aber aus der Annahme, dass das größte denkbare Wesen auch existieren muss, folgt noch nicht, dass auch ein Wesen tatsächlich vorhanden ist, das dem so bestimmten Begriff entspricht.

Auch Gödels formal zweifelsfrei korrekter ontologischer Beweis ist umstritten. Einerseits muss der logisch-ontologische Rahmen zur Theorie positiver, negativer und [[Wesen (Philosophie)|essentieller]] Eigenschaften akzeptiert werden. Andererseits erhebt sich die Frage, ob der Beweis inhaltlich sein Ziel erreicht. Problematisch ist nämlich nach Thomas Gawlick der Nachweis positiver Eigenschaften zur [[Theodizee]]-Frage, nämlich der Beweis von Gottes Liebe und Allmacht und deren Vereinbarkeit, weil nur die Identität ''x''&nbsp;=&nbsp;''x'' als positive göttliche Eigenschaft bewiesen werden kann.<ref>{{Webarchiv|url=http://www.idmp.uni-hannover.de/fileadmin/institut/IDMP-Studium-Mathematik/downloads/Gawlick/Predigt_Gawlick_Gottesbeweise.pdf |wayback=20130524164359 |text=Gawlick, Th.: Was sind und was sollen mathematische Gottesbeweise? |archiv-bot=2023-05-15 00:08:36 InternetArchiveBot }} Kommentar zu Gödels Autograph S. 2, letztes Theorem: ''x''&nbsp;=&nbsp;''x'' is positiv.</ref> Der zeitgenössische Philosoph und Logiker Joachim Bromand äußert ferner folgende Kritik: Gödels Beweis zeige nicht, dass die Eigenschaften Gottes eine konsistente Menge bilden, also die Menge der Eigenschaften Gottes eine Menge positiver Eigenschaften ist. „In diesem Sinne“ sei er als Beweis für die Existenz Gottes unvollständig. Die Eigenschaften Gottes zu untersuchen und auszuwerten sei aber Aufgabe der Theologie und gehöre nicht zum Anliegen des Beweises.<ref>{{Literatur |Autor=Joachim Bromand |Titel=Gottesbeweise von Anselm bis Gödel |Reihe=Suhrkamp Taschenbuch Wissenschaft |Auflage=1. |Verlag=[[Suhrkamp]] |Ort=Berlin |Datum=2011 |ISBN=978-3-518-29546-5 |Seiten=405}}</ref>

=== Am kosmologischen Gottesbeweis ===
Ein häufiger Kritikpunkt ist die fehlende [[Schlüssigkeit]] in der Beweisführung. Die Schlussfolgerung bricht die [[Kausalität|Kausalkette]] willkürlich ab und verwirft letztlich das Kausalitätsprinzip: denn entweder ''alles'' hat eine Ursache ''oder'' Gott ist ohne Ursache.<ref>Norbert Hoerster: ''Die Frage nach Gott'', beck, München 2005, S. 21</ref>

[[Carl Sagan]] (1934–1996) nahm in der Dokumentation [[Unser Kosmos]] zu dem Thema Stellung und argumentierte mit [[Ockhams Rasiermesser]]: Falls Gott das Universum aus dem Nichts erschaffen hat, muss die Frage nach der Herkunft Gottes geklärt werden. Wenn der Ursprung Gottes als unbeantwortbar postuliert wird, lässt sich ein Schritt in der Argumentationskette einsparen: Die Frage nach der Entstehung des Universums ist nicht beantwortbar. Falls man davon ausgeht, dass Gott schon immer da war: Das Universum war schon immer da.<ref>Carl Sagan: Unser Kosmos. eine Reise durch das Weltall, Kapitel 10: Am Rande der Ewigkeit, 1996, ISBN 3-86047-244-5</ref>

[[Richard Dawkins]] (geb. 1941) geht in seinem Buch ''[[Der Gotteswahn]]'' detailliert auf das kosmologische Argument ein. Er lehnt den Versuch ab, Gott als Ausweg aus einem [[Infiniter Regress|infiniten Regress]] zu akzeptieren, und weist daher Via I, II und III zurück. Das Stufenargument hält er für zu unspezifisch: Genauso gut könne man für negative Attribute ein unübertreffbares Maximum benötigen und damit beweisen, dass Gott unerwünschte oder triviale Eigenschaften besitzt.<ref>Richard Dawkins: ''Der Gotteswahn'' (Originaltitel: ''The God Delusion''), 2. Auflage. Ullstein, Berlin 2007, ISBN 978-3-550-08688-5, S. 109.</ref>

Die Kant’sche Kritik am kosmologischen Gottesbeweis setzt noch tiefer an: Die Kausalität bildet für Kant letztlich nur eine Verstandskategorie, die unserem Denken immanent ist und insofern unvermeidbar in unserem Bewusstsein als Struktur über die Inhalte unserer Sinneswahrnehmungen gelegt wird. Die Wirklichkeit selbst bzw. die Dinge an sich können wir hingegen nicht erfassen. Insofern entzieht sich unserem Erkenntnisvermögen auch die Feststellung, ob nicht bloß unsere eigene Vorstellung, sondern auch die Wirklichkeit ihrerseits den Regeln der Kausalität gehorcht, wie sie als Verstandeskategorie unser Denken beherrscht. Mithin lässt sich laut Kant bereits die Prämisse des kosmologischen Gottesbeweises nicht überprüfen.<ref>{{Literatur |Autor=Immanuel Kant |Titel=Kritik der reinen Vernunft (2. Auflage. 1787) |Sammelwerk=Kants Werke (Akademie-Ausgabe) |Band=Bd. III |Ort=Berlin |Datum=1968 |ISBN= |Seiten=414}}</ref>

=== Am teleologischen Gottesbeweis ===
Ein früher Kritiker des teleologischen Gottesbeweises ist [[David Hume]] (1711–1776) in seinen ''Dialogues Concerning Natural Religion''.<ref>Norbert Hoerster: ''Die Frage nach Gott.'' Beck, München 2005, S. 27–32</ref> Immanuel Kant behandelt teleologische Gottesbeweise unter dem Schlagwort der [[Physikotheologie]].<ref>Vgl. auch [[Richard Toellner]]: ''Die Bedeutung des physico-theologischen Gottesbeweises für die nachcartesianische Physiologie im 18. Jahrhundert.'' In: ''Berichte zur Wissenschaftsgeschichte.'' Band 5, 1982, S. 75–82.</ref> Er gesteht diesen Beweisen zwar zu, dass sie die Idee Gottes wahrscheinlicher wirken lassen, es handele sich aber nicht um zwingende Beweise: Die Ordnung der Natur sei nur ein Hinweis auf einen [[Demiurg]]en, der die Materie in eine Ordnung bringt, nicht aber auf einen [[Schöpfergott]], der aus dem Nichts erschaffen kann, was er will. Ein physikotheologischer Beweis täuscht also nur vor, einen empirischen Beleg für die Existenz eines Gottes im christlichen Verständnis zu liefern, insbesondere kann das Haben einer Gottesvorstellung nicht auf die Naturerfahrung zurückgeführt werden, sondern muss ein Produkt des spekulativen Vernunftgebrauchs sein.<ref>[http://www.textlog.de/33097.html Eintrag ''Physikotheologischer Gottesbeweis''] im Kant-Lexikon von [[Rudolf Eisler (Philosoph)|Rudolf Eisler]] (1930)</ref>

In jüngerer Zeit hat das teleologische Argument durch die [[Intelligent-Design-Bewegung]] in den USA eine Neuauflage erhalten, die bestreitet, dass die [[natürliche Selektion]] für die [[Evolution]] ausreicht. Kritiker des teleologischen Beweises setzen meist an einer der beiden Fragen an: „Bestehen Ordnung, Schönheit und Zweckmäßigkeit wirklich?“ und „Wenn Zweckmäßigkeit wirklich besteht, muss deswegen eine Instanz existieren, die diese geschaffen hat?“ Die zweite Frage wird oft mit dem Hinweis verneint, dass „Zweckmäßigkeit“ problemlos durch die Evolutionstheorie erklärbar sei.<ref>so Richard Dawkins: ''Und es entsprang ein Fluss in Eden. Das Uhrwerk der Evolution''. Goldmann Science masters, München 1998, S. 73 ff („Heimlicher Nutzen“)</ref><ref>Norbert Hoerster: ''Die Frage nach Gott.'' Beck, München 2005, S. 31</ref>

=== Am moralischen Gottesbeweis ===
Als Grund gegen eine objektive Moral wird das [[Euthyphron-Dilemma]] angeführt. Zudem lässt sich Moral auch [[Evolutionstheorie|evolutionär]] dadurch erklären, dass ein Lebewesen besser im [[Rudel (Verhaltensbiologie)|Rudel]] als alleine leben kann, so dass daher [[Altruismus|altruistische]] [[Ethik]] zustande kommt.<ref>[https://plato.stanford.edu/entries/moral-arguments-god/ Kritik am moralischen Gottesbeweis (englisch)]</ref>

=== Am axiologischen Gottesbeweis ===
Die Werte und Glücksvorstellungen entstehen eher aus menschlichen [[Bedürfnis]]sen, die durch [[Sozialisation]] und [[Disposition (Medizin)|genetische Dispositionen]] in einer bestimmten [[Gesellschaft (Soziologie)|Gesellschaft]] und einem bestimmten [[Kultur]]kreis [[Konditionierung|konditioniert]] werden. Somit muss es nicht notwendigerweise eine unabhängige und [[Transzendenz|transzendente]] Entität geben, die die Werte und Glücksvorstellungen [[Offenbarung|offenbart]].<ref>[http://www.philolex.de/gottesbe.htm#kagb Kritik am axiologischen Gottesbeweis]</ref> Feuerbach argumentierte hier, dass der Mensch eher von sich auf ein größeres Sein projiziert.

=== Am pragmatischen Gottesbeweis ===
Der [[Pragmatismus]] wird ohnehin darin kritisiert, dass Wahrheit nicht immer Nützlichkeit bedeutet. Daher ist die Annahme falsch, dass der Theismus zu Optimismus, Vertrauen in die Zukunft etc. führt und der Atheismus zu Pessimismus, Hoffnungslosigkeit etc. Es gibt unter den Atheisten, [[Agnostizismus|Agnostikern]] und [[Skeptizismus|Skeptikern]] viele Menschen mit einer optimistischen [[Lebensqualität|Lebenseinstellung]], während es unter den Theisten Menschen mit einer pessimistischen Lebenseinstellung gibt. Selbst wenn der Pragmatismus stimmig wäre, ließe sich damit nicht Gott, sondern lediglich der Glaube bewahrheiten.<ref>[http://www.philolex.de/gottesbe.htm#kgbp Kritik am pragmatischen Gottesbeweis]</ref>

=== An der Pascalschen Wette ===
:''siehe auch: [[Pascalsche Wette#Kommentare und Kritik|Abschnitt Kritik im Artikel Pascalsche Wette]]''

Der Philosoph [[John Leslie Mackie]] (1917–1981) kritisierte an dieser Argumentation, dass eine Reihe von Möglichkeiten unbedacht bleibe. Ob jemand an Gott glaube oder nicht, könne für die Art und Weise, wie Gott die betreffende Person behandle, irrelevant sein. Ein göttliches Wesen könne sogar ehrlichen Atheisten wohlgesinnter sein als Menschen, die aufgrund der von Pascal vorgebrachten Argumente an Gott glauben. Weiterhin sei es möglich, dass nicht der Glaube an Gott im Allgemeinen oder an den christlichen Gott, sondern etwa einzig der Glaube an [[Odin]] oder Allah über das Schicksal einer Person nach dem Tod entscheide. Man könne sich daher aufgrund der Wette für den Glauben an den falschen Gott entscheiden und trotz des Glaubens das Los der Ungläubigen teilen.<ref>John Leslie Mackie: ''Das Wunder des Theismus. Argumente für und gegen die Existenz Gottes.'' Reclam, Stuttgart 2007, S.&nbsp;322.</ref>

== Literatur ==
{{Philosophie-Bibliographie|Gottesbeweis}}

'''Überblicke'''

* E. D. Buckner (Hrsg.): ''The Existence of God'' (einschlägige Texte von [[Aristoteles]], [[Thomas von Aquin]], René Descartes und [[John Locke]] in engl. Übers.)
* Reinhard Hiltscher: ''Gottesbeweise.'' Wissenschaftliche Buchgesellschaft, Darmstadt 2008, ISBN 978-3-534-20011-5.
* Norbert Samuelson, John Clayton: Art. ''Gottesbeweise'', I (Samuelson), II–III (Clayton), in: [[Theologische Realenzyklopädie|TRE]], Bd. 13, 708–784.

'''Geschichte der Gottesbeweise'''

* Herbert A. Davidson: ''Proofs for Eternity, Creation and the Existence of God in Medieval Islamic and Jewish Philosophy.'' Oxford University Press, New York 1987.
* H. Schultze: ''Der ontologische Gottesbeweis. Geschichtlich-kritische Übersicht bis Kant.'' Hamburg 1900.
* M. Esser: ''Der ontologische Gottesbeweis und seine Geschichte.'' Bonn 1905.
* Augustinus Daniels: ''Gottesbeweise im XIII. Jahrhundert mit bes. Rücksicht auf dem ontologischen Argument.'' Münster 1909 (= ''BGPhMA.'' Bd. VIII).
* Augustinus Daniels, OSB: ''Quellenbeiträge und Untersuchungen zur Geschichte der Gottesbeweise im 13. Jahrhundert mit besonderer Berücksichtigung des Arguments im Proslogion des Hl. Anselm.'' Münster 1909 (= ''Beiträge zur Geschichte der Philosophie des Mittelalters. Texte und Untersuchungen.'' Band 8, Heft 1).
* G. Grunwald: ''Geschichte der Gottesbeweise im Mittelalter bis zum Ausgang der Hochscholastik. Nach den Quellen dargestellt.'' Münster 1907 (= ''BGPhMA.'' Bd. VI, 3) ([http://www.archive.org/search.php?query=%22Geschichte%20der%20Gottesbeweise%20im%20Mittelalter%20bis%20zum%20Ausgang%20der%20Hochscholastik%22 Faksimiles]).
* [[Alvin Plantinga]] (Hrsg.): ''The Ontological Argument from St. Anselm to Contemporary Philosophers.'' New York 1965.
* [[Johannes Hirschberger]]: ''Gottesbeweise. Vergängliches – Unvergängliches.'' in: J. Hirschberger, J. G. Denninger (Hrsg.): ''Denkender Glaube.'' Frankfurt am Main 1966, S. 101–149.
* [[Dieter Henrich (Philosoph)|Dieter Henrich]]: ''Der Ontologische Gottesbeweis: sein Problem und seine Geschichte in der Neuzeit.'' Tübingen 1967.
* H. Knudsen: ''Gottesbeweise im Deutschen Idealismus. Die modaltheoretische Begründung des Absoluten dargestellt an Kant, Hegel und Weiße.'' Berlin / New York 1972.
* [[Hansjürgen Verweyen]]: ''Nach Gott fragen. Anselms Gottesbegriff als Anleitung.'' Ludgerus, Essen 1978 (= ''Christliche Strukturen in der modernen Welt.'' Band 23). ([http://www.ub.uni-freiburg.de/referate/04/verweyen/anselm0.htm Online-Ausgabe])
* [[Friedo Ricken]] (Hrsg.): ''Klassische Gottesbeweise in der Sicht der gegenwärtigen Logik und Wissenschaftstheorie.'' 2. Auflage. Kohlhammer, Stuttgart 1998 (= ''Münchener philosophische Studien.'' Neue Folge, Band 4), ISBN 3-17-014416-2.
* [[Konrad Goehl]], [[Johannes Gottfried Mayer]]: ''Deus in cogitatione existens. Der Appendix zum „Proslogion“ des Anselm von Canterbury – oder: Kann Gaunilos Nicht-Sein gedacht werden?'' In: Konrad Goehl, Johannes Gottfried Mayer (Hrsg.): ''Editionen und Studien zur lateinischen und deutschen Fachprosa des Mittelalters. Festgabe für [[Gundolf Keil]] zum 65. Geburtstag.'' Königshausen & Neumann, Würzburg 2000 (= ''Texte und Wissen.'' Band 3), ISBN 3-8260-1851-6, S. 339–402.
* T. Kukkonen: ''Averroes and the teleological argument.'' In: ''Religious Studies.'' Band 38, Nr. 4, 2002, S. 405–428.
* [[Rolf Schönberger]]: ''Gott denken. Einführung in die großen Gottesbeweise und Kommentar zum Gottesbeweis Robert Spaemanns.'' In: [[Robert Spaemann]] (Hrsg.): ''Der letzte Gottesbeweis.'' Pattloch, München 2007, ISBN 978-3-629-02178-6, S. 33–127.
* [[Robert Spaemann]]: ''Der letzte Gottesbeweis.'' Pattloch, München 2007, ISBN 978-3-629-02178-6.
* Kevin J. Harrelson: ''The ontological argument from Descartes to Hegel.'' Prometheus Books, Amherst 2009.
* Joachim Bromand, Guido Kreis (Hrsg.): ''Gottesbeweise von Anselm bis Gödel.'' Suhrkamp, Frankfurt am Main 2011.

'''Jüngere systematische Diskussion'''

:: vgl. die Überblicke und Literaturauswahl in den unten genannten Artikeln der [[Stanford Encyclopedia of Philosophy]], sowie die im Artikel [[Atheismus#Literatur|Atheismus]] angeführte Literatur.
* [[William Lane Craig]]: ''Die Existenz Gottes und der Ursprung des Universums.'' Brockhaus, Wuppertal und Zürich 1989, ISBN 3-417-20443-7
* John Haldane / John Jamieson Carswell Smart: ''Atheism and theism'', Blackwell Pub. <sup>2</sup>2003, ISBN 0-631-23259-1.
* [[Hans Küng]]: ''Existiert Gott? Antwort auf die Gottesfrage der Neuzeit'', dtv 1628, München 1981, S. 585
* [[John Leslie Mackie]]: ''Das Wunder des Theismus. Argumente für und gegen die Existenz Gottes'', Reclam, Stuttgart 1985, ISBN 3-15-008075-4
* [[Ludwig Neidhart]]: ''Gott und Zeit'' (= Studien zur systematischen Theologie, Ethik und Philosophie 9), Aschaffendorf Verlag, Aschendorff 2017, ISBN 978-3-402-11902-0
* Nigel Cundy: ''What is physics?: A defence of classical theism'', Independent Publishing Platform 2017, ISBN 978-1-9744-0165-9
* Graham Oppy: ''Ontological Arguments and Belief in God.'' Cambridge University Press, Cambridge 1995, ISBN 0-521-48120-1


'''Populäre Literatur'''

* Hans-Dietrich Matschke: ''Gottesbeweise und ihre Kritik. '' Vandenhoeck und Ruprecht, Göttingen <sup>6</sup>1979, ISBN 3-525-77410-9 (Göttinger Quellenhefte für Unterricht und Arbeitsgemeinschaft Bd. 1)

== Weblinks ==
{{Wiktionary}}
* [http://infidels.org/library/modern/steven_conifer/ar.html The Argument from Reason for the Nonexistence of God]
* [http://www.infidels.org/library/modern/theism/arguments.html Arguments for the Existence of a God] – Linksammlung.

''Bibliographien''

* [http://www.ucl.ac.uk/philosophy/LPSG/Ch09.pdf Bibliographie] des London Philosophy Study Guide (englisch; PDF-Datei; 49 kB)
* R. Corazzon: [http://www.ontology.co/ontological-proof.htm History of the ontological argument] Bibliographie zur Geschichte des ontologischen Gottesbeweises (englisch)
* [http://www.infidels.org/library/modern/graham_oppy/ Graham Oppy] – Website mit Aufsätzen zum Thema Gottesbeweise (englisch)

'''Überblicksdarstellungen'''

* [[Gottfried Gabriel]]: [http://www.hwph.ch/inhalt/artikelbeispiel_3.html ''Gottesbeweis, ontologischer''], in: [[Historisches Wörterbuch der Philosophie]]
* [[Stanford Encyclopedia of Philosophy]]:
** {{Literatur |Autor=Matthew Davidson|Titel=God and Other Necessary Beings|Datum=2019 |Online=https://plato.stanford.edu/entries/god-necessary-being/}}
** {{Literatur |Autor=C. Stephen Evans|Titel=Moral Arguments for the Existence of God|Datum=2018 |Online=https://plato.stanford.edu/entries/moral-arguments-god/}}
** {{Literatur |Autor=Graham Oppy|Titel=Ontological Arguments|Datum=2020 |Online=https://plato.stanford.edu/entries/ontological-arguments/}}
** {{Literatur |Autor=Jeff Jordan|Titel=Pragmatic Arguments|Datum=2018 |Online=https://plato.stanford.edu/entries/pragmatic-belief-god/}}
* [[Internet Encyclopedia of Philosophy]]:
** {{Literatur |Autor=Kenneth Einar Himma|Titel=Design Arguments for the Existence of God|Online=https://www.iep.utm.edu/design/}}
** {{Literatur |Autor=Kenneth Einar Himma|Titel=Ontological Argument|Online=https://www.iep.utm.edu/ont-arg/'}}
* Christoph Zimmer: [http://www.zmm.cc/Wesen.pdf ''Wesen der Gottesbeweise''] (2008) (PDF-Datei; 644&nbsp;kB)

'''Essays'''

* [[Robert Spaemann]]: [https://www.welt.de/print-welt/article560135/Der-Gottesbeweis.html ''Warum wir, wenn es Gott nicht gibt, überhaupt nichts denken können. '']

== Einzelnachweise ==
<references />

[[Kategorie:Theologie]]
[[Kategorie:Natürliche Theologie]]