Filosofia:relevanssilogiikka

From Tieteen termipankki
Jump to: navigation, search

relevanssilogiikka

relevanssilogiikka
Definition väitelauselogiikan muoto, jossa päättelyn premisseiltä vaaditaan sisällöllinen yhteys johtopäätökseen
Explanation Klassisessa lauselogiikassa päättelyn loogisen pätevyyden kriteeri on se, että aina kun premissit ovat tosia, myös johtopäätös on tosi. Relevanssilogiikassa, jonka kehittivät lan Ross Anderson (1925–1973) ja Nuel Belnap (1930–) vaaditaan lisäyhteyttä premissien ja johtopäätöksen välillä sen lisäksi, että johtopäätös seuraa tavanomaisessa mielessä loogisesti premisseistä. Tähän vahvempaan loogiseen yhteyteen premissien ja johtopäätöksen välillä viitataan relevantin implikaation käsitteellä. Relevanssilogiikka on parakonsistentin logiikan alalaji, sillä päättelyssä yhteensopimattomista premisseistä (esim. "sataa" ja "ei sada"), voitaisiin klassisessa mielessä johtaa mitä tahansa (vaikkapa "kuu on juustoa"), mitä ei siis relevanssilogiikassa voi hyväksyä päteväksi päättelyksi.

Equivalents

relevance logicenglanti

Related Concepts

Sources

BagginiJFoslP2013, NiiniluotoI2015, WeberZ

References

Lähdeviittaus tähän sivuun:
Tieteen termipankki 25.06.2019: Filosofia:relevanssilogiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:relevanssilogiikka.)


Siirry tarkastelemaan sivun muokkaushistoriaa →