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.

lent. It also implies that an <strong>in</strong>ventory of analytic statements<br />

can be made up, <strong>and</strong> that with <strong>the</strong> help of first order logic<br />

semantical rules or mean<strong>in</strong>g postulates can be distilled.<br />

In o<strong>the</strong>r words, <strong>the</strong> section about ‘mean<strong>in</strong>g<br />

postulates’ <strong>in</strong> Qu<strong>in</strong>e’s ‘Two dogmas of empiricism’<br />

becomes unconv<strong>in</strong>c<strong>in</strong>g. Section 4 of ‘Two dogmas of<br />

empiricism’ is a long critical discussion of semantical rules.<br />

Qu<strong>in</strong>e writes:<br />

Now <strong>the</strong> notion of semantical rule is as sensible <strong>and</strong><br />

mean<strong>in</strong>gful as that of postulate, if conceived <strong>in</strong> a<br />

similarly relative spirit – relative <strong>in</strong> time, to one or<br />

ano<strong>the</strong>r particular enterprise of school<strong>in</strong>g unconversant<br />

persons <strong>in</strong> sufficient conditions for truth of<br />

statements of some natural or artificial language L.<br />

But from this po<strong>in</strong>t of view no one signalization of a<br />

subclass of truths of L is <strong>in</strong>tr<strong>in</strong>sically more a semantical<br />

rule than ano<strong>the</strong>r; <strong>and</strong>, if ‘analytic’ means ‘true<br />

by semantical rules’, no one truth of L is analytic to<br />

<strong>the</strong> exclusion of ano<strong>the</strong>r. (1953:34)<br />

We see that Qu<strong>in</strong>e argues that <strong>the</strong> characterisation of analyticity<br />

is <strong>in</strong> <strong>the</strong> end circular. However, <strong>in</strong> view of Qu<strong>in</strong>e’s<br />

extreme antifoundationalism this is hardly an objection.<br />

Second, he argues that <strong>the</strong> dist<strong>in</strong>ction of analytic <strong>and</strong> syn<strong>the</strong>tic<br />

statements on <strong>the</strong> basis of semantical rules is arbitrary.<br />

But this is hardly a serious objection to Carnap. Already<br />

<strong>in</strong> 1934, <strong>in</strong> The Logical Syntax of Language, Carnap<br />

had formulated his pr<strong>in</strong>ciple of tolerance, claim<strong>in</strong>g that<br />

<strong>the</strong>re are no morals for sett<strong>in</strong>g up l<strong>in</strong>guistic frameworks.<br />

The arbirtrar<strong>in</strong>ess of <strong>the</strong> choice of semantic rules, <strong>and</strong> thus<br />

of L-determ<strong>in</strong>ate statements is an essential <strong>in</strong>gredient of<br />

Carnap’s later philosophy. In <strong>the</strong> early thirties, Carnap still<br />

believed that a formal characterisation of analyticity could<br />

be found, but he was soon conv<strong>in</strong>ced by Gödel, Tarski,<br />

<strong>and</strong> McLane that <strong>the</strong> construction was flawed. Qu<strong>in</strong>e must<br />

have known that Carnap was only <strong>in</strong>terested <strong>in</strong> languagerelative<br />

notions of analyticity. Moreover, <strong>the</strong>re is no reason<br />

to believe that <strong>the</strong> verification <strong>the</strong>ory of mean<strong>in</strong>g is still an<br />

essential part of Carnap’s notion of mean<strong>in</strong>g. Hence, it is<br />

hard to see how Qu<strong>in</strong>e’s critique relates to <strong>the</strong> position<br />

Carnap endorsed <strong>in</strong> Mean<strong>in</strong>g <strong>and</strong> Necessity. It seem<strong>in</strong>gly<br />

took several decades before Qu<strong>in</strong>e realised that analyticity,<br />

synonymy, mean<strong>in</strong>g, <strong>and</strong> semantical rules can ra<strong>the</strong>r<br />

<strong>in</strong>nocuously be grounded <strong>in</strong> behavioural practice. Qu<strong>in</strong>e<br />

did have serious arguments aga<strong>in</strong>st Carnap’s various proposals<br />

