BPFK Section: Grammatical Pro-sumti
{le ka la mimis mlatu la si,amis} is a perfectly good property abstraction, naming the unique property Mimi has as being a Siamese cat.
Robin Lee Powell <rlpowell@digitalkingdom.org> wrote:On Thu, Aug 12, 2004 at 09:23:39PM -0400, John Cowan wrote:
> Robin Lee Powell scripsit:
>
> > Looking at Chapter 7 and Chapter 11, I'm not totally certain what
> > ce'u is, but I *am* certain that it's not lambda of the lambda
> > calculus.
>
> To be exact, ce'u is lambda(x) of the lambda calculus: it's a variable
> that is automatically lambda-bound. Use another ce'u, get another
> variable.
>
> I wanted to make it just lambda, and have it be followed by da-de-di,
> but was outvoted at the time.
>
> > Unless you want to say that all abstraction clauses are functions?
>
> By no means.
Ummm, any expression with lambda(x) in the lambda calculus is a
function, is it not?
And every abstraction clause that's not in a poi has one or more elided
ce'u, does it not?
-Robin
--
http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/
Reason #237 To Learn Lojban: "Homonyms: Their Grate!"