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.

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

Michael Ashcroft, Melbourne, Australia<br />

This paper is an exam<strong>in</strong>ation <strong>and</strong> defence of<br />

Wittgenste<strong>in</strong>'s <strong>the</strong>sis that language itself promotes an<br />

August<strong>in</strong>ian picture of its work<strong>in</strong>gs. Let us def<strong>in</strong>e<br />

August<strong>in</strong>ianism as <strong>the</strong> <strong>the</strong>sis that <strong>the</strong> mean<strong>in</strong>g of an<br />

expression is its referent, <strong>and</strong> dist<strong>in</strong>guish a strong variant<br />

that restricts <strong>the</strong> referents of expressions to ostensively<br />

<strong>in</strong>dicatable material objects. In this paper I will argue that if<br />

Wittgenste<strong>in</strong> is correct about reference talk, l<strong>in</strong>guistic<br />

practice tempts us to (<strong>in</strong>correctly) adopt both positions. I<br />

shall beg<strong>in</strong> by describ<strong>in</strong>g a naïve notion of reference. Then<br />

I will exam<strong>in</strong>e <strong>the</strong> role of reference <strong>in</strong> contemporary<br />

mean<strong>in</strong>g <strong>the</strong>ories <strong>and</strong> draw parallels with Wittgenste<strong>in</strong>'s<br />

own account <strong>in</strong> order to elucidate <strong>the</strong> latter. F<strong>in</strong>ally I will<br />

expla<strong>in</strong> why <strong>the</strong> result<strong>in</strong>g practices can lead us to accept<br />

both forms of August<strong>in</strong>ianism, <strong>and</strong> why <strong>the</strong>se positions are<br />

mistaken.<br />

At first blush, Wittgenste<strong>in</strong>'s ‘mean<strong>in</strong>g is use’ <strong>the</strong>sis<br />

seems to offer a simple account of reference. As he noted<br />

at PI 10:<br />

What is supposed to shew what [words] signify, if<br />

not <strong>the</strong> k<strong>in</strong>d of use <strong>the</strong>y have?<br />

I take Wittgenste<strong>in</strong> to accept that, <strong>in</strong> one sense of ‘refers’<br />

or ‘signifies’, <strong>the</strong> referential l<strong>in</strong>k between a sign <strong>and</strong> its<br />

referent lies <strong>in</strong> <strong>the</strong> fact that <strong>the</strong> rules for some signs use<br />

are such that <strong>the</strong>ir correct use <strong>in</strong>timately <strong>in</strong>volves (a) particular<br />

ostensively <strong>in</strong>dicatable material entity/entities which<br />

are <strong>the</strong>reby <strong>the</strong> referent(s) of <strong>the</strong> sign. It is this sense that<br />

captures what I shall term ‘naïve referential practice’.<br />

But, Wittgenste<strong>in</strong> po<strong>in</strong>ts out, it is not this sense of<br />

reference that motivates <strong>the</strong> question of what <strong>the</strong><br />

expressions of his simple language refer to. S<strong>in</strong>ce he had<br />

expla<strong>in</strong>ed <strong>the</strong> use of <strong>the</strong> expressions he was at that po<strong>in</strong>t<br />

deal<strong>in</strong>g with, <strong>in</strong> its naïve sense <strong>the</strong> question is already<br />

answered. Thus, Wittgenste<strong>in</strong> cont<strong>in</strong>ues, <strong>the</strong> question<br />

must be a request ‘for <strong>the</strong> expression “This word signifies<br />

this” to be made part of <strong>the</strong> description’ of <strong>the</strong> expressions<br />

use. There must, alongside our naïve referential talk, be a<br />

sophisticated variant where<strong>in</strong> <strong>the</strong> uses of expressions are<br />

explicated via referential claims. Certa<strong>in</strong>ly, even <strong>in</strong> ord<strong>in</strong>ary<br />

language, ‘refers’ has a much broader role than <strong>the</strong> naïve<br />

practice allows. We talk of our expressions referr<strong>in</strong>g to<br />

abstract objects like numbers, fictional objects like<br />

Sherlock Holmes, properties like blue, <strong>and</strong> many o<strong>the</strong>r<br />

