From nobody@digitalkingdom.org Tue May 23 15:39:49 2006
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 <nobody@digitalkingdom.org>)	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 <jjllambias@gmail.com>)	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 <lojban-list@lojban.org>; Tue, 23 May 2006 15:39:27 -0700 (PDT)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;        s=beta; d=gmail.com;        h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;        b=r1Nh3ztFL9HsVRlsw/Vky5LrYuI7FyiGHp4OCDLrRHvNu2v0QAXwKf/31nWwTZECmLRv/D7H9xKJ94cP9VCwFenJBUN0C1omXoUsFMOgeDQpcqTwnIgnVyFUPol7Nc7M7imMRLIhYYHeb5hNv9/rYoFGaCvNn9y1MHbCMBQ8W68=
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
From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" <jjllambias@gmail.com>
To: lojban-list@lojban.org
Subject: [lojban] Re: A (rather long) discussion of {all}
In-Reply-To: <ec8285e60605231419kf99faf0n420c145c8cab141a@mail.gmail.com>
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>
	 <ec8285e60605221636o13ccd4e7k7a4c4b668250d443@mail.gmail.com>
	 <925d17560605221708q3d88efe8teddf51b3f0e1103c@mail.gmail.com>
	 <ec8285e60605221729y2f05d40w8f65d5364939992@mail.gmail.com>
	 <925d17560605221736p1d02db31sb154ed5cc4d0e793@mail.gmail.com>
	 <ec8285e60605221818s6d48f427qf32b4c569d0c49ef@mail.gmail.com>
	 <925d17560605221856w7c5703b4p9ec1d1b296e67093@mail.gmail.com>
	 <ec8285e60605222316p601857dcg2f726f53c23ec7e6@mail.gmail.com>
	 <925d17560605230610r25b3f886tbaa964838a659d74@mail.gmail.com>
	 <ec8285e60605231419kf99faf0n420c145c8cab141a@mail.gmail.com>
X-Spam-Score: -2.5 (--)
X-archive-position: 11669
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-list-bounce@lojban.org
Errors-to: lojban-list-bounce@lojban.org
X-original-sender: jjllambias@gmail.com
Precedence: bulk
Reply-to: lojban-list@lojban.org
X-list: lojban-list

On 5/23/06, Maxim Katcharov <maxim.katcharov@gmail.com> 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.