Received: from mail-pz0-f61.google.com ([209.85.210.61]:60470)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCOTEtqyUDhCupuD1BBoEq174GA@googlegroups.com>)
	id 1RNSrP-0007a3-OY; Mon, 07 Nov 2011 09:19:58 -0800
Received: by pzk32 with SMTP id 32sf1314262pzk.16
        for <multiple recipients>; Mon, 07 Nov 2011 09:19:45 -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=COG9UBntvLwqBHQ6tENyXAvOMmsRdP2rcoGaxdk8EJI=;
        b=aR6rnkHun73pi1NALSXJTIfEckDGVqcHyE5dIatdVPuPkbarzDK0KYKlL6DKoY6z1v
         QDetZSJ5RqbLh5Zjup+nxZ77a6F4ObZibS3ezkthHf9p33ybM6BdRq/IZddkEZpDzvyL
         rZV/A2XzGk+w8m5EoBEd2m9h9puNBQPzg5K6E=
Received: by 10.68.12.36 with SMTP id v4mr99294pbb.4.1320686382681;
        Mon, 07 Nov 2011 09:19:42 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.68.19.131 with SMTP id f3ls4163971pbe.5.gmail; Mon, 07 Nov
 2011 09:19:41 -0800 (PST)
Received: by 10.68.25.194 with SMTP id e2mr287300pbg.7.1320686381868;
        Mon, 07 Nov 2011 09:19:41 -0800 (PST)
Received: by 10.68.25.194 with SMTP id e2mr287299pbg.7.1320686381859;
        Mon, 07 Nov 2011 09:19:41 -0800 (PST)
Received: from sdf.lonestar.org (mx.sdf.org. [192.94.73.19])
        by gmr-mx.google.com with ESMTPS id l3si1360782pbd.0.2011.11.07.09.19.41
        (version=TLSv1/SSLv3 cipher=OTHER);
        Mon, 07 Nov 2011 09:19:41 -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 pA7HJf06029176
	for <lojban@googlegroups.com>; Mon, 7 Nov 2011 17:19:41 GMT
Received: from martin by gonzales.homelinux.org with local (Exim 4.75)
	(envelope-from <mbays@sdf.org>)
	id 1RNSrE-0006GX-S6
	for lojban@googlegroups.com; Mon, 07 Nov 2011 12:19:40 -0500
Date: Mon, 7 Nov 2011 12:19:40 -0500
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable
Message-ID: <20111107171940.GB2718@gonzales>
References: <4EAC5B24.4000604@gmail.com>
 <20111103234955.GA3758@gonzales>
 <4EB43035.6040407@gmail.com>
 <20111104233756.GB24058@gonzales>
 <4EB4A123.7030305@gmail.com>
 <20111105061247.GE24058@gonzales>
 <4EB526B7.7070008@gmail.com>
 <20111105172216.GI24058@gonzales>
 <CAO7tK2dug7A3=o873E=uLCKT3047yU2y0wfqV0NADRtcJ7agTg@mail.gmail.com>
 <1320680539.36060.YahooMailRC@web81307.mail.mud.yahoo.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="GPJrCs/72TxItFYR"
Content-Disposition: inline
In-Reply-To: <1320680539.36060.YahooMailRC@web81307.mail.mud.yahoo.com>
X-PGP-Key: http://mbays.freeshell.org/pubkey.asc
X-PGP-KeyId: B5FB2CD6
X-cunselcu'a-valsi: sabnu
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: /


--GPJrCs/72TxItFYR
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

* Monday, 2011-11-07 at 07:42 -0800 - John E Clifford <kali9putra@yahoo.com=
>:

> Why is there only one level in Ready-Made?  I suspect that this is a stra=
w man=20
> you have set up, but the characterization of it -- and of blobular -- are=
 so=20
> vague as to make a clear judgement difficult.  I suspect that the only pr=
oblem=20
> with levels is just that {lo broda cu klesi lo broda} shouldn't hold.  Or=
 that,=20
> in the same context, {broda} is used sometimes for avatars (exemplars, sl=
ices,=20
> ordinary things) and sometimes for kinds/masses/properties.  MB seems to =
be=20
> saying that you do do this, but his evidence is somewhat confusing itself=
 (using=20
> quantifiers inappropriately, for example), so I am not sure you do (or do=
n't,=20
> for that matter).  I do think, however, that there are limits as to how f=
ar up=20
> or don you can shove a predicate without some indication of the shove, bu=
t I am=20
> less sure what those limits are (using {cinfo} for what would normally be=
 {ka=20
> cinfo}, something about functions from worlds to sets, for example, seems=
 to far=20
> up, using it for muscle fiber from a lion's leg muscle seems too far down=
 -- but=20
> I am open to arguments either way).

I proposing a simple test/definition of when level-mixing has gone too
far:

A unary broda is Sloppy if, in any domain containing everything which
can broda, for any brode and brodi,
    {brode ro brodi su'o broda}
implies
    {se brode su'o broda ro brodi}=20

(Technical restriction: brode can not be taken to be {du}, because that
has to be considered to be magic for the domain not to collapse.
{mintu} and {dunli} are fine, though).

If I understand xorxes and and correctly, they have every predicate
being Sloppy - the witness for the existential in the second sentence
can be taken to be the kind of broda which is broded by some brodi.

They try to dodge this problem by introducing informal rules to avoid
level-mixing within a single domain - in particular, they would never
consider a domain like those in the definition of Sloppy.

Martin

--GPJrCs/72TxItFYR
Content-Type: application/pgp-signature

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

iEYEARECAAYFAk64EywACgkQULC7OLX7LNYkpACgmpBXhSaYSsTgWPofB+omXhlQ
CvIAoJiZkFhrr6/Uwh1b/YPjS4ok5Tzf
=duAB
-----END PGP SIGNATURE-----

--GPJrCs/72TxItFYR--