Jan Svátek Libri

Tato kniha vznikla na základě potřeb kursu Logika pro humanistiku. Jejím hlavním cílem je uvedení do základních témat logiky, jako je aristotelská sylogistika, úvod do výrokové a predikátové logiky, logiky tříd i logiky relací. Důraz je kladen na syntaktické zvládnutí aparátu moderní matematické logiky, jako např. transformace formulí. Na závěr je vyložena teorie argumentace, doplněny jsou také stručné dějiny logiky a přehled logik neklasických.

Publikace je určena pro zájemce o umělou inteligenci, filozofii, práva a učitelství.