Filosofia:päättelysysteemi

Tieteen termipankista

päättelysysteemi

päättelysysteemi
Määritelmä päättelysysteemi on kokoelma aksioomia ja päättelysääntöjä, joiden perusteella esitetään deduktiivisia todistuksia ja päättelyitä
Selite Loogiset päättelysysteemit jalaantuvat kahteen pääluokkaan: aksiomaattisiin ja nk. luonnollisen päättelyn systeemeihin. Jokaisessa päättelysysteemissä on vähintään yksi päättelysääntö, mutta esimerkiksi lauselogiikan luonnollisen päättelyn systeemissä aksioomia ei ole lainkaan. Luonnollisen päättelyn systeemit koostuvatkin tyypillisesti pelkistä päättelysäännöistä, joita on kaksi jokaista loogista vakiota kohden, nk. tuonti- ja eliminointisäännöt. Aksiomaattisissa päättelysysteemeissä sen sijaan annetaan joukko aksioomia ja vain muutama päättelysääntö. Aksiomaattisen menetelmän avulla voidaan tehdä helpommin eräitä teoreettisia koko päättelysysteemiä koskevia tarkasteluja, mutta toisaalta aktuaalisten päättelyiden (tai deduktioiden) konstruoiminen on vaikeampaa kuin luonnollisen päättelyn systeemeissä.

Lähikäsitteet

Käytetyt lähteet

Rantala&Virtanen2003

Alaviitteet

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