From cowan@ccil.org Wed Apr 23 10:06:42 2003 Return-Path: X-Sender: cowan@mercury.ccil.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_6_5); 23 Apr 2003 17:06:42 -0000 Received: (qmail 48549 invoked from network); 23 Apr 2003 17:06:34 -0000 Received: from unknown (66.218.66.216) by m3.grp.scd.yahoo.com with QMQP; 23 Apr 2003 17:06:34 -0000 Received: from unknown (HELO mercury.ccil.org) (192.190.237.100) by mta1.grp.scd.yahoo.com with SMTP; 23 Apr 2003 17:06:34 -0000 Received: from cowan by mercury.ccil.org with local (Exim 3.35 #1 (Debian)) id 198Nhb-0004wC-00 for ; Wed, 23 Apr 2003 13:06:35 -0400 Date: Wed, 23 Apr 2003 13:06:34 -0400 To: lojban@yahoogroups.com Subject: [cowan: Re: [lojban] Defining lujvo] Message-ID: <20030423170634.GG14253@ccil.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.3.28i X-eGroups-From: John Cowan From: John Cowan X-Yahoo-Group-Post: member; u=212516 X-Yahoo-Profile: johnwcowan 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