From lojban-out@lojban.org Thu Dec 14 09:53:06 2006 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 36040 invoked from network); 14 Dec 2006 17:52:58 -0000 Received: from unknown (66.218.66.172) by m21.grp.scd.yahoo.com with QMQP; 14 Dec 2006 17:52:58 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.66.169) by mta4.grp.scd.yahoo.com with SMTP; 14 Dec 2006 17:52:58 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.63) (envelope-from ) id 1GuulC-0002Oo-WB for lojban@yahoogroups.com; Thu, 14 Dec 2006 09:52:47 -0800 Received: from chain.digitalkingdom.org ([64.81.66.169]) by chain.digitalkingdom.org with esmtp (Exim 4.63) (envelope-from ) id 1Guujm-0002NO-K9; Thu, 14 Dec 2006 09:51:22 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 14 Dec 2006 09:51:09 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.63) (envelope-from ) id 1GuujF-0002N5-NN for lojban-list-real@lojban.org; Thu, 14 Dec 2006 09:50:45 -0800 Received: from simba.math.ucla.edu ([128.97.4.125]) by chain.digitalkingdom.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.63) (envelope-from ) id 1Guuj7-0002Mu-Qj for lojban-list@lojban.org; Thu, 14 Dec 2006 09:50:45 -0800 Received: by simba.math.ucla.edu (Postfix, from userid 500) id C7E2F3BC61; Thu, 14 Dec 2006 09:50:32 -0800 (PST) Received: from localhost (localhost [127.0.0.1]) by simba.math.ucla.edu (Postfix) with ESMTP id B3A563BB81 for ; Thu, 14 Dec 2006 09:50:32 -0800 (PST) Date: Thu, 14 Dec 2006 09:50:32 -0800 (PST) In-Reply-To: <45817C9F.8000309@ropine.com> Message-ID: References: <45816F09.4060602@ropine.com> <975a94850612140811g34d5f43ay278323c463f2538d@mail.gmail.com> <45817C9F.8000309@ropine.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Spam-Score: -2.6 (--) X-archive-position: 13363 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: jimc@math.ucla.edu X-list: lojban-list X-Spam-Score: -2.6 (--) To: lojban@yahoogroups.com X-Originating-IP: 64.81.66.169 X-eGroups-Msg-Info: 1:0:0:0 X-eGroups-From: Jim Carter From: Jim Carter Reply-To: jimc@math.ucla.edu Subject: [lojban] Re: Using continuations to model quantifiers, focus, and coordination X-Yahoo-Group-Post: member; u=116389790; y=5pThwAKsxGgOpIIjP0UeScQqeNhFi8Qg0PXr60rthroxI7ISnQ X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 27801 On Thu, 14 Dec 2006, Seth Gordon wrote: > Joel Shellman wrote: > > Applying functions on sets shouldn't be a problem, is it? > > I suspect that rephrasing all of this in terms of set theory would run > into the problem that "set of A" is not the same logical type as "A". > So you can't translate "Everyone on this list loves Lojban" to "the set > of everyone in this list loves Lojban"; you have to translate it to "for > all X such that X is a member of the set of everyone in this list, X > loves Lojban". On the topic of referent sets, you might find this discussion interesting: http://www.math.ucla.edu/~jimc/guaspi/cases.html -- "What is a Predicate" http://www.math.ucla.edu/~jimc/guaspi/semantic.html -- "Semantics of Arguments" James F. Carter Voice 310 825 2897 FAX 310 206 6673 UCLA-Mathnet; 6115 MSA; 405 Hilgard Ave.; Los Angeles, CA, USA 90095-1555 Email: jimc@math.ucla.edu http://www.math.ucla.edu/~jimc (q.v. for PGP key) To unsubscribe from this list, send mail to lojban-list-request@lojban.org with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if you're really stuck, send mail to secretary@lojban.org for help.