Subject: [lojban] Re: The Any thread

From: robin <[email-masked]>
Date: Tue, 04 Mar 2003 01:52:28 +0200

Jordan DeLong wrote:
> On Mon, Mar 03, 2003 at 06:25:46PM -0500, Craig wrote:
> [...]
> 
>>>{lo} is not defined in traditional Lojban the way you want it.
>>
>>Yes it is.
> 
> 
> No it isn't. mi nitcu lo mikce == Ex(Mx & Nmx). 

Sorry, but I don't understand that. Can anyone put it into predicate 
logic for me?

There is no
> question that this is the definition given in CLL. Traditional
> lojban == CLL.

In an odd way, I'm pleased that Lojban has grown and developed to the 
extent that people are now talking about "traditional lojban"!

robin.tr

-- 
"The raisins may be the best part of a cake, but that doesn't
mean that a bag of raisins is better than a cake."
- Wittgenstein

Robin Turner
IDMYO
Bilkent Univeritesi
Ankara 06533
Turkey

www.bilkent.edu.tr/~robin