Received: from PSUVM.PSU.EDU (psuvm.psu.edu [128.118.56.2]) by locke.ccil.org (8.6.9/8.6.10) with SMTP id LAA06988 for ; Mon, 14 Aug 1995 11:58:01 -0400 Message-Id: <199508141558.LAA06988@locke.ccil.org> Received: from PSUVM.PSU.EDU by PSUVM.PSU.EDU (IBM VM SMTP V2R2) with BSMTP id 2409; Mon, 14 Aug 95 11:49:12 EDT Received: from PSUVM.PSU.EDU (NJE origin LISTSERV@PSUVM) by PSUVM.PSU.EDU (LMail V1.2a/1.8a) with BSMTP id 5567; Mon, 14 Aug 1995 10:39:55 -0400 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: John Cowan Status: OR X-From-Space-Date: Mon Aug 14 11:58:06 1995 X-From-Space-Address: <@PSUVM.PSU.EDU:LOJBAN@CUVMB.BITNET> 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