[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: TECH: Any old thing whatsoever (was RE: do djica loi ckafi je'
Lojbab:
> JL>{mi nitcu pa tanxe} means "there exists exactly one box such that
> JL>I need it". That's not what I usually mean by "I need a box".
>
> No, I don't think that is a correct translation. It means "I need exactly
> one out of the set of things that 'box'. It is not specific as to which of
> the set of things is needed, merely thatthere is a single thing needed,
> and it veridically is a box. (I can't remeber what it means if there is
> no such thing as a box, cf. "I need a unicorn", but it has been discussed.)
"I need one out of the set of boxes" is false if every box is such that
I don't need it.
"I need a box (any box)" is false is there exists a box such that I
don't need it *AND* I don't have one yet.
"I need every box" is false if there exists a box such that I don't
need it.
The first two are easy to distinguish. But how to capture the difference
between the last pair is the problem.
---
And