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.

mentioned expressions <strong>in</strong> <strong>the</strong> referential axioms. On <strong>the</strong><br />

contrary, formal semantics is a ma<strong>the</strong>matical discipl<strong>in</strong>e:<br />

First order set <strong>the</strong>ory. Given <strong>the</strong> possibility of a set<strong>the</strong>oretic<br />

construal of formal mean<strong>in</strong>g <strong>the</strong>ories, as well as<br />

<strong>the</strong>ir historical development from Tarskian model <strong>the</strong>ory,<br />

we might th<strong>in</strong>k <strong>the</strong> same is true <strong>in</strong> <strong>the</strong>ir case; or more<br />

weakly, we might th<strong>in</strong>k it possible to <strong>in</strong>terpret <strong>the</strong>m <strong>in</strong> this<br />

way. If so, <strong>the</strong>n although we owe ontological commitment<br />

to <strong>the</strong> members of a mean<strong>in</strong>g <strong>the</strong>ory’s doma<strong>in</strong>, <strong>the</strong>se<br />

would, or at least could, be urelements. In which case <strong>the</strong><br />

axiom ‘‘Atlantis’ refers to Atlantis’ dem<strong>and</strong>s ontological<br />

commitment to noth<strong>in</strong>g more than an (existent) urelement,<br />

not a (non-existent) cont<strong>in</strong>ent.<br />

This foray <strong>in</strong>to formal mean<strong>in</strong>g <strong>the</strong>ories casts light<br />

on how <strong>the</strong> expression “This word signifies this” can be<br />

made part of <strong>the</strong> description’ of <strong>the</strong> word’s use. As <strong>in</strong><br />

formal mean<strong>in</strong>g <strong>the</strong>ories, so <strong>in</strong> folk practice: It occurs<br />

through reference talk com<strong>in</strong>g to be used to <strong>in</strong>dicate at<br />

least certa<strong>in</strong> aspects of <strong>the</strong> expression’s semantic role.<br />

This <strong>in</strong>dication can be wider or narrower. We have, for<br />

example, numerals <strong>in</strong> our language that are characterised<br />

as referr<strong>in</strong>g to natural numbers. They are characterised<br />

this way both en masse, <strong>in</strong> that referr<strong>in</strong>g to natural<br />

numbers is what numerals do, <strong>and</strong> <strong>in</strong>dividually, <strong>in</strong> that<br />

each numeral has a specific natural number it refers to.<br />

Presum<strong>in</strong>g <strong>the</strong> practice does not also describe complex<br />

arithmetical equations as referr<strong>in</strong>g to numbers (or numbers<br />

alone), to say that a person uses a particular expression to<br />

refer to a natural number is to <strong>in</strong>dicate that <strong>the</strong>y mean it as<br />

a numeral. To <strong>in</strong>dicate that <strong>the</strong>y use it to refer to a<br />

particular natural number is to <strong>in</strong>dicate that <strong>the</strong>y give it <strong>the</strong><br />

same mean<strong>in</strong>g as a particular numeral. Let us assume, as<br />

seems plausible, that natural language has <strong>the</strong> semantic<br />

vocabulary – expressions denot<strong>in</strong>g <strong>the</strong> categories of<br />

objects, properties, relations, truth functions, properties of<br />

properties, etc, <strong>and</strong> <strong>the</strong> means to provide <strong>in</strong>def<strong>in</strong>itely many<br />

names of <strong>the</strong> <strong>in</strong>dividuals entities of <strong>the</strong> various categories<br />

– to allow us to th<strong>in</strong>k of every sub-sentential expression<br />

(as parsed <strong>in</strong> <strong>the</strong> canonical syntax, which we can assume<br />

to be Fregean) as referr<strong>in</strong>g to particular referents of a<br />

particular category. Let us call <strong>the</strong>se <strong>the</strong> canonical<br />

referents of <strong>the</strong> language's sub-sentential expressions.<br />

This permits <strong>in</strong>formation about <strong>the</strong> mean<strong>in</strong>g a person gives<br />

a sub-sentential expression to be expressed by <strong>the</strong> class<br />

of entity that <strong>the</strong> expression is said to refer to: to learn that<br />

someone uses a sub-sentential expression to refer to an<br />

object is to discover that <strong>the</strong>y mean it as a name (or<br />

def<strong>in</strong>ite description), whilst to learn <strong>the</strong>y use it to refer to a<br />

property is to f<strong>in</strong>d <strong>the</strong>y mean it as a predicate, etc.<br />

Referents, via <strong>the</strong> referential relation, provide a model for<br />

language on <strong>the</strong> basis of referential claims of <strong>the</strong> form ‘‘a’<br />

refers to b’ <strong>and</strong> ‘There is some x such that ‘A’ refers to an<br />

x’. To those familiar with <strong>the</strong> practice, this model<br />

categorises <strong>the</strong> correct use of expressions. Expla<strong>in</strong><strong>in</strong>g <strong>the</strong><br />

model a person utilises helps expla<strong>in</strong> <strong>the</strong> mean<strong>in</strong>g <strong>the</strong>y<br />

provide <strong>the</strong>ir expressions. Tell<strong>in</strong>g o<strong>the</strong>rs <strong>the</strong> model <strong>the</strong>y<br />

ought to use helps to teach <strong>the</strong>m to use language as we<br />

wish <strong>the</strong>m too. S<strong>in</strong>ce such a model provides referents that<br />

suffice, with<strong>in</strong> <strong>the</strong> practice, to entirely represent <strong>the</strong><br />

