From lojban-out@lojban.org Wed Nov 06 19:07:27 2002 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 7 Nov 2002 03:07:27 -0000 Received: (qmail 618 invoked from network); 7 Nov 2002 03:07:27 -0000 Received: from unknown (66.218.66.216) by m14.grp.scd.yahoo.com with QMQP; 7 Nov 2002 03:07:27 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta1.grp.scd.yahoo.com with SMTP; 7 Nov 2002 03:07:27 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 189d0x-0000as-00 for lojban@yahoogroups.com; Wed, 06 Nov 2002 19:07:27 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 189d0b-0000aU-00; Wed, 06 Nov 2002 19:07:05 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 06 Nov 2002 19:07:04 -0800 (PST) Received: from cs6668125-184.austin.rr.com ([66.68.125.184] ident=root) by digitalkingdom.org with esmtp (Exim 4.05) id 189d0L-0000aG-00 for lojban-list@lojban.org; Wed, 06 Nov 2002 19:06:49 -0800 Received: from cs6668125-184.austin.rr.com (asdf@localhost [127.0.0.1]) by cs6668125-184.austin.rr.com (8.12.3/8.12.3) with ESMTP id gA73CciR066725 for ; Wed, 6 Nov 2002 21:12:38 -0600 (CST) (envelope-from fracture@cs6668125-184.austin.rr.com) Received: (from fracture@localhost) by cs6668125-184.austin.rr.com (8.12.3/8.12.3/Submit) id gA73CcTV066724 for lojban-list@lojban.org; Wed, 6 Nov 2002 21:12:38 -0600 (CST) Date: Wed, 6 Nov 2002 21:12:38 -0600 To: lojban-list@lojban.org Subject: [lojban] argh; I suck (was Re: importing ro) Message-ID: <20021107031237.GA66590@allusion.net> References: <20021106214736.GA62605@allusion.net> <20021107024143.GA65663@allusion.net> <20021107024843.GA66073@allusion.net> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="tThc/1wpZn/ma/RB" Content-Disposition: inline In-Reply-To: <20021107024843.GA66073@allusion.net> User-Agent: Mutt/1.4i X-archive-position: 2483 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: fracture@allusion.net Precedence: bulk X-list: lojban-list X-eGroups-From: Jordan DeLong From: Jordan DeLong Reply-To: fracture@allusion.net X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out --tThc/1wpZn/ma/RB Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Nov 06, 2002 at 08:48:43PM -0600, Jordan DeLong wrote: > On Wed, Nov 06, 2002 at 08:41:43PM -0600, Jordan DeLong wrote: > > On Thu, Nov 07, 2002 at 01:59:04AM -0000, And Rosta wrote: > [...] > > Furthermore, it is false that > > Ax(Ux -> Wx) |- Ex(Ux & !Wx) >=20 > I meant to type: > ~Ax(Ux -> Wx) |- Ex(Ux & ~Wx) Bah. Ok so this is actually true. I realize what was confusing me now: it was about the effects of adding a negation. So you guys are right: the book contradicts itself and the choice appears to be between nonimporting universals with the naku boundary rules, or different naku boundary rules (dunno what they'd be) and importing universal. I would prefer the former, since the import of universals has only a paragraph or so in the book, and the naku stuff is more well explained. More usage probably depends on the naku stuff than on import (if *any* even depends on import...). Btw, sorry for sending a bunch of emails instead of thinking this out first. --=20 Jordan DeLong - fracture@allusion.net lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u sei la mark. tuen. cusku --tThc/1wpZn/ma/RB Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (FreeBSD) iD8DBQE9ydolDrrilS51AZ8RApXrAKDHLpvfKHrV1IKKxhcl7osxGJseFQCfWYx4 FVd8dF21vomzCvqDOlLFnL8= =SCO5 -----END PGP SIGNATURE----- --tThc/1wpZn/ma/RB--