Friday, July 16, 2010

Making Your Own Fun

Philosoraptor

I thought I'd take some time to work through this one.

The question asks, essentially, whether "If anything is possible, then something is possibly impossible" is satisfiable. The antecedent establishes the existence of a world - at this world, which we'll call "world-0", everything is possible. This means that this world accesses a world where A and a world where not-A, for all A. I'll interpret "something is impossible" to mean that some p is not possible, i.e., that for some p, it is not possible that p. Converting modal operators, this means that necessarily not-p.

If, at world-0, everything is possible, then world-0 accesses a world where necessarily not-p. That world accesses either no other worlds, or only worlds where not-p.

Is "If anything is possible, then something is possibly impossible" satisfiable? Sure. Say world-0 accesses, inter alia, world-1. It also accesses any worlds sufficient to make "anything is possible" true at world-0. World-1 accesses no worlds. Then world-0 accesses a world at which not-p is necessary. In other words, from world-0, it is possibly impossible for p to be true.

QED

1 Comments:

At 4:41 PM, July 16, 2010 , Blogger JS Allen said...

Reminds me a bit of math fictionalism -- i.e., the way of rebutting the people who claim that numbers would be real even if there were no universe. The math realists say something like "Imagine a universe where there are zero numbers -- oops, you just used 'zero', which proves that numbers are real!"

Yeah, I totally butchered it and I'm a complete amateur, but I think it's related.

 

Post a Comment

Subscribe to Post Comments [Atom]

<< Home