Jak Začít?

Máš v počítači zápisky z přednášek
nebo jiné materiály ze školy?

Nahraj je na studentino.cz a získej
4 Kč za každý materiál
a 50 Kč za registraci!




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.