From pycyn@aol.com Fri Apr 20 10:22:38 2001 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_1_2); 20 Apr 2001 17:22:38 -0000 Received: (qmail 3961 invoked from network); 20 Apr 2001 17:22:37 -0000 Received: from unknown (10.1.10.142) by l7.egroups.com with QMQP; 20 Apr 2001 17:22:37 -0000 Received: from unknown (HELO imo-r17.mx.aol.com) (152.163.225.71) by mta3 with SMTP; 20 Apr 2001 17:22:37 -0000 Received: from Pycyn@aol.com by imo-r17.mx.aol.com (mail_out_v29.14.) id r.25.1422584b (9725) for ; Fri, 20 Apr 2001 13:22:01 -0400 (EDT) Message-ID: <25.1422584b.2811ca39@aol.com> Date: Fri, 20 Apr 2001 13:22:01 EDT Subject: Re: [lojban] RE:not only To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_25.1422584b.2811ca39_boundary" Content-Disposition: Inline X-Mailer: AOL 6.0 for Windows US sub 10519 From: pycyn@aol.com --part1_25.1422584b.2811ca39_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 4/19/2001 7:20:24 PM Central Daylight Time, jjllambias@hotmail.com writes: > > lo'i nelci be le va stizu du le'i mlatu > > (It should be {cu du}.) > > I agree that that is the meaning, but pc would have > "is a subset of" instead of {du}: > Not so. I would just allow that the sentence might be false when "only the cats like the chair" is true, since {lo'i nelci ...} might, illegally, refer to the empty set or to one of a different cardinality than {le'i mlatu} --part1_25.1422584b.2811ca39_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 4/19/2001 7:20:24 PM Central Daylight Time,
jjllambias@hotmail.com writes:


>   lo'i nelci be le va stizu du le'i mlatu

(It should be {cu du}.)

I agree that that is the meaning, but pc would have
"is a subset of" instead of {du}:


Not so.  I would just allow that the sentence might be false when "only the
cats like the chair" is true, since {lo'i nelci ...} might, illegally, refer
to the empty set or to one of a different cardinality than {le'i mlatu} --part1_25.1422584b.2811ca39_boundary--