Předmět Úvod do logické argumentace (KFI / ULA)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KFI / ULA - Úvod do logické argumentace, Filozofická fakulta, Univerzita Palackého v Olomouci (UP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Obsah
Obsah kurzu: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.
Získané způsobilosti
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 umět identifikovat argumentační chyby spočívající v chybném užití logických operátorů a odvozovacích pravidel.
Literatura
Štěpán, J. (2001). Klasická logika. Olomouc: Univerzita Palackého v Olomouci. Tugendhat, E. - Wolf, U. Logicko-sémantická propedeutika. Praha, 1997.
Požadavky
aktivní účast, písemný test
Garant
PhDr. Martina Číhalová, Ph.D.
Vyučující
PhDr. Martina Číhalová, Ph.D.Mgr. Karel Šebela, Ph.D.prof. RNDr. PhDr. Jan Štěpán, CSc.Mgr. Jana RoztočilováMgr. Zuzana RybaříkováMgr. Karel Šebela, Ph.D.