Sylabus
1. Predikátová logika: pravidla odvozování v PL. Cvičení: procvičování probrané látky
2. Predikátová logika: důkaz na základě pravidel PL. Cvičení: ov ěřování platnosti důkazu
3. Predikátová logika: transformace výrazů s více kvantifikátory. Cvičení: procvičování probrané látky
4. Jazyk a metajazyk (antinomie a paradoxy). Cvičení: řešení úloh
5. Modalita a možné světy. Cvičení: řešení úloh z dřívějšího učiva
6. Teorie definic. Cvičení: komentovaná četba textu
7. Teorie pojmu: historie (Bozano, Frege aj.) Cvičení: komentovaná četba
8. Teorie pojmu: intenze a extenze. Cvičení: komentovaná četba
9. Teorie pojmu: pokračování. Cvičení: komentovaná četba
10. Uplatnění logiky v etice: význam metaetiky. Cvičení: komentovaná četba textu
11. Problémy metaetiky. Cvičení: komentovaná četba textu
12. Problémy metaetiky. Cvičení: komentovaná četba textu
13. Supervenience a zevšeobecnitelnost. Cvičení: komentovaná četba textu k tématu
14. Řešení příkladů z klasické logiky a opakování celé látky formou písemného testu
Anotace
Kurs Logika II. navazuje na Logika I. a vyžaduje jeho předchozí úspěšné absolvování. Rozšiřuje znalost klasické logiky o predikátovou logiku a následně se zaměřuje na logické otázky stavby přirozeného jazyka.
Seznamuje s logikou možných světů a s teorií definic a velká pozornost je věnována zvláště teorii pojmu. Závěrečná část kursu je věnována uplatnění logiky ve filosofii, konkrétně v etice.
Kurs je určen studentům humanitních oborů a dává předpoklady (ve formě teoretických znalostí i průpravy ve cvičeních) ke kritickému posuzování textů po stránce logické korektnosti, což pomáhá i schopnosti vyvarovat se vlastních chybných formulací.