Re: [lojban] Re: COI, UI (was Re: cfari)

[John Cowan <cowan@ccil.org>]

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)