From pycyn@aol.com Sat Mar 02 18:40:39 2002 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 3 Mar 2002 02:40:39 -0000 Received: (qmail 75828 invoked from network); 3 Mar 2002 02:40:38 -0000 Received: from unknown (216.115.97.172) by m3.grp.snv.yahoo.com with QMQP; 3 Mar 2002 02:40:38 -0000 Received: from unknown (HELO imo-m07.mx.aol.com) (64.12.136.162) by mta2.grp.snv.yahoo.com with SMTP; 3 Mar 2002 02:40:38 -0000 Received: from Pycyn@aol.com by imo-m07.mx.aol.com (mail_out_v32.5.) id r.14c.9cd9293 (3983) for ; Sat, 2 Mar 2002 21:40:30 -0500 (EST) Message-ID: <14c.9cd9293.29b2e71d@aol.com> Date: Sat, 2 Mar 2002 21:40:29 EST Subject: Re: sets, masses, &c. (was: RE: [lojban] Re: [jboske] RE: Anything but tautol... To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_14c.9cd9293.29b2e71d_boundary" X-Mailer: AOL 7.0 for Windows US sub 118 From: pycyn@aol.com X-Yahoo-Group-Post: member; u=2455001 X-Yahoo-Profile: kaliputra --part1_14c.9cd9293.29b2e71d_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 3/2/2002 6:36:11 PM Central Standard Time, a.rosta@ntlworld.com writes: > A sequence can be either a set or a mass; you just add ordering > to the set or to the mass. > But sequences seem to have properties (beyond order) that neither of these have -- they don't seem to collaborate and yet the individuals seem to still function significantly. Well, I always liked the term "team" for masses. But masses pretty clearly have cardinalities -- they are derived from sets or somethig therelike, which do (I forget if or what the interior quantifer assumed for these things is). But masses or groups or whatever are still very different things from sets -- and things we talk about much more often. (I suppose that a mass of waters would be hard to cardinalize unless you took ups some notion of the size of a water, whichj, at least inm principle, you can do in Lojban.) --part1_14c.9cd9293.29b2e71d_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 3/2/2002 6:36:11 PM Central Standard Time, a.rosta@ntlworld.com writes:


A sequence can be either a set or a mass; you just add ordering
to the set or to the mass.


But sequences seem to have properties (beyond order) that neither of these have -- they don't seem to collaborate and yet the individuals seem to still function significantly.

<BTW, personally I would prefer to talk of "groups" rather than
"masses", when we talk about logcarrying. I find it more intuitive.

BTW2, do {lo'i} and {le'i} serve any function that cannot be
served by {loi} and {lei}? For example, do {loi} and {lei} have
a definite cardinality? If, as the term 'mass' implies, {loi} and
{lei} don't a definite cardinality, then I would favour using
{le'i} and {lo'i} loglanically to denote groups, that can carry
logs and have discrete denumerable members.>

Well, I always liked the term "team" for masses.  But masses pretty clearly have cardinalities  -- they are derived from sets or somethig therelike, which do (I forget if or what the interior quantifer assumed for these things is).  But masses or groups or whatever are still very different things from sets -- and things we talk about much more often. (I suppose that a mass of waters would be hard to cardinalize unless you took ups some notion of the size of a water, whichj, at least inm principle, you can do in Lojban.)

--part1_14c.9cd9293.29b2e71d_boundary--