From lojban-out@lojban.org Thu Apr 17 07:40:42 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_6_5); 17 Apr 2003 14:40:42 -0000 Received: (qmail 53405 invoked from network); 17 Apr 2003 14:40:42 -0000 Received: from unknown (66.218.66.216) by m15.grp.scd.yahoo.com with QMQP; 17 Apr 2003 14:40:42 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta1.grp.scd.yahoo.com with SMTP; 17 Apr 2003 14:40:42 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.12) id 196AZ7-0005nh-00 for lojban@yahoogroups.com; Thu, 17 Apr 2003 07:40:41 -0700 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.12) id 196AYk-0005mY-00; Thu, 17 Apr 2003 07:40:18 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 17 Apr 2003 07:40:16 -0700 (PDT) Received: from ol.freeshell.org ([192.94.73.20] helo=sdf.lonestar.org ident=root) by digitalkingdom.org with esmtp (Exim 4.12) id 196AYG-0005lf-00 for lojban-list@lojban.org; Thu, 17 Apr 2003 07:39:48 -0700 Received: from sdf.lonestar.org (IDENT:mbays@norge.freeshell.org [192.94.73.3]) by sdf.lonestar.org (8.12.8/8.12.8) with ESMTP id h3HEdZeb016953 for ; Thu, 17 Apr 2003 14:39:35 GMT Received: (from mbays@localhost) by sdf.lonestar.org (8.12.8/8.12.8/Submit) id h3HEdZvP010020; Thu, 17 Apr 2003 14:39:35 GMT Date: Thu, 17 Apr 2003 14:39:35 +0000 (UTC) X-X-Sender: mbays@norge.freeshell.org To: lojban-list@lojban.org Subject: [lojban] Re: materials needed for resumption of ju'i lobypli In-Reply-To: <20030416210910.GX14888@skunk.reutershealth.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-archive-position: 4805 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: mbaysATfreeshellDOTorg@flibble.INVALID Precedence: bulk X-list: lojban-list X-eGroups-From: Martin Bays From: Martin Bays Reply-To: mbaysATfreeshellDOTorg@flibble.INVALID X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out On Wed, 16 Apr 2003, John Cowan wrote: > Date: Wed, 16 Apr 2003 17:09:10 -0400 > From: John Cowan > Reply-To: lojban-list@lojban.org > To: lojban@yahoogroups.com > Subject: [lojban] Re: materials needed for resumption of ju'i lobypli > > Robin Lee Powell scripsit: > > > I would like to see someone write a discussion of mu'ei and all the > > issues related to it in Truly Moronic Idiot speech, please. > > No points for me, but here it is in short words. > > We use "mu'ei" to talk about what must be or could be true. To do this, > we speak of states of the world. There are a lot of states that the world > could have. I could be dead or not dead. You could be dead or not dead. > That is four states right there. As you can see, the count of states, > when each case has been thought of, will be huge. States like the one > in which 2 + 2 is 5 do not count, for we can't think clear thoughts > about them: we don't know what they mean. > I was trying to figure that out the other day - what's the cardinality of the set of possible worlds? Or, more likely, is it a proper class? I couldn't see a nice proof either way. Is there some reason every every set should be somehow instantiated in its own possible world, so you can use Set of All Sets? Or is the idea actually well-defined enough for this kind of thing? Even with the "world which is not logically inconsistent" definition, it still seems a bit vague. I'm guessing there's a lot more to this than what's discussed on the Lojban wiki... --- #^t'm::>#shs>:#,_$1+9j9"^>h>" < v :>8*0\j" o'u" v" e'i" v".neta"^q> ;z,[; > > ^