Kontrastsus Suurenda teksti Eng Rus
Veebiraamatukogu

Sisene

Sirvi:

Kategooriad Autorid Esitajad Väljaandjad Märksõnad
Avaleht Traditsiooniline formaalne loogika

Traditsiooniline formaalne loogika

Autor: Vuks, Galina
Ilmumisandmed: Tartu : Iuridicum, 1999
Maht: 1.7 MB
Vorming: DOC
Laad: Elektrooniline teavik
Keel: eesti

Sisututvustus

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.
Teavikut alla laadida, kuulata ja lugeda saavad kasutajad, kellele administraator on andnud vastava õiguse.