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í
• 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

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.

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

Cíl předmětu

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.

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

Literatura

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.

 

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

Studijní opory

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

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