Filosofia:relevanssilogiikka
relevanssilogiikka
| relevanssilogiikka |
Määritelmä
logiikan muoto, jossa päättelyn premisseiltä vaaditaan sisällöllinen yhteys johtopäätökseen
Selite
Klassisessa logiikassa 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.
Erikieliset vastineet
| relevance logic | englanti (English) |
Lähikäsitteet
- klassinen logiikka (vieruskäsite)
- parakonsistentti logiikka (yläkäsite)
- relevantti implikaatio (osakäsite)
Käytetyt lähteet
BagginiJFoslP2013, NiiniluotoI2015, WeberZ
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 23.11.2024: Filosofia:relevanssilogiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:relevanssilogiikka.)