Received: from ELI.CS.YALE.EDU by NEBULA.SYSTEMSZ.CS.YALE.EDU via SMTP; Thu, 14 Oct 1993 10:26:44 -0400
Received: from YALEVM.YCC.YALE.EDU by eli.CS.YALE.EDU via SMTP; Thu, 14 Oct 1993 10:26:39 -0400
Message-Id: <199310141426.AA05437@eli.CS.YALE.EDU>
Received: from CUVMB.CC.COLUMBIA.EDU by YaleVM.YCC.Yale.Edu (IBM VM SMTP V2R2)    with BSMTP id 9011; Thu, 14 Oct 93 10:24:45 EDT
Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with  BSMTP id 6254; Thu, 14 Oct 93 08:02:42 EDT
Date:         Thu, 14 Oct 1993 13:01:07 BST
Reply-To: I.Alexander.bra0125@oasis.icl.co.uk
Sender: Lojban list <LOJBAN%CUVMB.bitnet@YaleVM.YCC.YALE.EDU>
From: Iain Alexander <I.Alexander.bra0125@OASIS.ICL.CO.UK>
Subject:      Re: Lean Lujvo and fat gismu
X-To:         ucleaar@ucl.ac.uk
X-Cc:         lojban@cuvmb.cc.columbia.edu
To: Erik Rauch <rauch>
Status: RO
X-Status: 
X-From-Space-Date: Thu Oct 14 10:26:44 1993
X-From-Space-Address: @YaleVM.YCC.YALE.EDU:LOJBAN@CUVMB.BITNET

And:
> Are you sure this is how negation works? I thought that "X is not
> blue" would mean "There is no X such that there is some Y such
> that X is bluer than Y".

I don't understand this or where you got it from, but ...

> Or do you mean that "X is not blue"
> means "There exists a Y such that X is not bluer than Y" *if*
> (contrary to fact) _blanu_ is "x1 is bluer than x2"? (In which
> case I understand you & agree.)

... this is indeed what I meant.  (Glad we agree about that. :) )

mi'e .i,n.