02.11.2012 Views

Reduction and Elimination in Philosophy and the Sciences

Reduction and Elimination in Philosophy and the Sciences

Reduction and Elimination in Philosophy and the Sciences

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.

164<br />

tion<strong>in</strong>g <strong>the</strong> laws (or chances, or possibilities) which<br />

obta<strong>in</strong> at <strong>the</strong> world.<br />

When conjo<strong>in</strong>ed with <strong>the</strong> <strong>the</strong>sis of Separability, <strong>the</strong> noncircularity<br />

condition implies that <strong>the</strong> physical state of every<br />

spacetime po<strong>in</strong>t is metaphysically <strong>in</strong>dependent of <strong>the</strong> laws<br />

that govern <strong>the</strong> world. This <strong>in</strong> turn implies that <strong>the</strong> fundamental<br />

physical quantities, such as electric charge, mass<br />

etc., are metaphysically <strong>in</strong>dependent of <strong>the</strong> laws of electromagnetism,<br />

gravitation, <strong>and</strong> so on. This is a controversial<br />

<strong>the</strong>sis, but one that Lewis accepts. It will not come <strong>in</strong> for<br />

fur<strong>the</strong>r notice here.<br />

The <strong>in</strong>terest <strong>in</strong> dissect<strong>in</strong>g Humean supervenience<br />

<strong>in</strong>to Separability <strong>and</strong> Physical determ<strong>in</strong>ation arises, <strong>in</strong> <strong>the</strong><br />

first place, from <strong>the</strong> remarkable fact that contemporary<br />

physics strongly suggests that <strong>the</strong> world is not separable.<br />

This discovery casts <strong>the</strong> question of motivat<strong>in</strong>g a desire to<br />

defend Thesis 1 <strong>in</strong>to a peculiar light, for one knows<br />

beforeh<strong>and</strong> that <strong>the</strong> motivations, whatever <strong>the</strong>y may be,<br />

turn out to lead away from <strong>the</strong> truth. So before ask<strong>in</strong>g why<br />

one might want to be Humean, we shall review <strong>the</strong><br />

evidence that <strong>the</strong> world is not Humean. Only <strong>the</strong>n will we<br />

seek <strong>the</strong> motivations for defend<strong>in</strong>g Separability, <strong>and</strong> <strong>the</strong>n<br />

lastly turn to <strong>the</strong> possible motivations for Physical<br />

determ<strong>in</strong>ation.<br />

4. Non-Separability <strong>in</strong> Quantum Theory<br />

The central challenge which quantum <strong>the</strong>ory poses for<br />

Separability is <strong>the</strong> follow<strong>in</strong>g. Suppose <strong>the</strong>re are a pair of<br />

electrons, well separated <strong>in</strong> space (perhaps at opposite<br />

ends of a laboratory) which are <strong>in</strong> <strong>the</strong> S<strong>in</strong>glet State. If <strong>the</strong><br />

pr<strong>in</strong>ciple of Separability held, <strong>the</strong>n each electron, occupy<strong>in</strong>g<br />

a region disjo<strong>in</strong>t from <strong>the</strong> o<strong>the</strong>r, would have its own<br />

<strong>in</strong>tr<strong>in</strong>sic sp<strong>in</strong> state, <strong>and</strong> <strong>the</strong> sp<strong>in</strong> state of <strong>the</strong> composite<br />

system would be determ<strong>in</strong>ed by <strong>the</strong> states of <strong>the</strong> particles<br />

taken <strong>in</strong>dividually toge<strong>the</strong>r with <strong>the</strong> spatio-temporal relations<br />

between <strong>the</strong>m. But, it can be shown, no pure state for<br />

a s<strong>in</strong>gle particle yields <strong>the</strong> same predictions as <strong>the</strong> S<strong>in</strong>glet<br />

State, <strong>and</strong> if one were to ascribe a pure state to each of<br />

<strong>the</strong> electrons, <strong>the</strong>ir jo<strong>in</strong>t state would be a product state<br />

