From sentto-44114-3209-961891727-mark=kli.org@returns.onelist.com Sun Jun 25 00:05:20 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 4262 invoked from network); 25 Jun 2000 00:05:19 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 25 Jun 2000 00:05:19 -0000 Received: (qmail 7428 invoked by uid 40001); 25 Jun 2000 00:08:49 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 7425 invoked from network); 25 Jun 2000 00:08:49 -0000 Received: from ej.egroups.com (208.50.144.75) by zash.lupine.org with SMTP; 25 Jun 2000 00:08:49 -0000 X-eGroups-Return: sentto-44114-3209-961891727-mark=kli.org@returns.onelist.com Received: from [10.1.10.35] by ej.egroups.com with NNFMP; 25 Jun 2000 00:08:48 -0000 Received: (qmail 4027 invoked from network); 25 Jun 2000 00:08:46 -0000 Received: from unknown (10.1.10.26) by m1.onelist.org with QMQP; 25 Jun 2000 00:08:46 -0000 Received: from unknown (HELO hotmail.com) (216.33.240.206) by mta1 with SMTP; 25 Jun 2000 00:08:46 -0000 Received: (qmail 27041 invoked by uid 0); 25 Jun 2000 00:08:46 -0000 Message-ID: <20000625000846.27040.qmail@hotmail.com> Received: from 200.32.23.232 by www.hotmail.com with HTTP; Sat, 24 Jun 2000 17:08:46 PDT X-Originating-IP: [200.32.23.232] To: lojban@egroups.com From: "Jorge Llambias" MIME-Version: 1.0 Mailing-List: list lojban@egroups.com; contact lojban-owner@egroups.com Delivered-To: mailing list lojban@egroups.com Precedence: bulk List-Unsubscribe: Date: Sat, 24 Jun 2000 17:08:46 PDT Subject: Re: [lojban] RE:Trivalent Logics Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit la pycyn cusku di'e >Ooops! For functional completeness the system needs min(x,y), too and that >seems harder to get. Once it is gotten, however, it alone generates all of >the connectives (binary, unary, more-ary), or rather the Sheffer function, >min(x,y)+1, does. Is there a simple :) way to see that this is true? It seems to me that max(x,y) is the most useful "or", and min(x,y) is the most useful "and", so it is nice that they are relatively straightforward to generate. >I think (disclaimer) that min can be defined with f1=f2 :-1 for -1, 0 >otherwise and f3 as 1for 1, 0 otherwise. But my head is not functioning >well >in -1,0,1 arithmetic at the moment. It does indeed give the minimum. So this is really the same situation we have in Lojban with respect to 3-way connectives, right? They can all be generated but not without repeating some of the arguments in some cases. Now the question is, do we have anything like a complete three-value unary system in Lojban? Obviously not a logic system (we only have na and ja'a there) but maybe with some set of attitudinals? {ju'a} or {je'u} (1,0,-1) {ju'o} (1,-1,-1) {la'a} (1,0,0) {ca'e} or {se'o} or {ai} (1,1,1) {pe'i} (0,0,0) ?? Could we produce some coherent system out of what we have? co'o mi'e xorxes ________________________________________________________________________ Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com ------------------------------------------------------------------------ High long distance bills are HISTORY! Join beMANY! http://click.egroups.com/1/4164/4/_/17627/_/961891727/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com