Loogika, keel ja tähendus, 1. köide

Kuigi kahte köidet „ Loogika, keel ja tähendus” saab kasutada teineteisest sõltumatult, pakuvad nad koos tervikliku ülevaate tänapäeva loogikast, mida kasutatakse loomuliku keele analüüsimise vahendina. Mõlemad köited pakuvad harjutusi ja nende lahendusi.

1. köide, Sissejuhatus loogikasse , algab ajaloolise ülevaatega ja pakub seejärel põhjaliku sissejuhatuse standardsesse propositsiooniloogikasse ja esimest järku predikaatloogikasse. See pakub nii süntaktilist kui ka semantilist lähenemist järeldusele ja kehtivusele ning käsitleb nende suhet. Kuigi keelele ja tähendusele pööratakse erilist tähelepanu, on see sissejuhatus arusaadav ka neile, kellel on üldisem huvi loogika vastu.

Lisaks sisaldab köide ülevaadet sellistest teemadest nagu kindlad kirjeldused, piiratud kvantifitseerimine, teist järku loogika ja mitmeväärtuslik loogika. Samuti käsitletakse pragmaatilist lähenemist mittetõesustingimuslikele ja tavapärastele implikatuuridele. Lõpuks käsitletakse loogika ja formaalse süntaksi vahelist seost ning selgitatakse ümberkirjutamise reegli, automatiseerimise, grammatilise keerukuse ja keelehierarhia mõisteid.