From jjllambias@hotmail.com Thu Nov 07 11:40:25 2002 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 7 Nov 2002 19:40:24 -0000 Received: (qmail 97961 invoked from network); 7 Nov 2002 19:40:24 -0000 Received: from unknown (66.218.66.216) by m15.grp.scd.yahoo.com with QMQP; 7 Nov 2002 19:40:24 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.44) by mta1.grp.scd.yahoo.com with SMTP; 7 Nov 2002 19:40:24 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Thu, 7 Nov 2002 11:40:24 -0800 Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP; Thu, 07 Nov 2002 19:40:24 GMT To: lojban@yahoogroups.com Bcc: Subject: Re: [lojban] Re: importing ro Date: Thu, 07 Nov 2002 19:40:24 +0000 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 07 Nov 2002 19:40:24.0728 (UTC) FILETIME=[8446D980:01C28695] From: "Jorge Llambias" X-Originating-IP: [200.49.74.2] X-Yahoo-Group-Post: member; u=6071566 X-Yahoo-Profile: jjllambias2000 X-Yahoo-Message-Num: 16997 la pycyn cusku di'e ><< >You are using the set (A+E-I+O-) >for the forms {Q broda cu brode}. > >> >Yes, the traditional set from Logic since Aristotle (with occasional >aberrations). > ><< >I prefer (A-E-I+O+) for those forms, which give the rules: >    ro <=> no naku <=> naku su'o naku <=> naku me'i >and, when there is a guarantee that the subject term is non-empty, >    ro => su'o >    no => me'i > >> >The most famous apparent aberration, but, as it turns out, not one at all, >since it is not actually about {ro broda cu brode} and the like at all but >about {ro da ...}, where {ro} is just A+ and {su'o} I+ and therefore (if >they occcur) E and O are both -. The quantifiers in your system do not >carry >over to the variable cases (except, of course, that work as long as the >universe is non-empty). They certainly do carry over to the variable cases, even in the empty universe case. {ro da broda} is tautologically true in an empty universe in my system, just like {me'iro da broda} is tautologically true in your system, but false in mine. >The middle equivalence and the peripheral one hold >for both systems, of course (they are just contadiction). the first and >third have a long history (obversion) but have always been (quite >reasonably) >suspect. Since I can get any of them I I really need it, I am for sticking >wiht the classics and the simplest system for covering all cases. I think (A-E-I+O+) is simpler, and I can get all cases as well, of course. mu'o mi'e xorxes _________________________________________________________________ The new MSN 8: advanced junk mail protection and 2 months FREE* http://join.msn.com/?page=features/junkmail