From lojban-out@lojban.org Wed Jul 19 09:16:06 2006 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 71115 invoked from network); 19 Jul 2006 14:30:04 -0000 Received: from unknown (66.218.67.36) by m22.grp.scd.yahoo.com with QMQP; 19 Jul 2006 14:30:04 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta10.grp.scd.yahoo.com with SMTP; 19 Jul 2006 14:29:58 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1G3D3j-0005z6-Sz for lojban@yahoogroups.com; Wed, 19 Jul 2006 07:29:56 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1G3D2W-0005yA-PE; Wed, 19 Jul 2006 07:28:41 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 19 Jul 2006 07:28:32 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1G3D24-0005xx-2J for lojban-list-real@lojban.org; Wed, 19 Jul 2006 07:28:12 -0700 Received: from py-out-1112.google.com ([64.233.166.176]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1G3D23-0005xp-8z for lojban-list@lojban.org; Wed, 19 Jul 2006 07:28:11 -0700 Received: by py-out-1112.google.com with SMTP id m51so312364pye for ; Wed, 19 Jul 2006 07:28:08 -0700 (PDT) Received: by 10.35.90.20 with SMTP id s20mr1149475pyl; Wed, 19 Jul 2006 07:28:08 -0700 (PDT) Received: by 10.35.14.17 with HTTP; Wed, 19 Jul 2006 07:28:08 -0700 (PDT) Message-ID: <925d17560607190728ya92e976n7bb2e53d2f5923c1@mail.gmail.com> Date: Wed, 19 Jul 2006 11:28:08 -0300 In-Reply-To: <20060717232847.98389.qmail@web81315.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: <20060717120549.46481.qmail@web81304.mail.mud.yahoo.com> <20060717232847.98389.qmail@web81315.mail.mud.yahoo.com> X-Spam-Score: -2.5 (--) X-archive-position: 12244 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=SB8ARgheRJVbPCHlmhvwWps1NnuuUv_ft8YIf9uzgOeKwOBTxQ X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 26673 On 7/17/06, John E Clifford wrote: > Pluralist: [...] > Pa is d-true for I and A iff for every d in R(a) I(P)(1)(d) = 1 > Pa is c-true for I and A iff R(a) numbers n and I(P)(n)(R(a)) = 1 [...] > F is true for I and A iff > F = Pa and Pa is d-true for I and A or Pa is c-true for I and A. [...] This way of interpreting things immediately raises the question of why limit ourselves to the two extremes, d-true and c-true, which I will re-lablel as 1-true and n-true. We could define: Pa is 2-true for I and A iff for any X that numbers 2 in R(a) I(P)(2)(X) = 1 Pa is 3-true for I and A iff for any X that numbers 3 in R(a) I(P)(3)(X) = 1 ... Pa is n-true for I and A iff for any X that numbers n in R(a) I(P)(n)(X) = 1 And then: F is true for I and A iff for some n, F = Pa and Pa is n-true for I and A ... For example, we would say that "the students know one another" is true because it is 2-true, (where "a" is "the students" and "P" is "know one another"). But even doing that, we would still be leaving things out, because I want "the three boys carried the three chairs to the garden" to be true even when it is not n-true for any n, for example because two boys carried one chair and one boy carried two chairs. 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.