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.

Mak<strong>in</strong>g <strong>the</strong> M<strong>in</strong>d Higher-Level<br />

Elizabeth Schier, Sydney, Australia<br />

Central to Kim’s position is a dist<strong>in</strong>ction between levels<br />

<strong>and</strong> orders. Levels are understood <strong>in</strong> mereological terms.<br />

Lower-levels conta<strong>in</strong> parts which are organised <strong>in</strong>to<br />

structured wholes at higher-levels. Orders are ways of<br />

conceptualis<strong>in</strong>g properties without provid<strong>in</strong>g details of <strong>the</strong>ir<br />

various realisers. So water is at a higher-level to <strong>the</strong> H20<br />

molecule because water is made up of H20 molecules.<br />

Liquidity is at a higher-order to water because water is one<br />

way to realise liquidity. But liquidity is not at a higher<br />

mereological level to water because water is not a part of<br />

liquidity <strong>in</strong> <strong>the</strong> same way that H20 molecules are a part of<br />

water.<br />

Crucially Kim is a realist <strong>and</strong> a physicalist about<br />

higher-level phenomena. He is a realist because higherlevel<br />

properties have causal powers that <strong>the</strong>ir parts lack.<br />

He is a physicalist because <strong>the</strong> properties of <strong>the</strong> higherlevel<br />

wholes are determ<strong>in</strong>ed by <strong>the</strong>ir mirco-physics<br />

constituents. A brief reflection on a simple example shows<br />

that this is obviously correct. Water can do th<strong>in</strong>gs that no<br />

<strong>in</strong>dividual H20 molecule can: you would not want to dive<br />

<strong>in</strong>to a pool conta<strong>in</strong><strong>in</strong>g only one H20 molecule. This<br />

difference <strong>in</strong> causal powers is due to <strong>the</strong> arrangement of<br />

<strong>the</strong> molecules: you also would not want to dive <strong>in</strong>to a pool<br />

conta<strong>in</strong><strong>in</strong>g ice or steam. The fact that <strong>the</strong> isolated<br />

constituents or <strong>the</strong> same constituents <strong>in</strong> different structures<br />

can have different types of causal powers means that <strong>the</strong><br />

different structures can not be identical to <strong>the</strong>ir<br />

constituents. There must be more to be<strong>in</strong>g water, snow, or<br />

ice than be<strong>in</strong>g composed of H20 molecules. But <strong>the</strong> extra<br />

th<strong>in</strong>g is simply <strong>the</strong> arrangement of <strong>the</strong> parts. Importantly,<br />

<strong>the</strong> ways <strong>in</strong> which <strong>the</strong> parts can be arranged depends on<br />

<strong>the</strong> nature of <strong>the</strong> parts. It is <strong>the</strong> because oxygen is a small<br />

highly electronegative atom that H20 is a polar molecule<br />

<strong>and</strong> it is because H20 is a highly polar molecule that<br />

hydrogen bonds form between <strong>the</strong> molecules <strong>and</strong> it is<br />

because hydrogen bonds form between <strong>the</strong> molecules that<br />

water has unusual properties (e.g. liquid water is denser<br />

than ice so ice floats on water). The nature of <strong>the</strong> H20<br />

molecule determ<strong>in</strong>es how it can be arranged <strong>and</strong> <strong>the</strong>refore<br />

determ<strong>in</strong>es <strong>the</strong> causal powers of <strong>the</strong> structures that are<br />

composed of it. So it is <strong>the</strong> nature of <strong>the</strong> constituents that<br />

determ<strong>in</strong>es <strong>the</strong> causal powers of <strong>the</strong> whole. Accord<strong>in</strong>g to<br />

Kim, although physicalism is true, a strongly elim<strong>in</strong>ative<br />

micro-physicalism is clearly false. Although everyth<strong>in</strong>g is<br />

physical, not everyth<strong>in</strong>g is identical to <strong>the</strong> entities of microphysics<br />

because not all <strong>the</strong> causal powers are possessed<br />

by <strong>the</strong> entities of micro-physics.<br />

While <strong>the</strong>re are controversies regard<strong>in</strong>g Kim’s<br />

picture, <strong>the</strong>y do not concern his claim that higher-level<br />

phenomena are real <strong>and</strong> physical. No one doubts that<br />

water can do th<strong>in</strong>gs that an <strong>in</strong>dividual H20 molecule can’t<br />

<strong>and</strong> no one doubts that water is physical. This suggests<br />

that if we can show that <strong>the</strong> m<strong>in</strong>d <strong>and</strong> bra<strong>in</strong> are <strong>in</strong> a<br />

mereological relationship <strong>in</strong> <strong>the</strong> same way as water <strong>and</strong><br />

H20 <strong>the</strong>n we can show, to everyone’s satisfaction, that <strong>the</strong><br />

m<strong>in</strong>d is as real <strong>and</strong> physical as water. I want to suggest<br />

that this option has not been explored because <strong>the</strong><br />

st<strong>and</strong>ard, classical digital account of <strong>the</strong> m<strong>in</strong>d does not<br />

make <strong>the</strong> m<strong>in</strong>d higher-level. Fortunately, a connectionist,<br />

analog account of <strong>the</strong> m<strong>in</strong>d does.<br />

What might dist<strong>in</strong>guish <strong>the</strong> m<strong>in</strong>d from its lower-level<br />

constituents? What might <strong>the</strong> m<strong>in</strong>d be able to do that its<br />

parts can’t? One obvious answer is that <strong>the</strong> m<strong>in</strong>d can<br />

compute, but its parts can’t. So what would it take for<br />

computation to be a higher-level property? What is do<strong>in</strong>g<br />

