On the PROVER9 Ontological Argument

Philosophia 43 (2):475-483 (2015)
Authors
T. Parent
Virginia Tech
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,905
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 (ed.) - 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 12 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.

Analytics

Added to PP index
2013-02-25

Total downloads
143 ( #42,548 of 2,293,877 )

Recent downloads (6 months)
2 ( #253,248 of 2,293,877 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature