From sentto-44114-3230-961982383-mark=kli.org@returns.onelist.com Mon Jun 26 01:18:52 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 478 invoked from network); 26 Jun 2000 01:18:51 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 26 Jun 2000 01:18:51 -0000 Received: (qmail 12448 invoked by uid 40001); 26 Jun 2000 01:19:55 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 12445 invoked from network); 26 Jun 2000 01:19:53 -0000 Received: from b05.egroups.com (207.138.41.189) by zash.lupine.org with SMTP; 26 Jun 2000 01:19:53 -0000 X-eGroups-Return: sentto-44114-3230-961982383-mark=kli.org@returns.onelist.com Received: from [10.1.10.37] by b05.egroups.com with NNFMP; 26 Jun 2000 01:19:49 -0000 Received: (qmail 17568 invoked from network); 26 Jun 2000 01:19:43 -0000 Received: from unknown (10.1.10.27) by m3.onelist.org with QMQP; 26 Jun 2000 01:19:43 -0000 Received: from unknown (HELO imo-r10.mx.aol.com) (152.163.225.10) by mta2 with SMTP; 26 Jun 2000 01:19:43 -0000 Received: from Pycyn@aol.com by imo-r10.mx.aol.com (mail_out_v27.10.) id a.60.469c48b (4556) for ; Sun, 25 Jun 2000 21:19:37 -0400 (EDT) Message-ID: <60.469c48b.268809a8@aol.com> To: lojban@egroups.com X-Mailer: AOL 3.0 16-bit for Windows sub 41 From: pycyn@aol.com 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: Sun, 25 Jun 2000 21:19:36 EDT Subject: Re: [lojban] RE:Trivalent Logics Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit I haven't checked xorxes' table to see whether it does give all the cases, but I trust that it does. The assignments of functions to terms looks about right and the means of using the functors in different contexts does recall much of the Aymara approach (so far as i understand it). So we can probably replicate a plausible three-valued system in lb for them what wants it (complete with abbreviations for common functors). I also haven't checked to see whether the system xorxes gives is minimal (i.e., could we do it with fewer functors), but I suspect it is not -- as I am sure that the Aymara system is not. xorxes' system lacks one interesting feature of Aymara, that negation is not a primitive functor, but, since negation is a given in lb, that would be hard to recreate, in spite of the interesting thoughts it brings to mind. (In Aymara, negation is something like "it is certain that it is controversial that," where certainty and controversiality are primitive functors). lb does not provide any natural way of upgrading this to a system of binary connectives unless the gi's that got us into trouble the last time around can be called to our aid. (I hope they -- or something else -- can be, since being able to absorb a totally unexpected and odd system would be a nice demonstration of some property or other than lb is supposed to have.) ------------------------------------------------------------------------ Gain peace of mind, and take control of the accuracy of your credit report. Sign up for a FREE online credit report from ConsumerInfo.Com! http://click.egroups.com/1/5785/4/_/17627/_/961982384/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com