Received: from mail-pz0-f61.google.com ([209.85.210.61]:56176)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhD81uX2BBoE1cWrUw@googlegroups.com>)
	id 1RWdM5-0003X5-8f; Fri, 02 Dec 2011 16:21:34 -0800
Received: by dajx4 with SMTP id x4sf2064936daj.16
        for <multiple recipients>; Fri, 02 Dec 2011 16:21:19 -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=Uig66i4qknFNnSeJIxZ6tTJN8lai2+CNZnfpP+9K5Sc=;
        b=BTObMF2kypCVRfP04r2viyHfXxXaC2xs0iHzXBouo0ku4lSsQblBoI5bv1vvsSCgm6
         RFoEpf4ABBbdKDupgh1ElSEsrNoA7c1GqnuTL7GyhGe9H9FtwxJFhJYJ9tBRqMx/Yg9W
         5kz4klQCZebBq2meyM0zxaVK9XC7lKEzpxhzQ=
Received: by 10.68.4.136 with SMTP id k8mr1537031pbk.11.1322871676263;
        Fri, 02 Dec 2011 16:21:16 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.26.8 with SMTP id h8ls16883967pbg.1.gmail; Fri, 02 Dec 2011
 16:21:15 -0800 (PST)
Received: by 10.68.15.41 with SMTP id u9mr11117959pbc.3.1322871675690;
        Fri, 02 Dec 2011 16:21:15 -0800 (PST)
Received: by 10.68.15.41 with SMTP id u9mr11117958pbc.3.1322871675682;
        Fri, 02 Dec 2011 16:21:15 -0800 (PST)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id x5si7552175pbb.1.2011.12.02.16.21.15
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 02 Dec 2011 16:21:15 -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 pB30L1YR008650
	for <lojban@googlegroups.com>; Sat, 3 Dec 2011 00:21:15 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RWdLY-0004TV-Cf
	for lojban@googlegroups.com; Fri, 02 Dec 2011 19:20:52 -0500
Date: Fri, 2 Dec 2011 19:20:52 -0500
From: Martin Bays <mbays@sdf.org>
To: jboste <lojban@googlegroups.com>
Subject: Re: [lojban] some critics admire only one another
Message-ID: <20111203002052.GA16395@gonzales>
References: <20111203000124.GE11472@gonzales>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="VS++wcV0S1rZb1Fb"
Content-Disposition: inline
In-Reply-To: <20111203000124.GE11472@gonzales>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: sutra
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.0 (/)
X-Spam_score: -0.0
X-Spam_score_int: 0
X-Spam_bar: /


--VS++wcV0S1rZb1Fb
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

* Friday, 2011-12-02 at 19:01 -0500 - Martin Bays <mbays@sdf.org>:

> (being the "Geach-Kaplan" sentence, a classic example of
> a "nonfirstorderizable" natlang sentence)

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.

I suspect the second-order sentence I read it as is also
nonfirstorderisable, but I don't immediately see a proof...

> I thought it would be amusing whether or not worthwhile to catalogue our
> ways of translating this (and generally, our ways of doing monadic
> second-order quantification).
>=20
> I'll use {xaurpai} to translate 'critic(s)', and {sinma} for 'admire'.
>=20
>=20
> (i) using sets - this is the obvious boring way of dodging the issue:
> {da poi selcmi ku'o ro de poi cmima da zi'e noi xaurpai zo'u ro di
> se sinma de gi'o cmima da} ^1

--VS++wcV0S1rZb1Fb
Content-Type: application/pgp-signature

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

iEYEARECAAYFAk7Za2QACgkQULC7OLX7LNbwDQCgpP81Zhm9z/VXD7Q3/DXda+eU
TtEAn3gYclkSl5uTIRN4/SQBNjZH4tv0
=PIco
-----END PGP SIGNATURE-----

--VS++wcV0S1rZb1Fb--