From lojban-out@lojban.org Tue May 23 15:47:55 2006 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 55416 invoked from network); 23 May 2006 22:47:53 -0000 Received: from unknown (66.218.67.34) by m26.grp.scd.yahoo.com with QMQP; 23 May 2006 22:47:53 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta8.grp.scd.yahoo.com with SMTP; 23 May 2006 22:47:53 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.61) (envelope-from ) id 1FifcI-0005Kp-Td for lojban@yahoogroups.com; Tue, 23 May 2006 15:44:43 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.61) (envelope-from ) id 1FifXi-0005HH-9W; Tue, 23 May 2006 15:40:01 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 23 May 2006 15:39:49 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.61) (envelope-from ) id 1FifXG-0005H8-Le for lojban-list-real@lojban.org; Tue, 23 May 2006 15:39:30 -0700 Received: from ug-out-1314.google.com ([66.249.92.170]) by chain.digitalkingdom.org with esmtp (Exim 4.61) (envelope-from ) id 1FifXE-0005H1-PK for lojban-list@lojban.org; Tue, 23 May 2006 15:39:30 -0700 Received: by ug-out-1314.google.com with SMTP id j40so1525112ugd for ; Tue, 23 May 2006 15:39:27 -0700 (PDT) Received: by 10.78.56.19 with SMTP id e19mr1552985hua; Tue, 23 May 2006 15:39:27 -0700 (PDT) Received: by 10.78.23.12 with HTTP; Tue, 23 May 2006 15:39:27 -0700 (PDT) Message-ID: <925d17560605231539l2bdbcf8bqe44d242fa371eed7@mail.gmail.com> Date: Tue, 23 May 2006 19:39:27 -0300 In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by Ecartis Content-Disposition: inline References: <925d17560605160731j379ecfdbo42862a88433e112c@mail.gmail.com> <925d17560605221708q3d88efe8teddf51b3f0e1103c@mail.gmail.com> <925d17560605221736p1d02db31sb154ed5cc4d0e793@mail.gmail.com> <925d17560605221856w7c5703b4p9ec1d1b296e67093@mail.gmail.com> <925d17560605230610r25b3f886tbaa964838a659d74@mail.gmail.com> X-Spam-Score: -2.5 (--) X-archive-position: 11669 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@gmail.com X-list: lojban-list X-Spam-Score: -2.5 (--) To: lojban@yahoogroups.com X-Originating-IP: 64.81.49.134 X-eGroups-Msg-Info: 2:12:4:0 X-eGroups-From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" Reply-To: jjllambias@gmail.com Subject: [lojban] Re: A (rather long) discussion of {all} X-Yahoo-Group-Post: member; u=116389790; y=eJ9UwaHN6KLGdEILd0w9s7ZUqi3JAH-jxJfnulTQESPeJ2Fx-Q X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 26088 On 5/23/06, Maxim Katcharov wrote: > I still don't see why > > ro lo mapku cu melbi gi'e ku'i du'e mei do'e lo nu mi bevri > > (ku'i ro lo mapku du'emei do'e lo nu mi bevri) > > wouldn't work if > > lo ro... > > does. ¨ {ro lo broda cu brode} says that each of the referents of broda satisfies the predicate {brode}. {lo ro broda cu brode} says that the referent(s) of {lo ro broda} satisfy the predicate {brode}, it doesn't specify whether together or individually. > I also don't see how you can be converting it into a > mass automatically. No, there is no conversion. {lo} is not marked for distributivity/nondistributivity. > x1 is the mass formed from set x2 with member(s) x3 > > If {ro L_ ci mapku} was placed in x1, I would take it to mean that > each hat was a mass individually. You'd need a {lu'o} or something of > the sort. Right, with an outer quantifier it would say that each fits the predicate by itself. mu'o mi'e xorxes To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.