Logika (Bc2) - AFS400001

• Anglický název: Logic (BA, double-subject)
• Zajišťuje: Ústav filosofie a religionistiky (21-UFAR)
• Fakulta: Filozofická fakulta
• Platnost: od 2016 do 2019
• Semestr: zimní
• Body: 2
• E-Kredity: 3
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:2/0, Z [HT]
• Počet míst: neurčen / neurčen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Je zajišťováno předmětem: AFS100002
• Další informace: https://dl1.cuni.cz/enrol/index.php?id=4931
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu
• Garant: prof. PhDr. Vojtěch Kolman, Ph.D.
• Záměnnost : AFS100002

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 a průběžným řešením úkolů prostřednictvím moodlu (https://dl1.cuni.cz/course/view.php?id=8046). Úkoly je třeba řešit ve stanoveném termíny, na pozdější odevzdání nebude brán zřetel s ohledem na rovnost podmínek pro všechny účastníky kurzu.

Sylabus

Poslední úprava: prof. PhDr. Vojtěch Kolman, Ph.D. (21.09.2020)

V kurzu 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. Všechna témata budou probrána s ohledem na jejich filosofické aspekty.