Australasian Journal of Philosophy 89 (2):333 - 349 (2011)

Authors
Paul Edward Oppenheimer
Stanford University
Edward Zalta
Stanford University
Abstract
The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/00048401003674482
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: 50,391
Through your library

References found in this work BETA

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
On the Logic of the Ontological Argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
On Denoting.Bertrand Russell - 1906 - Philosophical Review 15:346.
Steps Toward a Computational Metaphysics.Branden Fitelson & Edward N. Zalta - 2007 - Journal of Philosophical Logic 36 (2):227-247.
The Ontological Argument.Jonathan Barnes - 1972 - [New York]St. Martin's Press.

View all 8 references / Add more references

Citations of this work BETA

Ontological Arguments.Graham Oppy - 2014 - Stanford Encyclopedia of Philosophy.

View all 17 citations / Add more citations

Similar books and articles

The Ontological Argument.Graham Oppy - 2008 - In Paul Copan & Chad V. Meister (eds.), Philosophy of Religion: Classic and Contemporary Issues. Blackwell.
On the Logic of the Ontological Argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
Millican on the Ontological Argument.Yujin Nagasawa - 2007 - Mind 116 (464):1027-1040.
The Ontological Argument and the Devil.Yujin Nagasawa - 2010 - Philosophical Quarterly 60 (238):72-91.
The Ontological Meta-Argument.Elijah Millgram - 2004 - Croatian Journal of Philosophy 4 (3):331-334.

Analytics

Added to PP index
2009-01-28

Total views
252 ( #29,657 of 2,326,130 )

Recent downloads (6 months)
14 ( #43,252 of 2,326,130 )

How can I increase my downloads?

Downloads

My notes