From lojban-out@lojban.org Thu Jul 13 19:13:39 2006 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 57785 invoked from network); 14 Jul 2006 01:47:51 -0000 Received: from unknown (66.218.67.35) by m31.grp.scd.yahoo.com with QMQP; 14 Jul 2006 01:47:51 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta9.grp.scd.yahoo.com with SMTP; 14 Jul 2006 01:47:51 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1G1CmP-00073J-3h for lojban@yahoogroups.com; Thu, 13 Jul 2006 18:47:45 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1G1Clc-00072j-0X; Thu, 13 Jul 2006 18:46:56 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Thu, 13 Jul 2006 18:46:48 -0700 (PDT) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.62) (envelope-from ) id 1G1ClB-00072X-5r for lojban-list-real@lojban.org; Thu, 13 Jul 2006 18:46:29 -0700 Received: from py-out-1112.google.com ([64.233.166.181]) by chain.digitalkingdom.org with esmtp (Exim 4.62) (envelope-from ) id 1G1ClA-00072P-Aa for lojban-list@lojban.org; Thu, 13 Jul 2006 18:46:28 -0700 Received: by py-out-1112.google.com with SMTP id x31so478582pye for ; Thu, 13 Jul 2006 18:46:27 -0700 (PDT) Received: by 10.35.127.15 with SMTP id e15mr1345423pyn; Thu, 13 Jul 2006 18:46:27 -0700 (PDT) Received: by 10.35.14.17 with HTTP; Thu, 13 Jul 2006 18:46:27 -0700 (PDT) Message-ID: <925d17560607131846jb3d95d1wf9559cf162677db5@mail.gmail.com> Date: Thu, 13 Jul 2006 22:46:27 -0300 In-Reply-To: <20060713211125.79798.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: <925d17560607130536u49e124eav6370db221f510467@mail.gmail.com> <20060713211125.79798.qmail@web81315.mail.mud.yahoo.com> X-Spam-Score: -2.5 (--) X-archive-position: 12194 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=0TlXO43TdCWnnG7q1WIlU7NziUyMFPNz1UP65HRaLAUGLMuJIw X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 26621 On 7/13/06, John E Clifford wrote: > > A is an assignment iff A is a function from variables to concepts > A(c/x) is an assignment just like A except that it assigns the concept c to variable x instead of > A(x). (I assume assignment A and relation A are different things, it might be a good idea to use different letters.) Question: Given an assignment A, is the assignment A(c/x) also given, or are they independent functions? > If a is a term, R(a) = I(a) if a is a name, R(a) = A(a) if a is a variable, R(a) is a concept c > such that F is true for A(c/x), if a = txF So R is a function from terms to concepts. Is it called something? We don't know what "F is true" means at this point, not sure if this could lead to circularity. > Where P is a predicate and a a term, Pa is d-true for I and A iff for every individual i included > in R(a) and for every concept c s.t. I(c) = i, I(P)(c) = 1 That would be "every individual i included in I(R(a))", I think. > A Pluralist model ... > C is a relation between concepts and items in D, such that for every d in D, there is at least > once c such that c is related by C only to d (C/d) What's (C/d) ? The restriction for every d doesn't seem to have an equivalent in the singularist model. > And interpretation I is a function which assigns ... > To A the function from pairs of concepts into {0,1} such that I(A)(R(a)R(b)) = 1 iff > for every thing d such that R(a)Cd holds, R(b)Cd holds Couldn't A be defined more generaly for any c1,c2 like for the singularist model, instead of just for R(a)R(b)? 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.