From lojbab@lojban.org Fri Nov 30 21:34:43 2001 Return-Path: X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_0_1); 1 Dec 2001 05:34:44 -0000 Received: (qmail 62767 invoked from network); 1 Dec 2001 05:34:43 -0000 Received: from unknown (216.115.97.171) by m3.grp.snv.yahoo.com with QMQP; 1 Dec 2001 05:34:43 -0000 Received: from unknown (HELO stmpy-5.cais.net) (205.252.14.75) by mta3.grp.snv.yahoo.com with SMTP; 1 Dec 2001 05:34:43 -0000 Received: from bob.lojban.org (43.dynamic.cais.com [207.226.56.43]) by stmpy-5.cais.net (8.11.1/8.11.1) with ESMTP id fB15YcK25304 for ; Sat, 1 Dec 2001 00:34:38 -0500 (EST) Message-Id: <4.3.2.7.2.20011201003119.04f31100@pop.cais.com> X-Sender: vir1036@pop.cais.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Sat, 01 Dec 2001 00:34:25 -0500 To: Subject: Re: [lojban] The bigness of a set In-Reply-To: References: <4.3.2.7.2.20011130233838.04eab590@pop.cais.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: "Bob LeChevalier (lojbab)" X-Yahoo-Message-Num: 12425 At 11:49 PM 11/30/01 -0500, Invent Yourself wrote: >On Fri, 30 Nov 2001, Bob LeChevalier (lojbab) wrote: > > At 08:51 PM 11/30/01 -0500, Invent Yourself wrote: > > >Sets have certain properties, like cardinality, membership, and inclusion. > > >Physical size is not one of them. Therefore how do we deal with a > > >statement like the canonical "lo'i ratcu cu barda"? It appears that, in > > >context, a reference to a set is being replaced by a reference to the > > >cardinality of the set. > > > > I think this is true for all instances of "large"/"barda" - we are saying > > that some unspecified dimension(s) of the referent are more than an in mind > > standard. In the case of sets, we happen to know what the dimension is > > most likely to be. > >Is my final sentence correct? I don't know, since I don't know the "canonical reference". That is probably the dimension that one would measure in saying that a set is barda, but the standard is unknown. Compared to lo'i vidru, lo'i ratcu is not particularly barda. lojbab -- lojbab lojbab@lojban.org Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: http://www.lojban.org