WikiDiscuss

WikiDiscuss


BPFK Section: Grammatical Pro-sumti

BPFK Section: Grammatical Pro-sumti
On Thu, Aug 12, 2004 at 06:11:28AM -0700, wikidiscuss@lojban.org wrote:
> Re: BPFK Section: Grammatical Pro-sumti
> The definition of {ce'u} suggests that it is syntactically like a
> quantifier, rather than like a quantifier-bound-variable all in one.

What's interesting is the extent (total) with which the definition of
ce'u disagrees with the definition given in Chapter 7. It doesn't even
have a definition in Chapter 11.

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.

Unless you want to say that all abstraction clauses are functions?

-Robin