Logika - OPNI4M102C

• Anglický název: Logic
• Zajišťuje: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Fakulta: Pedagogická fakulta
• Platnost: od 2020
• Semestr: zimní
• E-Kredity: 3
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:1/1, Z [HT]
• Rozsah za akademický rok: 0 [hodiny]
• 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: nevyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu; při zápisu přednost, je-li ve stud. plánu
• Garant: prof. RNDr. Ladislav Kvasz, DSc., Dr.

Anotace

Poslední úprava: prof. RNDr. Ladislav Kvasz, DSc., Dr. (05.09.2019)

Předmět se zabývá základními pojmi klasické logiky, jejich syntaxí a sémantikou. Do kurzu je zařazen stručný úvod do výrokového počtu a predikátového počtu. Důraz je kladen na analýzu konkrétních příkladů a rozbor logických paradoxů. Probíraná témata: Platné a neplatné úsudky. Pojem logické platnosti. Pravdivostní tabulky jednotlivých logických spojek. Jména a kvantifikátory, rozdíly jejich syntaxe a sémantiky. Deskripce a existence, paradox "existující zlaté hory". Implikace a vyplývání, podobnosti a rozdíly Vágnost v jazyce a možnosti její formalizace. Pravděpodobnost a její vztah k logice. Historie logiky -- Aristoteles, Frege, Russell.

Cíl předmětu

Poslední úprava: doc. RNDr. Antonín Jančařík, Ph.D. (08.12.2019)

Cílem předmětu je vysvětlit studentům potřebu formalizace logiky a předvést formalizaci klasického výrokového počtu. Důraz se klade na odlišení sémantiky a syntaxe logického kalkulu a na objasnění jejich vzájemného vztahu. Kurs vyvrcholí důkazem věty o úplnosti výrokového počtu, která formálně ukazuje, že formalizace výrokového počtu byla "správná", tedy že každý argument, který je sémanticky správný (t.j. platný) je možné ve formálním systému odvodit.

Literatura

Poslední úprava: prof. RNDr. Ladislav Kvasz, DSc., Dr. (05.09.2019)

Graham Priest: Logika, průvodce pro každého. Dokořán 2007.

Raymond M. Smullyan: Jak se jmenuje tahle knížka? Mladá Fronta 1986.

Jan Svatek a Ludmila Dostálová: Logika pro humanistiku. Dobrá voda 2003.

Prokop Sousedík: Logika pro studenty humanitních oborů. Vyšehrad 2001.

Herbert B. Enderton: A mathematical introduction to logic. Harcourt Academic Press 2001.

 

Studijní opory

Poslední úprava: doc. RNDr. Antonín Jančařík, Ph.D. (10.01.2020)

K předmětu je připraven kurz v LMS Moodle: https://dl1.cuni.cz/course/view.php?id=2015

přístup pro hosta s heslem: akreditace