From jcowan@reutershealth.com Thu Feb 28 11:38:45 2002
Return-Path: <jcowan@reutershealth.com>
X-Sender: jcowan@reutershealth.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: unknown); 28 Feb 2002 19:38:45 -0000
Received: (qmail 71161 invoked from network); 28 Feb 2002 19:38:44 -0000
Received: from unknown (216.115.97.171)
  by m3.grp.snv.yahoo.com with QMQP; 28 Feb 2002 19:38:44 -0000
Received: from unknown (HELO mail.reutershealth.com) (204.243.9.36)
  by mta3.grp.snv.yahoo.com with SMTP; 28 Feb 2002 19:38:44 -0000
Received: from reutershealth.com (IDENT:cowan@[10.65.117.21])
  by mail.reutershealth.com (Pro-8.9.3/Pro-8.9.3) with ESMTP id OAA02909;
  Thu, 28 Feb 2002 14:38:56 -0500 (EST)
Message-ID: <3C7E8721.2070601@reutershealth.com>
Date: Thu, 28 Feb 2002 14:38:09 -0500
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:0.9.6) Gecko/20011120
X-Accept-Language: en-us
MIME-Version: 1.0
To: pycyn@aol.com
Cc: lojban@yahoogroups.com
Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies
References: <152.9a4c464.29afcdd0@aol.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
From: John Cowan <jcowan@reutershealth.com>
X-Yahoo-Group-Post: member; u=8122456
X-Yahoo-Profile: john_w_cowan

pycyn@aol.com wrote:


> I assume that {abu} refers to "a" and that its use as a pronoun is 
> dependent upon that and a convention, not that it is directly a 
> pronoun.


Abstractly speaking, yes. But in terms of syntax, "abu" is a
pronoun (outside MEX) and can't be used for the letter "a".
Inside ordinary MEX it is a variable, still not the letter "a".

> The list explanation for {me'o} is more opaque than usual, 
> could be read that way, I guess.


See the Book. me'o gives unevaluated expressions.

> It could also be read as not applying 
> on the ground that {pa} is not an unevaluated mathematical expression.


Why not? It's a degenerate case, to be sure.


> And what does {pabu} mean, then (if it is legal, as it should be)?


It is not yet defined to mean anything in particular.


> (though that a sequence is a 1-array makes a kind of 
> sense).


So it is in many programming languages.

> <I won't even ask how to define {n'} in general in Lojban...>


I would write n, n', n'', ... as ny. ny.bu ny.bubu ...
(People who say "n double prime" should be dissected!)

-- 
John Cowan <jcowan@reutershealth.com> http://www.reutershealth.com
I amar prestar aen, han mathon ne nen, http://www.ccil.org/~cowan
han mathon ne chae, a han noston ne 'wilith. --Galadriel, _LOTR:FOTR_


