Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 89374 invoked from network); 30 Jul 2004 16:14:37 -0000 Received: from unknown (66.218.66.217) by m19.grp.scd.yahoo.com with QMQP; 30 Jul 2004 16:14:37 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta2.grp.scd.yahoo.com with SMTP; 30 Jul 2004 16:14:36 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.32) id 1Bqa1g-0003aj-8R for lojban@yahoogroups.com; Fri, 30 Jul 2004 09:14:32 -0700 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.32) id 1Bqa0q-0003ZX-45; Fri, 30 Jul 2004 09:13:40 -0700 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 30 Jul 2004 09:13:36 -0700 (PDT) Received: from fort-point-station.mit.edu ([18.7.7.76]) by chain.digitalkingdom.org with esmtp (TLS-1.0:DHE_RSA_3DES_EDE_CBC_SHA:24) (Exim 4.32) id 1Bqa0X-0003ZD-6W for lojban-list@lojban.org; Fri, 30 Jul 2004 09:13:21 -0700 Received: from central-city-carrier-station.mit.edu (CENTRAL-CITY-CARRIER-STATION.MIT.EDU [18.7.7.72]) by fort-point-station.mit.edu (8.12.4/8.9.2) with ESMTP id i6UGD65Y016909 for ; Fri, 30 Jul 2004 12:13:18 -0400 (EDT) Received: from melbourne-city-street.mit.edu (MELBOURNE-CITY-STREET.MIT.EDU [18.7.21.86]) by central-city-carrier-station.mit.edu (8.12.4/8.9.2) with ESMTP id i6UFjQQG029302 for ; Fri, 30 Jul 2004 11:45:27 -0400 (EDT) Received: from torg.mit.edu (TORG.MIT.EDU [18.208.0.57]) ) by melbourne-city-street.mit.edu (8.12.4/8.12.4) with ESMTP id i6UFjPRg005501 for ; Fri, 30 Jul 2004 11:45:25 -0400 (EDT) Received: from rob by torg.mit.edu with local (Exim 3.36 #1 (Debian)) id 1BqZZW-00012M-00 for ; Fri, 30 Jul 2004 11:45:26 -0400 Date: Fri, 30 Jul 2004 11:45:26 -0400 Message-ID: <20040730154526.GA3982@mit.edu> Mail-Followup-To: lojban-list@lojban.org References: <140.2f8dbc85.2e3bc087@wmconnect.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <140.2f8dbc85.2e3bc087@wmconnect.com> X-Is-It-Not-Nifty: www.sluggy.com User-Agent: Mutt/1.5.6+20040523i X-archive-position: 8361 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: rspeer@MIT.EDU X-list: lojban-list To: lojban@yahoogroups.com X-eGroups-Remote-IP: 64.81.49.134 X-eGroups-From: Rob Speer From: Rob Speer Reply-To: rspeer@MIT.EDU Subject: [lojban] Re: jimpe X-Yahoo-Group-Post: member; u=116389790 X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 22782 Content-Length: 806 Lines: 22 On Fri, Jul 30, 2004 at 11:17:27AM -0400, MorphemeAddict@wmconnect.com wrote: > That is *so* cool. But is the logic in the first example (section 4.1) > valid? It seems to be deducing a premise from a consequence, which I've always > thought was a big no-no. And then "artificial" in the title. Unless I'm completely screwing something up, it's deducing the _negation_ of a premise from the _negation_ of a consequence, which is perfectly valid logic. It's called "modus tollens" or the "rule of the contrapositive". What about "artificial" in the title? Should I not say it there? It is one thing that makes this project different from most other NLP research. (Incidentally, if people want to keep making comments, I'm going to submit this paper at about 2 PM.) -- Rob Speer