contribution <strong>the</strong> expressions make to <strong>the</strong> mean<strong>in</strong>gs of <strong>the</strong><br />

sentences <strong>the</strong>y can be part of, <strong>the</strong>n knowledge about what<br />

a person refers to by an expression will provide knowledge<br />

of what <strong>the</strong> person means by <strong>the</strong> expression.<br />

18<br />

Referential Practice <strong>and</strong> <strong>the</strong> Lure of August<strong>in</strong>ianism — Michael Ashcroft<br />

It is but a short step from believ<strong>in</strong>g our language<br />

<strong>and</strong> canonical syntax permits such a referential practice to<br />

th<strong>in</strong>k<strong>in</strong>g we possess <strong>the</strong> same. Such a sophisticated<br />

referential practice would not be redundant. As well as<br />

facilitat<strong>in</strong>g learn<strong>in</strong>g, it permits translations from one<br />

language to ano<strong>the</strong>r; <strong>in</strong>deed it permits extremely subtle<br />

translations that can elucidate <strong>the</strong> similarities <strong>and</strong><br />

differences <strong>in</strong> structures between <strong>the</strong> two languages (cf PI<br />

10). But when applied to one’s own language <strong>in</strong> <strong>the</strong><br />

presence of competent users <strong>the</strong> practice idles, it produces<br />

trivial substitution <strong>in</strong>stances of <strong>the</strong> schema ‘‘A’ refers to A’,<br />

or ''A' refers to <strong>the</strong> property (of) A', etc (perhaps with small<br />

amounts of decl<strong>in</strong>ation or conjugation to produce<br />

appropriately reified canonical referents). This is harmless<br />

enough, but note that reference is simultaneously<br />

important <strong>in</strong> elucidat<strong>in</strong>g mean<strong>in</strong>g <strong>and</strong> every expression is<br />

(given a recursive categorisation system <strong>and</strong> an ability to<br />

provide names for previously undiscussed members of<br />

categories) tautologically provided with a referent, <strong>and</strong> this<br />

referent is (also tautologically) <strong>the</strong> mean<strong>in</strong>g (semantic role)<br />

of <strong>the</strong> expression.<br />

Thus, as <strong>in</strong> formal mean<strong>in</strong>g <strong>the</strong>ories, say<strong>in</strong>g that an<br />

expression possesses a particular referent, or possesses a<br />

referent of a particular type, provides <strong>in</strong>formation about <strong>the</strong><br />

expressions’ semantic value. (And certa<strong>in</strong>ly, Wittgenste<strong>in</strong><br />

exorcises any concern about <strong>the</strong> legitimacy of <strong>the</strong> used<br />

expressions on <strong>the</strong> right of reference claims. We can th<strong>in</strong>k<br />

of this sophisticated reference talk as a sui generis<br />

l<strong>in</strong>guistic practice whose utility lies <strong>in</strong> its creation of this<br />

referential model. The objects of this model, which we<br />

arguably need to be ontologically committed to, are<br />

noth<strong>in</strong>g more than o<strong>the</strong>r expressions of <strong>the</strong> language.)<br />

Such, I th<strong>in</strong>k, is Wittgenste<strong>in</strong>’s underst<strong>and</strong><strong>in</strong>g of how<br />

expressions such as ‘This word refers to this’ are made<br />

part of <strong>the</strong> description of <strong>the</strong> use of words.<br />

It is clear how such a l<strong>in</strong>guistic practice lures us<br />

towards August<strong>in</strong>ianism. For <strong>in</strong> <strong>the</strong> sophisticated practice<br />

every expression possesses a referent which is, <strong>in</strong> some<br />

sense, <strong>the</strong> expressions mean<strong>in</strong>g (semantic role). Two<br />

po<strong>in</strong>ts elucidate <strong>the</strong> lure <strong>and</strong> problems of <strong>the</strong> weak <strong>and</strong><br />

strong August<strong>in</strong>ian accounts respectively:<br />

(i) With<strong>in</strong> sophisticated referential practice, reference<br />

talk provides a model of <strong>the</strong> semantic role<br />

of expressions <strong>in</strong> that referential claims represent,<br />

to those familiar with <strong>the</strong> practice, <strong>the</strong> semantic<br />

role of expressions. It is a mistake to<br />

th<strong>in</strong>k that <strong>the</strong> possession of a referent <strong>in</strong> this<br />

sense causes an expression to have a semantic<br />

role.<br />

(ii) With<strong>in</strong> sophisticated referential practice, all expressions<br />

possess (<strong>the</strong>ir canonical) referents<br />

which represent <strong>the</strong>ir semantic role. But, as<br />

noted, we also naïvely talk about expressions<br />

referr<strong>in</strong>g <strong>in</strong> <strong>the</strong> sense that <strong>the</strong>ir correct use <strong>in</strong>timately<br />

<strong>in</strong>volve (a) particular material entity/<br />

entities which are <strong>the</strong>reby <strong>the</strong>ir referent(s). It is<br />

a mistake to th<strong>in</strong>k that <strong>the</strong> fact that all expressions<br />

possess referents <strong>in</strong> <strong>the</strong> sophisticated<br />

sense entails that <strong>the</strong>y possess referents <strong>in</strong> <strong>the</strong><br />

naïve sense. It is likewise a mistake to th<strong>in</strong>k<br />

that <strong>the</strong> referents expressions may possess <strong>in</strong><br />

<strong>the</strong> naive sense represent <strong>the</strong> semantic role of<br />

<strong>the</strong> expression.

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

Saved successfully!

Ooh no, something went wrong!