From nobody@digitalkingdom.org Tue Mar 21 16:48:55 2006
Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 21 Mar 2006 16:48:55 -0800 (PST)
Received: from nobody by chain.digitalkingdom.org with local (Exim 4.60)	(envelope-from <nobody@digitalkingdom.org>)	id 1FLrWd-0000q6-L9	for lojban-list-real@lojban.org; Tue, 21 Mar 2006 16:48:35 -0800
Received: from web81307.mail.mud.yahoo.com ([68.142.199.123])	by chain.digitalkingdom.org with smtp (Exim 4.60)	(envelope-from <clifford-j@sbcglobal.net>)	id 1FLrWb-0000py-Qh	for lojban-list@lojban.org; Tue, 21 Mar 2006 16:48:35 -0800
Received: (qmail 56997 invoked by uid 60001); 22 Mar 2006 00:48:32 -0000
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;  s=s1024; d=sbcglobal.net;  h=Message-ID:Received:Date:From:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding;  b=6ZJ7hC7vzcHZxs6kt0c5JBJm2D9n7lFF4fXWoR4INw1a+0riJehS8l9aSL9lZ2gIiysZBaJrMwbdeaXYNsqv92D+BOIm4mYKT6eVPCbLESqgS6tF516aX+AkFjmWo8UH3JECEE9gYHbzXpfa0Ka6gAx8tqwekGDO0eH5rVkwsmI=  ;
Message-ID: <20060322004832.56995.qmail@web81307.mail.mud.yahoo.com>
Received: from [70.230.183.14] by web81307.mail.mud.yahoo.com via HTTP; Tue, 21 Mar 2006 16:48:32 PST
Date: Tue, 21 Mar 2006 16:48:32 -0800 (PST)
From: John E Clifford <clifford-j@sbcglobal.net>
Subject: [lojban] Re: ce'u: lambda
To: lojban-list@lojban.org
In-Reply-To: <925d17560603211142x357efdb4w16b50535985d9fb9@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Spam-Score: -0.6 (/)
X-archive-position: 11201
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-list-bounce@lojban.org
Errors-to: lojban-list-bounce@lojban.org
X-original-sender: clifford-j@sbcglobal.net
Precedence: bulk
Reply-to: lojban-list@lojban.org
X-list: lojban-list

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.