From lojban-out@lojban.org Sun Jul 16 13:26:24 2006 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 15728 invoked from network); 16 Jul 2006 20:26:23 -0000 Received: from unknown (66.218.66.216) by m41.grp.scd.yahoo.com with QMQP; 16 Jul 2006 20:26:23 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta1.grp.scd.yahoo.com with SMTP; 16 Jul 2006 20:26:23 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1G2DC1-0007nh-LS for lojban@yahoogroups.com; Sun, 16 Jul 2006 13:26:21 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1G2DAW-0007ly-Dc; Sun, 16 Jul 2006 13:24:49 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Sun, 16 Jul 2006 13:24:40 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1G2DA3-0007li-La for lojban-list-real@lojban.org; Sun, 16 Jul 2006 13:24:19 -0700 Received: from web81315.mail.mud.yahoo.com ([68.142.199.41]) by chain.digitalkingdom.org with smtp (Exim 4.62) (envelope-from ) id 1G2DA2-0007lb-Cb for lojban-list@lojban.org; Sun, 16 Jul 2006 13:24:19 -0700 Received: (qmail 21337 invoked by uid 60001); 16 Jul 2006 20:24:17 -0000 Message-ID: <20060716202417.21335.qmail@web81315.mail.mud.yahoo.com> Received: from [70.237.206.86] by web81315.mail.mud.yahoo.com via HTTP; Sun, 16 Jul 2006 13:24:17 PDT Date: Sun, 16 Jul 2006 13:24:17 -0700 (PDT) In-Reply-To: <925d17560607151927l75a94cb5k443f5d55d63582bc@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Spam-Score: -0.7 (/) X-archive-position: 12223 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: clifford-j@sbcglobal.net X-list: lojban-list X-Spam-Score: -0.7 (/) To: lojban@yahoogroups.com X-Originating-IP: 64.81.49.134 X-eGroups-Msg-Info: 1:0:0:0 X-eGroups-From: John E Clifford From: John E Clifford Reply-To: clifford-j@sbcglobal.net Subject: [lojban] Re: A (rather long) discussion of {all} X-Yahoo-Group-Post: member; u=116389790; y=KrsrBhPFIuKZr8ZHjw-iS7IpsQRJp-p69CKUhJ187Hqz9WDYEw X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 26648 -- Jorge Llamb�as wrote: > On 7/15/06, John E Clifford wrote: > > To a certain extent, a free variable could be identified with {zo'e} in > > its "it doesn't matter what" mode. The real variables in Lojban, > > {da} etc. are never free. > > Minor tangential nitpick: I don't think {zo'e} would do as a free variable > in any of its modes. I think the only things that can be free variables > in Lojban are {ke'a} and {ce'u}. {ke'a broda} and {ce'u broda} are well > formed formulas, but not sentences. They can only be interpreted when > bound by {poi}/{noi} or {ka} respectively. Nice point: syntactically they do function like free variables -- although {ce'u} semantically is bound by the implicit lambda, just as {da} is by the implicit {su'o}. Practically, {zo'e} ia used in a wy that free variables are often used informally. > > "Domain" is standard, but yes it is odd, since for most interesting > > diecussions it is the range. > > Could it be that in some models it is the domain of the function that > interprets a predicate? > It is indeed the domain of characteristic functions, but that is fairly late and the use of "domain" for the objects in the universe of discourse is older. I don't know where it comes from but assume it is one of those words like "universe" and "world" and the like used to give a sense 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.