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.

to work this way. Classic examples are <strong>the</strong> reduction of<br />

Newtonian mechanics to <strong>the</strong> special <strong>the</strong>ory of relativity <strong>in</strong><br />

<strong>the</strong> case of small velocities (velocity of light c → ∞) <strong>and</strong> <strong>the</strong><br />

reduction of quantum mechanics to classical mechanics <strong>in</strong><br />

<strong>the</strong> case of large quantum numbers (Planck's quantum of<br />

action ħ → 0).<br />

(b) We speak of statistical reductions whenever <strong>the</strong> higherlevel<br />

<strong>the</strong>ory deals with a large amount of entities of <strong>the</strong><br />

lower-level <strong>the</strong>ory, which are treated by means of statistical<br />

methods. The reduc<strong>in</strong>g <strong>the</strong>ory is normally concerned<br />

only with <strong>the</strong> behavior of a s<strong>in</strong>gle one or at most a small<br />

amount of <strong>the</strong>se entities while <strong>the</strong> reduced <strong>the</strong>ory deals<br />

with <strong>the</strong> collective behavior of a huge amount of <strong>the</strong>m. In<br />

much of <strong>the</strong> literature <strong>the</strong>se types of reduction (a) <strong>and</strong> (b)<br />

are often lumped toge<strong>the</strong>r – statistical reduction is considered<br />

a parametric reduction <strong>in</strong> terms of <strong>the</strong> number of particles<br />

N. But for several reasons that is itself not a good<br />

reduction of type (b) to type (a).<br />

First, statistical reduction is so abundant, that it<br />

merits to be considered separately. It can be found across<br />

all boundaries <strong>in</strong> <strong>the</strong> sciences, whenever large numbers of<br />

similar entities are <strong>in</strong>volved: humans, neurons, atoms,<br />

goods etc. Second, <strong>the</strong>re are important conceptual<br />

aspects <strong>in</strong> which statistical reduction differs from<br />

parametric reduction. The calculus of probability plays an<br />

essential role. Also, <strong>the</strong> reduced <strong>the</strong>ory deals with a<br />

peculiar k<strong>in</strong>d of entities <strong>and</strong> laws: They are statistical <strong>in</strong><br />

nature as we will see <strong>in</strong> <strong>the</strong> next section. For <strong>the</strong> rest of<br />

this essay we will concentrate on statistical reductions.<br />

3. Statistical <strong>Reduction</strong><br />

Not very surpris<strong>in</strong>gly <strong>the</strong> decisive property, that dist<strong>in</strong>guishes<br />

statistical reductions from o<strong>the</strong>r k<strong>in</strong>ds, is that on<br />

<strong>the</strong> level of <strong>the</strong> reduced <strong>the</strong>ory we deal <strong>in</strong> all aspects with<br />

statistical phenomena: statistical entities, statistical properties<br />

of <strong>the</strong> entities <strong>and</strong> statistical laws connect<strong>in</strong>g <strong>the</strong>se<br />

properties. We will illustrate this <strong>in</strong> <strong>the</strong> follow<strong>in</strong>g by means<br />

of <strong>the</strong> reduction of <strong>the</strong>rmodynamics to statistical mechanics.<br />

Only at <strong>the</strong> end of this section o<strong>the</strong>r examples will be<br />

quickly addressed.<br />

Thermodynamics deals with statistical entities, e.g.<br />

gases, fluids, or solids. These macroscopic entities are<br />

composed of a large amount of <strong>the</strong> fundamental entities<br />

that mechanics is concerned with – namely a large amount<br />

of po<strong>in</strong>t-like masses. The properties of <strong>the</strong> <strong>the</strong>rmodynamic<br />

entities are also statistical <strong>in</strong> nature: Quantities like volume<br />

V, pressure p, temperature T, or entropy S require a large<br />

amount of mechanical po<strong>in</strong>t masses <strong>in</strong> order to be<br />

adequately def<strong>in</strong>ed. F<strong>in</strong>ally, statistical laws relate <strong>the</strong>se<br />

