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?

Be Sociable, Share!

    Filed under: AtheismChristianityMark O.

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