From xod@sixgirls.org Wed Aug 08 15:23:14 2001 Return-Path: X-Sender: xod@reva.sixgirls.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_3_1); 8 Aug 2001 22:23:14 -0000 Received: (qmail 7040 invoked from network); 8 Aug 2001 22:23:14 -0000 Received: from unknown (10.1.10.142) by l7.egroups.com with QMQP; 8 Aug 2001 22:23:14 -0000 Received: from unknown (HELO reva.sixgirls.org) (64.152.7.13) by mta3 with SMTP; 8 Aug 2001 22:23:13 -0000 Received: from localhost (localhost [[UNIX: localhost]]) by reva.sixgirls.org (8.11.3/8.11.1) with ESMTP id f78MNDh19711 for ; Wed, 8 Aug 2001 18:23:13 -0400 (EDT) Date: Wed, 8 Aug 2001 18:23:12 -0400 (EDT) To: "Lojban@Yahoogroups. Com" Subject: Formal Logic (was: Well I guess you do learn something new every day... In-Reply-To: <4.3.2.7.2.20010808164027.00cf0100@pop.cais.com> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII From: Invent Yourself X-Yahoo-Message-Num: 9333 On Wed, 8 Aug 2001, Bob LeChevalier (lojbab) wrote: > At 02:06 AM 8/8/01 +0100, And Rosta wrote: > > What I think I am saying is that the purely logical mechanisms of the > language are a very small subset of the whole, and if you want to be > formal, you have to limit yourself to that tiny subset, and you will be of > course as verbose as one would expect spoken formal predicate logic to be. Perhaps there are ways -- new words and new usages -- to permit real formal logic without the additional verbosity expected in English. ----- "I have never been active in politics or in any act against occupation, but the way the soldiers killed Mizyed has filled me with hatred and anger. Now I'm ready to carry out a suicide attack inside Israel," one of the witnesses said.