Knihy
Úvod »Rímske právo» Základy logiky pre spoločenskovedné a humanitné odbory
Logika sa zaoberá metódami, pomocou ktorých možno odlíšiť platné a neplatné argumenty, vytvára a študuje formálne jazyky, do ktorých sa dajú argumenty z prirodzených jazykov preložiť, aby sa zvýraznili aspekty relevantné pre platnosť a neplatnosť argumentov.
Kniha približuje najdôležitejšie logické systémy a teórie určitých výrazov, ktoré sa uplatňujú v argumentoch. Rozoberá výrokovú a predikátovú logiku a vysvetľuje základy niektorých neklasických logík - konkrétne aletickú, epistemickú a deontickú logiku. Formálny výklad jednotlivých logických systémov je doplnený neformálnym vysvetlením základných ideí a aplikáciou aparátu daného logického systému na relevantné oblasti prirodzených jazykov.