Was Godel's work on trying to make Anselm's Ontological Argument more 'feasible' with modal logic successful or has this work just been lost in the many abstract debates that confuse the issues?
9
-
2What historical basis is there for a belief that Gödel was working to extend and or improve Anslem's work in particular or prove the existence of a god in general?– ben rudgersAug 11, 2014 at 11:54
-
In 'Ontological arguments'; an entry by Graham Oppy in the Stanford Encyclopedia of Philosophy. Also 'Kurt Godel's Ontological Argument' (ontology.co/ontological-proof-contemporary.htm). Christopher Small wrote 'Reflections on Godel's Ontological Argument.' Also Jordan Howard Sobel wrote about Godel's proof in 'On Being and Saying'.– user128932Aug 14, 2014 at 0:09
-
1Did Godel find Anselm's arguments inspiring?– user128932Aug 28, 2014 at 6:31
-
1Can modal logic be used to justify an ontological argument?– user128932Sep 1, 2014 at 6:16
-
1Godel was a Lutheran and a genius at Logic so it is conceivable he would try to apply Logic to questions of religion , so was he successful or at giving Anselm's argument some sort of validation in terms of Modal Logic or was it incomplete?– user128932Sep 6, 2014 at 2:45
|
Show 4 more comments
1 Answer
Gödel's work was successful. See Christoph Benzmüller, Bruno Woltzenlogel Paleo: "Formalization, mechanization and automation of Gödel's proof of God's existence", arXiv (2013). Gödel's logical deduction has passed an automated proof checking procedure. An overview including the philosophical environment (Anselm) is given here.
