From sentto-44114-15971-1032664051-lojban-in=lojban.org@returns.groups.yahoo.com Sat Sep 21 20:10:08 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Sat, 21 Sep 2002 20:10:08 -0700 (PDT) Received: from n38.grp.scd.yahoo.com ([66.218.66.106]) by digitalkingdom.org with smtp (Exim 4.05) id 17sx8I-0008RV-00 for lojban-in@lojban.org; Sat, 21 Sep 2002 20:10:06 -0700 X-eGroups-Return: sentto-44114-15971-1032664051-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.66.95] by n38.grp.scd.yahoo.com with NNFMP; 22 Sep 2002 03:07:31 -0000 X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_1_1_3); 22 Sep 2002 03:07:31 -0000 Received: (qmail 70138 invoked from network); 22 Sep 2002 03:07:31 -0000 Received: from unknown (66.218.66.218) by m7.grp.scd.yahoo.com with QMQP; 22 Sep 2002 03:07:31 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.197) by mta3.grp.scd.yahoo.com with SMTP; 22 Sep 2002 03:07:31 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Sat, 21 Sep 2002 20:07:31 -0700 Received: from 200.69.6.18 by lw8fd.law8.hotmail.msn.com with HTTP; Sun, 22 Sep 2002 03:07:30 GMT To: lojban@yahoogroups.com Bcc: Message-ID: X-OriginalArrivalTime: 22 Sep 2002 03:07:31.0186 (UTC) FILETIME=[30AD3D20:01C261E5] From: "Jorge Llambias" X-Originating-IP: [200.69.6.18] X-Yahoo-Profile: jjllambias2000 MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Sun, 22 Sep 2002 03:07:30 +0000 Subject: [lojban] Re: Sets and classes Content-Type: text/plain; charset=US-ASCII X-archive-position: 1459 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@hotmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list la djorden cusku di'e > > But does not {na selcmi da} entail {na selcmi}? How could the > > second one be false if the first one is true? > >The first: "x1 is not a set with a member". (kinda clunky; easier >to translate the equivalent naku da zo'u selcmi da: "It is not >true that there is an X, such that x1 is a set with member X". > >The second: "x1 is not a set." > >Very very different, pe'i. In English yes. But English "set" is not a relationship between things, it is a simple description. > > One could ask, does {lo selcmi be no da} belong to {lo'i selcmi}? > > I don't see how it could. > >I don't see how it couldn't. Then a bicycle, which is {lo selcmi be noda}, is a member of {lo'i selcmi} too? Is there anything that is not a member? > > {zilselcmi} should cover all sets though, including the empty one. > >I think selcmi should also. Only if it can be interpreted as {selcmi be zi'o}, which may very well end up being what happens. Perhaps the rule should be changed so that unfilled sumti places should by default be filled with {zi'o} rather than {zo'e}? It would certainly make some things more intuitive. mu'o mi'e xorxes _________________________________________________________________ Send and receive Hotmail on your mobile device: http://mobile.msn.com ------------------------ Yahoo! Groups Sponsor ---------------------~--> 4 DVDs Free +s&p Join Now http://us.click.yahoo.com/pt6YBB/NXiEAA/ySSFAA/GSaulB/TM ---------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/