properties with each o<strong>the</strong>r – examples are <strong>the</strong> ideal gas<br />

law pV ~ T or <strong>the</strong> second law of <strong>the</strong>rmodynamics describ<strong>in</strong>g<br />

<strong>the</strong> <strong>in</strong>crease of entropy.<br />

Start<strong>in</strong>g from <strong>the</strong> lower-level <strong>the</strong>ory, which is<br />

mechanics <strong>in</strong> <strong>the</strong> considered example, it turns out that<br />

most of <strong>the</strong> elements of <strong>the</strong> higher-level <strong>the</strong>ory can only be<br />

def<strong>in</strong>ed <strong>in</strong> terms of cont<strong>in</strong>uous <strong>and</strong> differentiable<br />

probability distributions of <strong>the</strong> lower-level entities. On <strong>the</strong><br />

basis of a frequency view of probability, <strong>the</strong>se cont<strong>in</strong>uous<br />

distributions must necessarily refer to an <strong>in</strong>f<strong>in</strong>ite number of<br />

lower-level entities. A f<strong>in</strong>ite number of <strong>in</strong>stances, e.g. a<br />

f<strong>in</strong>ite number of atoms, can only yield a discrete<br />

distribution function correspond<strong>in</strong>g to a weighted sum of δfunctions.<br />

Thus, <strong>in</strong> order to establish <strong>the</strong> concepts of <strong>the</strong><br />

higher-level <strong>the</strong>ory <strong>the</strong> transition to <strong>the</strong> <strong>in</strong>f<strong>in</strong>ite limit is<br />

essential.<br />

Limit<strong>in</strong>g Frequencies <strong>in</strong> Scientific <strong>Reduction</strong>s — Wolfgang Pietsch<br />

Microscopically, matter is not cont<strong>in</strong>uously<br />

distributed <strong>in</strong> space – a gas actually consists of many<br />

po<strong>in</strong>t-like masses <strong>and</strong> a lot of empty space. To def<strong>in</strong>e<br />

simple properties like volume or pressure on <strong>the</strong> basis of<br />

<strong>the</strong> actual discrete distribution function for <strong>the</strong> atoms turns<br />

out quite difficult: How for example should <strong>the</strong> boundaries<br />

of <strong>the</strong> volume along <strong>the</strong> edges of <strong>the</strong> gas be determ<strong>in</strong>ed?<br />

There is just no unambiguous way to decide which parts of<br />

<strong>the</strong> empty space belong to <strong>the</strong> gas <strong>and</strong> which not. The<br />

question is answered on <strong>the</strong> basis of pragmatic <strong>and</strong> <strong>in</strong><br />

particular symmetry considerations. The actual probability<br />

distribution is smoo<strong>the</strong>d out everywhere <strong>and</strong> is chosen <strong>in</strong><br />

such a way that <strong>the</strong> edges are as geometrically simple as<br />

possible. In this manner, we are led from <strong>the</strong> actual<br />

discrete distribution of <strong>the</strong> atoms to a cont<strong>in</strong>uous<br />

distribution which determ<strong>in</strong>es <strong>the</strong> macroscopic concept of<br />

volume.<br />

Similarly, <strong>the</strong> concept of <strong>the</strong>rmodynamic pressure<br />

<strong>in</strong>volves an <strong>in</strong>f<strong>in</strong>ite limit <strong>in</strong> order to arrive from <strong>the</strong> discrete<br />

concept of microscopic collisions to <strong>the</strong> cont<strong>in</strong>uous<br />

macroscopic concept of force per area. Aga<strong>in</strong>, symmetry<br />

considerations lead <strong>the</strong> way from <strong>the</strong> actual microscopic<br />

events to a cont<strong>in</strong>uous probability distribution which<br />

presupposes an <strong>in</strong>f<strong>in</strong>ite number of those microscopic<br />

events.<br />

The laws that connect macroscopic quantities – as<br />

