Loogika ja filosoofia

Põhjalik sissejuhatus formaalloogikasse „Loogika ja filosoofia: kaasaegne sissejuhatus” on põhjalik, kuid samas ligipääsetav teos, mis sobib õpilastele, kes puutuvad selle teemaga esmakordselt kokku. Rikkalikud ja hoolikalt koostatud harjutuskomplektid koos selge ja kaasahaarava ekspositsiooniga uurivad lauseloogikat, esimest järku predikaatloogikat, kirjeldusteooriat, samasust, seoseid, hulgateooriat, modaalloogikat ja Aristotelese loogikat. Ja nagu pealkirigi ütleb, on „Loogika ja filosoofia” pühendatud lisaks loogikale ka filosoofilistele debattidele, mis viisid selle valdkonna arenguni. 13. väljaandesse on lisatud palju uut materjali . Sissejuhatus hulgateooriasse ja selle seosesse loogika ja matemaatikaga, sealhulgas filosoofilised küsimused, on nüüd osa 13. peatükist. 15. peatükk on sissejuhatus modaalloogikasse ja Kripke semantikasse, mis lõpeb filosoofiliste probleemide aruteluga modaalsuste mis tahes loogilise akommodatsiooniga. Õpetajad, kes ei soovi esitada tõestusmeetodeid, leiavad peatükid nii lauseloogika kui ka esimest järku loogika tõeväärtuspuude kohta ja modaalloogika puude esitluse.

Selle teksti eripäradeks on loogika ajaloo esitlused, alternatiivid traditsioonilistele tingimusliku ja kaudse tõestuse meetoditele ning semantiliste probleemide arutelu universaalsete ja eksistentsiaalsete esinemisvormidega. Autorid on kogu teose vältel tundlikud filosoofilistele küsimustele, mis tulenevad tavakeele, sümboolse loogika ning erinevate sümboolsete keelte süntaksi ja semantika õigustuste vahelistest suhetest. Arutelud ulatuvad " kui ... siis" lausete lauselise esituse tõeväärtustabeli õigustusest semantiliste ja süntaktiliste paradoksideni, sealhulgas mõnede tavakeeles tekkivate murettekitavate paradoksideni (nt nn poomismehe või üllatusviktoriini paradoks).

Loogika ja filosoofia kursus sisaldab küllaldaselt materjali ühe- või kahesemestriliseks kursuseks ning pakub põhjalikku ettevalmistust edasijõudnutele loogikakursustele.