From jjllambias@hotmail.com Sat Sep 21 19:40:25 2002 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_1_1_3); 22 Sep 2002 02:40:25 -0000 Received: (qmail 56518 invoked from network); 22 Sep 2002 02:40:24 -0000 Received: from unknown (66.218.66.218) by m8.grp.scd.yahoo.com with QMQP; 22 Sep 2002 02:40:24 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.185) by mta3.grp.scd.yahoo.com with SMTP; 22 Sep 2002 02:40:24 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Sat, 21 Sep 2002 19:40:24 -0700 Received: from 200.69.6.18 by lw8fd.law8.hotmail.msn.com with HTTP; Sun, 22 Sep 2002 02:40:24 GMT To: lojban@yahoogroups.com Bcc: Subject: Re: [lojban] Re: Sets and classes Date: Sun, 22 Sep 2002 02:40:24 +0000 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 22 Sep 2002 02:40:24.0838 (UTC) FILETIME=[674C3A60:01C261E1] From: "Jorge Llambias" X-Originating-IP: [200.69.6.18] X-Yahoo-Group-Post: member; u=6071566 X-Yahoo-Profile: jjllambias2000 la djorden cusku di'e >The selcmi noda = na selcmi is done by exploiting something in >chapter 16 (search for ``External Bridi Negation'') and then ignoring >the fact that "na selcmi" implies something different: > > selcmi noda == > selcmi naku da == > naku zo'u selcmi da == > na selcmi da > >this is all find and good. But for some reason people decide to >drop the da after the point, claiming it's the same as na selcmi. >Though perhaps the zo'e could be "da", it is at the least misleading, >and at the most plain wrong. Certainly {na selcmi} does not entail {na selcmi da}, because {zo'e} could be a particular value from context such that its relationship is being denied, so they are clearly not equivalent. But does not {na selcmi da} entail {na selcmi}? How could the second one be false if the first one is true? One could ask, does {lo selcmi be no da} belong to {lo'i selcmi}? I don't see how it could. {zilselcmi} should cover all sets though, including the empty one. mu'o mi'e xorxes _________________________________________________________________ Join the world’s largest e-mail service with MSN Hotmail. http://www.hotmail.com