Logika pro humanistiku

Tato knížka vznikla především na zákaldě potřeb kursu Logika pro humanistiku. Jejím hlavním cílem proto je uvedení do základních témat logiky, jako je aristotelská sylogistika, úvod do výrokové i predikátové logiky, logiky tříd i logiky relací. Důraz je kladen především na syntaktické zvládnutí aparátu moderní matematické logiky (jako jsou např. transformace formulí), otázky vyplývání a dokazování stejně jako sémantika jsou přenechány vyššímu kursu a tedy i jiné učebnici. Na závěr je vyložena teorie argumentace, doplněny jsou také stručné dějiny logiky a přehled logik neklasických.