I had thought to write a short post on Anselm’s ontological argument, but in looking for it, I ran across Kurt Gödel‘s ontological argument for the same, which looked interesting. That proof is as follows:

So, anybody seen this before? I’m not familiar symbolic logic, any commentary on this out there?

Related posts:

  1. President Obama Overexposed?
  2. Ontological Freedom, Christians in the Public Sphere, and Liberatarian Ideas
  3. A comprehensive argument against Barack Obama
  4. Ontology and Theology
  5. Christianity and Poverty: An Inverted Argument (Mr Myers Examined In Detail)

Filed under: Atheism • Christianity • Mark O.

Like this post? Subscribe to my RSS feed and get loads more!