On the PROVER9 Ontological Argument

Philosophia 43 (2):475-483 (2015)
Abstract
Oppenheimer & Zalta have re-formulated their non-modal version of the ontological argument, with the help of PROVER9, an automated reasoning engine. The authors end up rejecting the new argument; however, the theist has a rejoinder worth considering. But after presenting the rejoinder, I highlight that the conceivability of the being does not imply its possibility. One lesson is that even non-modal ontological arguments must engage modal matters concerning God. Another lesson is that if PROVER9 is able to derive a conclusion from fewer premises, the proof is sometimes inferior as an argument.
Keywords Atheism-Theism debate  Ontology  Impossible objects
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11406-015-9594-6
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,727
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
The Nature of Necessity.Alvin Plantinga - 1974 - Clarendon Press.
On the Logic of the Ontological Argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
Existence.Nathan Salmon - 1987 - Philosophical Perspectives 1:49-108.

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
On the Logic of the Ontological Argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
The Modal Ontological Argument Meets Modal Fictionalism.T. Parent - 2016 - Analytic Philosophy 57 (4):338-352.
The Nihilistic Consequences of the Argument From Evil.Robert Lehe - 2009 - International Philosophical Quarterly 49 (4):427-437.
Prover9's Simplification Explained Away.Paweł Garbacz - 2012 - Australasian Journal of Philosophy 90 (3):585 - 592.
Mackie on Miracles.Bruce Langtry - 1988 - Australasian Journal of Philosophy 66 (3):368 – 375.
I. The Durability of Impossible Objects.Richard Routley - 1976 - Inquiry : An Interdisciplinary Journal of Philosophy 19 (1-4):247 – 251.
Kant's Argument That Existence is Not a Determination.Nicholas Stang - 2015 - Philosophy and Phenomenological Research 91 (1):583-626.
Naturalistic Ethics and the Argument From Evil.Mark T. Nelson - 1991 - Faith and Philosophy 8 (3):368-379.
Added to PP index
2013-02-25

Total downloads
137 ( #36,231 of 2,197,326 )

Recent downloads (6 months)
4 ( #61,501 of 2,197,326 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature