From pycyn@aol.com Sun Jun 25 18:19:45 2000 Return-Path: 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> Date: Sun, 25 Jun 2000 21:19:36 EDT Subject: Re: [lojban] RE:Trivalent Logics To: lojban@egroups.com MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Mailer: AOL 3.0 16-bit for Windows sub 41 From: pycyn@aol.com X-Yahoo-Message-Num: 3228 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.)