Anselm's God in Isabelle/HOL

Archive of Formal Proofs:9 (2017)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Formal reconstructions of St. Anselm’s ontological argument.Esther Ramharter & Günther Eder - 2015 - Synthese 192 (9):2795-2825.
Anselm and Russell.Maciej Nowicki - 2006 - Logic and Logical Philosophy 15 (4):355-368.
Anselm’s Ontological Argument and Aristotle’s Elegktikōs Apodeixai.Michael Oliver Wiitala - 2012 - Proceedings of the American Catholic Philosophical Association 86:129-140.
The relevance of Kant's objection to Anselm's ontological argument.Chris Heathwood - 2011 - Religious Studies 47 (3):345-357.
The Ontological Argument and Objects of Thought.Edward Wierenga - 2011 - Philosophic Exchange 42 (1):82-103.
Anselm and the ontological argument.Graham Oppy - 2011 - In Jeff Jordan (ed.), Philosophy of Religion: The Key Thinkers. London: Continuum. pp. 22-43.
Reflections on the Logic of the Ontological Argument.Paul E. Oppenheimer & Edward N. Zalta - 2007 - Studia Neoaristotelica 4 (1):28-35.
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.Stephen Makin - 1988 - Philosophy 63 (243):83 - 91.
In Defense of Anselm.Mark Owen Webb - 2005 - Philo 8 (1):55-58.
Reading Anselm's Proslogion: The History of Anselm's Argument and its Significance Today.Ian Logan - 2008 - Ashgate. Edited by Anselm.
In Search of the Ontological Argument.Richard Oxenberg - manuscript
Anselm's ontological argument: Whole, unified, and complete.Clint Ilsley Barrett - unknown
The Ontological Argument of St. Anselm.S. A. Grave - 1952 - Philosophy 27 (100):30-38.

Analytics

Added to PP
2017-09-20

Downloads
488 (#38,290)

6 months
95 (#48,422)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ben Blumson
National University of Singapore

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

On the logic of the ontological argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
Prover9's Simplification Explained Away.Paweł Garbacz - 2012 - Australasian Journal of Philosophy 90 (3):585 - 592.

Add more references