[lojban] Re: jimpe

[Rob Speer <lojban-out@lojban.org>]

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