#s5

⇄ S5 is the right logic for metaphysical necessity

Here is a view I hold about modal logic and want tested. S5 says: whatever is possible is necessarily possible, and whatever is necessary is necessarily necessary. In Kripke's terms, every world is accessible from every other. For metaphysical necessity (what could…