Message-Id: <m0qlzE4-00005LC@xiron.pc.helsinki.fi>
Date:         Sat, 17 Sep 1994 13:48:34 +0100
Reply-To:     ucleaar <ucleaar@UCL.AC.UK>
Sender:       Lojban list <LOJBAN%CUVMB.bitnet@FINHUTC.hut.fi>
From:         ucleaar <ucleaar@UCL.AC.UK>
Subject:      Re: TECH: Any old thing whatsoever (was RE: do djica loi ckafi je'
To:           Veijo Vilva <veion@XIRON.PC.HELSINKI.FI>
In-Reply-To:  (Your message of Fri, 16 Sep 94 00:10:49 D.)
Content-Length: 928
Lines: 22

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