Annotation
Předmět se zabývá základy klasického výrokového a predikátového počtu. Výrokový a predikátový počet jsou postaveny do kontrastu s aristotelovskou logikou. Na základě toho jsou vysvětleny principy formalizace logiky (pojem elementárního výroku, způsob kvantifikace a pod.) Následně jsou zavedeny axiomy výrokového a predikátového počtu, je vysvětlena sémantika a syntaxe a je formalizován pojem důkazu. Kurz vrcholí důkazem věty o úplnosti výrokového poč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. V rámci předmětu se budeme zabývat nasledujícíma tématy:
1. co je to logicky platný argument
2. jako se pokoušel logickou argumentaci formalizovat Aristoteles
3. v čem byla Aristotelova formalizace nedostačující
4. základní principy formalizace moderní logiky
5. pojem tautologie a logického axiomu
6. syntaxe a sémantika jednotlivých logických spojek
7. teoréma o dedukci jako jeden z běžných způsobů argumentace
8. Gentzenův systém přirozené dedukce
9. kvantifikace a axiomatizace predikátového počtu
10. věta o úplnosti výrokového počtu jako odměna za formalizaci