Syllabus
1. Základní pojmy
2. Dějinný přehled a problém vzniku logiky.
3. Aristotelská logika, spisy Organonu, deduktivní pojetí vědy.
4. Nauka o pojmu a nauka o výroku.
5. Aristotelská sylogistika: převody nedokonalých modů na mody dokonalé.
6. Řešení aristotelských sylogismů pomocí Vennových diagramů.
7. Megarsko - stoická škola: obecná charakteristika.
8. Megarsko - stoická metoda přirozené dedukce.
9. Tabulková metoda.
10. Scholastická logika.
11. Novověká logika: F. Bacon - induktivní pojetí vědy; G. W. Leibniz - characteristica universalis.
12. G. Frege: vznik moderní logiky, přepisy pomocí predikátové logiky.
13. Neklasické logiky.
Annotation
The course approaches the following topics: (1) Basic concepts of logic: logical form, variable, syntax, semiotics, th relationship of inference. (2) History of logic: Aristotle sylogistic, the beginnings of propositional logic in Stoa, scholastic logic, rebirth of formal logic in Leibniz`s work, establishing a current logic by G. Frege. (3)Current logic: propositional logic, the language of propositional logic, natural deduction (propositional and predicate logic), nonclassical logic (three-valued logic, modal logic).