Re: [lojban] non-ka properties

["John E. Clifford" <kali9putra@yahoo.com>]

Ahah!  So you are not actually on about bridi and the like per se but about mekso, the undeveloped mathematical part of Lojban.  And so, it is hard to answer your questions directly, since we don't do even word problems well (cf. Trying to write programs in Lojban).
My problems following this discussion (aside from thinking it was somehow about central Lojban) have come from what are to me strange usages: {kau} in contexts that are not indirect question or even subordinate clauses, and {ce'u} for what appears meant to be a bound variable in a lambda expression. I suppose that these uses were legitimated at some time, but I have forgotten what they mean.  Of course, I am also worried about casual sumti raising, which seems to turn up in some examples.

Sent from my iPad

On Jun 23, 2011, at 17:55, Felipe Gonçalves Assis <felipeg.assis@gmail.com> wrote:

> 2011/6/22 Jorge Llambías <jjllambias@gmail.com>
>> 
>> 2011/6/22 Felipe Gonçalves Assis <felipeg.assis@gmail.com>:
>>> 
>>> Stating a {ckaji} is just an indirect way to state the bridi obtained
>>> by applying the predicate to the x1.
>> 
>> Yes.
>> 
>> But just as "kau" makes sense outside of a subordinate bridi, it can
>> also make sense in these properties whose only purpose is to allow the
>> raising of one of the arguments.
>> 
> 
> Could you point me where this general meaning of {kau} is explained?
> 
> Anyway, I guess {kau} is just not what we were looking for. You understand
> what things I am trying to express, right? They are just functions, so that
> I can use {zmadu} to say "f(x) > f(y)", {jibni} to say "f(x) is close to f(y)"
> and {traji} to say "f, restricted to X, has maximal/minimal value at x". I am
> just asking how to express f in lojban.
> 
> I really feel that this was the spirit in which these gismu were defined.
> You talk about complex objects, and compare them with functions with
> simpler, structured codomains.
> 
> -- 
> You received this message because you are subscribed to the Google Groups "lojban" group.
> To post to this group, send email to lojban@googlegroups.com.
> To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
> For more options, visit this group at http://groups.google.com/group/lojban?hl=en.
> 

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.