From lojban-out@lojban.org Sat Sep 21 18:04:18 2002 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_1_1_3); 22 Sep 2002 01:04:18 -0000 Received: (qmail 83903 invoked from network); 22 Sep 2002 01:04:17 -0000 Received: from unknown (66.218.66.217) by m3.grp.scd.yahoo.com with QMQP; 22 Sep 2002 01:04:17 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta2.grp.scd.yahoo.com with SMTP; 22 Sep 2002 01:04:17 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 17svCV-00083b-00 for lojban@yahoogroups.com; Sat, 21 Sep 2002 18:06:19 -0700 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 17svBz-00083J-00; Sat, 21 Sep 2002 18:05:47 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Sat, 21 Sep 2002 18:05:46 -0700 (PDT) Received: from cs6668125-184.austin.rr.com ([66.68.125.184] ident=root) by digitalkingdom.org with esmtp (Exim 4.05) id 17svBw-00083A-00 for lojban-list@lojban.org; Sat, 21 Sep 2002 18:05:44 -0700 Received: from cs6668125-184.austin.rr.com (asdf@localhost [127.0.0.1]) by cs6668125-184.austin.rr.com (8.12.3/8.12.3) with ESMTP id g8M1A1GZ067495 for ; Sat, 21 Sep 2002 20:10:01 -0500 (CDT) (envelope-from fracture@cs6668125-184.austin.rr.com) Received: (from fracture@localhost) by cs6668125-184.austin.rr.com (8.12.3/8.12.3/Submit) id g8M1A1bm067494 for lojban-list@lojban.org; Sat, 21 Sep 2002 20:10:01 -0500 (CDT) Date: Sat, 21 Sep 2002 20:10:01 -0500 To: lojban-list@lojban.org Subject: [lojban] Re: Sets and classes Message-ID: <20020922011001.GA67404@allusion.net> References: <02092120101005.02144@neofelis> <20020922004008.GM28894@digitalkingdom.org> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="fUYQa+Pmc3FrFX/N" Content-Disposition: inline In-Reply-To: <20020922004008.GM28894@digitalkingdom.org> User-Agent: Mutt/1.4i X-archive-position: 1452 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: fracture@allusion.net Precedence: bulk X-list: lojban-list X-eGroups-From: Jordan DeLong From: Jordan DeLong Reply-To: fracture@allusion.net X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 15942 --fUYQa+Pmc3FrFX/N Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sat, Sep 21, 2002 at 05:40:08PM -0700, Robin Lee Powell wrote: > On Sat, Sep 21, 2002 at 08:10:10PM -0400, Pierre Abbat wrote: > > In mathematical usage, "class" is {klesi} (or maybe {zilkle} since x2 > > is always sets) and "set" appears to be {selcmi}. But what of the > > empty set? {} selcmi noda, and {selcmi noda} is equivalent to {na > > selcmi}. So what is the word for "set"? >=20 > What makes you think that selcmi noda =3D=3D na selcmi? And what about l= o > selcmi poi kunti? The selcmi noda =3D 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 =3D=3D selcmi naku da =3D=3D naku zo'u selcmi da =3D=3D 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. --=20 Jordan DeLong - fracture@allusion.net lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u sei la mark. tuen. cusku --fUYQa+Pmc3FrFX/N Content-Type: application/pgp-signature Content-Disposition: inline [Attachment content not displayed.] --fUYQa+Pmc3FrFX/N--