A Version of the Ontological Argument
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?
Like this post? Subscribe to my RSS feed and get loads more!