Parakonsistentti logiikka

Parakonsistentti logiikka on logiikan alue, joka tutkii parakonsistentteja eli "epäjohdonmukaisuutta suvaitsevia" loogisia järjestelmiä. Klassisessa logiikassa ristiriidasta seuraa mitä tahansa (ex contradictione sequitur quodlibet). Parakonsistentissa logiikassa ei kuitenkaan hyväksytä tätä periaatetta, vaan siinä pyritään muodostamaan epäjohdonmukaisia, mutta silti ei-triviaaleja loogisia järjestelmiä.

Parakonsistentteja logiikoita voidaan käyttää formalisoimaan päättelyä, joka käyttää informaatiota, joka on keskenään ristiriitaista. Parakonsistentit loogikat eivät ole klassisen logiikan laajennus, vaan päinvastoin ne ovat aleettisesti konservatiivisempi lähestymistapa logiikkaan. Kuitenkin parakonsistentin logiikan pohjalta on mahdollista argumentoida esimerkiksi ”tosien ristiriitojen” (dialetheia) puolesta.

Aiheesta muualla 

 
 

Logiikka