From pycyn@aol.com Thu Feb 28 17:32:50 2002 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 1 Mar 2002 01:32:50 -0000 Received: (qmail 98619 invoked from network); 1 Mar 2002 01:32:49 -0000 Received: from unknown (216.115.97.171) by m9.grp.snv.yahoo.com with QMQP; 1 Mar 2002 01:32:49 -0000 Received: from unknown (HELO imo-m09.mx.aol.com) (64.12.136.164) by mta3.grp.snv.yahoo.com with SMTP; 1 Mar 2002 01:32:49 -0000 Received: from Pycyn@aol.com by imo-m09.mx.aol.com (mail_out_v32.5.) id r.90.21fecb15 (4322) for ; Thu, 28 Feb 2002 20:32:44 -0500 (EST) Message-ID: <90.21fecb15.29b0343b@aol.com> Date: Thu, 28 Feb 2002 20:32:43 EST Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_90.21fecb15.29b0343b_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_90.21fecb15.29b0343b_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 2/28/2002 7:12:55 PM Central Standard Time, jjllambias@hotmail.com writes: > A set of people cannot carry a log, a mass of people can. > The question is, can a sequence of people carry a log? > > It is a reasonable question, because Lojban provides articles > for sets and for masses, but not for sequences, so sequences > will have to be a subtype of one of those. I have thought > until now that the way to refer to a sequence of cats was > as {le'i mlatu}, but it would be very nice if I was wrong > and the right way is to use {lei mlatu}. Or are you saying > that we have no way in Lojban to refer to a sequence of cats > directly? > {le porsi fi le' mlatu} I suppose and the gismu list seems to think that a sequence is a set. Which makes concatenation kind of hard. I think this needs some work when we get around to actually needing it. We can work around it now. It seems odd that {klesi} is a set, though it certainly is a sequence of letters. --part1_90.21fecb15.29b0343b_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 2/28/2002 7:12:55 PM Central Standard Time, jjllambias@hotmail.com writes:


A set of people cannot carry a log, a mass of people can.
The question is, can a sequence of people carry a log?

It is a reasonable question, because Lojban provides articles
for sets and for masses, but not for sequences, so sequences
will have to be a subtype of one of those. I have thought
until now that the way to refer to a sequence of cats was
as {le'i mlatu}, but it would be very nice if I was wrong
and the right way is to use {lei mlatu}. Or are you saying
that we have no way in Lojban to refer to a sequence of cats
directly?


{le porsi fi le' mlatu} I suppose and the gismu list seems to think that a sequence is a set.  Which makes concatenation kind of hard.  I think this needs some work when we get around to actually needing it.  We can work around it now.  It seems odd that {klesi} is a set, though it certainly is a sequence of letters. --part1_90.21fecb15.29b0343b_boundary--