Sylabus
Predikátová logika: pokračování - další pravidla odvozování v PL. Cvičení: procvičování probrané látky.
Predikátová logika: důkaz na základě pravidel PL. Cvičení: ověřování platnosti důkazu.
Predikátová logika: transformace výrazů s více kvantifikátory. Cvičení: procvičování probrané látky.
Jazyk a metajazyk (antinomie a paradoxy). Cvičení: řešení úloh.
Modalita a možné světy. Cvičení: řešení úloh z dřívějšího učiva.
Teorie definic. Cvičení: komentovaná četba textu.
Teorie pojmu: historie (Bozano, Frege aj.) Cvičení: komentovaná četba. Teorie pojmu: intenze a extenze.
Cvičení: komentovaná četba. Teorie pojmu: pokračování.
Cvičení: komentovaná četba. Uplatnění logiky v etice: význam metaetiky.
Cvičení: komentovaná četba textu. Problémy metaetiky.
Cvičení: komentovaná četba textu. Problémy metaetiky.
Cvičení: komentovaná četba textu. Supervenience a zevšeobecnitelnost.
Cvičení: komentovaná četba textu k tématu. Ř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í absolvování alespoň s výsledným hodnocením velmi dobře. Rozšiřuje znalost predikátové logiky 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ž dává i schopnost vyvarovat se vlastních chybných formulací.