FragenExistiert Gott?Dasjenige, worüber hinaus nichts Größeres gedacht werden kann, existiert
Existiert Gott?TheismusOntologisch

Dasjenige, worüber hinaus nichts Größeres gedacht werden kann, existiert

Das ontologische Argument (Anselm)

Anselme de Cantorbéry ca. 1033 · ca. 1109Gott ist „das, worüber hinaus nichts Größeres gedacht werden kann“: Er kann also nicht allein im Denken existieren.
Profil ansehen
Was es behauptet

Also existiert dasjenige, worüber hinaus nichts Größeres gedacht werden kann, im Geist und auch in der Wirklichkeit: Gott existiert.

Warum

Ein Wesen, über das hinaus nichts Größeres gedacht werden kann, könnte, wenn es nur im Geist existierte, als größer gedacht werden, indem es auch existiert.

Dieselbe Idee im Lauf der Geschichte
Anselme de Cantorbéry1078Proslogion II: die ursprüngliche Fassung, die hier dargestellt wird. Kapitel III fügt hinzu, dass Gott nicht einmal als nicht existierend gedacht werden kann. Der Name „ontologisches Argument“ stammt von Kant (1781), nicht von Anselm.
René Descartes1641Meditation V: Die Existenz gehört zur Idee eines vollkommenen Wesens, wie das Tal zur Idee des Berges gehört. Descartes geht nicht mehr von „dem, worüber hinaus nichts Größeres gedacht werden kann“ aus, sondern von der klaren Idee eines vollkommenen Wesens.
Gottfried Wilhelm Leibniz1714Monadologie § 45: Der Beweis funktioniert, aber unter einer Bedingung, die zuerst gezeigt werden muss, nämlich dass Gott möglich ist (seine Idee enthält keinen Widerspruch).
Georg Wilhelm Friedrich Hegel1830Nach Kant verteidigt Hegel den Beweis noch immer: Gott ist kein endliches Ding wie hundert Taler, sein Begriff schließt das Sein ein.
Kurt Gödel1970Notizen von 1970, veröffentlicht 1987: eine Version in Modallogik, in der Gott alle „positiven“ Eigenschaften besitzt.
Alvin Plantinga1974The Nature of Necessity: Wenn es möglich ist, dass ein maximal großes Wesen existiert, dann existiert es. Die Debatte verlagert sich auf das „es ist möglich“.
Kurz gesagt

„Dasjenige, worüber hinaus nichts Größeres gedacht werden kann, existiert“ ist ein Argument von Anselme de Cantorbéry (Proslogion, Kapitel II und III (1077–1078), 1078) zur Frage „Existiert Gott?“ (Antwort: theismus). Seine These: Also existiert dasjenige, worüber hinaus nichts Größeres gedacht werden kann, im Geist und auch in der Wirklichkeit: Gott existiert. Laut der Logikprüfung von AskPhilosophy (Z3-Solver) ist das Argument nur gültig, wenn man eine Prämisse zugesteht, die der Autor nicht ausdrücklich formuliert (P4). AskPhilosophy präsentiert 5 Einwände, davon 4 mit einer dokumentierten Erwiderung, sowie den Originaltext hinter jeder Prämisse, Wort für Wort geprüft.

Proslogion, Kapitel II und III (1077–1078)
Gültig mit impliziter Prämisse

Um 1077 sucht Anselm, Mönch in der Abtei Le Bec in der Normandie, nach „einem einzigen Argument“, das genügt, um zu beweisen, dass Gott existiert. Er findet es in der bloßen Definition Gottes: „etwas, worüber hinaus nichts Größeres gedacht werden kann“. Auch wer sagt „Es gibt keinen Gott“ (der „Tor“ des Psalms), versteht diese Worte. Existierte dieses Wesen jedoch nur im Denken, könnte man ein größeres denken: dasselbe, aber wirklich. Das ist ein Widerspruch. Also existiert es auch in der Wirklichkeit. Keine Beobachtung der Welt ist nötig: Alles spielt sich im Denken ab. Kant wird diesen Gedankengang später den „ontologischen“ Beweis nennen.

P1Gott ist „etwas, worüber hinaus nichts Größeres gedacht werden kann“. Auch wer leugnet, dass Gott existiert, versteht, was diese Worte bedeuten.
P2Was man versteht, existiert zumindest im Geist. Also existiert dieses Wesen zumindest im Geist, auch für den, der es leugnet.
P3Wenn dieses Wesen nur im Geist existierte, könnte man es als auch in der Wirklichkeit existierend denken, was größer ist. Man könnte also etwas Größeres als es denken.
P4 · implizite PrämisseDie Idee „eines Wesens, über das hinaus nichts Größeres gedacht werden kann“ ist kohärent: Ein solches Wesen ist möglich, es ist keine widersprüchliche Idee wie „die größte aller Zahlen“. Nur unter dieser Bedingung ist es ausgeschlossen, „etwas Größeres als es zu denken“.
Also existiert dasjenige, worüber hinaus nichts Größeres gedacht werden kann, im Geist und auch in der Wirklichkeit: Gott existiert.

