From sentto-44114-21210-1068853019-lojban-in=lojban.org@returns.groups.yahoo.com Fri Nov 14 15:36:47 2003 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 14 Nov 2003 15:36:47 -0800 (PST) Received: from n23.grp.scd.yahoo.com ([66.218.66.79]) by chain.digitalkingdom.org with smtp (Exim 4.22) id 1AKnUY-0003Ts-CK for lojban-in@lojban.org; Fri, 14 Nov 2003 15:36:42 -0800 X-eGroups-Return: sentto-44114-21210-1068853019-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.66.97] by n23.grp.scd.yahoo.com with NNFMP; 14 Nov 2003 23:37:00 -0000 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 To: Jorge =?iso-8859-1?Q?Llamb=EDas?= Cc: lojban@yahoogroups.com Message-ID: <20031114233654.GA22120@mercury.ccil.org> References: <20031114230320.GS5394@skunk.reutershealth.com> <20031114232439.61930.qmail@web41906.mail.yahoo.com> 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-Profile: johnwcowan MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Fri, 14 Nov 2003 18:36:54 -0500 Subject: [lojban] Re: COI, UI (was Re: cfari) Content-Type: text/plain; charset=US-ASCII X-archive-position: 6707 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: cowan@ccil.org Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list 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) ------------------------ Yahoo! Groups Sponsor ---------------------~--> Buy Ink Cartridges or Refill Kits for your HP, Epson, Canon or Lexmark Printer at MyInks.com. Free s/h on orders $50 or more to the US & Canada. http://www.c1tracking.com/l.asp?cid=5511 http://us.click.yahoo.com/mOAaAA/3exGAA/qnsNAA/GSaulB/TM ---------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/