th<strong>in</strong>gs besides. The only hypo<strong>the</strong>sis here seems to be that<br />

this broader use of ‘refers’ is <strong>in</strong>volved <strong>in</strong> elucidat<strong>in</strong>g <strong>the</strong><br />

use of expressions. For <strong>the</strong> purposes of this paper I shall<br />

assume this is correct. For what I wish to argue is that it is<br />

<strong>the</strong> way Wittgenste<strong>in</strong> believed that expressions such as<br />

‘This word signifies this’ <strong>and</strong> ‘This word refers to this’ are<br />

made part of <strong>the</strong> description of words’ uses that leads to<br />

<strong>the</strong> conclusion that language itself tempts us to underst<strong>and</strong><br />

it <strong>in</strong> an August<strong>in</strong>ian fashion.<br />

To expla<strong>in</strong> this, let us beg<strong>in</strong> by turn<strong>in</strong>g to <strong>the</strong> role of<br />

reference <strong>in</strong> formal mean<strong>in</strong>g <strong>the</strong>ories. Presum<strong>in</strong>g a<br />

Fregean syntax <strong>and</strong> ignor<strong>in</strong>g complications required to<br />

deal with quantifiers, a typical mean<strong>in</strong>g <strong>the</strong>ory attributes<br />

semantic values to names <strong>and</strong> treats predicates as<br />

functions from names to <strong>the</strong> semantic value of sentences –<br />

where an expression’s semantic value is that which<br />

<strong>in</strong>dicates <strong>the</strong> contribution <strong>the</strong> expressions make to <strong>the</strong><br />

mean<strong>in</strong>gs of <strong>the</strong> sentences it can be part of, whilst a<br />

sentence’s semantic value is its mean<strong>in</strong>g. The <strong>the</strong>ory <strong>the</strong>n<br />

gives a functional account of <strong>the</strong> logical connectives which<br />

permits <strong>the</strong> production of semantic values for complex<br />

sentences, <strong>and</strong> lastly (<strong>and</strong> most problematically) provides<br />

a <strong>the</strong>ory for how <strong>the</strong> use of sentences can be deduced<br />

from <strong>the</strong> semantic values <strong>the</strong> mean<strong>in</strong>g <strong>the</strong>ory attributes to<br />

<strong>the</strong>m. In attribut<strong>in</strong>g semantic values to (<strong>the</strong> sub-sentential<br />

expressions <strong>the</strong> <strong>the</strong>ory parses as) names, <strong>the</strong> names are<br />

said to refer to objects, which, <strong>in</strong> a deliberately set<strong>the</strong>oretic<br />

construal of what is go<strong>in</strong>g on, we can take to be<br />

grouped <strong>in</strong> <strong>the</strong> mean<strong>in</strong>g-<strong>the</strong>ory’s doma<strong>in</strong>. The <strong>the</strong>oretical<br />

relation of reference thus <strong>in</strong>troduced can be exp<strong>and</strong>ed<br />

such that one might also say that def<strong>in</strong>ite descriptions <strong>and</strong><br />

predicates refer to <strong>the</strong> objects that satisfy <strong>the</strong>m <strong>and</strong><br />

(possibly empty) sets of objects respectively. The latter<br />

case looks very ak<strong>in</strong> to say<strong>in</strong>g that predicates refer to<br />

properties, <strong>and</strong> to assist this exposition let us explicitly<br />

accept that properties are sets. In this case, a set-<strong>the</strong>oretic<br />

construal of <strong>the</strong> quantifiers permits us to underst<strong>and</strong> <strong>the</strong>m<br />

as referr<strong>in</strong>g to properties (sets) of sets – tak<strong>in</strong>g ‘all’ to refer<br />

to <strong>the</strong> property of be<strong>in</strong>g identical to <strong>the</strong> universal set <strong>and</strong><br />

‘some’ <strong>the</strong> property of not be<strong>in</strong>g identical to <strong>the</strong> empty set.<br />

Importantly, <strong>the</strong> s<strong>in</strong>gle criterion for a successful mean<strong>in</strong>g<br />

