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?

Filed under: AtheismChristianityMark O.

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