Subject: [cowan: Re: [lojban] Defining lujvo]

From: John Cowan <[email-masked]>
Date: Wed, 23 Apr 2003 13:06:34 -0400

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) [email-masked]