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

1 Answer 1


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.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .