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.

Reth<strong>in</strong>k<strong>in</strong>g <strong>the</strong> Modal Argument aga<strong>in</strong>st Nom<strong>in</strong>al Description<br />

Theory<br />

Jiří Raclavský, Brno, Czech Republic<br />

Tak<strong>in</strong>g advantage of Kripke’s famous claim – “If <strong>the</strong> name<br />

means <strong>the</strong> same as that description or cluster of<br />

descriptions, it will not be a rigid designator.” (Kripke 1972,<br />

276) –one can complete a Kripkean modal argument (MA)<br />

aga<strong>in</strong>st description <strong>the</strong>ory of proper names. It is sufficient<br />

to use Kripke’s key <strong>the</strong>sis − proper names are rigid<br />

designators − as a second premise <strong>and</strong> formulate an<br />

appropriate conclusion. 1 I will conf<strong>in</strong>e myself to <strong>the</strong> version<br />

of MA directed aga<strong>in</strong>st <strong>the</strong> Nom<strong>in</strong>al description <strong>the</strong>ory<br />

(NDT). Accord<strong>in</strong>g to NDT, <strong>the</strong> mean<strong>in</strong>g of a proper name N<br />

is <strong>the</strong> same as <strong>the</strong> mean<strong>in</strong>g of a nom<strong>in</strong>al description ND,<br />

‘<strong>the</strong> only <strong>in</strong>dividual named N’ (or ‘<strong>the</strong> only bearer of N’). It<br />

is an <strong>in</strong>terest<strong>in</strong>g proposal go<strong>in</strong>g aga<strong>in</strong>st <strong>the</strong> mean<strong>in</strong>g<br />

reduction advocated by Saul Kripke. NDT as a semantic<br />

<strong>the</strong>ory has been recently defended ma<strong>in</strong>ly by Kent Bach<br />

(1987). 2 Here is my MA:<br />

If a proper name has <strong>the</strong> same mean<strong>in</strong>g as<br />

a nom<strong>in</strong>al description, it is not a rigid designator.<br />

A proper name is a rigid designator.<br />

Thus, a proper name does not have <strong>the</strong> same<br />

mean<strong>in</strong>g as a nom<strong>in</strong>al description.<br />

MA is an <strong>in</strong>stance of modus tollens, which shows its validity.<br />

3 Never<strong>the</strong>less, Bach’s early critical comments on <strong>the</strong><br />

use of <strong>the</strong> argument (Bach 1981, 152) made me reth<strong>in</strong>k<br />

<strong>the</strong> formulation of MA <strong>and</strong> re-exam<strong>in</strong>e its soundness. Here<br />

are several objections to MA (only <strong>the</strong> first one was expressed<br />

by Bach):<br />

i. ND is a rigid designator. For <strong>the</strong>re is no possible<br />

world W <strong>in</strong> which an <strong>in</strong>dividual is named N <strong>and</strong> it is<br />

not picked out by <strong>the</strong> respective ND.<br />

ii. If ND is a non-rigid designator due to <strong>the</strong> fact of<br />

baptiz<strong>in</strong>g of an <strong>in</strong>dividual by N, thus not s<strong>in</strong>gl<strong>in</strong>g out<br />

N before <strong>the</strong> baptism by N, <strong>the</strong>n N is a non-rigid<br />

designator too. For despite N behaves rigidly after<br />

<strong>the</strong> baptism, it does not designate N before <strong>the</strong> baptism<br />

(or <strong>in</strong> those worlds <strong>in</strong> which N is not baptized<br />

by N).<br />

iii. When we identify <strong>the</strong> mean<strong>in</strong>gs of N <strong>and</strong> ND (or<br />

certa<strong>in</strong> o<strong>the</strong>r suitable rigid description), <strong>the</strong> Kripkean<br />

MA does not force us to accept its conclusion. Although<br />

MA is valid, its soundness is doubtful.<br />

The evident cont<strong>in</strong>gency of baptism is <strong>in</strong> fact <strong>the</strong> ma<strong>in</strong><br />

issue. The question of rigidity or non-rigidity of nom<strong>in</strong>al<br />

descriptions is closely connected to it. To resolve <strong>the</strong> puzzles<br />

aris<strong>in</strong>g from <strong>the</strong> above objections, I will expose a<br />

comprehensive picture of language <strong>and</strong> its explication.<br />

1 Scott Soames (1998) formulated ano<strong>the</strong>r MA. I will not exam<strong>in</strong>e here <strong>the</strong><br />

differences between my <strong>and</strong> Soames’ version. Btw. Soames did not take <strong>in</strong>to<br />

account rigid descriptions (<strong>in</strong>clud<strong>in</strong>g nom<strong>in</strong>al ones).<br />

2 The first proponent of NDT was Bertr<strong>and</strong> Russell followed by William Kneale.<br />

Recently, François Récanati <strong>and</strong> also Stefano Predelli proposed a ‘formalpragmatic’<br />

version of NDT (<strong>the</strong> mean<strong>in</strong>g of a nom<strong>in</strong>al description <strong>in</strong> not <strong>the</strong><br />

mean<strong>in</strong>g of proper name but it occurs somehow <strong>in</strong> its ‘content’).<br />

3 The attack aga<strong>in</strong>st its formal validity raised by Brian Loar (<strong>and</strong> followed by<br />

Bach) is wrong. I have not enough space to prove it here.<br />

Language <strong>and</strong> its explication with<strong>in</strong> an<br />

<strong>in</strong>tensional framework<br />

A natural language was developed by our predecessors as<br />

a medium serv<strong>in</strong>g for transmission of <strong>in</strong>formation about<br />

facts. An elementary fact consists basically <strong>in</strong> an <strong>in</strong>dividual<br />

possess<strong>in</strong>g certa<strong>in</strong> property. Suppose that a subject S<br />

confronted with an external reality recognizes various <strong>in</strong>dividuals<br />

<strong>and</strong> manages a set of pre-<strong>the</strong>oretically given attributes<br />

(properties, relations) denoted by predicates of a<br />

language L used by S. Modell<strong>in</strong>g attributes as mere<br />

classes of <strong>in</strong>dividuals, as it is common with<strong>in</strong> extensionalistic<br />

construal of language, is <strong>in</strong>adequate because a class is<br />

given by objects belong<strong>in</strong>g to it. It is thus necessary for an<br />

<strong>in</strong>dividual to be a member of a given class. Empirical facts,<br />

however, are undoubtedly cont<strong>in</strong>gent. It is clear that <strong>the</strong>re<br />

is a plentitude of conceivable distributions – not just a s<strong>in</strong>gle<br />

one – of <strong>the</strong> same attributes over <strong>the</strong> same <strong>in</strong>dividuals.<br />

Each of (realizable) distribution is a possible world. Possible<br />

worlds serve <strong>the</strong>n as an <strong>in</strong>dex enabl<strong>in</strong>g us to model<br />

cont<strong>in</strong>gency, a modal variability. Attributes are explicated<br />

as certa<strong>in</strong> <strong>in</strong>tensions, namely as mapp<strong>in</strong>gs from possible<br />

worlds to classes of <strong>in</strong>dividuals (or classes of n-tuples of<br />

<strong>in</strong>dividuals). Propositions are <strong>in</strong>tensions hav<strong>in</strong>g truthvalues<br />

as <strong>the</strong>ir values. Etc. It seems reasonable to adopt<br />

also a temporal parameter because possession of<br />

a property by an <strong>in</strong>dividual changes through <strong>the</strong> pass<strong>in</strong>g of<br />

time. Then <strong>in</strong>tensions are mapp<strong>in</strong>gs from possible worlds<br />

to chronologies of objects; <strong>the</strong>y will be spoken simply as<br />

mapp<strong>in</strong>gs from worlds <strong>and</strong> times (to certa<strong>in</strong> objects). Now I<br />

wish to stress <strong>the</strong> most important po<strong>in</strong>t implied by <strong>the</strong><br />

above consideration. The language L is underlaid by a<br />

def<strong>in</strong>ite range of possibilities which I will call <strong>in</strong>tensional<br />

ground. Realize that ano<strong>the</strong>r language, L', can be underlaid<br />

by a different ground because when it names different<br />

<strong>in</strong>dividuals than L, <strong>the</strong> th<strong>in</strong>kable distributions of attributes<br />

are naturally different from those related to L.<br />

There is also ano<strong>the</strong>r important po<strong>in</strong>t. The language<br />

L is construed as ‘synchronically given’. L is explicated as<br />

a (fixed) mapp<strong>in</strong>g associat<strong>in</strong>g expressions with mean<strong>in</strong>gs,<br />

or more simply: expressions with denoted objects<br />

(<strong>in</strong>tensions or non-<strong>in</strong>tensions). Such mapp<strong>in</strong>gs may be<br />

conveniently called (l<strong>in</strong>guistic) codes. One might doubt<br />

whe<strong>the</strong>r our natural languages are such codes. But it<br />

seems quite <strong>in</strong>adequate to suppose that languages do not<br />

at least conta<strong>in</strong> someth<strong>in</strong>g as a code, i.e. a vehicle for<br />

communication of mean<strong>in</strong>gs. Accord<strong>in</strong>g to ano<strong>the</strong>r<br />

possible objection, it is more natural to conceive language<br />

as a grammatical system. However, <strong>the</strong> idea that <strong>the</strong>re is a<br />

f<strong>in</strong>ite system of grammatical rules generat<strong>in</strong>g (or operat<strong>in</strong>g<br />

on) an <strong>in</strong>f<strong>in</strong>ite list of expression-mean<strong>in</strong>g pairs, i.e. a code<br />

L, does not contradict <strong>the</strong> idea of a code. Ano<strong>the</strong>r<br />

objection aga<strong>in</strong>st L explicated as a code is based on <strong>the</strong><br />

assumption that expressions belong<strong>in</strong>g to L ‘change’ <strong>the</strong>ir<br />

mean<strong>in</strong>gs: an expression can, for example, mean C1 at<br />

one time <strong>and</strong> it can mean C2 at ano<strong>the</strong>r time or <strong>in</strong> ano<strong>the</strong>r<br />

world. With<strong>in</strong> our <strong>in</strong>tensional framework, this fact has<br />

a natural explanation. I will borrow <strong>the</strong> term ‘diachronically<br />

given language’ from l<strong>in</strong>guistics <strong>in</strong>tend<strong>in</strong>g to name<br />

a language modally <strong>and</strong> temporally conditioned. One<br />

should thus dist<strong>in</strong>guish a natural language construed as<br />

271

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

Saved successfully!

Ooh no, something went wrong!