ra<strong>the</strong>r than an entangled state. The jo<strong>in</strong>t state of <strong>the</strong> pair<br />

simply cannot be analyzed <strong>in</strong>to pure states for each of <strong>the</strong><br />

components.<br />

5. Lewis’s Reaction <strong>and</strong> <strong>the</strong> Motivation for<br />

Separability<br />

Lewis is aware that <strong>the</strong> quantum <strong>the</strong>ory poses a threat to<br />

Separability, <strong>and</strong> says he is prepared to take <strong>the</strong> consequences:<br />

But I am not ready to take lessons <strong>in</strong> ontology from<br />

quantum physics as it now is. First I must see how it<br />

looks when it is purified of <strong>in</strong>strumentalist frivolity,<br />

<strong>and</strong> dares to say someth<strong>in</strong>g not just about po<strong>in</strong>ter<br />

read<strong>in</strong>gs but about <strong>the</strong> constitution of <strong>the</strong> world; <strong>and</strong><br />

when it is purified of doubleth<strong>in</strong>k<strong>in</strong>g deviant logic;<br />

<strong>and</strong>—most of all— when it is purified of supernatural<br />

tales about <strong>the</strong> power of observant m<strong>in</strong>ds to make<br />

th<strong>in</strong>gs jump. If, after all that, it still teaches nonlocality,<br />

I shall submit will<strong>in</strong>gly to <strong>the</strong> best of authority.”<br />

(Lewis 1986 p. xi)<br />

If we take Lewis at his word, <strong>the</strong>n he should ab<strong>and</strong>on<br />

Separability (<strong>and</strong> hence his version of Humean supervenience)<br />

forthwith. For one can see how quantum physics<br />

looks when purified of <strong>in</strong>strumentalism, <strong>and</strong> quantum logic,<br />

<strong>and</strong> consciousness-<strong>in</strong>duced wave collapse. This has been<br />

Assess<strong>in</strong>g Humean Supervenience — Amir Karbasizadeh<br />

done <strong>in</strong> several quite different ways: <strong>in</strong> David Bohm's socalled<br />

ontological <strong>in</strong>terpretation (see, e.g. Bohm <strong>and</strong> Hiley<br />

1993), <strong>in</strong> <strong>the</strong> (m<strong>in</strong>d-<strong>in</strong>dependent) spontaneous collapse<br />

<strong>the</strong>ories of Ghirardi, Rim<strong>in</strong>i <strong>and</strong> Weber (1986), even <strong>in</strong> <strong>the</strong><br />

Many M<strong>in</strong>ds <strong>the</strong>ory of David Albert <strong>and</strong> Barry Loewer (see<br />

Albert 1992). These <strong>the</strong>ories all have fundamentally different<br />

ontologies <strong>and</strong> dynamics, but all agree that <strong>the</strong> physical<br />

state of <strong>the</strong> world is not Separable, for <strong>the</strong>y all take <strong>the</strong><br />

wavefunction seriously as a representation of <strong>the</strong> physical<br />

state. This is not to say that Non-Separability is absolutely<br />

forced on us by empirical considerations: it would not be<br />

impossible to construct a Separable physics with <strong>the</strong> same<br />

empirical import as <strong>the</strong> present quantum <strong>the</strong>ory. But no<br />

one is try<strong>in</strong>g to do it, <strong>and</strong> <strong>the</strong>re seems to be no reason to<br />

start: <strong>the</strong> quantum <strong>the</strong>ory (<strong>in</strong> a coherent formulation) is<br />

elegant, simple <strong>and</strong> empirically impeccable. Lewis would<br />

not elevate his preference for Separable <strong>the</strong>ories <strong>in</strong>to<br />

some a priori constra<strong>in</strong>t which could dictate to physics, as<br />

<strong>the</strong> quote shows. Given <strong>the</strong> def<strong>in</strong>ition of materialism cited<br />

