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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

2.3<br />

384<br />

On <strong>the</strong> Characterization of Objects by <strong>the</strong> Language of Science — Paul We<strong>in</strong>gartner<br />

Ma<strong>the</strong>matical entities are always rigid <strong>in</strong> <strong>the</strong> sense that<br />

<strong>the</strong>y ei<strong>the</strong>r (sharply) satisfy uniqueness or do not. Physical<br />

entities on <strong>the</strong> o<strong>the</strong>r h<strong>and</strong> are not always rigid. But <strong>in</strong> Russell's<br />

underst<strong>and</strong><strong>in</strong>g all objects of reference are rigid.<br />

To substantiate 2.2 <strong>and</strong> 2.3 one has to know first<br />

that accord<strong>in</strong>g to Russell "all <strong>the</strong> objects of common-sense<br />

<strong>and</strong> developed science are logical constructions out of<br />

events" 5 .<br />

Secondly, that <strong>the</strong>se logical constructions which are<br />

built from physical objects are like conceptual entities <strong>and</strong><br />

thus rigid <strong>and</strong> impenetrable: "The events out of which we<br />

have been construct<strong>in</strong>g <strong>the</strong> physical world are very<br />

different from matter as traditionally understood. The<br />

matter that we construct is impenetrable as a result of<br />

def<strong>in</strong>ition." 6<br />

Under "matter as traditionally understood" Russell<br />

underst<strong>and</strong>s matter as a permanent <strong>in</strong>destructible<br />

substance.<br />

The fur<strong>the</strong>r presuppositions or pr<strong>in</strong>ciples listed<br />

below cannot be substantiated directly by giv<strong>in</strong>g quotations<br />

<strong>in</strong> <strong>the</strong> literal sense from Russell's works. But <strong>the</strong>y seem to<br />

be hidden by Russell's treatment of objects of reference<br />

<strong>and</strong> by consequences of such treatment.<br />

2.4 Value-Completeness<br />

If (⎫x)φx satisfies uniqueness, <strong>the</strong>n <strong>the</strong> object of reference<br />

is a bearer of value-def<strong>in</strong>ite (or value-complete) properties.<br />

This presupposition is accepted <strong>and</strong> def<strong>in</strong>ed already<br />

by Kant:<br />

Of all possible predicates (of an object as a bearer<br />

of predicates) one of each pair of opposite (contradictory)<br />

predicates must belong to it. In Kant's words: "Everyth<strong>in</strong>g<br />

as regards its possibility is likewise subject to <strong>the</strong> pr<strong>in</strong>ciple<br />

of complete determ<strong>in</strong>ation accord<strong>in</strong>g to which if all possible<br />

predicates are taken toge<strong>the</strong>r with <strong>the</strong>ir contradictory<br />

opposites, <strong>the</strong>n one of each pair of contradictory opposites<br />

must belong to it." 7<br />

A physical consequence of 2.4 is that every<br />

<strong>in</strong>dividual (physical) object possesses always a welldef<strong>in</strong>ed<br />

position <strong>in</strong> space. This holds also for Russell<br />

accord<strong>in</strong>g to whom <strong>the</strong> most elementary physical objects<br />

are his "events": "The matter <strong>in</strong> place is all <strong>the</strong> events that<br />

are <strong>the</strong>re, <strong>and</strong> consequently no o<strong>the</strong>r event or piece of<br />

matter can be <strong>the</strong>re. This is a tautology, not a physical<br />

fact" 8 . The above consequence is however typical for <strong>the</strong><br />

doma<strong>in</strong> of Classical Mechanics <strong>and</strong> does not hold<br />

generally (cf. 3 below).<br />

2.5 Mechanical Object<br />

If (⎫x)φx satisfies uniqueness, <strong>the</strong>n <strong>the</strong> object of reference<br />

is a bearer of such (essential) properties like mass,<br />

charge, geometrical shape, which transform covariantly<br />

under <strong>the</strong> transformation of <strong>the</strong> Galilean Group. That<br />

means that <strong>the</strong> object rema<strong>in</strong>s rigid under translation <strong>in</strong><br />

space, under orientation <strong>in</strong> space, under translation <strong>in</strong> time<br />

<strong>and</strong> under <strong>in</strong>ertial movement (with arbitrary velocity). In<br />

5 Nagel (1944, RPS), p. 331.<br />

6 Russell (1927, AMt), p. 385; cf. (1925, ABC), p. 185.<br />

7 Kant (1787, KRV) B600. Cf. <strong>the</strong> discussion <strong>in</strong> Mittelstaedt/We<strong>in</strong>gartner<br />

(2005, LNt), p. 268, 271f <strong>and</strong> 276f.<br />

8 Russell (1927, AMt), p. 385.<br />

this sense "mechanical object" or "mechanical system" can<br />

be characterised by <strong>the</strong> Galilean symmetry group. 9<br />