of an analytic-syn<strong>the</strong>tic dist<strong>in</strong>ction, <strong>and</strong> certa<strong>in</strong>ly<br />

with regard to <strong>the</strong> dist<strong>in</strong>ction between factual <strong>and</strong> ma<strong>the</strong>matical<br />

truths, but it is ironical that Qu<strong>in</strong>e’s most famous<br />

argument is least firmly grounded, <strong>and</strong> even later to a<br />

large degree withdrawn.<br />

In The Roots of Reference, some of <strong>the</strong> critical remarks<br />

of ‘Two dogmas’ still f<strong>in</strong>d an echo though. Qu<strong>in</strong>e<br />

gives <strong>the</strong> follow<strong>in</strong>g behaviourist def<strong>in</strong>ition of analyticity:<br />

If <strong>the</strong> samples first acquired qualify as analytic, still<br />

<strong>the</strong>y ga<strong>in</strong> <strong>the</strong>reby no dist<strong>in</strong>ctive status with respect<br />

to <strong>the</strong> language or <strong>the</strong> community; for each of us will<br />

have derived his universal categorical powers from<br />

different first samples. Language is social, <strong>and</strong> analyticity,<br />

be<strong>in</strong>g truth that is grounded <strong>in</strong> language,<br />

should be social as well. Here <strong>the</strong>n we may at last<br />

have a l<strong>in</strong>e on a concept of analyticity: a sentence is<br />

analytic if everybody learns that it is true by learn<strong>in</strong>g<br />

its words. Analyticity, like observationality, h<strong>in</strong>ges on<br />

social uniformity. (1974:79)<br />

The compla<strong>in</strong>t about <strong>the</strong> complete arbitrar<strong>in</strong>ess of choos<strong>in</strong>g<br />

mean<strong>in</strong>g postulates is here replaced by <strong>the</strong> observation<br />

that different people learn <strong>the</strong> domestic language <strong>in</strong> a<br />

different way, so that everyone could have an idiosyncratic<br />

Qu<strong>in</strong>e on <strong>the</strong> <strong>Reduction</strong> of Mean<strong>in</strong>gs — Lieven Decock<br />

notion of analyticity. The list of analytic truths is thus drastically<br />

reduced through <strong>the</strong> requirement that everyone<br />

must have learned <strong>the</strong> truth of an analytic sentence<br />

through learn<strong>in</strong>g <strong>the</strong> language. This important qualification<br />

notwithst<strong>and</strong><strong>in</strong>g, it is noteworthy that already <strong>in</strong> 1974<br />

Qu<strong>in</strong>e gave a precise def<strong>in</strong>ition of analyticity by means of<br />

which <strong>in</strong> pr<strong>in</strong>ciple a reduction of mean<strong>in</strong>gs was possible.<br />

A fur<strong>the</strong>r step <strong>in</strong> Carnap’s direction can be taken. If<br />

analyticity h<strong>in</strong>ges on social uniformity, it becomes possible<br />

to impose <strong>the</strong> uniformity through social l<strong>in</strong>guistic<br />

eng<strong>in</strong>eer<strong>in</strong>g. For Carnap, this is entirely unproblematic. He<br />

was actively engaged <strong>in</strong> <strong>the</strong> promotion of artificial<br />

languages such as Esperanto. In <strong>the</strong> Vienna Circle, an<br />

artificial pictorial language, ISOTYPE, had been<br />

constructed by Otto Neurath <strong>and</strong> his wife. Carnap’s<br />

construction of artificial l<strong>in</strong>guistic frameworks <strong>in</strong> his major<br />

semantical works ties <strong>in</strong> with his eng<strong>in</strong>eer<strong>in</strong>g approach<br />

towards natural language. On this view, it is possible to<br />

regard semantical rules not as arbitrary formal postulates,<br />

but as social imperatives concern<strong>in</strong>g <strong>the</strong> use of certa<strong>in</strong><br />

expressions. Social uniformity need not be <strong>the</strong> result of<br />

every <strong>in</strong>dividual’s learn<strong>in</strong>g <strong>the</strong> language, but may be<br />

effectuated through teach<strong>in</strong>g <strong>the</strong> language <strong>in</strong> st<strong>and</strong>ardised<br />

