Return-Path: <@FINHUTC.HUT.FI,@SEARN.SUNET.SE:LOJBAN@CUVMB.BITNET> Received: from FINHUTC.hut.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #14) id m0ouq4Y-0000PaC; Wed, 3 Nov 93 23:48 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP R1.2.2MX) with BSMTP id 6473; Wed, 03 Nov 93 23:49:11 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 6472; Wed, 3 Nov 1993 23:49:11 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 0606; Wed, 3 Nov 1993 22:48:25 +0100 Date: Wed, 3 Nov 1993 10:30:00 EST Reply-To: protin%USL.COM@FINHUTC.hut.fi Sender: Lojban list From: Art Protin Subject: Re: TECH: more thoughts on zi'o X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 2074 Lines: 43 Richard Kennaway comments: > This is prima facie logically problematic. P(a,b,c,d,zi'o) cannot > be taken to mean "there is no e such that P(a,b,c,d,e)", since this > statement does not express the positive relationship that people are > trying to get when zi'o-ing the destination place of klama. If a > relation like that which "klama" names is taken to be an atomic > concept, that either holds between a tuple of things -- including > a destination -- or does not, then zi'o makes no sense. While I think I agree with this as a whole, the only examples that come to mind are those where I did not accept the claim that the the place did not have a possible value. Unknowable values are not the same as non-existant values. All travel has a destination, regardless of anybody's inability to express it. The same is true of all the other places of klama. Detailing of any klama becomes intractable much faster than it becomes complete. Thus, an inherent nature of useful language are its facilities to omit distracting details. I accept "P(a,b,c,d,zi'o)" as "there is no e such that P(a,b,c,d,e)" provided that zi'o is always required to be stated, never implied. The construct "P(a,b,c,d,...)" says nothing about the existance or relevance of e unless the the relation P is such that e is guarenteed to exist, as is the case with klama. Even when e is guarenteed to exist, when e is unspecified nothing more is implied about it. The construct "not P(a,b,c,d,...)" says to me that there exists a value of e such that "not P(a,b,c,d,e)" is true. This is a much weaker claim than there is no e such that "P(a,b,c,d,e)" is true. The stronger claim is represented as "P(a,b,c,d,zi'o)" which is where this paragraph began. (Tell me again John why the loglan predicate "bluer-than" is impossible to use with negation.) thank you all, Arthur Protin Arthur Protin STANDARD DISCLAIMER: The views expressed are strictly those of the author and are in no way indictative of his employer, customers, or this installation.