Tieteen termipankki
fi parakonsistentti logiikka
en paraconsistent logic
määritelmä
klassiselle logiikalle vaihtoehtoisten logiikkojen luokka, jossa ristiriitaisista premisseistä ei aina voida johtaa mitä tahansa
klassiselle logiikalle vaihtoehtoisten logiikkojen luokka, jossa ristiriitaisista premisseistä ei aina voida johtaa mitä tahansa
selite
Parakonsistenteissa logiikoissa pyritään sietämään epäjohdonmukaisia, mutta silti ei-triviaaleja loogisia järjestelmiä. Parakonsistenteissa logiikoissa ei ristiriitaisista premisseistä voi aina johtaa mitä tahansa, toisin kuin klassisessa logiikassa. Parakonsistenteilla logiikoilla on useita mahdollisia sovellusalueita myös tieteessä, sillä usein ihmisillä on ristiriitaisia uskomuksia, tieteelliset teoriat ovat ideaalityyppisinä tarkasti ottaen epätosia tai teorioiden tukena on osin ristiriitaista evidenssiä ja silti on tarpeen jatkaa tutkimusta ja tehdä johtopäätöksiä näiden ristiriitaisuuksien pohjalta mutta niistä huolimatta.
Parakonsistenteissa logiikoissa pyritään sietämään epäjohdonmukaisia, mutta silti ei-triviaaleja loogisia järjestelmiä. Parakonsistenteissa logiikoissa ei ristiriitaisista premisseistä voi aina johtaa mitä tahansa, toisin kuin klassisessa logiikassa. Parakonsistenteilla logiikoilla on useita mahdollisia sovellusalueita myös tieteessä, sillä usein ihmisillä on ristiriitaisia uskomuksia, tieteelliset teoriat ovat ideaalityyppisinä tarkasti ottaen epätosia tai teorioiden tukena on osin ristiriitaista evidenssiä ja silti on tarpeen jatkaa tutkimusta ja tehdä johtopäätöksiä näiden ristiriitaisuuksien pohjalta mutta niistä huolimatta.
huomautus
Wikipedialinkki
Wikipedialinkki
Luokitus: |
| |||
Lähde: |
|
Käsitteet samalla hierarkiatasolla: aikalogiikka, episteeminen logiikka, intuitionistinen logiikka, klassinen logiikka, laskettavuuden teoria, moniarvologiikka, sumea logiikka ja topiikka
Hierarkkinen alakäsite: relevanssilogiikka
Koostumussuhteiset alakäsitteet: relevanssilogiikka ja relevantti implikaatio