From @YaleVM.YCC.YALE.EDU:LOJBAN@CUVMB.BITNET Thu Sep 9 01:55:20 1993 Received: from ELI.CS.YALE.EDU by NEBULA.SYSTEMSZ.CS.YALE.EDU via SMTP; Wed, 8 Sep 1993 19:57:06 -0400 Received: from YALEVM.YCC.YALE.EDU by eli.CS.YALE.EDU via SMTP; Wed, 8 Sep 1993 19:57:01 -0400 Message-Id: <199309082357.AA03068@eli.CS.YALE.EDU> Received: from CUVMB.CC.COLUMBIA.EDU by YaleVM.YCC.Yale.Edu (IBM VM SMTP V2R2) with BSMTP id 0433; Wed, 08 Sep 93 19:55:23 EDT Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with BSMTP id 6879; Wed, 08 Sep 93 19:58:11 EDT Date: Thu, 9 Sep 1993 00:55:20 +0100 Reply-To: ucleaar Sender: Lojban list From: ucleaar Subject: Re: TECH: Mark Shoulson waiting for a taxi X-To: lojban@cuvma.BITNET To: Erik Rauch In-Reply-To: (Your message of Wed, 08 Sep 93 17:46:57 A.) Status: RO X-Status: Iain: > I *think* I see what you're worried about. It's that there > might be a specific taxi (or taxis) that Mark is waiting for, > or on the other hand he might not care. Yes this is it. > I use to think that this was the distinction between > da poi karcrtaksi zo'u la mark. denpa lo za'i da ba'o klama > and > la mark. denpa lo za'i da poi karcrtaksi zo'u da ba'o klama This Lojban is too advanced for me. > exists(x): Mark waits for x > > means to me that there are some specific thing(s), as far as Mark's > concerned, which he is waiting for. Of course, from the outside, > we needn't have any idea what they are, so externally they're > non-specific, but Mark knows what's what. If you are right here - & I am not competent to judge - then I will have to rethink everything I've been saying, for I had thought exactly the contrary. If your example is non-specific, then I guess it would be negated by (or false if): not exists(x): Mark waits for x while if x is specific, then the negation/falsification is: exists(x): not Mark waits for x And I would normally understand the former to be the normal negation of the quantifier. But I am out of my depth here, and should cede the field to those who eat lambda calculus for breakfast (along with their 3 shredded wheat [culture-specific reference: a pity there's no .UI to mark this]). ---- And