Skip to main content
  • Print publication year: 2017
  • Online publication date: March 2017

Gödel's Ontological Proof Revisited

from Part II - Contributed Papers

Gödel's version of the modal ontological argument for the existence of God has been criticized by J. Howard Sobel [5] and modified by C. Anthony Anderson [1]. 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 bit 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.

Gaunilo observed against St. Anselm that his form of argument, if cogent, could be used to “prove” all sorts of unwelcome conclusions - for example, that there is somewhere a perfect island. It would seem to even follow that there are near-perfect, but defective, demi-gods and all matter of other theologically repugnant entities. Gaunilo concluded, reasonably enough, that something must be wrong with the argument.

Kurt Gödel's modern version of the Ontological Argument [12] involves an attempt to complete the details of Leibniz's proof that it is possible that there is a perfect being or a being with all and only “positive” attributes. Given this conclusion, other assumptions about positive properties, and, well, a second-order extension of the modal logic S5, Gödel successfully deduced the actual existence, indeed the necessary existence, of the being having all and only positive attributes. Alas, or “Oh, joy!”, depending on ones’ theological prejudices, J. Howard Sobel showed that Gödel's assumptions lead also to the conclusion that whatever is true is necessarily true. Followers of Spinoza aside, this casts quite considerable doubt on the premisses of the argument. We shall consider here Anderson's emendation which does not suffer from the mentioned defect and which is still recognizably closely related to Gödel's argument.

Here are the assumptions and definitions -the notion of a positive attribute is taken as a primitive by Gödel and in the present version. We hasten to add that the idea is not crystal clear; Gödel's own explanations are extremely terse and somewhat cryptic. A property's being positive is supposed to be a good thing, such properties being characteristic of a completely and necessarily non-defective being.

Recommend this book

Email your librarian or administrator to recommend adding this book to your organisation's collection.

Gödel '96
  • Online ISBN: 9781316716939
  • Book DOI:
Please enter your name
Please enter a valid email address
Who would you like to send this to *
Dyckhoff, R.. Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic 78 (1992) 795–807.
Ghilardi, S.. An algebraic theory of normal forms. Annals of Pure and Applied Logic 71 (1995) 189–245.
Ghilardi, S. and Zawadowski, M.. A sheaf representation and duality for finitely presented Heyting algebras. Journal of Symbolic Logic 60 (1995) 911–939.
Ghilardi, S. and Zawadowski, M.. Undefinability of Propositional Quantifiers in the Modal System S4. Studia Logica 55 (1995) 259–271.
Gleit, Z. and Goldfarb, W.. Characters and Fixed Points in Provability Logic. Notre Dame Journal of Formal Logic 31 (1990) 26–36.
Goldblatt, R.. Saturation and the Hennessy-Milner Property. In: [11] 107–129.
Hodges, W.. Model theory. Encyclopedia of Mathematics and its Applications 42 (1993), Cambridge University Press, Cambridge.
Hollenberg, M.. Hennessy-Milner Classes and Process Algebra. In: [11] 187–216.
Hudelmaier, J.. Bounds for cut elimination in intuitionistic propositional logic. Ph.D. Thesis (1989), University of Tubingen, Tubingen.
Pitts, A.. On an interpretation of second order quantification in first order intuitionistic propositional logic. Journal of Symbolic Logic 57 (1992) 33–52.
Ponse, A., de Rijke, M. and Venema, Y. (eds.). Modal Logic and Process Algebra, a Bisimulation Perspective. CSLI Lecture Notes 53 (1995), Center for the Study of Language and Information, Stanford.
Shavrukov, V. Yu.. Subalgebras of diagonalizable algebras of theories containing arithmetic. Dissertationes Mathematicae 323 (1993), Polska Akademia Nauk, Mathematical Institute, Warszawa
Visser, A., van Benthem, J., de Jongh, D. and Renardel de Lavalette, G.. NNIL, a Study in Intuitionistic Propositional Logic. In: [11] 289–326.