Vajad kellegagi rääkida?
Küsi julgelt abi LasteAbi
Logi sisse
Sulge

"metateoreeme" - 1 õppematerjal

Loogika aine ja ajalugu
20
doc

Loogika aine ja ajalugu

predikaatarvutuse keel on alati kõige praktilisem, selgem või mugavam meetod ükskõik mille rangeks kirjeldamiseks, vaid et teoreetiliselt on iga range kirjeldus predikaatarvutuse abil kirja pandav. Frege antud konkreetne predikaatarvutuse esitus on raskesti loetav ja hoopis teistsugune, kui kaasaegsed esitused. Põhimõtted on sellegipoolest samad. Ka ei esitanud Frege oma süsteemi aksiomaatilisel kujul ega tuletanud kaasaegse predikaatarvutuse jaoks olulisi metateoreeme ehk süsteemi ennast, tema võimalusi ja puudujääke käsitlevaid tulemusi: nendeni jõuti alles 20. sajandi esimesel kolmandikul. Frege tähtsus ei piirdu ainult predikaatarvutuse loomisega. Peale 1879. aastat kirjutas ta sarja mõjukaid artikleid, alustades kõigepealt Boole'i kritiseerimisega (Frege ei olnud teadlik Peirce'i ja Schröderi parandustest ning täiendustest Boole'i algebrale). Frege kindel seisukoht oli, et kogu matemaatika saab taandada elementaarsetele loogikareeglitele, st

Filosoofia → Loogika
83 allalaadimist


Sellel veebilehel kasutatakse küpsiseid. Kasutamist jätkates nõustute küpsiste ja veebilehe üldtingimustega Nõustun