Schon seit der Antike und bis in unsere Zeit sind sogenannte
„ontologische Gottesbeweise“ immer wieder in der Diskussion. Obwohl die meisten
Varianten schon seit langem widerlegt wurden, wird immer wieder versucht, diese
pima facie sehr einleuchtenden Gottesbeweise neu zu beleben. Sogar der
Mathematiker Kurt Gödel
hat einen ontologischen Gottesbeweis mit Hilfe der modernen Logik vorgestellt.
Ich möchte heute zunächst allgemein diesen Gottesbeweis vorstellen und dann
eine moderne Variante desselben von Alvin Plantinga.