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.

Objects of Perception, Objects of Science, <strong>and</strong> Identity Statements<br />

Pavla Toráčová, Prague, Czech Republic<br />

I would like to present a brief <strong>in</strong>vestigation <strong>in</strong>to <strong>the</strong> nature<br />

of <strong>the</strong>oretical identifications, <strong>in</strong> which we identify an object<br />

of our pre<strong>the</strong>oretical underst<strong>and</strong><strong>in</strong>g with an object of<br />

scientific discovery. Traditional examples of such<br />

<strong>the</strong>oretical identifications are <strong>the</strong> follow<strong>in</strong>g: „light is a<br />

stream of photons”, “water is H2O”, “lightn<strong>in</strong>g is an<br />

electrical discharge”, “gold is <strong>the</strong> element with <strong>the</strong> atomic<br />

number 79”, etc.<br />

Kripke: identity statements<br />

I will start with <strong>the</strong> account of <strong>the</strong> nature of identity statements<br />

as provided by Saul Kripke (Kripke 1980). Accord<strong>in</strong>g<br />

to this account, identity statements like “light is a<br />

stream of photons”, “heat is molecular motion”, etc., are<br />

statements that <strong>in</strong>volve two rigid designators that designate<br />

<strong>the</strong> identical natural phenomenon. A rigid designator<br />

is a term that designates <strong>the</strong> same object <strong>in</strong> every possible<br />

world. The key po<strong>in</strong>t is that <strong>the</strong> reference of <strong>the</strong> rigid designator<br />

is not determ<strong>in</strong>ed by <strong>the</strong> description expressed by<br />

or associated with <strong>the</strong> term as it was suggested by <strong>the</strong><br />

traditional <strong>the</strong>ory of reference. Accord<strong>in</strong>g to that traditional<br />

<strong>the</strong>ory, <strong>the</strong> referent is any object that fulfils <strong>the</strong> description<br />

expressed, possibly <strong>in</strong> a disguised form, by <strong>the</strong> term.<br />

Kripke shows that we often use terms (especially proper<br />

names, but also terms of natural species <strong>and</strong> natural phenomena)<br />

<strong>in</strong> a different way: we use <strong>the</strong>m to refer to <strong>the</strong><br />

particular object or phenomenon <strong>in</strong> its necessary existence,<br />

which doesn’t <strong>in</strong>volve <strong>the</strong> cont<strong>in</strong>gent properties <strong>the</strong><br />

objects actually bears. Thus, <strong>the</strong> name “Kurt Gödel” designates<br />

a man who, provid<strong>in</strong>g his life had gone differently,<br />

might not have achieved all <strong>the</strong> th<strong>in</strong>gs that he achieved.<br />

The name “even<strong>in</strong>g star” designates <strong>the</strong> object—i.e., <strong>the</strong><br />

planet—that, <strong>in</strong> a different possible world, is not seen <strong>in</strong><br />

<strong>the</strong> even<strong>in</strong>g sky. And similarly, term “heat” designates <strong>the</strong><br />

natural phenomenon that, <strong>in</strong> ano<strong>the</strong>r possible world,<br />

doesn’t cause <strong>the</strong> characteristic sensations <strong>in</strong> sensitive<br />

creatures, <strong>and</strong> <strong>the</strong> term “gold” designates a natural species<br />

that might not have been yellow. The properties expressed<br />

by <strong>the</strong> term (or associated with it)—<strong>in</strong> <strong>the</strong> above<br />

examples <strong>the</strong>y might be: “to have proven <strong>the</strong> <strong>in</strong>completeness<br />

of arithmetic,” “to be seen as <strong>the</strong> first bright object <strong>in</strong><br />

<strong>the</strong> even<strong>in</strong>g sky,” “to produce <strong>the</strong> specific sensations <strong>in</strong><br />

people”—are only cont<strong>in</strong>gently true of <strong>the</strong> objects <strong>and</strong><br />

phenomena designated by <strong>the</strong> terms.<br />

Now it is exactly this feature that makes <strong>the</strong><br />

<strong>the</strong>oretical identifications possible. The structure of <strong>the</strong><br />

identifications <strong>the</strong>n may be expla<strong>in</strong>ed as follows: Initially<br />

we identify <strong>the</strong> natural phenomenon by phenomenal<br />

qualities that are true of it <strong>in</strong> our world, <strong>and</strong> are true of it<br />

only cont<strong>in</strong>gently; heat, for example, we identify by <strong>the</strong><br />

characteristic sensations it causes <strong>in</strong> us; gold by <strong>the</strong> color,<br />

brightness <strong>and</strong> solidity; water by <strong>the</strong> characteristic look,<br />

taste <strong>and</strong> feel, etc. Later <strong>in</strong> <strong>the</strong> scientific <strong>in</strong>quiry, we<br />

discover <strong>the</strong> essential properties of <strong>the</strong> phenomenon, i.e.,<br />

<strong>the</strong> properties that are necessarily true of <strong>the</strong><br />

phenomenon. In <strong>the</strong> statement of identity we <strong>the</strong>n state <strong>the</strong><br />

identity of <strong>the</strong> very object that is referred to by both<br />

