From sentto-44114-16167-1033172119-lojban-in=lojban.org@returns.groups.yahoo.com Fri Sep 27 17:18:34 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 27 Sep 2002 17:18:34 -0700 (PDT) Received: from n23.grp.scd.yahoo.com ([66.218.66.79]) by digitalkingdom.org with smtp (Exim 4.05) id 17v5JX-00052q-01 for lojban-in@lojban.org; Fri, 27 Sep 2002 17:18:32 -0700 X-eGroups-Return: sentto-44114-16167-1033172119-lojban-in=lojban.org@returns.groups.yahoo.com Received: from [66.218.67.200] by n23.grp.scd.yahoo.com with NNFMP; 28 Sep 2002 00:15:19 -0000 X-Sender: a.rosta@lycos.co.uk X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_1_1_4); 28 Sep 2002 00:15:19 -0000 Received: (qmail 73139 invoked from network); 28 Sep 2002 00:15:18 -0000 Received: from unknown (66.218.66.217) by m8.grp.scd.yahoo.com with QMQP; 28 Sep 2002 00:15:18 -0000 Received: from unknown (HELO mailbox-7.st1.spray.net) (212.78.202.107) by mta2.grp.scd.yahoo.com with SMTP; 28 Sep 2002 00:15:18 -0000 Received: from oemcomputer (host213-121-67-49.surfport24.v21.co.uk [213.121.67.49]) by mailbox-7.st1.spray.net (Postfix) with ESMTP id B5A6D26FB1 for ; Sat, 28 Sep 2002 01:46:49 +0200 (DST) To: Message-ID: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal In-Reply-To: X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 From: "And Rosta" X-Yahoo-Profile: andjamin MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Sat, 28 Sep 2002 00:48:26 +0100 Subject: [lojban] Re: interactions between tenses, other tenses, and NA Content-Type: text/plain; charset=US-ASCII X-archive-position: 1655 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: a.rosta@lycos.co.uk Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list jorge: > If I understand correctly, "the usual language of formal > logic" would have something like ~Fab > > This can be described as: > > 1- Negation in front of the predicate > 2- Negation in front of the whole expression > > Lojban does: a~Fb, so as far as negation goes, it either follows > the usual language of formal logic (by 1) or it does not follow the > usual language of formal logic (by 2). But try adding a quantifier. Ax~Fxb. But in Lojban {ro da na brode ko'a} means ~AxFxb. So there is no way that Lojban follows the language of formal logic. --And. ------------------------ Yahoo! Groups Sponsor ---------------------~--> Plan to Sell a Home? http://us.click.yahoo.com/J2SnNA/y.lEAA/MVfIAA/GSaulB/TM ---------------------------------------------------------------------~-> To unsubscribe, send mail to lojban-unsubscribe@onelist.com Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/