10.12.2012 Views

Online Papers - Brian Weatherson

Online Papers - Brian Weatherson

Online Papers - Brian Weatherson

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Intrinsic Properties and Combinatorial Principles 577<br />

a is G is independent of the way the world outside a happens to be. This implies that<br />

whether a is F and G is independent of the way the world outside a happens to be,<br />

because whether a is F and G is a function of whether a is F and whether a is G. And<br />

that means that F and G is intrinsic. Similar reasoning shows that F or G, and not F<br />

are also intrinsic. Call this condition Boolean closure.<br />

Another implication of the independence platitude is that SI must be closed under<br />

various mereological operations. If F is intrinsic then whether a is F is independent<br />

of the outside world. If some part of a is F, that means, however the world outside<br />

that part happens to be, that part will be F. So that means that however the world<br />

outside a is, a will have a part that is F. Conversely, if a does not have a part that is<br />

F, that means all of a’s parts are not F. As we saw above, if F is intrinsic, so is not F.<br />

Hence it is independent of the world outside a that all of its parts are not F. That is,<br />

it is independent of the world outside a that a does not have a part that is F. In sum,<br />

whether a has a part that is F is independent of how the world outside a turns out<br />

to be. And that means having a part that is F is intrinsic. By similar reasoning, the<br />

property Having n parts that are F will be intrinsic if F is for any value of n. Finally,<br />

the same reasoning shows that the property, being entirely composed of n things that<br />

are each F is intrinsic if F is intrinsic. The only assumption used here is that it is<br />

independent of everything outside b that b is entirely composed of the particular<br />

things that it is composed of, but again this seems to be a reasonable assumption. So,<br />

formally, if F ∈ SI, then Having n parts that are F ∈ SI, and Being entirely composed of<br />

n things that are F ∈ SI. Call this condition mereological closure.<br />

Finally, and most importantly, various combinatorial principles follow from the<br />

independence platitude. One of these, that all intrinsic properties are independent<br />

of accompaniment, forms the centrepiece of Langton and Lewis’s theory. The counterexamples<br />

provided by Marshall and Parsons, and by Sider, suggest that we need<br />

to draw two more combinatorial principles from the platitude. The first is that if F<br />

and G are intrinsic properties, then whether some particular object a is F should be<br />

independent of how many other things in the world are G. More carefully, if F and<br />

G are intrinsic properties that are somewhere instantiated then, for any n such that<br />

there is a world with n+1 things, there is a world constituted by exactly n+1 pairwise<br />

distinct things, one of which is F, and the other n of which are all G. When I say the<br />

world is constituted by exactly n+1 things, I do not mean that there are only n+1<br />

things in the world; some of the n+1 things that constitute the world might have<br />

proper parts. What I mean more precisely is that every contingent thing in the world<br />

is a fusion of parts of some of these n+1 things. Informally, every intrinsic property<br />

is not only independent of accompaniment, it is independent of accompaniment by<br />

every intrinsic property. As we will see, this combinatorial principle, combined with<br />

the Boolean closure principle, suffices to show that Marshall and Parsons’s example,<br />

being such that a cube exists, is extrinsic.<br />

Sometimes the fact that a property F is extrinsic is revealed by the fact that nothing<br />

that is F can be worldmates with things of a certain type. So the property being<br />

lonely is extrinsic because nothing that is lonely can be worldmates with anything<br />

at all. But some extrinsic properties are perfectly liberal about which other properties<br />

can be instantiated in their world; they are extrinsic because their satisfaction

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!