Předmět Logika (Bc1 ) (AFS100002)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu AFS100002 - Logika (Bc1 ), Filozofická fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Sylabus
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.
Požadavky
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í.
Garant
doc. PhDr. Vojtěch Kolman, Ph.D.
Vyučující
doc. PhDr. Vojtěch Kolman, Ph.D.