Daniel D. Novotný (KFI)
Z WiKi TF
výuka v LS 2018-19
LS 2017/18 Formální a filosofická logika 2
Cílem předmětu je seznámení se s pojmy moderní klasické logiky (výrokové a predikátové), v komparaci s logikou tradiční. Dále se budeme zabývat i některými vybranými tématy (axiomatizace, modální logika, atd.)
