[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Individuals and xorlo




On Sun, May 25, 2014 at 4:49 PM, Martin Bays <mbays@sdf.org> wrote:

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.

Yes, when a sumti contains a free da/de/di variable, it's a function, not a constant. The variable is bound by a quantifier outside the sumti, so free in the sumti itself.

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.