From arosta@uclan.ac.uk Wed Sep 26 09:54:38 2001 Return-Path: X-Sender: arosta@uclan.ac.uk X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_3_2_2); 26 Sep 2001 16:54:38 -0000 Received: (qmail 50275 invoked from network); 26 Sep 2001 16:54:35 -0000 Received: from unknown (10.1.10.142) by l7.egroups.com with QMQP; 26 Sep 2001 16:54:35 -0000 Received: from unknown (HELO com1.uclan.ac.uk) (193.61.255.3) by mta3 with SMTP; 26 Sep 2001 16:54:35 -0000 Received: from gwise-gw1.uclan.ac.uk by com1.uclan.ac.uk with SMTP (Mailer); Wed, 26 Sep 2001 17:32:06 +0100 Received: from DI1-Message_Server by gwise-gw1.uclan.ac.uk with Novell_GroupWise; Wed, 26 Sep 2001 18:03:09 +0100 Message-Id: X-Mailer: Novell GroupWise 5.5.2 Date: Wed, 26 Sep 2001 18:02:53 +0100 To: lojban Subject: Re: [lojban] Set of answers encore Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Content-Disposition: inline From: And Rosta X-Yahoo-Message-Num: 11068 >>> 09/26/01 05:01pm >>> #arosta@uclan.ac.uk writes: #> For example, if John believes that there is no king of France and if #> that belief is true, then it follows that Bill is not king of France. So #> in the 'extensional' sense Bill believes that Bill is not king of France= , #> even if John has never thought "Bill is not king of France". For #> John to believe that in the 'intensional' sense, J must have #> thought "B is not king of France". Likewise for the example # #But if John has never thought it, then John does NOT believe it.=20=20 #Epistemology has always, since before Plato and Akshapada down to the mode= rn=20 #Hintikkoids and all-Wright-niks, been plagued by perfectionism, the notion= =20 #that a person believes the logical consequences of whatever he believes. = =20 #Without this view there would be practically no epistemology as such, only= =20 #empirical psychology, which consistently refutes the perfectionist thesis.= =20=20 I both agree and disagree. Certainly the fact that a single person can believe logically incompatible things is enough to show that we cannot hold people to believe the logical consequences of their 'conscious' or incontrovertibly-believed beliefs. However, if you had said to me yesterday "And believes that people=20 should not be fined for masturbating in bed", I would say that your claim, when made, was perfectly true, even though that proposition had never entered my mind until 5 minutes ago when I started writing this reply. So I cannot accept the extreme "If John has never thought it, then John does NOT believe it", either. Here's how I see the resolution of this bone of contention: Lojban needs an unambiguous way of distinguishing between 'intensional believe': x1 has the thought that x2 is the case and 'extensional believe': The states of affairs that x1 believes obtain incl= ude x2 Now, it is a matter of psychological and epistemological debate as to what exactly counts as intensional believing and extensional believing -- both give rise to immense difficulties. However, that is not a problem t= hat Lojban should solve. Rather, Lojban just needs the appropriate linguistic mechanisms for making the distinction. #With this thesis, epistemology ahs been a millennia-long attempt to dodge= =20 #psychological evidence. "The psychological tests are no good" though it=20 #turns out to be impossible to find one that is good, since every improveme= nt=20 #comes back with the same result: consequences of things clearly shown to b= e=20 #believed are not learned, agreed to, etc., etc. in ways significantly=20 #different from the way totally new information is, and people accept -- or= =20 #alreeady hold -- views incompatible with those they already hold with no m= ore=20 #difficulty than for totally unrelated information. Well, then, "nobody=20 #really knows anything," in which case, since it is crucial to the argumen= t,=20 #nobody really believes anyhting either -- but no one holds that. "Well, r= eal=20 #people are emotional, etc., and this is about the knowledge of a perfectly= =20 #rational human being" that is, it is a constructed theory without any=20 #practical application -- so why the big fuss -- and why the counterexampl= es=20 #from "real life"? This deontic dipsydoodle isn't even impressive in ethic= s,=20 #where being impressive doesn't take much, why accept it in epistemology,=20 #which is supposed to be more scientific? "It is about God's knowledge"=20 #except that the God they mean doesn't know anything by inference but all b= y=20 #direct awareness. #And so on. The one good thing to be said for perfectionism in epistemology= is=20 #that, if it were true, we would have to do away with our present education= al=20 #system, but there are better reasons for that, ones that actually are true= .=20=20 #So, then, why bring this muck into Lojban, the "culturally neutral" langua= ge?=20 =20 Given that I have little interest, and less expertise, in epistemology, whi= le you are in the midst of its mellay of disputation, let me just reply by contend= ing that we don't need to have this debate. The evidence of everyday English shows that we frequently want to say things that presume an epistemology incompatible with the strong form of your position. We may be epistemologic= ally criminal by wanting to say such things, but want to say them we nonetheless do. #There is no extensional sense of "know," if perfectionism -- or even a hin= t=20 #of it -- is required. The best that can be said about consequences of=20 #beliefs is, perhaps, that -- if the inference is simple enough, like the n= o=20 #king - Bill not king case -- the believer OUGHT TO believe the rest, maybe= =20 #even can be held responsible in certain cases for believing and culpable f= or=20 #not believing. But it can't even be held that he will learn or recognize = the=20 #inferrable claim more easily than some other claim. He may, of course, sw= at=20 #his head and say "Oh, I knew that" when it is called to his attention. Bu= t=20 #he is just misspeaking at that point -- possibly out of 2500 years of=20 #atrocious epistemology. Misspeaking? Well, maybe he shouldn't have said "mi djuno" and should instead have used some other predicate -- that's something we're discussing. But this 'misspeaking' is not the same thing as making a straightforwardly false claim. We really do use 'know' in its extensional sense, sometimes. Sometimes in a clearly nonintensional sense, as in "You know that 123544655676887685862 is not prime", and sometimes in an indetermine sense, as in "John knew Bill was at home", where the speaker doesn't know that John had the actual thought "Bill is at home", but does know that Bill's being at home was at least a very obvious inference from John's actual thoughts, so obvious that John would make it if he needed to (i.e. if his mind's attention were directed to it). Again, let me emphasize, I don't want to argue about the nature of knowledge or blahdyblah (no insult to your blahdyblah intended!). I just want to know how to express in Lojban this everyday semantic=20 distinction. --And.