From lojban-out@lojban.org Sat Sep 21 22:45:58 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 05:45:57 -0000 Received: (qmail 70656 invoked from network); 22 Sep 2002 05:45:56 -0000 Received: from unknown (66.218.66.216) by m9.grp.scd.yahoo.com with QMQP; 22 Sep 2002 05:45:56 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta1.grp.scd.yahoo.com with SMTP; 22 Sep 2002 05:45:57 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 17szb6-00028k-00 for lojban@yahoogroups.com; Sat, 21 Sep 2002 22:48:00 -0700 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 17szaZ-00028S-00; Sat, 21 Sep 2002 22:47:27 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Sat, 21 Sep 2002 22:47:26 -0700 (PDT) Received: from cs6668125-184.austin.rr.com ([66.68.125.184] ident=root) by digitalkingdom.org with esmtp (Exim 4.05) id 17szaV-00028J-00 for lojban-list@lojban.org; Sat, 21 Sep 2002 22:47:24 -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 g8M5pbGZ073288 for ; Sun, 22 Sep 2002 00:51:42 -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 g8M5pa3T073287 for lojban-list@lojban.org; Sun, 22 Sep 2002 00:51:36 -0500 (CDT) Date: Sun, 22 Sep 2002 00:51:36 -0500 To: lojban-list@lojban.org Subject: [lojban] Re: Sets and classes Message-ID: <20020922055136.GA73101@allusion.net> References: Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="NzB8fVQJ5HfG6fxh" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4i X-archive-position: 1471 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 --NzB8fVQJ5HfG6fxh Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sun, Sep 22, 2002 at 05:21:00AM +0000, Jorge Llambias wrote: > la djorden cusku di'e > >Sure it isn't containing, but ja'a it is a container. >=20 > ta ka'e vasru gi'enai ca'a vasru, right? Sure, that works. Would lo ka'ejanaica'a selcmi be da satisfy as an empty set? [...] > >However I think lo klama be fi noda is a member of lo'i klama, so > >you can use that if you want :) >=20 > Use it for what? It is the same case, it can't be a member of > {lo'i klama}. That's why bloated gismu are such a nuisance. > Someone who doesn't move from his house is {lo klama be fi noda}, > and should not be a member of {lo'i klama}. Use it for purposes of argument, of course, ;P Anyway I'm not so sure about all this. It seems that it would be somewhat unfortunate if we can't say "le selcmi be noda", when there's a clear, useful interpretation of it (which I still don't think entails "na selcmi", only "na selcmi be da"). Also (and back to the original thing), what about "lu'i no da" for empty set? --=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 --NzB8fVQJ5HfG6fxh Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (FreeBSD) iD8DBQE9jVpoDrrilS51AZ8RApPeAKC+mIxK2nCQ+ZVLgG47NeRMoHoiPQCgzloD 6oZ3XMWdrz9n3aCJDTo4YmY= =7gOf -----END PGP SIGNATURE----- --NzB8fVQJ5HfG6fxh--