<strong>the</strong> caus<strong>in</strong>g <strong>in</strong> computation? Follow<strong>in</strong>g O’Brien <strong>and</strong> Opie<br />

(2006) I suggest that computation is a causal process<br />

<strong>in</strong>volv<strong>in</strong>g represent<strong>in</strong>g vehicles where <strong>the</strong> trajectory of that<br />

process is shaped by <strong>the</strong> mean<strong>in</strong>g of <strong>the</strong> vehicles. That is,<br />

computation <strong>in</strong>volves represent<strong>in</strong>g vehicles caus<strong>in</strong>g each<br />

o<strong>the</strong>r <strong>in</strong> a way that depends on <strong>the</strong> mean<strong>in</strong>g of those<br />

vehicles. Mean<strong>in</strong>g is do<strong>in</strong>g <strong>the</strong> caus<strong>in</strong>g <strong>in</strong> computation. So<br />

for computation to be a higher-level process we need<br />

mean<strong>in</strong>g to be higher-level property. That is, we need <strong>the</strong><br />

mean<strong>in</strong>g of a represent<strong>in</strong>g vehicle to depend on <strong>the</strong><br />

organisation of its parts. Although we can get this for<br />

analog computation, we do not get this for digital<br />

computation. 1<br />

Digital computation is <strong>the</strong> rule-governed<br />

manipulation of symbols (Haugel<strong>and</strong> 1985). A symbol is a<br />

represent<strong>in</strong>g vehicle that bears an arbitrary relation to its<br />

represented object (Copel<strong>and</strong> 2005). The content of a<br />

symbol does not depend on <strong>the</strong> <strong>in</strong>tr<strong>in</strong>sic nature of <strong>the</strong><br />

symbol. For example <strong>the</strong>re is noth<strong>in</strong>g about <strong>the</strong> numeral ‘3’<br />

as a physical object that means it must be about <strong>the</strong><br />

number three. Ano<strong>the</strong>r way to put this is that <strong>the</strong>re is an<br />

arbitrary relation between <strong>the</strong> syntactic <strong>and</strong> semantic<br />

properties of a symbol. This means that, for symbols,<br />

mean<strong>in</strong>g is not a higher-level property of <strong>the</strong> symbol. The<br />

mean<strong>in</strong>g of a symbol does not depend on <strong>the</strong> organisation<br />

of <strong>the</strong> parts of a symbol. You can change <strong>the</strong> structure of<br />

your symbol, <strong>and</strong> as long as <strong>the</strong> rules are changed to<br />

recognise <strong>the</strong> new structure, <strong>the</strong> system will still function<br />

correctly. This is why it is possible to build a digital<br />

computer out of anyth<strong>in</strong>g, even beer cans or bricks.<br />

But <strong>the</strong>re is an alternate analog account of<br />

computation accord<strong>in</strong>g to which computation is <strong>the</strong><br />

manipulation of analogs, represent<strong>in</strong>g vehicles that<br />

resemble what <strong>the</strong>y are about. Consider for example an<br />

architect’s scale model, which is be<strong>in</strong>g used to calculate<br />

<strong>the</strong> shadows that will be cast by a build<strong>in</strong>g. 2 Like water, <strong>the</strong><br />

organisation <strong>and</strong> nature of <strong>the</strong> parts of a scale model<br />

matter. If you change <strong>the</strong> structure <strong>the</strong>n you change what<br />

<strong>the</strong>y are about. For example, if you move <strong>the</strong> build<strong>in</strong>gs,<br />

<strong>the</strong>n <strong>the</strong>y will no longer represent <strong>the</strong> proposed build<strong>in</strong>gs<br />

<strong>and</strong> <strong>the</strong> shadows <strong>the</strong>y will cast. If you change <strong>the</strong> nature of<br />

<strong>the</strong> constituents you also change <strong>the</strong> mean<strong>in</strong>g. It is no<br />

good build<strong>in</strong>g your scale model out of glass because it<br />

won’t block <strong>the</strong> light <strong>in</strong> <strong>the</strong> right way. The organisation <strong>and</strong><br />

nature of <strong>the</strong> constituents determ<strong>in</strong>es what <strong>the</strong> model<br />

resembles <strong>and</strong> <strong>the</strong>refore determ<strong>in</strong>es what it represents. In<br />

analog computation <strong>the</strong>re are no rules which we can<br />

change to deal with <strong>the</strong> change to <strong>the</strong> represent<strong>in</strong>g<br />

vehicles. The mean<strong>in</strong>g of <strong>the</strong> represent<strong>in</strong>g vehicles <strong>in</strong> a<br />

scale model is at a mereologically higher-level to <strong>the</strong>ir<br />

constituents. The same constituents <strong>in</strong> a different<br />

arrangement will have a different mean<strong>in</strong>g. Even by Kim’s<br />

st<strong>and</strong>ards, mean<strong>in</strong>g is a new, causally efficacious property<br />

<strong>in</strong> <strong>the</strong> scale model.<br />

1 The analog-digital dist<strong>in</strong>ction is often understood <strong>in</strong> terms of <strong>the</strong> cont<strong>in</strong>uity or<br />

discreteness of <strong>the</strong> representational medium. I am us<strong>in</strong>g <strong>the</strong> dist<strong>in</strong>ction not <strong>in</strong><br />

this way, but ra<strong>the</strong>r as a dist<strong>in</strong>ction between represent<strong>in</strong>g vehicles that do or<br />

do not have <strong>the</strong>ir content grounded <strong>in</strong> resemblance (see Copel<strong>and</strong> 2005).<br />

2 I have taken this example from Gerard O’Brien.<br />

295

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

Saved successfully!

Ooh no, something went wrong!