<strong>the</strong> ideal gas law connects pressure, volume, <strong>and</strong><br />

temperature – presuppose <strong>the</strong> <strong>in</strong>f<strong>in</strong>ite limit as well, simply<br />

because properties like pressure <strong>and</strong> volume are<br />

o<strong>the</strong>rwise ill-def<strong>in</strong>ed. Sometimes, <strong>the</strong> macroscopic laws<br />

crucially depend on <strong>the</strong> way <strong>the</strong> limit is taken. A good<br />

example is <strong>the</strong> second law of <strong>the</strong>rmodynamics which<br />

describes <strong>the</strong> <strong>in</strong>crease <strong>in</strong> entropy dur<strong>in</strong>g <strong>the</strong> approach to<br />

equilibrium. Depend<strong>in</strong>g on <strong>the</strong> way <strong>the</strong> <strong>in</strong>f<strong>in</strong>ite limit is<br />

taken, one ei<strong>the</strong>r derives from statistical mechanics a<br />

determ<strong>in</strong>istic second law which allows no entropy<br />

decrease at all – as <strong>in</strong> Ludwig Boltzmann's H-<strong>the</strong>orem<br />

(Boltzmann 1872). In o<strong>the</strong>r cases one may obta<strong>in</strong> entropy<br />

fluctuations. These results are not contradictory – <strong>the</strong>y just<br />

correspond to different extents of coarse-gra<strong>in</strong><strong>in</strong>g.<br />

When o<strong>the</strong>r examples of statistical reductions are<br />

exam<strong>in</strong>ed one encounters <strong>the</strong> same need for cont<strong>in</strong>uous<br />

distributions <strong>and</strong> <strong>the</strong> <strong>in</strong>f<strong>in</strong>ite limit. Statistical reductions can<br />

be found across all boundaries <strong>in</strong> natural as well as social<br />

sciences, whenever one deals with a great amount of<br />

similar entities: with neurons <strong>in</strong> neuroscience, goods <strong>in</strong><br />

economy, human be<strong>in</strong>gs <strong>in</strong> population science, or errors <strong>in</strong><br />

error <strong>the</strong>ory. Consider<strong>in</strong>g <strong>the</strong> abundance of error <strong>the</strong>oretic<br />

methods <strong>in</strong> all k<strong>in</strong>ds of scientific enterprises, <strong>the</strong> last<br />

example once more underl<strong>in</strong>es <strong>the</strong> ubiquity of statistical<br />

reductions. Whenever Gaussian distributions for<br />

measurement values are assumed, one has implicitly<br />

taken <strong>the</strong> limit of an <strong>in</strong>f<strong>in</strong>ite number of equally distributed,<br />

m<strong>in</strong>iature errors.<br />

4. Conclusion: The Need for Inf<strong>in</strong>ite Frequencies<br />

The <strong>in</strong>dispensable role of limit<strong>in</strong>g frequencies for <strong>the</strong> macroscopic<br />

concept formation <strong>in</strong> statistical reductions provides<br />

an <strong>in</strong>terest<strong>in</strong>g test case for <strong>the</strong> different <strong>in</strong>terpretations<br />

of probability. Lately, limit<strong>in</strong>g frequencies have not<br />

enjoyed a good reputation both among scientists <strong>and</strong> philosophers<br />

of science, e.g. illustrated <strong>in</strong> <strong>the</strong> follow<strong>in</strong>g quote<br />

by Alan Hájek (2007): “To be sure, science has much <strong>in</strong>terest<br />

<strong>in</strong> f<strong>in</strong>ite frequencies, <strong>and</strong> <strong>in</strong>deed work<strong>in</strong>g with <strong>the</strong>m<br />

is much of <strong>the</strong> bus<strong>in</strong>ess of statistics. Whe<strong>the</strong>r it has any<br />

<strong>in</strong>terest <strong>in</strong> highly idealized, hypo<strong>the</strong>tical extensions of ac-<br />

257

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

Saved successfully!

Ooh no, something went wrong!