Received: from mail-pz0-f61.google.com ([209.85.210.61]:62168)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhDCq-j0BBoE3DqMbA@googlegroups.com>)
	id 1RFDZ5-00049p-5S; Sat, 15 Oct 2011 16:22:59 -0700
Received: by pzk4 with SMTP id 4sf1494226pzk.16
        for <multiple recipients>; Sat, 15 Oct 2011 16:22:44 -0700 (PDT)
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=yR6SW+XvDRdhTzSAkIXzaYx/1gCt3+bgTs7Q54LDidI=;
        b=Gf110aalDM/fbh9572Z7avk7FF9yLEDSF3BuUGHuGk6OO3o3iUU9cPXPDXBMiny3/I
         ccV32kh8hhiG5QuIcleSO+obfSdHRC6QYxNy3LYysNueYBsxNFrzmJx4TqsIRRoK4lxi
         T0cS/U4UitUJv+uRxzaj3etxURbRpalKqnvyY=
Received: by 10.68.31.41 with SMTP id x9mr225646pbh.17.1318720962208;
        Sat, 15 Oct 2011 16:22:42 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.42.101 with SMTP id n5ls14255172pbl.6.gmail; Sat, 15 Oct
 2011 16:22:41 -0700 (PDT)
Received: by 10.68.38.38 with SMTP id d6mr19311993pbk.4.1318720961600;
        Sat, 15 Oct 2011 16:22:41 -0700 (PDT)
Received: by 10.68.38.38 with SMTP id d6mr19311992pbk.4.1318720961592;
        Sat, 15 Oct 2011 16:22:41 -0700 (PDT)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id r5si13811436pbe.1.2011.10.15.16.22.41
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sat, 15 Oct 2011 16:22:41 -0700 (PDT)
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 p9FNMevD021960
	for <lojban@googlegroups.com>; Sat, 15 Oct 2011 23:22:41 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RFDYu-0003ew-MZ
	for lojban@googlegroups.com; Sat, 15 Oct 2011 19:22:40 -0400
Date: Sat, 15 Oct 2011 19:22:40 -0400
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable
Message-ID: <20111015232240.GG3779@gonzales>
References: <4E981179.1030805@gmail.com>
 <CAO7tK2fe4f+VVy3DkRV9Xa+K2ZyST-ncTC3_7XdcXgfFxyG49w@mail.gmail.com>
 <20111015155009.GA5916@gonzales>
 <CAO7tK2eT3xjSf7-aBuWGeMj2ck+pGAU8ooXk+xa4eUiVypBW4g@mail.gmail.com>
 <20111015185726.GC3779@gonzales>
 <CAO7tK2eeraqkbBT20+vuRoL53TtcuT6VMaNFE=iFa23Ck=5zRw@mail.gmail.com>
 <20111015203444.GD3779@gonzales>
 <CAO7tK2c70-nJ3hM6=h_wp4RmLnaoL7i8ZsYFvOb2WGxvx7MCtg@mail.gmail.com>
 <20111015221511.GF3779@gonzales>
 <CAO7tK2eRQ5inZWirzh-OGSy+weqC308fiekOZTVTmr+qQQaFJw@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="hTiIB9CRvBOLTyqY"
Content-Disposition: inline
In-Reply-To: <CAO7tK2eRQ5inZWirzh-OGSy+weqC308fiekOZTVTmr+qQQaFJw@mail.gmail.com>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: kenra
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: /


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

* Saturday, 2011-10-15 at 19:29 -0300 - Jorge Llamb=EDas <jjllambias@gmail.=
com>:

> On Sat, Oct 15, 2011 at 7:15 PM, Martin Bays <mbays@sdf.org> wrote:
>=20
> >> >> > > > {su'o da poi te cange cu ponse lo xasli noi da darxi .i ri se
> >> >> > > > kecti mi}
> >
> > Oh, I see. So you don't have the first sentence explicitly having the
> > meaning that the farmers hit the donkeys which they own, just that they
> > own donkeys and hit donkeys.
>=20
> Right. That's why I said that with "poi" instead of "noi" it would be
> a different matter. Notice that in English you said "hit the donkeys
> which they own" rather than "hit donkeys, which they own", so you are
> talking as if it was "poi".=20

I don't see how using {poi} could rule out this constant interpretation.
For each {da}, the kind 'donkeys' does satisfy {da darxi ke'a}, so how
can the {poi} clause exclude it? It could *suggest* that the {lo xasli}
should be interpreted more specifically, I suppose, but I don't see why
it should do so any more than the {noi} clause.

> (In fact I'm never quite sure about what to do with "poi" when it is
> not being used to restrict the domain of a quantifier.)

Quite. If it does do anything, there's also the issue of which gets
priority in {ro lo broda poi brode}.

> > Similarly, in {so'i da poi te cange cu darxi lo speni be da},
> > {lo speni be da} could have constant referent the kind 'humans'?
>=20
> "lo speni be da" is "zo'e noi speni da". I don't see how you could get
> rid of the unbound variable there. There's no referential "lo speni"
> in the non-referential "lo speni be da".

OK, but if {lo speni be da} =3D=3D {zo'e noi speni da}, then we have
a situation analogous to that above - with {zo'e} in place of {lo
xasli}. {zo'e} can be taken to referential, for example with referent
the kind 'humans', which does indeed satisfy {ke'a speni da} for each
da.

> > Given this, I'm now slightly surprised that you're willing to allow {lo}
> > to ever give a Skolem function rather than a constant!
>=20
> If the selbri that "lo" transforms into a sumti contains an unbound
> variable, then I don't see how "lo" can create out of it anything
> other than a function.

So am I taking "{lo} -> {zo'e noi}" too literally?

Martin

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

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

iEYEARECAAYFAk6aFcAACgkQULC7OLX7LNb5qwCgjw62jFoPTCvW5//CPS0gIbvt
ASoAnj7Wx1Dg8APFRYwmZNjm7g5jnWbQ
=uvm6
-----END PGP SIGNATURE-----

--hTiIB9CRvBOLTyqY--