From cowan@ccil.org Fri Nov 14 15:36:59 2003 Return-Path: X-Sender: cowan@mercury.ccil.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 34330 invoked from network); 14 Nov 2003 23:36:56 -0000 Received: from unknown (66.218.66.167) by m14.grp.scd.yahoo.com with QMQP; 14 Nov 2003 23:36:56 -0000 Received: from unknown (HELO mercury.ccil.org) (192.190.237.100) by mta6.grp.scd.yahoo.com with SMTP; 14 Nov 2003 23:36:55 -0000 Received: from cowan by mercury.ccil.org with local (Exim 3.35 #1 (Debian)) id 1AKnUk-0005oc-00; Fri, 14 Nov 2003 18:36:54 -0500 Date: Fri, 14 Nov 2003 18:36:54 -0500 To: Jorge =?iso-8859-1?Q?Llamb=EDas?= Cc: lojban@yahoogroups.com Subject: Re: [lojban] Re: COI, UI (was Re: cfari) Message-ID: <20031114233654.GA22120@mercury.ccil.org> References: <20031114230320.GS5394@skunk.reutershealth.com> <20031114232439.61930.qmail@web41906.mail.yahoo.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20031114232439.61930.qmail@web41906.mail.yahoo.com> User-Agent: Mutt/1.3.28i X-eGroups-From: John Cowan From: John Cowan X-Originating-IP: 192.190.237.100 X-Yahoo-Group-Post: member; u=212516 X-Yahoo-Profile: johnwcowan X-Yahoo-Message-Num: 21188 Jorge Llamb?as scripsit: > I don't see the relationship with {girzu}. x1 of girzu is a group, > each of whose members has property x2. That doesn't seem to have > much to do with a function and a textual expression of the function. In each case x1 is an abstract object, and the other place specifies which abstract object is in question. The primitive notions like ostention that let us tell one concretum from another do not work with abstracta, which must be characterized by their defining properties. > x4 of fancu is the most irrelevant one. If you already know what x1 is, then yes. But if you don't, then x4 is the most relevant one, since it allows you to distinguish multiplication from addition, e.g. > A given function x1 can > of course have many different expressions x4, right? For example > "x+y", "y+x", "z=x+y", "F(x,y)=x+y", "SUM(x,y)", "x+y->z", etc. > all can be x4 to the same x1? Indeed. -- Winter: MIT, John Cowan Keio, INRIA, jcowan@reutershealth.com Issue lots of Drafts. http://www.ccil.org/~cowan So much more to understand! http://www.reutershealth.com Might simplicity return? (A "tanka", or extended haiku)