From this it will be clear that <strong>the</strong> opposite implication<br />

does not hold: it does not hold that an object which<br />

satisfies <strong>the</strong> Galilean group, satisfies (⎫x)φx. S<strong>in</strong>ce it is a<br />

whole class of objects (<strong>the</strong> objects of Classical Mechanics)<br />

which satisfy <strong>the</strong> Galilean Group <strong>and</strong> not a s<strong>in</strong>gle object<br />

only.<br />

2.6 Uniqueness<br />

If (⎫x)φx satisfies uniqueness, <strong>the</strong>n <strong>the</strong> object of reference<br />

is unique accord<strong>in</strong>g to Classical Mechanics by his def<strong>in</strong>ite<br />

(accidental) properties: by position (p), momentum (q) <strong>and</strong><br />

po<strong>in</strong>t of time (t).<br />

This holds under <strong>the</strong> additional assumption of <strong>the</strong><br />

impenetrability of <strong>the</strong> object <strong>in</strong> a space-time po<strong>in</strong>t (which<br />

does not follow from <strong>the</strong> dynamical laws). But also this<br />

assumption seems to be hidden <strong>in</strong> Russell's view of event<br />

<strong>and</strong> place (see <strong>the</strong> quotation <strong>in</strong> 2.4 above).<br />

The question whe<strong>the</strong>r Newton has already proved<br />

<strong>the</strong> uniqueness is difficult. It is <strong>the</strong> question whe<strong>the</strong>r he<br />

has shown that besides <strong>the</strong> one <strong>the</strong>re does not exist a<br />

different, second trajectory satisfy<strong>in</strong>g <strong>the</strong> same <strong>in</strong>itial<br />

conditions along which <strong>the</strong> body can move obey<strong>in</strong>g his<br />

laws <strong>in</strong>clud<strong>in</strong>g his law of gravitation. Accord<strong>in</strong>g to Arnold,<br />

Newton showed by check<strong>in</strong>g many solutions of <strong>the</strong> laws<br />

that <strong>the</strong>y depend smoothly (cont<strong>in</strong>uously) on <strong>the</strong> <strong>in</strong>itial<br />

data. But <strong>the</strong> <strong>the</strong>oretical proof seems to have been given<br />

first by Johann Bernulli. 10<br />

2.7 Reidentifiability<br />

If (⎫x)φx satisfies uniqueness, <strong>the</strong>n <strong>the</strong> object of reference<br />

is reidentifiable through time, i.e. has temporal identity.<br />

This reidentifiablity <strong>in</strong> turn requires two conditions to be<br />

fulfilled:<br />

(a) There has to be a dynamical law which connects<br />

<strong>the</strong> object <strong>in</strong> state S1(p, q, t1) with <strong>the</strong> reidentifiable<br />

object <strong>in</strong> state S2(p, q, t2).<br />

(b) The objects have to be impenetrable such that<br />

<strong>the</strong>re can be only one object <strong>in</strong> a space-time<br />

po<strong>in</strong>t.<br />

2.8 Observer-Invariance<br />

If (⎫x)φx satisfies uniqueness, <strong>the</strong>n all observers of <strong>the</strong><br />

object of reference (or <strong>in</strong> o<strong>the</strong>r words: all laboratories with<br />

rods <strong>and</strong> clocks <strong>in</strong> which <strong>the</strong> object is <strong>in</strong>vestigated) are<br />

equal; i.e. <strong>the</strong>re is no designated observer or laboratory. In<br />

o<strong>the</strong>r words: all observers will arrive at <strong>the</strong> same result<br />

concern<strong>in</strong>g <strong>the</strong> unique object of reference.<br />

2.9 Trans-World-Identity<br />

Accord<strong>in</strong>g to our underst<strong>and</strong><strong>in</strong>g of "Law of Nature", <strong>the</strong><br />

laws of nature are valid <strong>in</strong> all (physically) possible worlds<br />

which differ from our world only with respect to <strong>in</strong>dividual<br />

states or <strong>in</strong>itial conditions. 11 Thus <strong>in</strong>dividual states or <strong>in</strong>itial<br />

conditions are not designated by any law ei<strong>the</strong>r <strong>in</strong> this<br />

9 Cf. Mittelstaedt (1986, SRM), p. 219f. A more detailed <strong>and</strong> precise def<strong>in</strong>ition<br />

for "classical physical object" or "object of Classical Mechanics" is given <strong>in</strong>:<br />

Mittelstaedt/We<strong>in</strong>gartner (2005, LNt), p. 271f.<br />

10 Cf. Arnold (1990, HBN), p. 31f.<br />

11 For a detailed justification cf. We<strong>in</strong>gartner (1996, UWT) ch. 7 <strong>and</strong> Mittelstaedt/We<strong>in</strong>gartner<br />

(2005, LNt), p. 181ff.

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

Saved successfully!

Ooh no, something went wrong!