From jjllambias@hotmail.com Sun Oct 08 17:32:36 2000 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@onelist.com Received: (EGP: mail-6_0_3); 9 Oct 2000 00:32:36 -0000 Received: (qmail 9732 invoked from network); 9 Oct 2000 00:32:35 -0000 Received: from unknown (10.1.10.142) by m4.onelist.org with QMQP; 9 Oct 2000 00:32:35 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.5) by mta3 with SMTP; 9 Oct 2000 00:32:35 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Sun, 8 Oct 2000 17:32:35 -0700 Received: from 200.42.152.112 by lw8fd.law8.hotmail.msn.com with HTTP; Mon, 09 Oct 2000 00:32:35 GMT X-Originating-IP: [200.42.152.112] To: lojban@egroups.com Subject: Re: [lojban] RE: except the cat Date: Mon, 09 Oct 2000 00:32:35 GMT Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 09 Oct 2000 00:32:35.0778 (UTC) FILETIME=[6BA6CA20:01C03188] From: "Jorge Llambias" {ro da onai le mlatu} la pycyn cusku di'e >but presupposes an earlier >rule, something of the sort X Qx ek L Y => X Qx Y ijek X x=L Y. But if Q = ro and ek = onai that gives a contradiction, always false, and thus can't be what we're after. >Indeed, I suspect that a number of problems that are basically >solvable by logical usage can be dealt with in these rules. But "even" >isn't >one of them even though there is a theorem of logic that every property has >a >least likely (and a most likely) participant. The problem is that "even" >does not actually require the least likely thing, only a sufficiently >unlikely one. The "all but the cat" that I'm trying to translate is exactly like "even the cat", except that the cat instead of being included is excluded. The cat is the unlikeliest (or sufficiently unlikely) limit in both cases. What constitutes "all" is defined in a way by this limit. co'o mi'e xorxes _________________________________________________________________________ Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com. Share information about yourself, create your own public profile at http://profiles.msn.com.