Filosofia:parakonsistentti logiikka
parakonsistentti logiikka
| parakonsistentti logiikka |
Määritelmä
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.
Lisätiedot
Lue lisää tästä aiheesta Wikipediasta
Erikieliset vastineet
| paraconsistent logic | englanti (English) |
Lähikäsitteet
- intuitionistinen logiikka (vieruskäsite)
- klassinen logiikka (vieruskäsite)
- logiikka (yläkäsite)
- relevanssilogiikka (osakäsite)
Käytetyt lähteet
AudiR1995, Priest&Tanaka&Weber
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 18.4.2024: Filosofia:parakonsistentti logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:parakonsistentti logiikka.)