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.

Wittgenste<strong>in</strong>’s Attitudes<br />

Fabien Schang, Nancy, France<br />

1. Between language <strong>and</strong> m<strong>in</strong>d: a logic of<br />

propositional attitudes ...<br />

The statement <strong>in</strong> §5.542 concerns <strong>the</strong> logical form of peculiar<br />

propositional attitudes, viz. belief-statements:<br />

But it is clear that "A believes that p", "A th<strong>in</strong>ks p",<br />

"A says p", are of <strong>the</strong> form " 'p' says p": <strong>and</strong> here we<br />

have no co-ord<strong>in</strong>ation of a fact <strong>and</strong> an object, but a<br />

co-ord<strong>in</strong>ation of facts by means of a co- ord<strong>in</strong>ation<br />

of <strong>the</strong>ir objects.<br />

This formulation sounds queer, <strong>and</strong> we will attempt to see<br />

why Wittgenste<strong>in</strong> did state it so before consider<strong>in</strong>g H<strong>in</strong>tikka's<br />

replies <strong>in</strong> favor of epistemic modal logic.<br />

The core problem concerns truth-functions <strong>the</strong>ory: is<br />

any mean<strong>in</strong>g-function a truth-function? (Russell 1923)<br />

made a dist<strong>in</strong>ction between two sorts of occurrence for a<br />

proposition, namely: mean<strong>in</strong>g-functions that conta<strong>in</strong><br />

propositions as a member are also truth-functions<br />

whenever <strong>the</strong> component proposition occurs as express<strong>in</strong>g<br />

a fact (i.e. an ontological entity); <strong>the</strong>y are not so whenever<br />

<strong>the</strong> proposition occurs as a fact <strong>in</strong> its own right, given that<br />

<strong>the</strong> whole sentence <strong>the</strong>n talks about <strong>the</strong> component<br />

proposition itself. It is precisely <strong>the</strong> case with propositional<br />

attitudes, where <strong>the</strong> fact <strong>in</strong> consideration is <strong>the</strong> form of<br />

words uttered by <strong>the</strong> speaker. It thus seems that not every<br />

mean<strong>in</strong>g-function is truth-functional <strong>and</strong>, <strong>in</strong> this respect,<br />

Russell's position is to be compared with what Frege<br />

argued about <strong>the</strong> change of denotation <strong>in</strong> a context of<br />

<strong>in</strong>direct discourse.<br />

Never<strong>the</strong>less, (Wittgenste<strong>in</strong> 1922) does not accept<br />

any o<strong>the</strong>r mean<strong>in</strong>g-functions than <strong>the</strong> truth-functional<br />

ones: not only “Propositions are truth-functions of<br />

elementary propositions” (§5), but also “There is one <strong>and</strong><br />

only one complete analysis of <strong>the</strong> proposition” (§3.25). If<br />

so, <strong>the</strong> preced<strong>in</strong>g logical analyses as suggested by<br />

Russell <strong>and</strong> Frege cannot be accepted because <strong>the</strong>y go<br />

beyond truth-function <strong>the</strong>ory, <strong>the</strong> only one for Wittgenste<strong>in</strong><br />

(“In <strong>the</strong> general propositional form, propositions occur <strong>in</strong> a<br />

proposition only as bases of <strong>the</strong> truth-operations”, §5.54).<br />

Therefore, <strong>the</strong> po<strong>in</strong>t is not to delimit one context of<br />

application for truth-functional propositions while rul<strong>in</strong>g out<br />

some propositions of an <strong>in</strong>tensional sort; ra<strong>the</strong>r, <strong>the</strong> po<strong>in</strong>t<br />

is to streaml<strong>in</strong>e every mean<strong>in</strong>gful proposition with<strong>in</strong> <strong>the</strong><br />

unique pattern of truth-functions. There cannot be any<br />

exception to <strong>the</strong> <strong>the</strong>ory of extensionality, from a Tractarian<br />

perspective.<br />

For one th<strong>in</strong>g, <strong>the</strong> analysis of "A believes p"<br />

excludes <strong>the</strong> subject A from its logical form while replac<strong>in</strong>g<br />

it by a mention of <strong>the</strong> proposition with<strong>in</strong> s<strong>in</strong>gle brackets, 'p'.<br />

The result seems to be counter<strong>in</strong>tuitive, reduc<strong>in</strong>g belief to<br />

an impersonal relation between a l<strong>in</strong>guistic expression (i.e.<br />

<strong>the</strong> propositional sign) <strong>and</strong> that what it designates (i.e. <strong>the</strong><br />

propositional fact that constitutes a thought). Why such an<br />

exclusion of <strong>the</strong> th<strong>in</strong>k<strong>in</strong>g subject, <strong>and</strong> how to analyze a<br />

belief while elim<strong>in</strong>at<strong>in</strong>g <strong>the</strong> psychological side of an<br />

attitude? (Russell 1923) did not reject it from his own<br />

analysis, given that he conceived <strong>the</strong> believer as a<br />

sequence of psychological facts expressed by means of<br />

sentences. But those beliefs were <strong>the</strong>n associated with a<br />

s<strong>in</strong>gle subject; now Wittgenste<strong>in</strong>'s account def<strong>in</strong>itely<br />

