[YG Conlang Archives] > [engelang group] > messages [Date Index] [Thread Index] >
On Fri, Oct 26, 2012 at 4:37 PM, John E Clifford <kali9putra@hidden.email> wrote:
> From: Jorge Llambías <jjllambias@hidden.email>
>
> (1) le fekaki prmaki
> "the relation e of (one) loving (one)"
>
> Is it now the case that k is serving as a lambda operator, binding variables?
I wouldn't put it that way. "k" is as always merely a variable
separator. The binder would be "f", and it binds all the variables
that appear in its desinence except for the first one.
I wouldn't call it a lambda operator either, because it doesn't do
what a lambda operator does, but then "ce'u" is called a lambda
variable in Lojban even though it isn't one, so...
> Not bad, so long as we don't talk about properties or their multi-holed analogs ("relation" could go either way, alas). And is a propositional function (as this seems to be) really the holed version of a state of affairs, as f seemed to indicate?
We have not so far seen any need to distinguish propositions from
states of affairs, or rather, we've had no need to refer to
propositions, so you can think of it as the holed version of a state
of affairs.
co ma'a xrxe