From a.rosta@dtn.ntl.com Fri Oct 12 20:48:08 2001 Return-Path: X-Sender: a.rosta@dtn.ntl.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_4_1); 13 Oct 2001 03:48:08 -0000 Received: (qmail 57740 invoked from network); 13 Oct 2001 03:48:07 -0000 Received: from unknown (10.1.10.142) by l9.egroups.com with QMQP; 13 Oct 2001 03:48:07 -0000 Received: from unknown (HELO mta07-svc.ntlworld.com) (62.253.162.47) by mta3 with SMTP; 13 Oct 2001 03:48:06 -0000 Received: from andrew ([62.253.84.71]) by mta05-svc.ntlworld.com (InterMail vM.4.01.03.00 201-229-121) with SMTP id <20011013001422.NOUW20588.mta05-svc.ntlworld.com@andrew> for ; Sat, 13 Oct 2001 01:14:22 +0100 Reply-To: To: Subject: RE: [lojban] "knowledge as to who saw who" readings Date: Sat, 13 Oct 2001 01:13:36 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) In-Reply-To: <99.1c0aee9a.28f88fd3@aol.com> Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 From: "And Rosta" X-Yahoo-Message-Num: 11547 pc: > a.rosta@dtn.ntl.com writes: > It seems to me that {ce'u} ought to be analysable as an unevaluated > {ma kau}, btw. > > I think there will be scope problems here. What does "unevaluated" > mean in this context? As bound variables, they are all inherently > unevaluated. Under Jorge's mooted reinterpretation of the formal meaning of qkau constructions, {du'u qkau} is the category of propositions in which the qkau is replaced by every possible value. (I hope that's not phrased too clumsily to be understood.) I then say that the difference between {ma kau} and {ce'u} is that the latter is not replaced by any value. I was making an incidental observation, but am conscious of certain implications, in that just as {ma kau} has an unreplaced counterpart, {ce'u}, so other qkaus, e.g. {xo kau} should have an unreplaced counterpart. E.g. du'u prenu cu tavla "the property of being the number of people talking" du'u prenu cu viska ce'u "the relation between x and y such that x is the quantity of people that see y" This would then raise the issue of How To Say It In Lojban, and one particularly obvious way would be to have a counterpart of {kau} that indicated nonreplacement -- call it {kau'u}. This would then make {ce'u} merely an abbreviation for {ma kau'u}, and the above examples would be: du'u xo kau'u prenu cu tavla du'u xo kau'u prenu cu viska ma kau'u > without having a way to represent intensional forms of beliefs, > but at the same time I think we can't do without having a way > to represent extensional forms of beliefs, and I don't readily > see the snag: what's wrong with saying "the truth conditions of > p are blahblahblah and John believes p"?> > > OK, and that will be helpful for deciding whether John's belief is > true or not, but does nothing to help the problem -- which I thouhgt > was the one you were on -- of connecting what John believes with some > other propositions that you can work on more easily. For this task, > no amount of truth-condition information will complete the task, even > if, ala xorxes, you know that both propositions are answers to the > question. I, perhaps-obtusely, truly don't see why it doesn't help the problem of connecting what John believes with some other propositions that you can work on more easily. "the truth conditions of p are blahblahblah and John believes p" doesn't tell us the intensional form of what John believes (i.e., p) but it does tell us the truthconditions of what John believes (i.e. p). And this is exactly the outcome that (I think) I want. > > But your approach still does not get over the extension-intension > > gap. You just know extensional equivalence and that says nought > > about intensional anything (well, if they are not extensionally > > equivalent, they are not intensionally either). > > I agree (I think -- I can't ever be sure we understand one > another right) that my approach says nought about intensional > anything. But I don't see that as a problem.> > > Then I guess I don't understand what you are trying to do. Most of > what I have seen from you looked to be trying to rewrite what John > believes in terms of the extension of some property and John's > beliefs about that extension, based on the extensional eqquivalence > between the proposition which John believes and a certain proposition > about the extension of the property. But those rewrites are not > generally legitimate and in the cases given clearly are not. I think you accurately summarize the situation. I want to be able to say "John believes something that is extensionally equivalent to q" (spelling q out as a bridi). I don't see where the supposed illegitimacy is. > the strengths of the xorxesian set-of-answers approach that it isn't > intensional (or so I understood).> > > I don't know quite what "xorxes' system is not intensional" means. > He has a set of answers better, a property "is an answer to..." and a > number of propositions that meet that property), within that set the > answers can be pretty much reduced to the model answers (just like > the question with the kau words replaced) on extensional grounds, but > the various answers, even all the true model ones, are still > intensionally distinct. I don't want to labour this, because under Jorge's latest revision of his proposals I do think that the intensional form of each answer is determinate. But at some earlier stage of the analysis, lo du'u ma kau broda was *anything* that was an answer to {ma broda}, regardless of the intensional form of the answer. Crucially, if John knows every true answer, he knows every extensionally-distinct answer but not necessarily every intensionally-distinct answer. But, as I say, this has changed, as Jorge's thought has shifted from a relatively intuitive notion of 'answer' to a more explicit and formalizable analysis. > implied by an answer that is understood to be exhaustive.> > > That claim is vague enough to avoid any objection I could think of. > On the other hand, taken in its simplest sense, it is often false. > The eharer may take the speaker's stopping for a exhaustive > completion, the speaker may only intend an exhausted run out of > patient or memory. I would like a "and nobody else" explicit before > I bet even the chicken coop. I, on the other hand, think that there is a cultural (and perhaps logical and linguistic) distinction between 'partial' answers and 'exhaustive' answers, and that interlocutors are usually griceanly aware which sort of answer is relevant. In talking in Lojban about, say, "knowledge as to who saw who", I would like to be able to distinguish explicitly between knowing a partial answer and knowing the/an exhausative answer. --And.