Logika pro humanistiku

More about the book

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.