From fracture@cs6668125-184.austin.rr.com Sat Sep 21 18:05:46 2002
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 <lojban-list@lojban.org>; 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
From: Jordan DeLong <fracture@allusion.net>
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
Reply-to: lojban-list@lojban.org
X-list: lojban-list


--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 lo
> 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

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.7 (FreeBSD)

iD8DBQE9jRhpDrrilS51AZ8RAhdwAKCmhYwjLlbOMtWoaEaBtprHHEzRDACgyZ5B
zRuDSH8WGZJow270QsraPRU=
=SsYv
-----END PGP SIGNATURE-----

--fUYQa+Pmc3FrFX/N--