zbMATH — the first resource for mathematics

Gödel’s ontological proof revisited. (English) Zbl 0855.03005
Hájek, Petr (ed.), Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Berlin: Springer-Verlag. Lect. Notes Log. 6, 167-172 (1996).
Summary: Gödel’s version of the modal ontological argument for the existence of God has been criticized by J. H. Sobel [“Gödel’s ontological proof”, in: J. J. Thomson (ed.), On being and saying. Essays for Richard Cartwright. The MIT Press (1987)] and modified by C. A. Anderson [“Some emendations of Gödel’s ontological argument”, Faith and Philosophy 7, 291-303 (1990)]. In the present paper we consider the extent to which Anderson’s emendation is defeated by the type of objection first offered by the Monk Gaunilo to St. Anselm’s original Ontological Argument. And we try to push the analysis of this Gödelian argument a but further to bring it into closer agreement with the details of Gödel’s own formulation. Finally, we indicate what seems to be the main weakness of this emendation of Gödel’s attempted proof.
For the entire collection see [Zbl 0844.00017].

03A05 Philosophical and critical aspects of logic and foundations