A computationally-discovered simplification of the ontological argument

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: 35,471
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.
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.

Add more references

Citations of this work BETA

On the PROVER9 Ontological Argument.T. Parent - 2015 - Philosophia 43 (2):475-483.
Prover9's Simplification Explained Away.Paweł Garbacz - 2012 - Australasian Journal of Philosophy 90 (3):585 - 592.
Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.
Recent Developments in Computing and Philosophy.Anthony F. Beavers - 2011 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 42 (2):385-397.

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.
The Ontological Meta-Argument.Elijah Millgram - 2004 - Croatian Journal of Philosophy 4 (3):331-334.
The Ontological Argument and the Devil.Yujin Nagasawa - 2010 - Philosophical Quarterly 60 (238):72-91.
Millican on the Ontological Argument.Yujin Nagasawa - 2007 - Mind 116 (464):1027-1040.
On the Logic of the Ontological Argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.

Analytics

Added to PP index
2009-01-28

Total downloads
205 ( #26,136 of 2,285,711 )

Recent downloads (6 months)
11 ( #40,542 of 2,285,711 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature