From lojban-out@lojban.org Mon Mar 03 15:51:27 2003 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_4); 3 Mar 2003 23:51:27 -0000 Received: (qmail 9481 invoked from network); 3 Mar 2003 23:51:27 -0000 Received: from unknown (66.218.66.217) by m2.grp.scd.yahoo.com with QMQP; 3 Mar 2003 23:51:27 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta2.grp.scd.yahoo.com with SMTP; 3 Mar 2003 23:51:27 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.12) id 18pziR-0003Lf-00 for lojban@yahoogroups.com; Mon, 03 Mar 2003 15:51:27 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.12) id 18pziN-0003LC-00; Mon, 03 Mar 2003 15:51:23 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Mon, 03 Mar 2003 15:51:22 -0800 (PST) Received: from manyas.bcc.bilkent.edu.tr ([139.179.30.24]) by digitalkingdom.org with esmtp (Exim 4.12) id 18pziG-0003K2-00 for lojban-list@lojban.org; Mon, 03 Mar 2003 15:51:17 -0800 Received: from localhost (localhost [127.0.0.1]) by manyas.bcc.bilkent.edu.tr (Postfix) with ESMTP id 444A03200B for ; Tue, 4 Mar 2003 01:50:43 +0200 (EET) Received: from bilkent.edu.tr (ppp115.bcc.bilkent.edu.tr [139.179.111.115]) by manyas.bcc.bilkent.edu.tr (Postfix) with ESMTP id 7FF3B31DF7 for ; Tue, 4 Mar 2003 01:50:41 +0200 (EET) Message-ID: <3E63EABC.4090705@bilkent.edu.tr> Date: Tue, 04 Mar 2003 01:52:28 +0200 User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.1) Gecko/20020826 X-Accept-Language: en-us, en MIME-Version: 1.0 To: lojban-list@lojban.org Subject: [lojban] Re: The Any thread References: <20030303233954.GA20346@allusion.net> Content-Type: text/plain; charset=us-ascii; format=flowed X-Virus-Scanned: by AMaViS snapshot-20020531 X-archive-position: 4313 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: robin@bilkent.edu.tr Precedence: bulk X-list: lojban-list X-eGroups-From: robin From: robin Reply-To: robin@bilkent.edu.tr X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out 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