- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Anselm's God in Isabelle/HOL
Archive of Formal Proofs:9 (2017)
Abstract
Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Types, Tableaus and Gödel’s God in Isabelle/HOL.Fuenmayor David & Benzmüller Christoph - forthcoming - Archive of Formal Proofs.
Gödel’s God in Isabelle/HOL.Benzmüller Christoph & Woltzenlogel Paleo Bruno - 2013 - Archive of Formal Proofs.
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic.Fuenmayor David & Benzmüller Christoph - 2017 - In David Fuenmayor & Christoph Benzmüller (eds.), KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI. Springer International Publishing.
Definite Descriptions and the Ontological Argument.William E. Mann - 2016 - In God, Belief, and Perplexity. New York, US: Oxford University Press USA.
Formal reconstructions of St. Anselm’s ontological argument.Esther Ramharter & Günther Eder - 2015 - Synthese 192 (9):2795-2825.
Analytics
Added to PP
2017-09-20
Downloads
520 (#37,749)
6 months
108 (#48,683)
2017-09-20
Downloads
520 (#37,749)
6 months
108 (#48,683)
Historical graph of downloads
Author's Profile
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.
References found in this work
On the logic of the ontological argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
A computationally-discovered simplification of the ontological argument.Paul Oppenheimer & Edward N. Zalta - 2011 - Australasian Journal of Philosophy 89 (2):333 - 349.
Prover9's Simplification Explained Away.Paweł Garbacz - 2012 - Australasian Journal of Philosophy 90 (3):585 - 592.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-xdvnm uwo