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 26.4.2024: Filosofia:relevanssilogiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:relevanssilogiikka.)

Siirry tarkastelemaan sivun muokkaushistoriaa →