From xod@sixgirls.org Tue Mar 05 17:28:40 2002 Return-Path: X-Sender: xod@reva.sixgirls.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 6 Mar 2002 01:28:40 -0000 Received: (qmail 83584 invoked from network); 5 Mar 2002 19:44:50 -0000 Received: from unknown (216.115.97.172) by m12.grp.snv.yahoo.com with QMQP; 5 Mar 2002 19:44:50 -0000 Received: from unknown (HELO reva.sixgirls.org) (216.27.131.50) by mta2.grp.snv.yahoo.com with SMTP; 5 Mar 2002 19:44:49 -0000 Received: from localhost (localhost [[UNIX: localhost]]) by reva.sixgirls.org (8.11.6+3.4W/8.11.6) with ESMTP id g25Jilx00751 for ; Tue, 5 Mar 2002 14:44:47 -0500 (EST) Date: Tue, 5 Mar 2002 14:44:46 -0500 (EST) To: lojban@yahoogroups.com Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies In-Reply-To: <0GSH00LMRUQPHP@mta5.snfc21.pbi.net> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII From: Invent Yourself X-Yahoo-Group-Post: member; u=1138703 X-Yahoo-Profile: throwing_back_the_apple X-Yahoo-Message-Num: 13527 I am sending this to lojban only because Cherlin's not on jboske. This is a thread that belongs on jboske. On Tue, 5 Mar 2002, Edward Cherlin wrote: > On Wednesday 27 February 2002 14:50, pycyn@aol.com wrote: > > > This is not obvious, it depends upon what the purpose of the > > sentence is. Cherlin wants it to be a definition, and thus it is > > exactly text that is wanted, needed, possible. > > Precisely not. x1 is a function, and x4 is a mekso expression turned > into an "operator" by ma'o. Functions are defined by domain, range, > and method of evaluation. They can be described in a variety of ways. > They can have names, but this is not a requirement. Functions are not > texts. They are mathematical objects. Are you saying that x1 is not the name of the function, but the function itself? What goes in gerku1? A dog? Or the name (or reference to) a dog? We seem to have discussions like this all the time. Dogs and functions are real world objects which we cannot stick into sentences. Dogs' names, function names, symbols like "ri" which mean dogs or functions; these are all things we can stick into sentences. So to say that fancu1 "is a function" is meaningless. It can only be the name of a function. -- When a system is in harmony with the Tao, the compiler makes applications and utilities. When a system goes counter to the Tao, accounting logs fill the root directory.