<strong>the</strong>ory (as a descriptive account of <strong>the</strong> mean<strong>in</strong>gs we do<br />

attribute to o<strong>the</strong>rs) lies <strong>in</strong> its gett<strong>in</strong>g its <strong>the</strong>orems correct. In<br />

<strong>the</strong> rarefied air of <strong>the</strong>oretical semiotics, it makes no sense,<br />

Davidson po<strong>in</strong>ted out, to compla<strong>in</strong> that a mean<strong>in</strong>g <strong>the</strong>ory<br />

comes up with <strong>the</strong> right <strong>the</strong>orems time after time, but has<br />

<strong>the</strong> logical form (or deep structure) wrong. [Davidson;<br />

1977] The objects to which an expression refers are<br />

<strong>the</strong>refore not someth<strong>in</strong>g that can be exam<strong>in</strong>ed directly, but<br />

are determ<strong>in</strong>ed by <strong>the</strong> legitimacy of <strong>the</strong> <strong>the</strong>orems <strong>the</strong><br />

referential axioms produce.<br />

One might object that referential axioms are not so<br />

thoroughly unconstra<strong>in</strong>ed, for <strong>the</strong>y relate s<strong>in</strong>gular terms to<br />

objects. Therefore only those th<strong>in</strong>gs that actually exist are<br />

kosher referents <strong>in</strong> <strong>the</strong> <strong>the</strong>ory. So, for example, s<strong>in</strong>ce <strong>the</strong>re<br />

is no object Atlantis, a mean<strong>in</strong>g <strong>the</strong>ory ought not to accept<br />

<strong>the</strong> axiom ‘‘Atlantis’ refers to Atlantis’. One might reply that<br />

by <strong>the</strong> criterion given above what is important is merely<br />

that <strong>the</strong> mean<strong>in</strong>g <strong>the</strong>ory produces <strong>the</strong> correct <strong>the</strong>orems.<br />

So whilst one could, <strong>the</strong>re is nei<strong>the</strong>r need nor justification<br />

<strong>in</strong> restrict<strong>in</strong>g <strong>the</strong> axioms of a mean<strong>in</strong>g <strong>the</strong>ory such that one<br />

ought to <strong>in</strong>clude as referents only objects one is<br />

ontologically committed to. But this reply is too quick. For<br />

<strong>the</strong> objection’s motivation is likely not <strong>the</strong> given criterion for<br />

determ<strong>in</strong><strong>in</strong>g a correct mean<strong>in</strong>g <strong>the</strong>ory, but Qu<strong>in</strong>e’s thought<br />

that accept<strong>in</strong>g any <strong>the</strong>ory requires ontological commitment<br />

to <strong>the</strong> objects it quantifies over (or, s<strong>in</strong>ce a <strong>the</strong>ory may be<br />

satisfied by models with different doma<strong>in</strong>s, it requires<br />

existential ontological commitment to <strong>the</strong>re be<strong>in</strong>g one such<br />

doma<strong>in</strong>). Insofar as, for any s<strong>in</strong>gular term of a <strong>the</strong>ory, t, <strong>the</strong><br />

<strong>the</strong>ory implies (∃x)(x=t), a <strong>the</strong>ory’s s<strong>in</strong>gular terms refer to<br />

objects of its doma<strong>in</strong> of quantification – to objects which<br />

we <strong>the</strong>refore ought to be ontological committed.<br />

There are reasons to object to this claim. But I shall<br />

not pursue <strong>the</strong>m here. Let us accept that a <strong>the</strong>ory requires<br />

ontological commitment to <strong>the</strong> objects its quantifiers range<br />

over. In <strong>the</strong> case of a mean<strong>in</strong>g <strong>the</strong>ory, <strong>the</strong>se objects are<br />

<strong>the</strong> semantic values of (expressions parsed as) names.<br />

But <strong>the</strong>se objects have not been shown to be <strong>the</strong> middlesized<br />

dry goods we would, <strong>in</strong> <strong>the</strong> aforementioned naïve<br />

reference talk, say are <strong>the</strong> referents of most of <strong>the</strong><br />

17

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

Saved successfully!

Ooh no, something went wrong!