Re: 1 NF
Date: Wed, 28 Feb 2007 22:40:55 +0100 (CET)
Message-ID: <Xns98E5A9B42A9EDvdghher_at_194.177.96.26>
Sampo Syreeni <decoy_at_iki.fi> wrote in news:Pine.SOL.4.62.0702282203590.15178_at_kruuna.helsinki.fi:
>... Eventually even fuzzy logic rests of first
> order predicate logic.
> It can be handled on the latter, classical terms.
No kidding ? Leaving aside arguably dubious utility of fuzzy logic, could you show how fuzzy logic "can be handled on the latter, classical terms" ? Which one by the way, product logic, Lukaciewicz's logic, BLlogic, Pawelka's logic, etc. ? All of them ? Some ?
> In fact even moreso than general paraconsistent logics or the like.
>
So your claim is that paraconsistent logics are even easier to handle "on the classical terms" ? Are you serious or just trying to impress friends and scare off enemies ? If you know at least a little bit about paraconsistent logics, you should be aware that some of them do not even have the modus ponens rule so they can hardly be even counted as logics. Fuzzy logic(s) by the way does/do have the rule. Received on Wed Feb 28 2007 - 22:40:55 CET