Filosofia:päättelysysteemi
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
- aksiooma (osakäsite)
- deduktio (funktiosuhde)
- päättely (funktiosuhde)
- päättelysääntö (osakäsite)
- todistus (funktiosuhde)
- todistusteoria (kokonaisuuskäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 20.4.2024: Filosofia:päättelysysteemi. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:päättelysysteemi.)