From pycyn@aol.com Tue Oct 02 19:27:03 2001 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_4_1); 3 Oct 2001 02:27:03 -0000 Received: (qmail 69528 invoked from network); 3 Oct 2001 02:27:03 -0000 Received: from unknown (10.1.10.142) by l9.egroups.com with QMQP; 3 Oct 2001 02:27:03 -0000 Received: from unknown (HELO imo-d09.mx.aol.com) (205.188.157.41) by mta3 with SMTP; 3 Oct 2001 02:26:58 -0000 Received: from Pycyn@aol.com by imo-d09.mx.aol.com (mail_out_v31_r1.7.) id r.f9.106b9b72 (4505) for ; Tue, 2 Oct 2001 22:26:56 -0400 (EDT) Message-ID: Date: Tue, 2 Oct 2001 22:26:55 EDT Subject: Re: [lojban] Set of answers encore To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_f9.106b9b72.28ebd16f_boundary" X-Mailer: AOL 6.0 for Windows US sub 10535 From: pycyn@aol.com --part1_f9.106b9b72.28ebd16f_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 9/28/2001 5:11:43 PM Central Daylight Time, a.rosta@dtn.ntl.com writes: > pc: > > arosta@uclan.ac.uk writes: > > "da zo'u There is a proposition p such that p is true just in case da > is > > extension of tu'odu'u ce'u klama kei and John believes that p" > > > > Well, in one sense it is hard to complain about this, since it covers > > the extension/intension problem nicely. I am now off again worrying > > about what soert of thing the extension of {tu'o du'u ce'u klama kei} > > is, as a result of a discussion on some other topic. > My extreme bad! This turns out to be, on examination, true so long as John has one true belief and one false one, regardless of what the beliefs are about. If da is the extension of whatever then this claim and the true belief are both true, so the one just in case the other. so there is one true just in case the extension-claim is. On the othre hand, if the extension claim is false, then it iff the false belief is true, so something iff the extension claim. But the extension claim is either true or false and on either option, there is something John believes and that is true iff the extension claim is. So, the claim holds absolutely. The joys of a logical language! --part1_f9.106b9b72.28ebd16f_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 9/28/2001 5:11:43 PM Central Daylight Time, a.rosta@dtn.ntl.com writes:


pc:
> arosta@uclan.ac.uk writes:
>   "da zo'u There is a proposition p such that p is true just in case da is
>   extension of tu'odu'u ce'u klama kei and John believes that p"
>
> Well, in one sense it is hard to complain about this, since it covers
> the extension/intension problem nicely.  I am now off again worrying
> about what soert of thing the extension of {tu'o du'u ce'u klama kei}
> is, as a result of a discussion on some other topic.


My extreme bad!  This turns out to be, on examination, true so long as John has one true belief and one false one, regardless of what the beliefs are about.  If da is the extension of whatever then this claim and the true belief are both true, so the one just in case the other. so there is one true just in case the extension-claim is.  On the othre hand, if the extension claim is false, then it iff the false belief is true, so something iff the extension claim.  But the extension claim is either true or false and on either option, there is something John believes and that is true iff the extension claim is.  So, the claim holds absolutely.  The joys of a logical language!    --part1_f9.106b9b72.28ebd16f_boundary--