klicke auf eine Prämisse, um sie zurückzuweisen

Wenn du alle Prämissen akzeptierst, zwingt dich die Logik dazu, auch die Konklusion zu akzeptieren. Die Debatte dreht sich also um die Prämissen.
Von einem Logik-Solver geprüft: Es ist unmöglich, dass alle Prämissen wahr und die Konklusion falsch sind.
Ohne die implizite Prämisse: Ohne P4 findet der Computer eine Welt, in der die Idee des größten denkbaren Wesens inkohärent ist: Nichts hindert dann daran, immer etwas Größeres zu denken, und dieses Wesen bleibt nur im Verstand, ohne Widerspruch. Es ist wie „die größte ganze Zahl“: Wir verstehen die Wörter, aber wir können immer 1 hinzufügen.
Es handelt sich um eine reductio ad absurdum: Man nimmt an, dass Gott nur im Verstand existiert, und gelangt zu einem Widerspruch (man könnte etwas Größeres denken als das, worüber hinaus nichts Größeres gedacht werden kann). Sie ist gültig, sobald P4 hinzugefügt wird. Anselm sagt sie nicht ausdrücklich: Er setzt voraus, dass seine Definition sinnvoll ist. Die Debatte dreht sich vor allem um P2 (verstehen wir diese Wörter wirklich?), P3 (macht Existenz in der Wirklichkeit etwas „größer“?) und P4 (ist ein solches Wesen überhaupt möglich?).
Analogie. Ein Maler hat ein Bild im Kopf, bevor er es malt: Das Bild existiert dann in seinem Verstand, noch nicht auf der Leinwand (das ist Anselms eigenes Beispiel). Stell dir nun vor, man beschriebe dir „das schönste Bild, das sich denken lässt“. Bliebe es in einem Kopf, so wäre dasselbe Bild an der Wand schöner. Bei einem Bild beweist das nichts. Anselm antwortet, Gott sei der einzige Fall, in dem diese Überlegung funktioniert, weil er das einzige Wesen ist, das in jeder Hinsicht als „das größte Denkbare“ definiert ist.

Einwände

5

Jeder Einwand ist ein Gespräch: Klicke, um zu sehen, wer erwidert und wo die Debatte steht.

G
Gaunilo, Mönch von Marmoutier 1078 · greift Prämisse 2 an

Ich habe dieses Wesen nicht so im Verstand, wie ich die Dinge habe, die ich kenne. Ich kenne die Wirklichkeit, die Gott ist, nicht, und ich kann mir auch keine Vorstellung von ihr anhand einer ähnlichen Sache machen, da ihr nichts gleicht. Ich habe nur Wörter im Verstand, wie bei einer falschen oder erfundenen Sache.

Cantorbéry erwidert
A
Anselm 1079 · Anselms Antwort an Gaunilo
Das ist falsch. Jedes geringere Gut gleicht dem größeren Gut, insofern es ein Gut ist. Indem wir von geringeren Gütern zu größeren aufsteigen (was beginnt und endet, was nicht endet, was sich nie verändert), können wir uns eine Vorstellung von dem machen, worüber hinaus nichts Größeres gedacht werden kann. Es nicht vollständig zu begreifen, hindert nicht daran, es zu verstehen: Wer nicht direkt in die Sonne schauen kann, sieht dennoch das Tageslicht.
Die Debatte geht weiter (unsere Zusammenfassung) Gaunilo hat nicht geantwortet, zumindest in keinem bekannten Text. Doch die Frage kehrt bei Thomas von Aquin wieder: Die Wörter „das größte Wesen“ zu verstehen, heißt nicht, zu wissen, was Gott ist (siehe unten).
Wo die Debatte steht (unsere Zusammenfassung)Anselm antwortet, man mache sich eine Vorstellung vom größten Wesen, indem man von geringeren Gütern zu größeren aufsteigt. Gaunilo hat keine bekannte Erwiderung hinterlassen. Der grundlegende Dissens bleibt bestehen: Genügt es, die Wörter einer Definition zu verstehen, um das Wesen, das sie bezeichnet, im Verstand zu haben?
G
Gaunilo (die verlorene Insel) 1078 · greift Prämisse 3 an

