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.

Two Problems for NonHumean Views of Laws of Nature<br />

Noa Latham, Calgary, Canada<br />

Humeans <strong>and</strong> nonHumeans offer dramatically different<br />

world-views stemm<strong>in</strong>g from <strong>the</strong>ir different accounts of <strong>the</strong><br />

status of <strong>the</strong> laws of nature of our world. Humeans take <strong>the</strong><br />

laws to be material conditional facts, while nonHumeans<br />

take <strong>the</strong>m to be nonmaterial. And this can be shown to be<br />

equivalent to ano<strong>the</strong>r popular way of dist<strong>in</strong>guish<strong>in</strong>g<br />

Humean <strong>and</strong> nonHumean views. Humeans claim, <strong>and</strong><br />

nonHumeans deny, that <strong>the</strong> laws metaphysically<br />

supervene on <strong>the</strong> totality of particular facts—those<br />

describ<strong>in</strong>g <strong>the</strong> distribution of properties somewhere <strong>in</strong><br />

spacetime—where fact A metaphysically supervenes on<br />

fact B iff A exists <strong>in</strong> all possible worlds <strong>in</strong> which B exists.<br />

I shall assume that <strong>the</strong>re is a fundamental level of<br />

reality, <strong>and</strong> I shall regard fundamental properties as those<br />

characteristic of such a level. Humeans can be<br />

characterised accord<strong>in</strong>gly as claim<strong>in</strong>g that <strong>the</strong> fundamental<br />

laws of our universe metaphysically supervene on <strong>the</strong><br />

totality of its fundamental particular facts, <strong>and</strong><br />

nonHumeans as deny<strong>in</strong>g this. I am also provisionally<br />

assum<strong>in</strong>g a view of properties that treats <strong>the</strong>m as<br />

<strong>in</strong>dependent of <strong>the</strong> laws <strong>in</strong> which <strong>the</strong>y feature.<br />

My discussion henceforth is thus narrower than<br />

familiar discussions of laws of nature. I shall not exam<strong>in</strong>e<br />

nonfundamental laws such as special science laws, ceteris<br />

paribus laws of physics <strong>and</strong> <strong>the</strong>rmodynamic laws. I see it<br />

as an advantage of <strong>the</strong> account I am offer<strong>in</strong>g that it does<br />

not run toge<strong>the</strong>r what I take to be very different k<strong>in</strong>ds of<br />

laws <strong>in</strong> quest of a unified account.<br />

A popular idea, which I th<strong>in</strong>k captures <strong>the</strong> <strong>in</strong>tuitive<br />

underst<strong>and</strong><strong>in</strong>g of <strong>the</strong> role of fundamental laws <strong>in</strong> our<br />

universe, is to th<strong>in</strong>k of <strong>the</strong>m as analogous to rules of a<br />

computer programme that changes an array of pixels on a<br />

screen from one moment to <strong>the</strong> next. The way I like to put<br />

it is to say that fundamental laws of nature are derivable<br />

from a s<strong>in</strong>gle fundamental law, analogous to <strong>the</strong> computer<br />

programme, that (i) provides an <strong>in</strong>struction, given <strong>the</strong><br />

existence of a time-slice, as to what <strong>the</strong> next time-slice is<br />

to be <strong>and</strong> (ii) makes it <strong>the</strong> case that this next time-slice<br />

comes <strong>in</strong>to existence. I call this <strong>the</strong> generative conception<br />

of fundamental laws.<br />

Humeans typically po<strong>in</strong>t to <strong>the</strong> absence of <strong>the</strong><br />

category of nomic facts on <strong>the</strong>ir view as a huge ga<strong>in</strong> <strong>in</strong><br />

simplicity <strong>and</strong> as greatly favour<strong>in</strong>g <strong>the</strong>ir view. In opposition<br />

to this, it can be claimed that <strong>the</strong> advantage of simplicity<br />

goes <strong>in</strong>stead to <strong>the</strong> view that <strong>the</strong> universe is generated by<br />

a fundamental law from an <strong>in</strong>itial slice, as this provides a<br />

sense <strong>in</strong> which only <strong>the</strong> fundamental particular facts of <strong>the</strong><br />

<strong>in</strong>itial slice <strong>and</strong> <strong>the</strong> fundamental law are<br />

causally/explanatorily basic. The regularities observed <strong>in</strong><br />

subsequent fundamental particular facts are all<br />

expla<strong>in</strong>able, while <strong>the</strong> Humean must treat <strong>the</strong>m as a<br />

cosmic co<strong>in</strong>cidence. Humeans typically respond that <strong>the</strong>ir<br />

view attributes a causally/explanatorily basic status to <strong>the</strong><br />

<strong>in</strong>itial conditions <strong>and</strong> fundamental laws too. I th<strong>in</strong>k <strong>the</strong> best<br />

reply to this is to say that what is compell<strong>in</strong>g about this<br />

nonHumean view is that laws <strong>and</strong> <strong>in</strong>itial conditions provide<br />

a m<strong>in</strong>d-<strong>in</strong>dependent causal/explanatory basis for <strong>the</strong><br />

universe. By contrast, <strong>the</strong> laws are essentially m<strong>in</strong>ddependent<br />

on <strong>the</strong> best worked out Humean account, David<br />

Lewis’s, <strong>and</strong> it does not appear that any alternative<br />

Humean account could escape this. The Humean cannot<br />

