Re: Carriers and runners, Kosko

Peter C. McCluskey (pcm@rahul.net)
Sun, 24 Nov 1996 17:34:24 -0800


WeaponsRUs@aol.com (WeaponsRUs@aol.com) writes:
>My main problem with the whole concept is that it seems to require one to
>abandon the *extremely* useful notion of "reductio ad absurdum." That is, I
>can't prove A simply by proving ~ [~A] (i.e., assuming ~A and showing that
>leads to a contradiction. Seems too much to give up.

If you know that A can only have values 0 or 1, then the proof works
the same as without fuzzy logic. If A can reasonably take on other
values, why would you want ~[~A] to imply A = 1?

-- 
------------------------------------------------------------------------
Peter McCluskey |                        | "Don't blame me. I voted
pcm@rahul.net | http://www.rahul.net/pcm | for Kodos." - Homer Simpson
pcm@quote.com | http://www.quote.com     |