[lojban] Re: ce'u: lambda

[John E Clifford <lojban-out@lojban.org>]

It's not restricted to {ka} although most uses
have involved either {ka} or {du'u}, but there
are nice ones with {ni}, too.  and any
abstraction is possible -- we just don't use the
other abstractions much.  
Lojban usage disguises the quantifier-like-ness
of the concept: in the lambda calculus, lambda +
variable come before the bridi portion and the
variable is then repeated inside the bridi
portion, lust like a quantifier except that it
makes a term not a sentence.  Lojban just put
{ce'u} where the variable inside the bridi would
have gone.  

--- Jorge Llambías <jjllambias@gmail.com> wrote:

> On 3/21/06, Matt Arnold
> <matt.mattarn@gmail.com> wrote:
> > In practical terms, what does
> > it mean to be a pseudo-quantifier binding a
> variable within an abstraction
> > that represents an open place?
> 
> {ce'u} is used within {ka} abstractions to
> indicate the place where
> the property holder goes, much like {ke'a} in
> noi/poi relative clauses.
> 
> For example:
> 
>    mi mutce lo ka ce'u dunda
>    "I am very much of a giver."
> 
>    mi mutce lo ka dunda ce'u
>    "I am very much of a gift."
> 
>    mi mutce lo ka dunda fi ce'u
>    "I am very much of a receiver."
> 
>    do mi zmadu lo ka ce'u dunda
>    "You are more of a giver than me."
> 
>    do mi frica lo ka xo kau da bruna ce'u
>    "You differ from me in how many brothers
> each of us has."
> 
> etc.
> 
> mu'o mi'e xorxes
> 
> 
> To unsubscribe from this list, send mail to
> lojban-list-request@lojban.org
> with the subject unsubscribe, or go to
> http://www.lojban.org/lsg2/, or if
> you're really stuck, send mail to
> secretary@lojban.org for help.
> 
> 



To unsubscribe from this list, send mail to lojban-list-request@lojban.org
with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if
you're really stuck, send mail to secretary@lojban.org for help.