Sylabus
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.
Anotace
Kurs přibližuje tato témata: (1) Základní logické pojmy: logická forma, proměnná, syntax, sémiotika, vztah vyplývání. (2) Dějiny logiky: Aristotelova sylogistika, počátky výrokové logiky u stoiků, scholastická logika, znovuzrození formální logiky u G. W.
Leibnize, založení současné logiky G. Fregem. (3)Současná logika: výroková logika, jazyk výrokové logiky, přirozená dedukce (výroková, predikátová logika), neklasické logiky (trojhodnotová logika, modální logika).