* 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 écrit :
> I have finished English translation of my commentary on gadri from a
> logical point of view:
> http://www.lojban.org/tiki/gadri%3A+an+unofficial+commentary+from+a+logical+point+of+view&no_bl=y
>
> 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
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
Attachment:
signature.asc
Description: Digital signature