Switch to: References

Add citations

You must login to add citations.
  1. Anselm’s Metaphysics of Nonbeing.Dale Jacquette - 2012 - European Journal for Philosophy of Religion 4 (4):27--48.
    In his eleventh century dialogue De Casu Diaboli, Anselm seeks to avoid the problem of evil for theodicy and explain the fall of Satan as attributable to Satan’s own self-creating wrongful will. It is something, as such, for which God as Satan’s divine Creator cannot be held causally or morally responsible. The distinctions on which Anselm relies presuppose an interesting metaphysics of nonbeing, and of the nonbeing of evil in particular as a privation of good, worthy of critical philosophical investigation (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Formal reconstructions of St. Anselm’s ontological argument.Esther Ramharter & Günther Eder - 2015 - Synthese 192 (9):2795-2825.
    In this paper, we discuss formal reconstructions of Anselm’s ontological argument. We first present a number of requirements that any successful reconstruction should meet. We then offer a detailed preparatory study of the basic concepts involved in Anselm’s argument. Next, we present our own reconstructions—one in modal logic and one in classical logic—and compare them with each other and with existing reconstructions from the reviewed literature. Finally, we try to show why and how one can gain a better understanding of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Mechanized analysis of Anselm’s modal ontological argument.John Rushby - 2020 - International Journal for Philosophy of Religion 89 (2):135-152.
    We use a mechanized verification system, PVS, to examine the argument from Anselm’s Proslogion Chapter III, the so-called “Modal Ontological Argument.” We consider several published formalizations for the argument and show they are all essentially similar. Furthermore, we show that the argument is trivial once the modal axioms are taken into account. This work is an illustration of Computational Philiosophy and, in addition, shows how these methods can help detect and rectify errors in modal reasoning.
    Download  
     
    Export citation  
     
    Bookmark