From sentto-44114-15825-1032380492-lojban-in=lojban.org@returns.groups.yahoo.com Wed Sep 18 13:23:53 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 18 Sep 2002 13:23:53 -0700 (PDT) Received: from n32.grp.scd.yahoo.com ([66.218.66.100]) by digitalkingdom.org with smtp (Exim 4.05) id 17rlMO-00056a-01 for lojban-in@lojban.org; Wed, 18 Sep 2002 13:23:44 -0700 X-eGroups-Return: sentto-44114-15825-1032380492-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.194] by n32.grp.scd.yahoo.com with NNFMP; 18 Sep 2002 20:21:32 -0000 X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_1_1_3); 18 Sep 2002 20:21:32 -0000 Received: (qmail 30659 invoked from network); 18 Sep 2002 20:21:31 -0000 Received: from unknown (66.218.66.218) by m12.grp.scd.yahoo.com with QMQP; 18 Sep 2002 20:21:31 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.233) by mta3.grp.scd.yahoo.com with SMTP; 18 Sep 2002 20:21:31 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Wed, 18 Sep 2002 13:21:31 -0700 Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP; Wed, 18 Sep 2002 20:21:31 GMT To: lojban@yahoogroups.com Bcc: Message-ID: X-OriginalArrivalTime: 18 Sep 2002 20:21:31.0774 (UTC) FILETIME=[FA18B1E0:01C25F50] From: "Jorge Llambias" X-Originating-IP: [200.49.74.2] X-Yahoo-Profile: jjllambias2000 MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Wed, 18 Sep 2002 20:21:31 +0000 Subject: Re: [lojban] Re: I like chocolate Content-Type: text/plain; charset=US-ASCII X-archive-position: 1313 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@hotmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list la pycyn cusku di'e >tu'o du'u ce'u kairbroda tu'o du'u ce'u brode kei du tu'o ce'u broda da poi >ckaji tu'o du'u ce'u brode (I think you're missing a {kei}, or just use {cu du} to make it simpler.) But that is not the {kairbroda} I was using! ><< >And {kairbroda} is an ordinary jvajvo from {ckaji broda}, with >place structure b1 (b2=c1) c2 b3 b4 b5 ... > >> >An ordinary jvajvo with an extraordinary semantics: (b2=c1) is dropped (not >unusual) but plays an active role -- and is quantified to boot. Only in your version, not in mine. In my version (b2=c1) plays no active role and the lujvo has ordinary semantics. (It has no problems with negations for example, as I suspect yours might.) >I don't see why you would want the {sisku} back; it almost always gives the >srong results, making it seem like there is a particular ... I am looking >for, when any would do: exactly your problem which led to your supposedly >improved {lo'e}. It never gives the wrong results: mi sisku le mi santa: I look for my umbrella. mi sisku lo santa: There is an umbrella that I seek. mi sisku lo'e santa: I look for an umbrella (any will do). Simple and no wrong results. Compare with official sisku: mi sisku le ka ce'u du le mi santa: I look for my umbrella. da poi santa zo'u mi sisku le ka ce'u du da: There is an umbrella that I seek. mi sisku le ka ce'u santa: I look for an umbrella (any will do). Complicated and messy. (But strictly equivalent to my way of doing it.) >Some minor proofs, using real lambdas this time -- the {ce'u}s are a pain.. >kairbroda is \x \z(Ey(x broda y & y ckaji z) Not my {kairbroda}! I must have: broda is \x \y(x kairbroda tu'o du'u ce'u = y) which doesn't work with your {kairbroda}. >a broda loe' brode = [...] = a broda lo brode. My definition of {lo'e} given in terms of my {kairbroda} does not work with your definition of {kairbroda}, of course. That's not surprising. mu'o mi'e xorxes _________________________________________________________________ Chat with friends online, try MSN Messenger: http://messenger.msn.com ------------------------ Yahoo! Groups Sponsor ---------------------~--> Plan to Sell a Home? http://us.click.yahoo.com/J2SnNA/y.lEAA/MVfIAA/GSaulB/TM ---------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/