Abstract

The article is devoted to Gödel's Ontological Argument, its place in the history of philosophy, and the current debate over the validity of Ontological Proof. First, we argue that Gödel's argument is a necessary step in the history of the development of Ontological Proof. Second, we show that Gödel's argument is based on implausible axiological principles, but can be appropriately reformulated in terms of plausible axiological principles. Also, we consider the debate over the validity of Gödel`s argument between contemporary neo-Gaunilist Graham Oppy and the advocate of Gödel`s Ontological Proof Michael Gettings. We conclude that Gödel's Ontological Argument is immune to Oppy`s neo-Gaunilism. Finally, given the fact that Oppy`s parody is arguably the most fine-grained Gaunilo-style argument in the history of philosophy, we conclude that Gaunilist line of argumentation, even if successful in refuting Anselm`s Ontological Proof, does not work against Gödel's Ontological Argument.