Received: from mail-pz0-f61.google.com ([209.85.210.61]:36642)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhDJlOn2BBoESCiglw@googlegroups.com>)
	id 1RWsC3-00006Y-Nk; Sat, 03 Dec 2011 08:12:11 -0800
Received: by dajx4 with SMTP id x4sf2583578daj.16
        for <multiple recipients>; Sat, 03 Dec 2011 08:11:57 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:date:from:to:subject:message-id:references
         :mime-version:content-type:content-disposition:in-reply-to:x-pgp-key
         :x-pgp-keyid:x-cunselcu'a-valsi:user-agent: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;
        bh=UELnD5xHvWDfs2LWsPkyf0WFVBlgbaY9wHhMVdowNwI=;
        b=11pks+UbOhQQzZdj3JaxTlP9inYXiYWUob+Z0f9MKXq6wyiKgxZaEe6BvHBhQAkGUe
         z5T47dsleou26bm22wrJx3bA/aIvoW+Ip3ojhBry2PVK4aD0dK1+E73s4KyeJH/5uHMD
         UoNxQtHYzwaiSlPPaVcNa8tb1sCOGkf5Sdtr4=
Received: by 10.68.74.232 with SMTP id x8mr1775714pbv.0.1322928713882;
        Sat, 03 Dec 2011 08:11:53 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.74.199 with SMTP id w7ls18683623pbv.7.gmail; Sat, 03 Dec
 2011 08:11:52 -0800 (PST)
Received: by 10.68.15.41 with SMTP id u9mr14808390pbc.3.1322928712754;
        Sat, 03 Dec 2011 08:11:52 -0800 (PST)
Received: by 10.68.15.41 with SMTP id u9mr14808388pbc.3.1322928712744;
        Sat, 03 Dec 2011 08:11:52 -0800 (PST)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id u7si16479769pbn.2.2011.12.03.08.11.52
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 03 Dec 2011 08:11:52 -0800 (PST)
Received-SPF: pass (google.com: best guess record for domain of mbays@sdf.org designates 192.94.73.19 as permitted sender) client-ip=192.94.73.19;
Received: from gonzales.homelinux.org (root@sverige.freeshell.org [192.94.73.4])
	by sdf.lonestar.org (8.14.5/8.14.3) with ESMTP id pB3GBpj8007279
	for <lojban@googlegroups.com>; Sat, 3 Dec 2011 16:11:52 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RWsBr-00066I-Of
	for lojban@googlegroups.com; Sat, 03 Dec 2011 11:11:51 -0500
Date: Sat, 3 Dec 2011 11:11:51 -0500
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] some critics admire only one another
Message-ID: <20111203161151.GA21004@gonzales>
References: <20111203000124.GE11472@gonzales>
 <20111203002052.GA16395@gonzales>
 <CAO7tK2fdxyXA_bMKChfbZ3ayBy3BtX1Os-qCuoco0B2Draz=hw@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="pf9I7BMVVzbSWLtt"
Content-Disposition: inline
In-Reply-To: <CAO7tK2fdxyXA_bMKChfbZ3ayBy3BtX1Os-qCuoco0B2Draz=hw@mail.gmail.com>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: rigni
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Original-Sender: mbays@sdf.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of mbays@sdf.org designates 192.94.73.19 as
 permitted sender) smtp.mail=mbays@sdf.org
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /


--pf9I7BMVVzbSWLtt
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

* Saturday, 2011-12-03 at 12:04 -0300 - Jorge Llamb=EDas <jjllambias@gmail.=
com>:

> On Fri, Dec 2, 2011 at 9:20 PM, Martin Bays <mbays@sdf.org> wrote:
> >
> > Oops, I was working with the wrong meaning. It's meant to be:
> > there's a set of critics such that no critic in the set admires
> > themself or anything outside of the set.
>=20
> But you also need that each of them admires every other critic in the
> set, right?

It seems this wasn't the intention, actually (not that I expect it to
matter much). I'm basing this on Boolos' discussion of the sentence in
his article on plural quantification "To be is to be the value of
a variable (or to be some values of some variables)".

I forgot to declare the set non-empty, though, which is obviously
necessary for non-triviality.

>  su'oi da poi xaurpai zo'u ro de poi me da cu sinma ro di poi me da .e
> nai de ku'o .e no di poi na me da

Not bad. So with the intended meaning of the sentence, it could be just
{su'oi da poi xaurpai zo'u ro de poi me da cu sinma de na .e no na me da}

Now... when {da} is plurally bound, perhaps {PA da} *shouldn't* be
understood as requantification, but rather as short for {PA me da} - so
this could be shortened further to
{su'oi da poi xaurpai zo'u ro da cu sinma ri na.e no na me da}

And if we don't mind using BY, we can drop the {da}:
{su'oi xaurpai zo'u ro me xy sinma ri na.e no na me xy}

Not bad!

We really ought to have plural quantifiers.

> I guess Lojban lacks a pair of reciprocal pronouns like "one another"
> in English. It would be interesting to see if it's possible to
> rigorously define a pronoun such that "su'oi xaurpai cu sinma ri'ai
> po'o" means that.

I guess we do need some {ro}s in there if we're to specify that it's the
individual critics who are sinmaing and sesinmaing.

So I don't see a semantics of {po'o} which would fit.

Martin

--pf9I7BMVVzbSWLtt
Content-Type: application/pgp-signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.17 (GNU/Linux)

iEYEARECAAYFAk7aSkcACgkQULC7OLX7LNbz4QCghZQwSnB7QzHnhZPWNpO0LmHq
tgkAoMMductqTMv1gwOzY92yeceoeGrb
=M8JY
-----END PGP SIGNATURE-----

--pf9I7BMVVzbSWLtt--