From arosta@uclan.ac.uk Wed Nov 06 05:26:31 2002 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 6 Nov 2002 13:26:31 -0000 Received: (qmail 96285 invoked from network); 6 Nov 2002 13:26:30 -0000 Received: from unknown (66.218.66.216) by m8.grp.scd.yahoo.com with QMQP; 6 Nov 2002 13:26:30 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta1.grp.scd.yahoo.com with SMTP; 6 Nov 2002 13:26:30 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 189QCU-0005E0-00 for lojban@yahoogroups.com; Wed, 06 Nov 2002 05:26:30 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 189QCO-0005Dj-00; Wed, 06 Nov 2002 05:26:24 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 06 Nov 2002 05:26:23 -0800 (PST) Received: from com1.uclan.ac.uk ([193.61.255.3]) by digitalkingdom.org with esmtp (Exim 4.05) id 189QCF-0005DW-00 for lojban-list@lojban.org; Wed, 06 Nov 2002 05:26:20 -0800 Received: from gwise-gw1.uclan.ac.uk by com1.uclan.ac.uk with SMTP (Mailer); Wed, 6 Nov 2002 12:52:51 +0000 Received: from DI1-Message_Server by gwise-gw1.uclan.ac.uk with Novell_GroupWise; Wed, 06 Nov 2002 13:26:16 +0000 Message-Id: X-Mailer: Novell GroupWise 5.5.2 Date: Wed, 06 Nov 2002 13:25:56 +0000 To: lojban-list Subject: [lojban] Re: zo'e =? su'o de (was Re: What the heck is this crap?) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by Ecartis Content-Disposition: inline X-archive-position: 2451 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: arosta@uclan.ac.uk Precedence: bulk X-list: lojban-list From: And Rosta Reply-To: arosta@uclan.ac.uk X-Yahoo-Group-Post: member; u=810630 X-Yahoo-Profile: andjamin xod: On Wed, 6 Nov 2002, And Rosta wrote: [...] #> Firstly, the fact that quantifier ro is importing #> does not not entail that cardinality ro entails su'o. Secondly, #> it is not necessarily ro that it importing: I hold to the view that #> it is da that is importing, so that just as {ro da poi broda} entails #> {da broda}, so does {no da poi broda}. # #But {da broda} = {su'oda broda}. I'm saying that any quantifier + da poi broda entails da broda. The range of values that da ranges across is guaranteed to be nonempty. So {quantifier + da broda} entails {su'o da zasti}; it guarantees that the universe is not empty. And {quantifier + da poi broda} guarantees that the universe-restricted-to-broda is not empty. --And. -- "In the Soviet Union, government controls industry. In the United States, industry controls government. That is the principal structural difference between the two great oligarchies of our time." -- Edward Abbey To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/