Mechanized analysis of Anselm’s modal ontological argument
- 4 August 2020
- journal article
- research article
- Published by Springer Science and Business Media LLC in International Journal for Philosophy of Religion
- Vol. 89 (2), 135-152
- https://doi.org/10.1007/s11153-020-09768-6
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Formal reconstructions of St. Anselm’s ontological argumentSynthese, 2015
- Prover9's Simplification Explained AwayAustralasian Journal of Philosophy, 2012
- On Tracy Lupher’s “A Logical ChoiceSouthwest Philosophy Review, 2012
- A Computationally-Discovered Simplification of the Ontological ArgumentAustralasian Journal of Philosophy, 2011
- The Ontological ArgumentPublished by Wiley ,2005
- Beyond the Limits of ThoughtPhilosophy and Phenomenological Research, 1998
- A New Introduction to Modal Logic.The Philosophical Review, 1998
- The Modal Ontological ArgumentMind, 1984
- The Logical Structure of Anselm's ArgumentsThe Philosophical Review, 1971
- Anselm's Ontological ArgumentsThe Philosophical Review, 1960