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?

  • 2
    What 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? Aug 11 '14 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'.
    – user128932
    Aug 14 '14 at 0:09
  • 1
    Did Godel find Anselm's arguments inspiring?
    – user128932
    Aug 28 '14 at 6:31
  • 1
    Can modal logic be used to justify an ontological argument?
    – user128932
    Sep 1 '14 at 6:16
  • 1
    Godel 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?
    – user128932
    Sep 6 '14 at 2:45

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.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.