Re: Carriers and runners, Kosko

Peter C. McCluskey (
Sun, 24 Nov 1996 17:34:24 -0800 ( 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 | | for Kodos." - Homer Simpson |     |