above, contemporary materialism (i.e. metaphysics built to<br />

endorse <strong>the</strong> approximate truth <strong>and</strong> descriptive completeness<br />

of contemporary physics) must deny Separability.<br />

This leaves us with two questions. First, what drew<br />

Lewis to Separability <strong>in</strong> <strong>the</strong> first place? S<strong>in</strong>ce <strong>the</strong> <strong>the</strong>sis<br />

appears to be false, we ought to consider carefully <strong>the</strong><br />

grounds upon which it was thought to be established, or at<br />

least rendered plausible. Second, <strong>and</strong> more importantly,<br />

what of Physical Determ<strong>in</strong>ism? This second component of<br />

Humean supervenience rema<strong>in</strong>s as yet untouched by any<br />

criticism, <strong>and</strong> one could cont<strong>in</strong>ue to <strong>in</strong>sist upon it even<br />

while ab<strong>and</strong>on<strong>in</strong>g Separability. Perhaps <strong>the</strong> physical state<br />

of <strong>the</strong> universe does not supervene on <strong>the</strong> local <strong>in</strong>tr<strong>in</strong>sic<br />

states of its po<strong>in</strong>t-like parts toge<strong>the</strong>r with spatio-temporal<br />

relations, but yet <strong>the</strong> "modal properties, laws, causal<br />

connections, chances" (ibid., p. 111) all are determ<strong>in</strong>ed by<br />

<strong>the</strong> non-Separable total physical state of <strong>the</strong> universe.<br />

Perhaps. The considerations <strong>in</strong> favour of Humean<br />

supervenience already led us astray with respect to<br />

Separability, so why th<strong>in</strong>k <strong>the</strong>y are likely to be any more<br />

reliable with respect to Physical determ<strong>in</strong>ation? Before we<br />

can even beg<strong>in</strong> to take up this question, we must answer<br />

<strong>the</strong> first: what considerations seemed to support<br />

Separability <strong>in</strong> <strong>the</strong> first place?<br />

Fortunately, <strong>the</strong> answer to this question is clear,<br />

simple <strong>and</strong> <strong>in</strong>telligible. It has, <strong>in</strong>deed, already been stated.<br />

Lewis wants a metaphysics built to endorse <strong>the</strong> ontology of<br />

physics. And, as <strong>the</strong> quotation from E<strong>in</strong>ste<strong>in</strong> above<br />

forcefully illustrates, classical physics is Separable.<br />

Classical mechanics <strong>and</strong> field <strong>the</strong>ory do postulate that <strong>the</strong><br />

physical state of <strong>the</strong> whole universe is determ<strong>in</strong>ed entirely<br />

by <strong>the</strong> dispositions of bodies, <strong>the</strong>ir <strong>in</strong>tr<strong>in</strong>sic physical<br />

properties (such as charge <strong>and</strong> mass) <strong>and</strong> <strong>the</strong> values of<br />

fields at all po<strong>in</strong>ts <strong>in</strong> space through time. Tak<strong>in</strong>g one's<br />

ontology from classical physics does entail Separability.<br />

But <strong>the</strong> advent of <strong>the</strong> quantum <strong>the</strong>ory, as we have seen,<br />

has superseded that argument; it is irreparably damaged,<br />

<strong>and</strong> Lewis has noth<strong>in</strong>g more to say.<br />

6. Counter-examples to Physical Determ<strong>in</strong>ation<br />

Our survey of Humean supervenience would not be complete<br />

unless we consider <strong>the</strong> second <strong>the</strong>sis, namely physical<br />

determ<strong>in</strong>ation. In <strong>the</strong> follow<strong>in</strong>g sections, we consider a<br />

putative knock-down argument aga<strong>in</strong>st Physical Determ<strong>in</strong>ation<br />

due to John Carroll (1994), which he calls mirror<br />

argument. I will argue that this argument does not succeed<br />

<strong>in</strong> br<strong>in</strong>g<strong>in</strong>g out a surpris<strong>in</strong>g consequence of <strong>the</strong> physical

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

Saved successfully!

Ooh no, something went wrong!