Traditsiooniline formaalne loogika Vaata suuremalt

Traditsiooniline formaalne loogika

Vuks, Galina

Tartu : Iuridicum, 1999 
208 lk.

ISBN 9985914678

Kõvaköiteline, väga heas korras raamat.

Rohkem infot

9,00 € KM-ga

Rohkem infot

Kõrgkooliõpik. Raamatus antakse praktilisi teadmisi formaalsest loogikast: traditsiooniliselt on käsitletud põhilisi mõtlemisvorme, operatsioone nendega ning seadusi, mida tuleb järgida kas kõnes või tekstis, et arutlus oleks loogiliselt kehtiv. Kuid raamatus demonstreeritakse ka traditsioonilise loogika piiratust. Traditsiooniline loogika uuris kehtivaid arutlusvorme loomulikust keelest lähtudes ja just sellepärast on tema teaduslik saavutus praktilise tähtsusega. Raamat tutvustab ka kaasaegse sümbolloogika aluseid: lausearvutuse ja predikaatarvutuse sümbolkeelt. Kaasaegse sümbolloogika ja traditsioonilise loogika eesmärgid langevad kokku ja kaasaegne loogika on üle võtnud kõik positiivse, mida on avastanud ja uurinud traditsiooniline loogika. Abstraktset loogikalist sümboolikat on raamatus kasutatud minimaalselt.