cancels this particular subject <strong>and</strong> talks <strong>in</strong>stead about<br />

some arbitrary sentence <strong>in</strong> <strong>the</strong> form 'p'.<br />

In order to underst<strong>and</strong> such a mysterious statement<br />

as §5.542, several writers accounted for it <strong>in</strong> two steps,<br />

namely: Wittgenste<strong>in</strong>'s <strong>the</strong>ory of object <strong>and</strong> his subsequent<br />

dist<strong>in</strong>ction between an empirical <strong>and</strong> a metaphysical<br />

subject.<br />

2. … is not a problem of m<strong>in</strong>d<br />

(no psychologism!) ...<br />

In (Russell 1923)'s account, each proposition was treated<br />

as a class of psychological facts that <strong>in</strong>troduce A's m<strong>in</strong>d<br />

through <strong>the</strong> analysis of propositional attitudes. The logical<br />

form of "A believes that p" thus corresponds to <strong>the</strong> correlation<br />

of a fact, i.e. <strong>the</strong> propositional fact that p, <strong>and</strong> an object,<br />

i.e. A's m<strong>in</strong>d. However, any object is simple, Wittgenste<strong>in</strong><br />

claims (“The object is simple”, §2.02), whereas A's<br />

m<strong>in</strong>d is complex (as a sequence of psychological facts), so<br />

that <strong>the</strong> logical form assigned to propositional attitudes is<br />

not correct. The logical form required for any states of<br />

affairs (“An atomic fact is a comb<strong>in</strong>ation of objects (entities,<br />

th<strong>in</strong>gs)”, §2.01) thus leads Wittgenste<strong>in</strong> to discard propositional<br />

attitudes as states of affairs, <strong>in</strong> <strong>the</strong>ir current read<strong>in</strong>g<br />

as a co-ord<strong>in</strong>ation of a fact <strong>and</strong> an object. Such a position<br />

leads him to <strong>the</strong> equally queer statement: “This shows that<br />

<strong>the</strong>re is no such th<strong>in</strong>g as <strong>the</strong> soul – <strong>the</strong> subject, etc. – as it<br />

is conceived <strong>in</strong> superficial psychology. A composite soul<br />

would not be a soul any longer” (§5.5421).<br />

Isn't <strong>the</strong> price to pay for accept<strong>in</strong>g Wittgenste<strong>in</strong>'s<br />

logical analysis too expensive, if <strong>the</strong> rejection of<br />

propositional attitudes apparently leads one to a rejection<br />

of psychology? (Favrholdt 1964, 559) notes that this result<br />

directly follows from <strong>the</strong> Tractarian <strong>the</strong>ory of objects:<br />

For <strong>the</strong> superficial psychologists that ma<strong>in</strong>ta<strong>in</strong> this it<br />

would be reasonable to say that "A says p" is a coord<strong>in</strong>ation<br />

of a fact <strong>in</strong> <strong>the</strong> Wittgenste<strong>in</strong>ian sense,<br />

namely a propositional sign, <strong>and</strong> an object, namely<br />

<strong>the</strong> th<strong>in</strong>k<strong>in</strong>g, present<strong>in</strong>g soul, which be<strong>in</strong>g simple is<br />

to be called an object. This view Wittgenste<strong>in</strong> is<br />

bound to reject. Accord<strong>in</strong>g to <strong>the</strong> picture <strong>the</strong>ory <strong>in</strong><br />

<strong>the</strong> Tractatus no co-ord<strong>in</strong>ation could ever be established<br />

between a fact <strong>and</strong> an object. The two entities<br />

<strong>in</strong> question have to be equally articulated <strong>in</strong> order<br />

to be co-ord<strong>in</strong>ated. Objects can be co-ord<strong>in</strong>ated<br />

with objects (because <strong>the</strong>y are simple) <strong>and</strong> facts<br />

can be co-ord<strong>in</strong>ated with facts <strong>in</strong> so far as <strong>the</strong>y can<br />

be analysed <strong>in</strong>to <strong>the</strong> same amounts of elements.<br />

(559)<br />

This prevents Wittgenste<strong>in</strong> from view<strong>in</strong>g propositional attitudes<br />

<strong>in</strong> <strong>the</strong> usual way, to be found <strong>in</strong> epistemic modal<br />

logic. Hence his second argument that accounts for<br />

§5.542: <strong>the</strong> dist<strong>in</strong>ction between an empirical <strong>and</strong> a metaphysical<br />

subject.<br />

(H<strong>in</strong>tikka 1958) puts such a dist<strong>in</strong>ction to avoid<br />

some misunderst<strong>and</strong><strong>in</strong>g <strong>in</strong> Wittgenste<strong>in</strong>'s language <strong>the</strong>ory,<br />

namely: his <strong>the</strong>sis of solipsism, ord<strong>in</strong>arily considered as an<br />

argument for private language. In order to clarify <strong>the</strong><br />

follow<strong>in</strong>g passage: “That <strong>the</strong> world is my world, shows<br />

itself <strong>in</strong> <strong>the</strong> fact that <strong>the</strong> limits of <strong>the</strong> language (<strong>the</strong><br />

289

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

Saved successfully!

Ooh no, something went wrong!