Der ontologische Gottesbeweis

Anselm von Canterbury hat mit diesem Versuch, die Existenz Gottes logisch zu untermauern, eine der größten Diskussionen losgetreten, die je geführt wurden.
Anselm lebte von 1033 bis 1109 in Frankreich und England. In einem seiner Hauptwerke, dem Proslogion, entwirft er ein logisches Programm um die Existenz Gottes zu beweisen.
Anselm meint, dass jeder sich etwas vorstellen könne, worüber hinaus Größeres nicht gedacht werden kann. Dieses Vorgestellte existiert im Verstand, denn alles was man sich vorstellen kann, existiere im Verstand. Aber es wäre doch noch vollkommener, wenn es auch in Wirklichkeit existieren würde, nicht nur im Verstand. Daher ist ein existierendes x vollkommener als ein vorgestelltes x. Daher existiert Gott, da er ja das ist, worüber hinaus man nichts Vollkommeneres denken können kann. In sich ist dieser Beweis recht schlüssig, es gibt nur zwei Probleme mit ihm.
Erstens: Ist Existenz eine Eigenschaft?
Dieses Gegenargument wurde schon zu Anselms Lebzeiten von einem Mönch Namens Gaunilo vorgetragen. Er meinte, dass man daraus folgern kann, dass die vortrefflichste vorgestellte Insel deshalb auch wirklich existieren müsse, weil man sie sich vorstellen kann. Anselm konterte recht dünn damit, dass dies nur auf Gott als Vollkommenstes Wesen zutreffe. Dieses Argument von Anselm wurde nicht sehr ernst genommen und so gab es eine lange Debatte, ob man die Existenz einer Sache zu deren Eigenschaften zählen kann oder ob sie nicht die Vorraussetzung für alle Eigenschaften darstellt.
Zweitens: Der Beweis ist eigentlich eine Tautologie. Sie besagt anders formuliert nur: Wenn Gott Gott ist, dann ist Gott Gott. Denn macht zuallererst schon die Annahme, dass es das Allervollkommenste gibt. Analytische Urteile a priori (um es mit Kant zu sagen) zeigen aber nur, wie man (momentan) einen Begriff definiert, sie fügen also nichts neues zu einer Sache hinzu.
Wenn man also die Annahme macht, dass es einen Gott gibt, dann folgt aus dieser Annahme auch logisch, dass es einen Gott gibt.