Man erzählt, irgendwo im Ozean gebe es eine Insel, reicher als alle bewohnten Länder, die „die verlorene Insel“ genannt werde, weil man sie nicht finden könne. Ich verstehe diese Wörter. Würde jemand daraus schließen, sie müsse notwendigerweise existieren, da eine wirkliche Insel größer sei als eine nur gedachte, würde ich es für einen Scherz halten. Dieselbe Überlegung würde alles beliebige Vollkommene beweisen: Sie ist also wertlos.

Cantorbéry erwidert
A
Anselm 1079 · Anselms Antwort an Gaunilo
Wenn jemand auch nur eine einzige Sache findet, wirklich oder erdacht, außer „dem, worüber hinaus nichts Größeres gedacht werden kann“, auf die mein Gedankengang zutrifft, werde ich ihm seine verlorene Insel finden und sie ihm schenken, damit er sie nie wieder verliert. Der Gedankengang gilt nur für das größte Wesen von allen, nicht für die reichste Insel.
Alvin Plantinga 1974
Plantinga präzisiert Anselms Antwort: Die vollkommene Insel ist eine inkohärente Idee. Was eine Insel besser macht (die Zahl der Palmen, die Menge der Kokosnüsse), hat kein Maximum: Man kann immer mehr hinzufügen. Es kann also keine Insel geben, über die hinaus sich nichts Größeres denken lässt. Die Vollkommenheiten Gottes dagegen haben sehr wohl ein Maximum: alles wissen, alles können.
Den Rest der Debatte ansehen (1)
G
Graham Oppy, Joshua Rasmussen und Joseph Schmid 2024
Es ist falsch, dass mehr Palmen eine Insel immer besser machen: Zu viele verderben sie am Ende. Die Größe einer Insel ist ein Gleichgewicht zwischen mehreren Eigenschaften, und wir wissen nicht im Voraus, dass es kein bestmögliches Gleichgewicht gibt. Die vollkommene Insel ist also nicht eindeutiger inkohärent als das vollkommene Wesen.
Wo die Debatte steht (unsere Zusammenfassung)Anselm weist die Parodie zurück: Die Insel ist nicht „das, worüber hinaus nichts Größeres gedacht werden kann“. Plantinga fügt hinzu, dass die Vollkommenheit einer Insel kein Maximum hat; Oppy und seine Mitautoren erwidern, dass die Größe einer Insel auch ein Gleichgewicht sein kann, das ein Maximum hat. Die Debatte darüber, was Gott wirklich von den Parodien unterscheidet, bleibt offen.
Thomas von Aquin 1268 · greift Prämisse 3 an

Selbst wenn alle verstehen, dass das Wort „Gott“ „das, worüber hinaus nichts Größeres gedacht werden kann“ bedeutet, folgt daraus nur, dass dieses Wesen im Geist ist, nicht in der Wirklichkeit. Um zu schließen, dass es wirklich ist, müsste man zuerst zugestehen, dass ein solches Wesen tatsächlich existiert, und genau das verweigert derjenige, der Gott leugnet. Thomas schließt daraus nicht, dass Gott nicht existiert: Da wir das Wesen Gottes nicht kennen, muss er aus seinen Wirkungen, aus der Welt, bewiesen werden (die „fünf Wege“ des Thomas).

ohne Erwiderung
Keine Antwort möglich: Der Einwand wurde 1268 erhoben, nach dem Tod des Autors (1109).
Die Debatte geht weiter (unsere Zusammenfassung) Die Verteidiger Anselms entgegnen, dass das Argument nicht im Voraus voraussetzt, dass Gott existiert: Es argumentiert durch Reductio ad absurdum, ausgehend von der bloßen Annahme des Gegners („er existiert nur im Geist“). Thomas hält daran fest, dass der Vergleich zwischen „im Geist“ und „in der Wirklichkeit“ nur für jemanden möglich ist, der weiß, was Gott ist, was bei uns nicht der Fall ist (derselbe Artikel, Hauptantwort).
Wo die Debatte steht (unsere Zusammenfassung)Thomas bestreitet den Übergang von der Idee zur Wirklichkeit; die Verteidiger Anselms entgegnen, dass das Argument durch Reductio ad absurdum aus der eigenen Annahme des Gegners argumentiert. Der grundlegende Dissens: Kann man „im Geist“ und „in der Wirklichkeit“ vergleichen, ohne zu wissen, was Gott ist? Es gibt keine allgemein anerkannte Antwort.
Kant 1781 · greift Prämisse 3 an

„Existieren“ ist keine Eigenschaft, die zu einem Ding hinzukommt und es größer macht. Hundert wirkliche Taler enthalten nicht das mindeste mehr als hundert mögliche. Zu sagen, ein wirkliches Wesen sei „größer“ als dasselbe, nur gedachte Wesen, heißt, die Existenz als eine weitere Vollkommenheit zu behandeln: Das ist der Fehler jedes ontologischen Beweises.

