An introductory course of logic for students of philosophy.
Literatura
Poslední úprava: prof. PhDr. Vojtěch Kolman, Ph.D. (21.09.2020)
Kolman. Vojtěch; Punčochář, Vít, Formy jazyka. Úvod do logiky a její filosofie. Filosofia, Praha 2015.
Tugendhat, Ernst; Wolf, Ursula, Logicko--sémantická propedeutika, Rezek, Praha 1997.
Wittgenstein, Ludwign, Tractatus logico-philosophicus, Oikumené, Praha 2017.
Požadavky ke zkoušce
Poslední úprava: prof. PhDr. Vojtěch Kolman, Ph.D. (21.09.2020)
Požadavky k zápočtu i ke zkoušce jsou dány celým objemem probrané látky, vzorové testy a otázky ke zkoušce budou probírány v rámci Rozšiřujícího cvičení. Doporučuje se pravidelná účast s nejvýše třemi absencemi.
Sylabus
Poslední úprava: prof. PhDr. Vojtěch Kolman, Ph.D. (21.09.2020)
V zimním semestru bude probrána sémantika klasické výrokové logiky s důrazem na základní sémantické pojmy jako je úplnost množiny spojek, logická pravda, logické vyplývání, logická ekvivalence, dualita. Následovat bude axiomatizace výrokové logiky. V závěru semestru se budeme věnovat sylogistice a základům teorie množin. Stručně zmíněny budou také některé neklasické logiky.
Hlavním tématem letního semestru bude klasická predikátová logika s důrazem na přesnou formulaci Tarského definice pravdy a na ní vystavěné sémantické pojmy. Zformulujeme metodu sémantických stromů pro výrokovou i predikátovou logiku a dokážeme její úplnost. Všechna témata budou probrána s ohledem na jejich filosofické aspekty.