terms—<strong>in</strong>itially we refer to it without know<strong>in</strong>g its essential<br />

properties that we later scientifically discover.<br />

Kripke says:<br />

„What characteristically goes on <strong>in</strong> <strong>the</strong>se cases of,<br />

let’s say, ‘heat is molecular motion’? There is a certa<strong>in</strong><br />

referent which we have fixed, for <strong>the</strong> real world<br />

<strong>and</strong> for all possible worlds, by a cont<strong>in</strong>gent property<br />

of it, namely <strong>the</strong> property that it’s able to produce<br />

such <strong>and</strong> such sensations <strong>in</strong> us. Let’s say it’s a cont<strong>in</strong>gent<br />

property of heat that it produces such <strong>and</strong><br />

such sensations <strong>in</strong> people. It’s after all cont<strong>in</strong>gent<br />

that <strong>the</strong>re should ever have been people on this<br />

planet at all. So one doesn’t know a priori what<br />

physical phenomenon, described <strong>in</strong> o<strong>the</strong>r terms—<strong>in</strong><br />

basic terms of physical <strong>the</strong>ory—is <strong>the</strong> phenomenon<br />

which produces <strong>the</strong>se sensations. We don’t know<br />

this, <strong>and</strong> we’ve discovered eventually that this phenomenon<br />

is <strong>in</strong> fact molecular motion. When we have<br />

discovered this, we’ve discovered an identification<br />

which gives us an essential property of this phenomenon.<br />

We have discovered a phenomenon<br />

which <strong>in</strong> all possible worlds will be molecular motion—which<br />

could not have failed to be molecular<br />

motion, because that’s what <strong>the</strong> phenomenon is. On<br />

<strong>the</strong> o<strong>the</strong>r h<strong>and</strong>, <strong>the</strong> property by which we identify it<br />

orig<strong>in</strong>ally, that of produc<strong>in</strong>g such <strong>and</strong> such sensation<br />

<strong>in</strong> us, is not a necessary property but a cont<strong>in</strong>gent<br />

one.” (Kripke 1980, 132-133)<br />

When we say “heat” we actually mean <strong>the</strong> phenomenon<br />

that is <strong>the</strong> same <strong>in</strong> every possible world, <strong>the</strong> phenomenon<br />

that possesses <strong>the</strong> essential property “to be molecular<br />

motion”. When we use <strong>the</strong> term “heat” we mean this phenomenon<br />

from <strong>the</strong> very beg<strong>in</strong>n<strong>in</strong>g although we have no<br />

knowledge of <strong>the</strong> essential property <strong>and</strong> <strong>the</strong> only way we<br />

are <strong>in</strong>itially able to identify it is by <strong>the</strong> cont<strong>in</strong>gent property<br />

“to produce such <strong>and</strong> such sensations <strong>in</strong> us.”<br />

Kripke says:<br />

“In general, science attempts, by <strong>in</strong>vestigat<strong>in</strong>g basic<br />

structural traits, to f<strong>in</strong>d <strong>the</strong> nature, <strong>and</strong> thus <strong>the</strong> essence<br />

(<strong>in</strong> <strong>the</strong> philosophical sense) of <strong>the</strong> k<strong>in</strong>d. /.../<br />

Note that on <strong>the</strong> present view, scientific discoveries<br />

of species essence do not constitute a ‘change of<br />

mean<strong>in</strong>g’; <strong>the</strong> possibility of such discoveries was<br />

part of <strong>the</strong> orig<strong>in</strong>al enterprise.” (Kripke 1980, 138)<br />

The ability of terms to refer to an object not by virtue of <strong>the</strong><br />

object’s properties which are known to us (<strong>and</strong> that are<br />

often expressed by <strong>the</strong> term)—<strong>in</strong>deed, to refer to <strong>the</strong> object,<br />

as it were, despite of <strong>the</strong>se properties—is <strong>the</strong> crucial<br />

po<strong>in</strong>t of Kripke’s <strong>the</strong>ory of reference of proper names. It<br />

also contributes to our underst<strong>and</strong><strong>in</strong>g of <strong>the</strong> <strong>the</strong>oretical<br />

identifications that have been discussed <strong>in</strong> this paper <strong>and</strong><br />

that enjoy considerable <strong>in</strong>terest among philosophers.<br />

However, <strong>the</strong>re are some questions that arise: If <strong>the</strong> rigid<br />

designator designates <strong>the</strong> phenomenon <strong>in</strong>dependently of<br />

<strong>the</strong> description that goes with <strong>the</strong> term, be it <strong>the</strong> description<br />

of <strong>the</strong> cont<strong>in</strong>gent properties or <strong>the</strong> description of <strong>the</strong><br />

essential properties, how can we know <strong>the</strong> scientifically<br />

discovered property is <strong>the</strong> essential one? Indeed, how<br />

could science have ever begun its enterprise, if <strong>the</strong> once<br />

available properties are regarded as not relevant for <strong>the</strong><br />

necessary existence of <strong>the</strong> phenomenon that science aims<br />

to discover? To be sure, at <strong>the</strong> beg<strong>in</strong>n<strong>in</strong>g of <strong>the</strong> scientific<br />

353

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

Saved successfully!

Ooh no, something went wrong!