Return-Path: Received: from kejal-9101.pc by xiron with uucp (Linux Smail3.1.28.1 #14) id m0onVm0-0000osC; Thu, 14 Oct 93 18:43 EET Received: from kruuna.helsinki.fi by xiron with smtp (Linux Smail3.1.28.1 #14) id m0onSM9-0000osC; Thu, 14 Oct 93 15:04 EET Received: from charon2-gw.pc.Helsinki.FI by kruuna.helsinki.fi with SMTP id AA25965 (5.65c8/IDA-1.4.4 for ); Thu, 14 Oct 1993 14:58:55 +0200 Received: From HYLKN1/WORKQUEUE2 by charon2-gw.pc.Helsinki.FI via Charon 3.4 with IPX id 100.931014130223.576; 14 Oct 93 14:02:27 +0200 Message-Id: Received: From FINHUTC.hut.fi by charon2-gw.pc.Helsinki.FI via Charon 3.4 with SMTP id 102.931014130208.288; 14 Oct 93 13:02:34 +-02-01 Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP R1.2.2MX) with BSMTP id 7257; Thu, 14 Oct 93 14:02:26 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 7255; Thu, 14 Oct 1993 14:02:20 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 9978; Thu, 14 Oct 1993 13:01:41 +0100 Date: Thu, 14 Oct 1993 13:01:07 BST Reply-To: I.Alexander.bra0125@oasis.icl.co.uk Sender: vilva From: Iain Alexander Subject: Re: Lean Lujvo and fat gismu To: ucleaar@ucl.ac.uk Cc: lojban@cuvmb.cc.columbia.edu Content-Length: 505 Lines: 16 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.