Re: reply: (1) veridicality

[ucleaar <ucleaar@ucl.ac.uk>]

Lojbab:
> >But "lo" does have a use other than as a veridicality particle.
> >"lo broda" = "da poi broda", i.e. existential quantification,
> >while "le broda" doesn't - "le broda" is a reference to a constant,
> >not toa bound variable.
>
> But I can't agree with you.  That equals sign is not correct.  "lo broda"
> does not reference any particular bound variable.  It implies that there
> could be an alternate phrasing using a bound variable (although there are
> still questions of scope for such a variable, last I recall).

Can you write me the proposition grammatically encoded by
"la lojbab cilre lo cukta" in predicate calculs form, without there
being a bound variable? I think not.

---
And