Received-SPF: none (google.com: mbays@sdf.org does not designate permitted sender hosts) client-ip=192.94.73.24;
Date: Sun, 25 May 2014 12:49:06 -0700
From: Martin Bays <mbays@sdf.org>
To: lojban@googlegroups.com
Subject: Re: [lojban] Individuals and xorlo
Message-ID: <20140525194906.GA885@gonzales>
References: <390f1b9f-6edd-42f2-8474-ad1f3610cca3@googlegroups.com>
 <CAO7tK2f=JXGC=qZyagJVOWsasS-ff7r4vYPSV2oix42TkLOjjA@mail.gmail.com>
 <ea9c8c1a-7784-45aa-ab7e-5dfe477ad5ad@googlegroups.com>
 <CAO7tK2dE5CBC04w6AAi-ODsB3oqdxsNLhu4VUOE2_XKpmPoODw@mail.gmail.com>
 <bef4493c-54d9-43a9-af5a-567bc73a0acf@googlegroups.com>
 <CAO7tK2esdiYsyk3x-NybjkPmNY_5SPzgtufecJJrQoUPOQizxQ@mail.gmail.com>
 <aa098b4e-80cf-475f-9a48-964200e491fc@googlegroups.com>
 <CAO7bV+hDy9VHt6j58yA5Q=b1FwhWYT2BvW94kqUw8P4u0OeUcA@mail.gmail.com>
 <750f9b01-a747-4b12-80ba-e31b7e7bd20e@googlegroups.com>
 <570dae9f-cda3-42c4-a861-1c7974fe5bfd@googlegroups.com>
MIME-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="EVF5PPMfhYS0aIcm"
Content-Disposition: inline
In-Reply-To: <570dae9f-cda3-42c4-a861-1c7974fe5bfd@googlegroups.com>
X-cunselcu'a-valsi: grake
User-Agent: Mutt/1.5.22 (2013-10-16)
X-Original-Sender: mbays@sdf.org
X-Original-Authentication-Results: gmr-mx.google.com;       spf=neutral
 (google.com: mbays@sdf.org does not designate permitted sender hosts) 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>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /


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

* Monday, 2014-05-19 at 06:04 -0700 - guskant <gusni.kantu@gmail.com>:

> Le mardi 8 avril 2014 10:09:19 UTC+9, guskant a =E9crit :
> I have finished English translation of my commentary on gadri from a=20
> logical point of view:
> http://www.lojban.org/tiki/gadri%3A+an+unofficial+commentary+from+a+logic=
al+point+of+view&no_bl=3Dy
>=20
> Any comments or questions will be appreciated.

Not that I really want to drag myself into discussing these things
again, but I happened to see this and thought I should recall
a complication. Apologies if I'm repeating something hidden in this
thread.

Saying that {zo'e} and {lo broda} introduce "constants" isn't really
enough to explain how they work, because of cases where a description
includes a bound variable, e.g.
    {ro da poi verba cu prami lo rirni be da} .

If I recall correctly, there was the other year some agreement that {lo
rirni be da} there should be taken to introduce a contextually specified
function from children to parents (like a Skolem function), which in
some sense salvages the idea of constancy (it's constantly
a non-constant function!). But anyway, I think it's something that needs
to be explained in any theory of gadri.

I note that the "double circle" example in the text
    su'o da zo'u loi re lo'i ro mokca noi sepli py noi mokca ku'o da cu
	relcuktai=20
    Two sets of points that are equidistant from a point P is a double
	circle.
is of this form, but doesn't give the intended meaning under the above
interpretation (or any other that I can think of).

Martin

--EVF5PPMfhYS0aIcm
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature

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

iEYEARECAAYFAlOCSTIACgkQULC7OLX7LNY/GQCgtaRM2xyMiR1HmeK/FLssQ/pO
f5YAoJxER6MvJ20wPHsiwYFsz3/iagdu
=Q/HQ
-----END PGP SIGNATURE-----

--EVF5PPMfhYS0aIcm--