Re: [lojban] Re: A (rather long) discussion of {all}

["Jorge Llambías" <jjllambias@gmail.com>]

On 7/15/06, John E Clifford <clifford-j@sbcglobal.net> wrote:
>  To a certain extent, a free variable could be identified with {zo'e} in
>  its "it doesn't matter what" mode.  The real variables in Lojban,
> {da} etc. are never free.

Minor tangential nitpick: I don't think {zo'e} would do as a free variable
in any of its modes. I think the only things that can be free variables
in Lojban are {ke'a} and {ce'u}. {ke'a broda} and {ce'u broda} are well
formed formulas, but not sentences. They can only be interpreted when
bound by {poi}/{noi} or {ka} respectively.

> "Domain" is standard, but yes it is odd, since for most interesting
> diecussions it is the range.

Could it be that in some models it is the domain of the function that
interprets a predicate?

mu'o mi'e xorxes