[cowan: Re: [lojban] Defining lujvo]

[John Cowan <cowan@ccil.org>]

Jim Carter scripsit:

> Look for "What Definitions Mean".  To summarize: a predicate "is" a
> relation between its arguments, and is defined as a set (or class, if
> infinite) of thus-related sets of arguments.  The textual exigesis is no
> more than a learning aid.
> 
> Beware, the discussion is for -gua!spi, and a number of points differ from
> official Loglan/Lojban.

This definitely won't work for Loglan/Lojban.  For example, in Lojban
it is possible to create two lujvo with the place structures "x1 has
a heart" and "x1 has a kidney", and these are distinct predicates.
In Gua\spi, however, they are the same predicate.

-- 
Income tax, if I may be pardoned for saying so,         John Cowan
is a tax on income.  --Lord Macnaghten (1901)           jcowan@reutershealth.com