A Computationally-Discovered Simplification of the Ontological Argument
Australasian Journal of Philosophy 89 (2):333-349 (2011)
| 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesGraham Oppy (2008). The Ontological Argument. In Paul Copan & Chad V. Meister (eds.), Philosophy of Religion: Classic and Contemporary Issues. Blackwell Pub..
Elijah Millgram (2004). The Ontological Meta-Argument. Croatian Journal of Philosophy 4 (3):331-334.
Yujin Nagasawa (2010). The Ontological Argument and the Devil. Philosophical Quarterly 60 (238):72-91.
Peter van Inwagen (2009). Some Remarks on the Modal Ontological Argument. Philo 12 (2):217-227.
Yujin Nagasawa (2007). Millican on the Ontological Argument. Mind 116 (464):1027 - 1039.
Lynne Rudder Baker & Gareth Matthews (2010). Anselm's Argument Reconsidered. Review of Metaphysics 64 (1):31-54.
Elliott Sober (2004). The Design Argument. In William Mann (ed.), The Blackwell Guide to the Philosophy of Religion. Blackwell Pub..
Paul E. Oppenheimer & Edward N. Zalta (1991). On the Logic of the Ontological Argument. Philosophical Perspectives 5:509-529.
Paul E. Oppenheimer & Edward N. Zalta (2007). Reflections on the Logic of the Ontological Argument. Studia Neoaristotelica 4 (1):28-35.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads85 ( #8,695 of 549,628 )Recent downloads (6 months)11 ( #6,121 of 549,628 )How can I increase my downloads? |
My notes
Discussion
