From pycyn@aol.com Sat Mar 09 10:22:48 2002 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 9 Mar 2002 18:22:48 -0000 Received: (qmail 3812 invoked from network); 9 Mar 2002 18:22:48 -0000 Received: from unknown (216.115.97.171) by m2.grp.snv.yahoo.com with QMQP; 9 Mar 2002 18:22:48 -0000 Received: from unknown (HELO imo-r01.mx.aol.com) (152.163.225.97) by mta3.grp.snv.yahoo.com with SMTP; 9 Mar 2002 18:22:48 -0000 Received: from Pycyn@aol.com by imo-r01.mx.aol.com (mail_out_v32.5.) id r.50.7c9bbfc (17378) for ; Sat, 9 Mar 2002 13:22:41 -0500 (EST) Message-ID: <50.7c9bbfc.29bbacf0@aol.com> Date: Sat, 9 Mar 2002 13:22:40 EST Subject: Re: [lojban] Re: [jboske] Quantifiers, Existential Import, and all that stuff To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_50.7c9bbfc.29bbacf0_boundary" X-Mailer: AOL 7.0 for Windows US sub 118 From: pycyn@aol.com X-Yahoo-Group-Post: member; u=2455001 X-Yahoo-Profile: kaliputra --part1_50.7c9bbfc.29bbacf0_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 3/9/2002 10:15:09 AM Central Standard Time, a.rosta@ntlworld.com writes: > {su'o broda cu brode} = {su'o lo ro broda cu brode} > > That then logically entails {su'o lo su'o broda cu brode}. > It does in Lojban, but it ought not in Llamban, since {ro} lacks existential import. I presume the inference makes use of the common external {su'o} to make the leap, but if that works then the representation of A- as {ro broda} is going to fail since it will have existential import too. Admittedly, this depends upon a rinciple that is not xorxes, but is the only one I can find that explains any of his suggestions in Lojban terms (but then I know that they are not on Lojban terms, so why try?). --part1_50.7c9bbfc.29bbacf0_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 3/9/2002 10:15:09 AM Central Standard Time, a.rosta@ntlworld.com writes:


{su'o broda cu brode} = {su'o lo ro broda cu brode}

That then logically entails {su'o lo su'o broda cu brode}.


It does in Lojban, but it ought not in Llamban, since {ro} lacks existential import.  I presume the inference makes use of the common external {su'o} to make the leap,  but if that works then the representation of A- as {ro broda} is going to fail since it will have existential import too.  Admittedly, this depends upon a rinciple that is not xorxes, but is the only one I can find that explains any of his suggestions in Lojban terms (but then I know that they are not on Lojban terms, so why try?).
--part1_50.7c9bbfc.29bbacf0_boundary--