Hermit Crab

Thank you for your kind words.

I think when we get to this level of reasoning it's less about actual arguments and more about trying to tease out intuitions and develop intuition pumps. Actual arguments are usually the easy part, the hard part is finding an intuition on which to hang an argument!

While I might agree that the metaphysics of S5 is strange, I don't think that's really a function of S5 as much as it is a function of any coherent metaphysics. 

For example consider again the accessibility relation over possible worlds. I suspect we all agree it is reflexive, but to deny S5 is to deny that it is transitive or reflexive.... (read more)

For context, I think this is a powerful, often-overlooked argument for the existence of God, which I find compelling, and potentially completely convincing that God exists. I do also have other arguments that convince me that God exists, so hard to say whether this alone would be sufficient, but it might.

However it is worth discussing some objections, some of which are worth taking seriously and some of which are not. 

First, I think we should dismiss any objections which turn on the colloquial meaning of "perfect". I think this is a mistake that philosophical readers might make, but mathematical readers might not. One way to read the proof is that it is saying... (read 664 more words →)