|
Vyučující
|
-
Číhalová Martina, PhDr. Ph.D.
-
Šebela Karel, Mgr. Ph.D.
|
|
Obsah předmětu
|
Kurz poskytuje základy výrokové logiky a teorie logického vyplývání. Studenti získají dovednost převádět věty přirozeného jazyka do jazyka výrokové logiky a schopnost ověřování platnosti úsudků. Kurz se rovněž dotýká problematiky logické argumentace a argumentačních chyb, které souvisejí s chybným užitím logických operátorů a odvozovacích pravidel. Nabyté znalosti jsou procvičovány na konkrétních příkladech. Obsah: 1. Úvod. Vymezení a klasifikace logiky. Teorie logického vyplývání. Vlastnosti platných úsudků. 2. Logická argumentace a argumentační chyby, které souvisejí s chybným užitím logických operátorů a odvozovacích pravidel. 3. Základní pojmy výrokové logiky. Přehled spojek. Syntax a sémantika VL. Dobře utvořené formule. Model formule. Splnitelné formule, kontradikce, ekvivalence. 4. Logická analýza přirozeného jazyka. Převod formulí přirozeného jazyka do jazyka VL. 5. Sémantické metody VL. Tabulková metoda. Metoda sémantického sporu. Ověřování formulí. 6. Ekvivalentní úpravy spojek, negování formulí. 7. Úplné systémy spojek VL. Reprezentace pravdivostních funkcí. Funkční úplnost. 8. Normální formy formulí, ověřování, zda je formule tautologie, kontradikce, splnitelná. 9. Typy důkazů. Věta o dedukci a modifikace důkazů. Bezespornost a úplnost. 10. Přirozená dedukce ve VL. Systém odvozovacích pravidel. 11. Důkazy teorémů VL. Ověřování úsudků důkazem. 12. Definice, explikace, klasifikace.
|
|
Studijní aktivity a metody výuky
|
|
Přednášení
|
|
Výstupy z učení
|
Cílem předmětu je, aby studenti zvládli analyzovat věty přirozeného jazyka v jazyce výrokové logiky a byli schopni ověřovat platnost úsudků sémantickými metodami (tabulková metoda, metoda sémantického sporu) a syntaktickou metodou přirozené dedukce.
Studenti získají dovednost převádět věty přirozeného jazyka do jazyka výrokové logiky a schopnost ověřování platnosti úsudků. Budou se umět identifikovat argumentační chyby spočívající v chybném užití logických operátorů a odvozovacích pravidel.
|
|
Předpoklady
|
Studium není podmíněno absolvováním jiných kursů.
|
|
Hodnoticí metody a kritéria
|
Písemná zkouška
|
|
Doporučená literatura
|
-
J. Štěpán. (2001). Klasická logika. Olomouc.
-
M. Číhalová. (2015). Studentův průvodce kurzem Klasická logika. Západočeská univerzita v Plzni.
|