From nobody@digitalkingdom.org Wed Jul 19 07:28:32 2006 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) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=nnZUh5fU8SA2NH7m5MpgaW/S2pV3xzjAdeBx85i79KnnM00I1rNdGSVblnJ73vkpMULntvrbs1874NPqS6Bfc4euxEj8giopNUiPF33qejQaV473FrUYqeIvX5mvZcRGvAhf9AnaFEzbvftedH3m8DX3F6wl57Y2wCXMD1Gdooc= 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 From: "=?ISO-8859-1?Q?Jorge_Llamb=EDas?=" To: lojban-list@lojban.org Subject: [lojban] Re: A (rather long) discussion of {all} 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 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: jjllambias@gmail.com Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list 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.