Loogika

Rein Pranki, Tõnu Tamme ja Tanel Tammeti koostatud õpik „Loogika” pakub laiahaardelise ülevaate loogika arengust ja tänapäevasest rakendusest. Teos algab loogika ajaloolise kujunemise käsitlusega Aristotelesest kuni analüütilise filosoofia traditsioonini, avades nii klassikalised alused kui ka loogilise mõtlemise filosoofilise tähtsuse. Autorid toovad esile loogika kui teadusliku mõtlemise ja argumenteerimise töövahendi, näidates, kuidas formaalsed süsteemid aitavad korrastada mõtteprotsesse ja teha järeldusi rangetel reeglitel põhinevalt.

Erilist tähelepanu pööratakse loogika metaprobleemidele, sealhulgas formaalsete süsteemide täielikkusele ja lahenduvusele. Raamatus käsitletakse ka Gödeli kuulsat mittetäielikkuse teoreemi, mis näitab, et iga piisavalt rikas formaalne süsteem sisaldab väiteid, mida ei saa selle süsteemi raames tõestada ega ümber lükata. Lisaks klassikalisele loogikale tutvustatakse mitteklassikalisi lähenemisi, nagu modaalloogika ja intuitsionistlik loogika, mis laiendavad arusaama loogilise keele ja struktuuri võimalustest. Samuti avatakse loogika seosed kaasaegsete rakendustega – programmeerimiskeelte arendamise, algoritmide koostamise ja tehisintellekti loogiliste aluste näol.

Autorid Rein Prank, Tõnu Tamme ja Tanel Tammet on seotud Tartu Ülikooliga ning tegelenud loogika ja arvutiteaduse õpetamise ja arendamisega. Nende koostöö tulemusena sündinud raamat ühendab filosoofilise, matemaatilise ja tehnilise vaate, mis teeb teose kasulikuks nii humanitaar- kui ka reaalteaduste üliõpilastele. Õpik on kirjutatud süsteemselt ja didaktiliselt, et pakkuda lugejale nii teoreetilist tausta kui ka praktilisi teadmisi loogika rakendamisest tänapäeva teaduses ja tehnoloogias. „Loogika” on seega korraga sissejuhatus, süvendatud käsitlus ja viide edasiseks uurimiseks.