From arosta@uclan.ac.uk Wed Sep 26 09:21:03 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:19:56 -0000 Received: (qmail 57048 invoked from network); 26 Sep 2001 16:19:56 -0000 Received: from unknown (10.1.10.27) by 10.1.1.221 with QMQP; 26 Sep 2001 16:19:56 -0000 Received: from unknown (HELO com1.uclan.ac.uk) (193.61.255.3) by mta2 with SMTP; 26 Sep 2001 16:21:02 -0000 Received: from gwise-gw1.uclan.ac.uk by com1.uclan.ac.uk with SMTP (Mailer); Wed, 26 Sep 2001 16:58:35 +0100 Received: from DI1-Message_Server by gwise-gw1.uclan.ac.uk with Novell_GroupWise; Wed, 26 Sep 2001 17:29:38 +0100 Message-Id: X-Mailer: Novell GroupWise 5.5.2 Date: Wed, 26 Sep 2001 17:29:03 +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 >>> 09/25/01 10:47pm >>> #arosta@uclan.ac.uk writes: #> First off I want to know how to render the two readings of "John knows/b= elieves=20 #> that Bill is not king of France" -- the intensional reading (which is th= e=20 #> current Lojban one) and the extensional reading, where John's beliefs ar= e such=20 #> that were they true, Bill would not be king of France. # #Oh ho! (what is Lojban for "taxicab rejoinder," ?"l'esprit de l'escalier"?= or=20 #some such). What's a taxicab rejoinder? #I now see the point. John has never considered the question whether Bill= is=20 #the king of France let alone formulated the belief that he is not. So, on= =20 #the intensional view -- what I take the lojban {la djan jinvi le du'u ...}= to=20 #mean, it is false that John believes/opines this=20 right #(though this might make an=20 #interesting case to rpovide some separation between these two other than j= ust=20 #the evidentiary one). On the other hand, John may well have beliefs that= =20 #entail that Bill is not the king of France and the entailment may be one t= hat=20 #John could work out easily -- even unconsciously -- were he to direct his= =20 #attention to the matter. So there is a sense in which John does already=20 #believe that Bill is not the king of France (he believes, for example, tha= t=20 #France does not have a king).=20=20 right #I don't see exactly how this is an intensional-extensional problem; it see= ms=20 #to be more a problem about how to say the latter case -- something like=20 #{ka'e} or some stronger for: "doesn't but should to be consistent and=20 #complete." I don't think there is directly a sense of "believe" or "opine= "=20 #or {krici/jinvi} that directly allows the claim that he does belive this t= o=20 #be true. But, again, this is not intensional-extension, since there is no= =20 #claim to the effect that Bill is not the king of France such that John=20 #believes it either. I don't see any solution in {ka'e} I may be abusing terminology to describe it as extensional/intensional, but if we define a person's beliefs as the set of worlds that the beliefs=20 could be true of, and a proposition as a set of possible worlds that the proposition is true of, then the set of worlds in which Bill is not king of France is a proper subset of the set of worlds compatible with John's beliefs, and hence it can be said that in this sense, it is among John's beliefs that Bill is not king of France. I accept John's typically clear Cicero/Tully example. Another example:=20 John believes that Bill's age is the cube root of 389017. ... when John has the thought "It is the case that Bill is 73". --And.