Parakonsistentti logiikka

Wikipediasta
Siirry navigaatioon Siirry hakuun

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

[muokkaa | muokkaa wikitekstiä]
  • Priest, Graham & Tanaka, Koji: Paraconsistent Logic The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab. Stanford University. (englanniksi)
  • Weber, Zach: Paraconsistent Logic The Internet Encyclopedia of Philosophy. (englanniksi)