From arosta@uclan.ac.uk Wed Nov 06 05:26:23 2002 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 From: And Rosta 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 Reply-to: lojban-list@lojban.org X-list: lojban-list 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/