Re: [lojban] Re: {da poi} (was: Re: tersmu 0.2

[Ilmen <ilmen.pokebip@gmail.com>]

On 06/10/2014 05:02, Martin Bays wrote:

What value does "ko'a" get in "su'oi tadni poi sruri su'o dinju zi'e goi
ko'a"? Or for that matter in "su'oi tadni goi ko'a", or in "no tadni goi
ko'a"? I think that's the value that the noi-clause should be about.

Well... in all cases, I just have ko'a binding to the variable, so that
doesn't help at all!

(so I have e.g. {ro broda goi ko'a brode ko'a} ->
{ro da poi broda cu brode da}, and {ro broda goi ko'a du .i ko'a du}
being an error.)

I think the problem of attaching noi to a bound variable (da / de / di) is the same as that of attaching noi to a free variable (ke'a / ce'u): in both cases the sumti has no definite referent.

Moreover, I think we can expand {su'oi da broda} the following way:
{li su'o pa suzmeidza lo ka ce'u broda}, where the quantified property's open sumti place effectively contains a free variable.

So, {su'oi da noi ke'a brode cu brodo} would become {li su'o pa suzmeidza lo ka ce'u noi ke'a brode cu brodo}.

My best guess is that in such case the binded ke'a would become a synonym of the free variable ce'u, and therefore it wouldn't have any defined referent either.

mi'e la .ilmen. mu'o

--
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.