From lojbab@lojban.org Sat Mar 04 07:35:53 2000 Received: (qmail 13657 invoked from network); 4 Mar 2000 15:36:08 -0000 Received: from unknown (10.1.10.27) by m4.onelist.org with QMQP; 4 Mar 2000 15:36:08 -0000 Received: from unknown (HELO stmpy.cais.net) (199.0.216.101) by mta2.onelist.org with SMTP; 4 Mar 2000 15:36:07 -0000 Received: from bob (dynamic94.cl7.cais.net [205.177.20.94]) by stmpy.cais.net (8.8.8/8.8.8) with ESMTP id KAA10469 for ; Sat, 4 Mar 2000 10:35:20 -0500 (EST) Message-Id: <4.2.2.20000303173408.00b5a5c0@127.0.0.1> X-Sender: vir1036/pop.cais.com@127.0.0.1 X-Mailer: QUALCOMM Windows Eudora Pro Version 4.2.2 Date: Fri, 03 Mar 2000 17:56:07 -0500 To: lojban@onelist.com Subject: Re: [lojban] Use and abuse of sets In-Reply-To: <20000302181924.96991.qmail@hotmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed X-eGroups-From: "Bob LeChevalier (lojbab)" From: "Bob LeChevalier (lojbab)" X-Yahoo-Message-Num: 2201 At 10:19 AM 03/02/2000 -0800, Jorge Llambias wrote: >la lojbab cusku di'e > > >of course, because {la xorxes} is not {le xadni be la xorxes}. > > > >Is your body not named that? %^) la xorxes is not a uniquely referential > >tag. > >I don't think I ever gave my body a name. Are you saying >that {la lojbab xadni la lojbab} is true? When I am dead, someone will point to my body and say "That is Bob" (or something similar) regardless of where or if my mind or spirit elsewhere exists. > >Cowan put this better than I did - the quantities of water that comprise a > >mass of water are not a unique division of the mass. So if you say "le > >djacu" referring to those members, it is ambiguous which members these are. > >Yes, just as ambiguous as for the members of {le'i djacu}, >no more no less. le'i is an in-mind set, and presumably has those members that meet the in-mind criteria for membership. I cannot say if these are the same as for le djacu since I am thinking of something different or at least describing it differently. > >Well now that you have this mass, how many members does this mass have? > >The mass {lei ci djacu} has as many members as the set >{le'i ci djacu}, three. How much then is pimu lei ci djacu - half of one member or half of the sum? How about pimu le ci djacu? pimu le'i ci djacu is clear because we can't talk of half-members of sets. Likewise for masses, except that pimu lei ci djacu may not be the same as pimu le'i ci djacu if the glasses are different in size. > > > >Or shall we say that any possible manifestation of the mass > > > >properties is a putative member. > > > > > >I wouldn't say that. > > > >I don't know how to argue this with you. It is definitional. > >I don't understand how it can be. One of the properties >of {lei ci djacu} might be that it weighs 2kg. Now it would >be absurd to claim that anything weighing 2kg is a member of >{lei ci djacu}, so any possible manifestation of the mass >properties is not a putative member. It seems to me absurd that anything can be a member of a mass, so you are correct on the first point. > >I'm not meaning to be insulting. When talking about knowing what the > >language is or will be, I have my linguist hat on, and look at what fluent > >speakers do. > >Ok, then there is nothing you can say about it. Correct. >When I talk about what the language is or will be I am simply >giving my subjective impressions from what experience I have had >and from looking at what other non-fluent speakers are doing. Fine, and to the extent that you are considered an authority based on your extensive usage, that could be seen as good or bad (Welcome to the dilemma of Lojban Central, Jorge! Glad you could join us %^) >I am also trying to explain why I do some of the things I do >with it (like not using sets) in the hopes that others will >be convinced by my arguments and follow my usage. I guess I prefer the usage without the arguments unless someone fails to understand (which of course means that someone has to be trying to understand, which remains a problem with much Lojban writing today). >Some people learn >the language in bits and pieces, that's true. Others, like >me, enjoy looking at the whole thing. The nice thing about >Lojban is that you can do this fairly easily, the whole >grammar is written in only two pages in the E-BNF version! >Of course I don't remember all the vocabulary, but I do have >a fairly thorough knowledge of the grammar, and when I have >doubts about some detail I know exactly where to look to >find the answer. I think this simplicity is one of Lojban's >greatest assets, so I dislike the "features" that detract from >that. But the features you find simple, others may find complex, and vice versa. I still find lambda quite complex; you (presumably) don't. "jai" is simple but to me too often overly simple, though I accept that it is sometimes usable. > >Mathematics is a human language. > >So written mathematics may follow its own rules. Yet >when you read it in English you use regular English >grammar, No, at least not unambiguously - different people may read the same equation in different and mutually incompatible ways. Yet the basic mathematical expression is unambiguous. >Semaho LAU and all the shifts >in selmaho BY are other strange beasts, as if typography >had anything to do with grammar. The phrase "capital cee" is a part of language; it is a name for members of a class of typographical characters. Real language usage requires a short way to express those names, and Lojban in turn requires such a short way which is unambiguous. 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 (newly updated!)