Logic - OPNI4M102C

• Title: Logika
• Guaranteed by: Katedra matematiky a didaktiky matematiky (41-KMDM)
• Faculty: Faculty of Education
• Actual: from 2020
• Semester: winter
• E-Credits: 3
• Examination process: winter s.:
• Hours per week, examination: winter s.:1/1, C [HT]
• Extent per academic year: 0 [hours]
• Capacity: unknown / unknown (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: not taught
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Note: course can be enrolled in outside the study plan; enabled for web enrollment; priority enrollment if the course is part of the study plan
• Guarantor: prof. RNDr. Ladislav Kvasz, DSc., Dr.

Annotation

Last update: 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.

Aim of the course

Last update: 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.

Literature

Last update: 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.

 

Learning resources

Last update: 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