offer a m<strong>in</strong>d-<strong>in</strong>dependent sense <strong>in</strong> which anyth<strong>in</strong>g is<br />

196<br />

causally basic, or a m<strong>in</strong>d-<strong>in</strong>dependent sense <strong>in</strong> which<br />

anyth<strong>in</strong>g less than <strong>the</strong> totality of fundamental particular<br />

facts is explanatorily basic.<br />

I believe almost all nonHumean views of laws are<br />

committed to such fundamental generative laws. (Nancy<br />

Cartwright’s view, if coherent, is one that is not.) These<br />

<strong>in</strong>clude views that take fundamental properties to be<br />

dispositional <strong>and</strong> to entail laws. Such views of properties<br />

presuppose victory over <strong>the</strong> Humean view of laws, <strong>and</strong><br />

compete with o<strong>the</strong>r nonHumean views. I shall not dwell<br />

here on <strong>the</strong>se differences among nonHumeans as my<br />

concern <strong>in</strong> this paper is to exam<strong>in</strong>e two problems that I<br />

th<strong>in</strong>k almost all nonHumean views face.<br />

The idea that <strong>the</strong> observed world is driven to unfold,<br />

i.e. generated, over time by fundamental laws or<br />

fundamental dispositional properties is I th<strong>in</strong>k <strong>the</strong> natural<br />

way people have understood <strong>the</strong> work<strong>in</strong>gs of nature. This<br />

appears to be a purely metaphysical view <strong>in</strong> <strong>the</strong> sense that<br />

it is <strong>in</strong>dependent of scientific facts about our universe that<br />

were unavailable to our ancestors <strong>and</strong> may be unavailable<br />

to us today. In this respect <strong>the</strong> nonHumean view of laws<br />

resembles <strong>the</strong> view with which it is often compared that<br />

<strong>the</strong>re is a physical reality <strong>in</strong>dependent of our sense<br />

perceptions. What I will be argu<strong>in</strong>g <strong>in</strong> <strong>the</strong> rema<strong>in</strong>der of this<br />

paper, however, is that <strong>the</strong> <strong>the</strong>sis that our universe is<br />

generated may be empirically false <strong>and</strong> thus cannot be<br />

defended as a purely metaphysical <strong>the</strong>sis. I th<strong>in</strong>k this<br />

empirical sensitivity detracts greatly from <strong>the</strong> plausibility of<br />

<strong>the</strong> generative view. But all <strong>the</strong> alternatives I have<br />

encountered strike me as nonstarters.<br />

The first problem is that generative laws appear to<br />

be possible only for universes generated from a s<strong>in</strong>gle<br />

<strong>in</strong>itial slice. This precludes backwardly <strong>in</strong>f<strong>in</strong>ite universes<br />

such as a Steady State or oscillat<strong>in</strong>g universe, <strong>and</strong><br />

backwardly f<strong>in</strong>ite but open universes if <strong>the</strong>se are coherent.<br />

It also excludes universes for which <strong>the</strong> notion of a l<strong>in</strong>ear<br />

temporal order<strong>in</strong>g of events doesn’t make sense <strong>in</strong> <strong>the</strong> part<br />

of <strong>the</strong> universe where one would need an <strong>in</strong>itial slice to be.<br />

Why is an <strong>in</strong>itial slice required? Well, some<br />

particular fact is needed <strong>in</strong> addition to fundamental laws <strong>in</strong><br />

order for <strong>the</strong>re to be a universe. And <strong>the</strong> only alternative to<br />

<strong>the</strong> fundamental facts of a s<strong>in</strong>gle slice appears to be <strong>the</strong><br />

fundamental facts of an <strong>in</strong>f<strong>in</strong>ite sequence of slices. This<br />

re<strong>in</strong>troduces <strong>the</strong> Humean view with its problems <strong>in</strong><br />

characteris<strong>in</strong>g this <strong>in</strong>f<strong>in</strong>ite sequence as explanatorily basic<br />

when it appears to be partly generated. Fur<strong>the</strong>rmore <strong>the</strong>re<br />

would be an implausible arbitrar<strong>in</strong>ess to <strong>the</strong> cutoff po<strong>in</strong>t<br />

between this <strong>in</strong>f<strong>in</strong>ite sequence <strong>and</strong> <strong>the</strong> generated part of<br />

<strong>the</strong> universe. So an <strong>in</strong>itial slice is <strong>the</strong> only plausible option<br />

from which a universe could be generated.<br />

But why should <strong>the</strong>re be a problem <strong>in</strong> generat<strong>in</strong>g a<br />

temporally dense backwardly f<strong>in</strong>ite universe? Assum<strong>in</strong>g for<br />

<strong>the</strong> moment an absolute conception of time, <strong>the</strong>n <strong>the</strong>re is<br />

ei<strong>the</strong>r a last moment at which <strong>the</strong>re is noth<strong>in</strong>g <strong>and</strong> no first<br />

moment at which <strong>the</strong>re is someth<strong>in</strong>g (a backwardly open<br />

universe), or no last moment at which <strong>the</strong>re is noth<strong>in</strong>g <strong>and</strong><br />

a first moment at which <strong>the</strong>re is someth<strong>in</strong>g (a backwardly<br />

closed universe). And perhaps both open <strong>and</strong> closed<br />

options for <strong>the</strong> temporal topology of a backwardly f<strong>in</strong>ite<br />

universe are also coherent if one rejects an absolute

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

Saved successfully!

Ooh no, something went wrong!