Thursday, October 8, 2009

S4

Here is an argument for S4. We want metaphysical necessity to be the strongest kind of necessity without arbitrary restrictions. If one responds that conceptual or strictly logical necessity are stronger, the answer is that they are, nonetheless, arbitrarily restricted, being dependent on a particular set of rules of inference and axioms. (The only non-arbitrary way to specify which which axioms are permitted is to say that it is all the fundamental metaphysically necessary propositions that are axioms, and then we presumably get metaphysical necessity.) Now, if L is a necessity operator, then LL is also a necessity operator. If LL is not equivalent to L, then LL is a stronger necessity operator. If LL counts as arbitrarily restricted, then we have reason to think that so does L, since L is even more restricted than LL, and it seems arbitrary to work with L instead of LL or LLL. And if LL doesn't count as arbitrarily restricted, then L is not the strongest non-arbitrarily restricted necessity operator. So if L is metaphysical necessity, L and LL are equivalent.

The dual of this argument is that metaphysical possibility is the most fundamental sort of possibility. But if M is metaphysical possibility, and MM is not equivalent to M, then MM will be a more fundamental possibility. So, if M is metaphysical possibility, M and MM are equivalent.

2 comments:

langdlang said...

Dr. Pruss,

I have a question about "Two more arguments against an infinite past" on Prosblogion- what if in December 2009, Mary makes a breeding pair of rabbits because the rabbits which were went extinct in December 2008. So it seems like this small blip in time in which the rabbits go extinct before January 1, but the previous January 1, there were rabbits; can we say that the blip of extinction of rabbits is then the cause of rabbits "always" existing?

Matthew said...

What exactly does S4 say? If W2 is accessible from W1 and W3 is accessible from W2, then W3 is accessible from W1?