Tieteen termipankki
fi        relevanssilogiikka
en      relevance logic
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.
Luokitus:
  
filosofia, logiikka
  
Lähde:
  
Tieteen termipankki 03.08.2023, Filosofia:relevanssilogiikka
  
automaattisesti kootut käsitesuhteet
Hierarkkinen yläkäsite: parakonsistentti logiikka
Käsitteet samalla hierarkiatasolla: klassinen logiikka
Koostumussuhteinen yläkäsite: parakonsistentti logiikka
Koostumussuhteinen vieruskäsite: relevantti implikaatio
Koostumussuhteinen alakäsite: relevantti implikaatio