On the PROVER9 Ontological Argument

Philosophia 43 (2):475-483 (2015)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 94,385

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Conceivability and Possibility.Joshua Spencer - 2018 - In Graham Oppy (ed.), The Ontological Argument (Cambridge Classic Philosophical Arguments Series). Cambridge, UK: Cambridge University Press. pp. 214-237.
The Modal Ontological Argument Meets Modal Fictionalism.Ted Parent - 2016 - Analytic Philosophy 57 (4):338-352.
The Modal (Realist) Ontological Argument.Joshua Sijuwade - 2022 - Philosophy and Theology 34 (1):203-264.
The Modal (Realist) Ontological Argument.Joshua Sijuwade - 2022 - Philosophy and Theology 34 (1):203-264.
Maydole on Ontological Arguments.Graham Oppy - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 445.
An impossible proof of God.Robert E. Pezet - 2018 - International Journal for Philosophy of Religion 83 (1):57-83.


Added to PP

189 (#107,748)

6 months
13 (#280,185)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

T. Parent
Nazarbayev University

Citations of this work

On Anselm’s Ontological Argument in Proslogion II.Paul E. Oppenheimer & Edward N. Zalta - 2021 - History of Philosophy & Logical Analysis 25 (2):327-351.

Add more citations

References found in this work

The Nature of Necessity.Alvin Plantinga - 1974 - Oxford, England: Clarendon Press.
Anselm and actuality.David K. Lewis - 1970 - Noûs 4 (2):175-188.
Existence.Nathan Salmon - 1987 - Philosophical Perspectives 1:49-108.

View all 21 references / Add more references