Filosofia:luonnollisen päättelyn systeemi
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 deduction | englanti (English) |
Lähikäsitteet
- aksiomaattinen järjestelmä (vieruskäsite)
- päättelysysteemi (yläkäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.11.2024: Filosofia:luonnollisen päättelyn systeemi. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:luonnollisen päättelyn systeemi.)