ein Verteidiger erwidert
Keine Antwort möglich: Der Einwand wurde 1781 erhoben, nach dem Tod des Autors (1109).
Norman Malcolm Verteidiger des Arguments · 1960
Malcolm verteidigt das Argument aus Kapitel III. Kant hat gegen Kapitel II recht: Bloße Existenz ist keine Vollkommenheit. Aber Kapitel III sagt etwas anderes: Gott kann nicht einmal als nicht existierend gedacht werden. Notwendige Existenz ist eine echte Vollkommenheit: Ein Wesen, das nicht nicht existieren kann, ist größer als eines, das verschwinden könnte. Diese Fassung entgeht dem Einwand Kants.
Die Debatte geht weiter (unsere Zusammenfassung) Die Debatte nahm dann eine modale Form an (Hartshorne, Plantinga): Wenn ein notwendiges Wesen bloß möglich ist, dann existiert es. Die Diskussion dreht sich dann um die Prämisse „es ist möglich“, siehe das modale ontologische Argument.
Kant 1781 · Kants vorweggenommene Antwort (zum absolut notwendigen Wesen)
Kant hatte das „absolut notwendige Wesen“ bereits untersucht. Wenn ich sage „Gott ist nicht“, hebe ich das Subjekt mit allen seinen Eigenschaften auf, die Notwendigkeit eingeschlossen: Es bleibt nichts übrig, was irgendeinen Widerspruch bilden könnte. Existenz, auch notwendige, lässt sich also nicht aus einem bloßen Begriff ableiten.
Wo die Debatte steht (unsere Zusammenfassung)Malcolm räumt Kant ein, dass einfache Existenz keine Vollkommenheit ist, behauptet aber, dass notwendige Existenz eine sei; Kant hatte bereits behauptet, dass die Aufhebung des Subjekts auch dessen Notwendigkeit ohne Widerspruch aufhebt. Die Debatte verlagerte sich auf die modale Fassung, in der alles von der Prämisse „ein solches Wesen ist möglich“ abhängt.
Leibniz (die fehlende Prämisse) 1714 · greift Prämisse 4 an

Der Beweis gilt nur, wenn Gott möglich ist: Nur das notwendige Wesen hat das Vorrecht, dass es existieren muss, wenn es möglich ist. Man muss also zuerst zeigen, dass seine Idee nicht widersprüchlich ist. Leibniz sagte dies im Hinblick auf Descartes, aber es gilt auch für Anselm. Er selbst glaubt, die Lücke schließen zu können: Was keine Grenzen und keine Negation hat, kann keinen Widerspruch enthalten.

ein Verteidiger erwidert
Keine Antwort möglich: Der Einwand wurde 1714 erhoben, nach dem Tod des Autors (1109).
Kurt Gödel Verteidiger des Arguments · 1970
Zusammenfassung der Struktur seines Beweises: Gödel versucht, diese Lücke zu schließen. Er setzt, dass „positive“ Eigenschaften miteinander verträglich sind, und definiert Gott als das Wesen, das sie alle besitzt. Er folgert daraus, dass Gott möglich ist, und dann mithilfe der Modallogik, dass er notwendig existiert.
J
Jordan Howard Sobel 1987
Gödels Axiome ziehen einen „modalen Kollaps“ nach sich: Alles, was wahr ist, wird notwendig. Der Beweis der Möglichkeit Gottes beweist daher zu viel, und mindestens ein Axiom ist falsch. Der weitere Verlauf der Debatte (Andersons Korrekturen, die Liste der positiven Eigenschaften) wird im modalen Argument behandelt.
Argument ansehen
Die Debatte geht weiter (unsere Zusammenfassung) Die Kritiker entgegnen, dass das Fehlen eines sichtbaren Widerspruchs nicht beweist, dass es keinen gibt: Alles zu wissen, alles zu können und vollkommen gut zu sein, könnten miteinander in Konflikt geraten (etwa das Paradox des zu schweren Steins). Und mit gleichem Recht kann man sagen, dass es möglich ist, dass dieses Wesen nicht existiert. Das ist bis heute der Kern der Debatte um die modale Fassung.
Wo die Debatte steht (unsere Zusammenfassung)Alle erkennen an, dass der Beweis verlangt, dass Gott möglich ist. Gödel versucht, dies durch die Verträglichkeit positiver Eigenschaften zu zeigen; Sobels Einwand zielt auf seine Axiome. Über einen unabhängigen Beweis dieser Möglichkeit besteht keine Einigkeit; sie bleibt der Kern der Debatte.