From lojban-out@lojban.org Sat Jul 15 19:29:12 2006 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 95597 invoked from network); 16 Jul 2006 02:29:11 -0000 Received: from unknown (66.218.66.218) by m31.grp.scd.yahoo.com with QMQP; 16 Jul 2006 02:29:11 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta3.grp.scd.yahoo.com with SMTP; 16 Jul 2006 02:29:11 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1G1wNZ-0002ay-Ql for lojban@yahoogroups.com; Sat, 15 Jul 2006 19:29:09 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1G1wMe-0002aQ-4g; Sat, 15 Jul 2006 19:28:12 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Sat, 15 Jul 2006 19:28:04 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1G1wMC-0002a6-3i for lojban-list-real@lojban.org; Sat, 15 Jul 2006 19:27:44 -0700 Received: from py-out-1112.google.com ([64.233.166.182]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1G1wMA-0002Zz-GG for lojban-list@lojban.org; Sat, 15 Jul 2006 19:27:43 -0700 Received: by py-out-1112.google.com with SMTP id x31so2154187pye for ; Sat, 15 Jul 2006 19:27:41 -0700 (PDT) Received: by 10.35.132.13 with SMTP id j13mr1793585pyn; Sat, 15 Jul 2006 19:27:41 -0700 (PDT) Received: by 10.35.14.17 with HTTP; Sat, 15 Jul 2006 19:27:41 -0700 (PDT) Message-ID: <925d17560607151927l75a94cb5k443f5d55d63582bc@mail.gmail.com> Date: Sat, 15 Jul 2006 23:27:41 -0300 In-Reply-To: <20060716011821.13459.qmail@web81302.mail.mud.yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20060716011821.13459.qmail@web81302.mail.mud.yahoo.com> X-Spam-Score: -2.5 (--) X-archive-position: 12219 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@gmail.com X-list: lojban-list X-Spam-Score: -2.5 (--) To: lojban@yahoogroups.com X-Originating-IP: 64.81.49.134 X-eGroups-Msg-Info: 1:0:0:0 X-eGroups-From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" Reply-To: jjllambias@gmail.com Subject: [lojban] Re: A (rather long) discussion of {all} X-Yahoo-Group-Post: member; u=116389790; y=pIVfdWYTtIUcb4Nrri-AJpjRsb8PJr8u4rpxk-1PyuYa91LIeg X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 26646 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. > "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? mu'o mi'e xorxes 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.