Review of Symbolic Logic:1-19 (forthcoming)

Abstract
Gödel’s ontological proof is by now well known based on the 1970 version, written in Gödel’s own hand, and Scott’s version of the proof. In this article new manuscript sources found in Gödel’s Nachlass are presented. Three versions of Gödel’s ontological proof have been transcribed, and completed from context as true to Gödel’s notes as possible. The discussion in this article is based on these new sources and reveals Gödel’s early intentions of a liberal comprehension principle for the higher order modal logic, an explicit use of second-order Barcan schemas, as well as seemingly defining a rigidity condition for the system. None of these aspects occurs explicitly in the later 1970 version, and therefore they have long been in focus of the debate on Gödel’s ontological proof.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020319000479
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,581
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Modal Collapse in Gödel's Ontological Proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.
Questioning Gödel's Ontological Proof: Is Truth Positive?Gregor Damschen - 2011 - European Journal for Philosophy of Religion 3 (1):161-169.
Gödelov ontologický dôkaz existencie Boha.Pavol Zlatoš - 1996 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 3 (3):211-238.
Some Emendations of Gödel's Ontological Proof.C. Anthony Anderson - 1990 - Faith and Philosophy 7 (3):291-303.
Descartes's Ontological Proof of God's Existence.Cecilia Wee - 2012 - British Journal for the History of Philosophy 20 (1):23-40.
Descartes's Ontological Proof of God's Existence.Cecilia Wee - 2012 - British Journal for the History of Philosophy 20 (1):23 - 40.
Two Types of Ontological Frame and Gödel’s Ontological Proof.Sergio Galvan - 2012 - European Journal for Philosophy of Religion 4 (2):147--168.
Higher-Order Ontological Arguments.Graham Oppy - 2008 - Philosophy Compass 3 (5):1066-1078.

Analytics

Added to PP index
2019-09-20

Total views
19 ( #568,202 of 2,461,403 )

Recent downloads (6 months)
2 ( #298,755 of 2,461,403 )

How can I increase my downloads?

Downloads

My notes