Filosofia:luonnollisen päättelyn systeemi

    Tieteen termipankista

    luonnollisen päättelyn systeemi

    luonnollisen päättelyn systeemi
    Määritelmä päättelysysteemi, joka koostuu tyypillisesti pelkistä päättelysäännöistä, joita on kaksi jokaista loogista vakiota kohden, nk. tuonti- ja eliminointisäännöt
    Selite Gerhard Gentzenin (1909-1945) kehittämän luonnollisen päättelyn systeemin idean tarkoituksena oli luoda päättelysysteemi, joka vastaisi aksiomaattisia päättelysysteemejä paremmin matemaatikkojen todellisia päättelyprosesseja matemaattisissa todistuksissa. Tuonti- ja eliminointisääntöjen oli myös tarkoitus määrittää loogisten vakioiden merkitys niin, että niiden totuusmääritelmät (semantiikka) olisivat alisteisia päättelysysteemille.

    Erikieliset vastineet

    natural deductionenglanti (English)

    Lähikäsitteet

    Käytetyt lähteet

    Niiniluoto2015b

    Alaviitteet

    Lähdeviittaus tähän sivuun:
    Tieteen termipankki 29.3.2024: Filosofia:luonnollisen päättelyn systeemi. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:luonnollisen päättelyn systeemi.)