Received: from mail-wg0-f61.google.com ([74.125.82.61]:65037)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban-beginners+bncCJ2UzZHuDRDp-42CBRoEM--5nA@googlegroups.com>)
	id 1T8CHo-00032c-UL; Sun, 02 Sep 2012 08:40:38 -0700
Received: by wgbdr13 with SMTP id dr13sf1566780wgb.16
        for <multiple recipients>; Sun, 02 Sep 2012 08:40:25 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type
         :content-transfer-encoding;
        bh=TNRd3Q6JnErFnOpUzAXxIRco5hBDQQV4bQaUytmzolM=;
        b=cjrrp8/j3fNDhz1qIwo2JWlx5IWAHtRs4+adK2gkDN6kUPM7t6dj6EpDv5gCgK1759
         r/eoNHc9rlZ36rUkP9x6nVOQ2b/7WyaYkKzjElD0DOPDQc60OfCKxihBtxCurtGON50f
         Wm/J8SSd1Q+PQj0/6v4vwjU+jwG9qtrJhejLL5NJ3O64BUKqkyZo+NPxjo5DkGcgEbs1
         tZJ6QNUkXy9jymqMiHL2yql7TGsQNvKc7HeWCSF7r/Tyk9rJ2mqdm2TNwFrkGTcbwu7v
         zYri2I/XsTSGxLNAOxHNU+Xb49CXGSFLMnlLcFJ3jRBf1L604qdO/G1kw2wsc3B/A86m
         vF2w==
Received: by 10.180.96.65 with SMTP id dq1mr800798wib.2.1346600425295;
        Sun, 02 Sep 2012 08:40:25 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.14.223.136 with SMTP id v8ls1246336eep.7.gmail; Sun, 02 Sep
 2012 08:40:24 -0700 (PDT)
Received: by 10.14.214.69 with SMTP id b45mr12663826eep.2.1346600424673;
        Sun, 02 Sep 2012 08:40:24 -0700 (PDT)
Received: by 10.14.214.69 with SMTP id b45mr12663825eep.2.1346600424662;
        Sun, 02 Sep 2012 08:40:24 -0700 (PDT)
Received: from mail-ey0-f181.google.com (mail-ey0-f181.google.com [209.85.215.181])
        by gmr-mx.google.com with ESMTPS id v3si14383930eep.1.2012.09.02.08.40.24
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 02 Sep 2012 08:40:24 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.215.181 as permitted sender) client-ip=209.85.215.181;
Received: by mail-ey0-f181.google.com with SMTP id n10so1242117eaa.40
        for <lojban-beginners@googlegroups.com>; Sun, 02 Sep 2012 08:40:24 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.14.204.72 with SMTP id g48mr17924126eeo.45.1346600424560; Sun,
 02 Sep 2012 08:40:24 -0700 (PDT)
Received: by 10.14.95.78 with HTTP; Sun, 2 Sep 2012 08:40:24 -0700 (PDT)
In-Reply-To: <CAOQ8VDVymHOkqQHz8C_mjZ5-gYiBpQjB-LajL0FH=-boCLbrog@mail.gmail.com>
References: <369b1b83-0407-4ccf-aa59-89a5ffbaf473@googlegroups.com>
	<CAOQ8VDUCkSVyFRG_4td_EAhiZ3XUO9bbr4-MNprN0oCwptsqRw@mail.gmail.com>
	<CAO7tK2fBXVoCVAVDK0Gm92Kn2inywE6GzBYeYEhKXwHi7UAypw@mail.gmail.com>
	<CAOQ8VDVymHOkqQHz8C_mjZ5-gYiBpQjB-LajL0FH=-boCLbrog@mail.gmail.com>
Date: Sun, 2 Sep 2012 12:40:24 -0300
Message-ID: <CAO7tK2ebro3RQ-MrbkObH=VbnXGG1oqMbtEZpDamNGWyQpUy8Q@mail.gmail.com>
Subject: Re: [lojban-beginners] Where should I use sets and where should I use masses?
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban-beginners@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.215.181 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass header.i=@gmail.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
X-Google-Group-Id: 300742228892
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:googlegroups-manage+300742228892+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

On Sun, Sep 2, 2012 at 12:09 PM, Jacob Errington <nictytan@gmail.com> wrote=
:
> On 2 September 2012 11:03, Jorge Llamb=EDas <jjllambias@gmail.com> wrote:
>>
>> lo ro jbopre cu zvati ti gi'e simxu lo ka ce'u slabu ce'u
>> All lojbanists are here and know each other.
>>
>> I don't see any advantage to defining "simxu" and the few other gismu
>> that are defined that way in terms of sets, so I use them as if they
>> were defined in a more user-friendly manner, in terms of ordinary
>> groups rather than mathematical sets.
>
> Of course, if we work under the assumption that {lo} produces the weird
> polymorphic type, then yes, you can get away with shenanigans like that,

No, I don't think "lo" can produce sets. What I'm doing is using a
different definition of "simxu" such that it does not take a set as
its x1 but just an ordinary plural reference. Instead of meaning "x1
(set) has members who mutually/reciprocally x2" I take it to just mean
"x1 mutually/reciprocally x2", bypassing the unnecessary set step. The
x1 of "simxu" is no different than the x1 of "jmaji". "jmaji" could
have been defined as "x1 (set) has members who gather/collect at
location x2 from locations that are members of x3 (set)", but what
would be the point, other than making things more complicated?

> but
> if you don't, you need an experimental in the form of a sort of JAI that =
can
> do afterthought LAhE in the way JAI TAG does afterthought TAG.

Right, but what's the point of having to go through a set?

mu'o mi'e xorxes

--=20
You received this message because you are subscribed to the Google Groups "=
Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@=
googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban=
-beginners?hl=3Den.