Return-Path: <@SEGATE.SUNET.SE:LOJBAN@CUVMB.BITNET> Received: from SEGATE.SUNET.SE by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0si1Md-0000ZHC; Mon, 14 Aug 95 18:23 EET DST Message-Id: Received: from segate.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v0.1a) with SMTP id 127DC077 ; Mon, 14 Aug 1995 17:08:43 +0200 Date: Mon, 14 Aug 1995 07:29:00 -0700 Reply-To: "John E. Clifford" Sender: Lojban list From: "John E. Clifford" Subject: negation X-To: lojban list To: Veijo Vilva Content-Length: 941 Lines: 17 belknap: In fuzzy terms, some predicates vary from zero to one, others from zero to infinity, others from negative one to positive one, others from negative infinity to positive infinity. pc: I thought (and this takes us back to another thread from a while ago) that fuzzy was strictly on the reals [0,1]. The concept of a negation in in a 0-inf system presents some lovely problems if you want to get anything like laws that make it plausible to call the sucker a negation rather than just another value. Come to think of it, negation even in the various neg-pos systems is not too obvious either, since presumably you do not want double negations always to come to 0. Of course, opposites are different from fuzzy (in the restricted sense) complements; the latter are just the contradictories, while the opposites usually have pretty much independent curves, except that the steep part of one has to be in the tail of the other. pc>|83