ways. The normative force of schoolbooks, dictionaries,<br />

etc. can thus significantly broaden <strong>the</strong> class of analytic<br />

expressions. As a result, language can be transformed<br />

<strong>and</strong> streaml<strong>in</strong>ed.<br />

For Qu<strong>in</strong>e, however, this l<strong>in</strong>e of reason<strong>in</strong>g is<br />

problematic. Qu<strong>in</strong>e regularly stresses that <strong>the</strong> formal<br />

frameworks must be <strong>in</strong>terpreted, <strong>and</strong> often gives <strong>the</strong><br />

impression that he believes that this is only possible by<br />

borrow<strong>in</strong>g <strong>the</strong>ir mean<strong>in</strong>g from <strong>the</strong> natural language <strong>in</strong><br />

which <strong>the</strong>y are embedded. Both <strong>in</strong> ‘Two dogmas of<br />

empiricism’ <strong>and</strong> ‘Carnap on logical truth’, he dem<strong>and</strong>s that<br />

<strong>the</strong> notion of analyticity be clear <strong>in</strong> <strong>the</strong> natural language<br />

before application of <strong>the</strong> notion to artificial languages be<br />

feasible (1953:36; 1976:127). On <strong>the</strong> o<strong>the</strong>r h<strong>and</strong>, <strong>in</strong> <strong>the</strong><br />

<strong>in</strong>troduction to <strong>the</strong> chapter on ‘regimentation’, i.e. <strong>the</strong><br />

transformation of a scientific <strong>the</strong>ory expressed <strong>in</strong> natural<br />

language <strong>in</strong>to a <strong>the</strong>ory expressed <strong>in</strong> first order logic, <strong>in</strong><br />

Word <strong>and</strong> Object, Qu<strong>in</strong>e writes:<br />

Opportunistic departure from ord<strong>in</strong>ary language <strong>in</strong> a<br />

narrow sense is part of ord<strong>in</strong>ary l<strong>in</strong>guistic behavior.<br />

Some departures, if <strong>the</strong> need that prompts <strong>the</strong>m<br />

persists, may be adhered to, thus becom<strong>in</strong>g ord<strong>in</strong>ary<br />

language <strong>in</strong> <strong>the</strong> narrow sense; <strong>and</strong> here<strong>in</strong> lies<br />

one factor <strong>in</strong> <strong>the</strong> evolution of language. O<strong>the</strong>rs are<br />

reserved for use as needed. (1960:157).<br />

The passage illustrates Qu<strong>in</strong>e’s ambivalence towards artificial<br />

languages <strong>and</strong> l<strong>in</strong>guistic eng<strong>in</strong>eer<strong>in</strong>g. Sentences can<br />

be mean<strong>in</strong>gful <strong>in</strong> natural language, but mean<strong>in</strong>g postulates<br />

<strong>in</strong> artificial languages are usually parasitic on <strong>the</strong> mean<strong>in</strong>gfulness<br />

of natural languages, or at best, as <strong>the</strong> quoted<br />

passage illustrates, can become mean<strong>in</strong>gful <strong>in</strong> <strong>the</strong> long<br />

run. Moreover, dictionaries do not stipulate mean<strong>in</strong>gs, but<br />

are merely an <strong>in</strong>ventory of a variety of uses:<br />

Though <strong>the</strong> word ‘mean<strong>in</strong>g’ is ubiquitous <strong>in</strong> lexicography,<br />

no capital is made of a relation of sameness<br />

of mean<strong>in</strong>g. An entry gets broken down <strong>in</strong>to several<br />

“mean<strong>in</strong>gs” or “senses,” so called, but only ad hoc<br />

to expla<strong>in</strong> how to use a word <strong>in</strong> various dissimilar<br />

situations. When a word is partly expla<strong>in</strong>ed by paraphras<strong>in</strong>g<br />

a sample context, as is so often <strong>the</strong> way,<br />

<strong>the</strong> paraphrase is meant only for typical circumstances,<br />

or for specified ones; <strong>the</strong>re is no thought of<br />

sameness of mean<strong>in</strong>g <strong>in</strong> any <strong>the</strong>oretical sense.<br />

(1995:83)<br />

65

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

Saved successfully!

Ooh no, something went wrong!