|
|
|
||
Poslední úprava: ThDr. Kateřina Patová (02.02.2018)
|
|
||
Poslední úprava: ThDr. Kateřina Patová (02.02.2018)
Úvod do logiky. Pojem logiky a jeho proměny. Indukce a dedukce. Klasická a neklasické logiky. Aristotelovo Organon jako základ evropské logiky a přehled jeho témat. Pojem, výrok, argument. Důkaz a vztah vyplývání. Syntax, sémantika a pragmatika. Cvičení: nahrazeno přednáškou, výměnou za 14. hod., kdy naopak jen cvičení. Druhy výroků v aristotelské sylogistice; logický čtverec. Figury aristotelské sylogistiky a řešení příkladů s její pomocí. Cvičení: zápis výroků 4 typů a řešení některých jednoduchých příkladů. Řešení úloh aristotelské sylogistiky pomocí sémantické metody Vennových diagramů; podmínka neprázdných množin. Cvičení: Řešení úloh pomocí Vennových diagramů. Výroková logika. Definice výrokových spojek pomocí pravdivostních tabulek. Negátor a 16 možných binárních funkcí: zdůvodnění výběru 4 spojek. Cvičení: Řešení úloh pomocí Vennových diagramů. Výroková logika. Používání 4 binárních spojek, přepis vět z přirozeného jazyka do jazyka výrokové logiky. Cvičení: přepis vět z přirozeného jazyka do jazyka výrokové logiky. Výroková logika. Zavedení systému výrokové logiky pomocí 7 základních pravidel (na základě Gentzenova systému přirozené dedukce). Tabulková metoda určování pravdivosti formulí. Tautologie, kontradikce a neutrální formule jazyka výrokové logiky. Cvičení: používání tabulkové metody. Výroková logika: definice správně utvořené formule. Jazyk a metajazyk. Syntax, sémantika a axiomatický systém. Cvičení: řešení příkladů na základě zavedených pravidel. Výroková logika. Odvozená pravidla výrokové logiky. Cvičení: řešení příkladů na základě zavedených pravidel. Výroková logika. Další odvozená pravidla výrokové logiky, De Morganovy zákony, zákony nahrazení a negování implikace. Cvičení: řešení příkladů na základě zavedených pravidel. Predikátová logika: Základní pojmy. Cvičení: zápis do formalizovaného jazyka. Predikátová logika: Výstavba jazyka PL. Cvičení: přepis výrazů přirozeného jazyka do jazyka PL. Predikátová logika: Základní pravidla odvozování v PL. Cvičení: používání základních pravidel odvozování v PL. Predikátová logika: Interpretace logického kalkulu a definice logické pravdivosti na základně PL. Cvičení: přepis výrazů přirozeného jazyka do jazyka PL a používání pravidel odvozování v PL. Řešení příkladů z výrokové a predikátové logiky a opakování celé látky formou písemného testu. |
|
||
Poslední úprava: ThDr. Kateřina Patová (02.02.2018)
Aktivní účast ve výuce 80%, prokázání schopnosti řešit méně náročné úlohy výrokové a predikátové logiky v závěrečném testu a následně prokázat ovládnutí probrané teoretické látky při ústní zkoušce. |
|
||
Poslední úprava: ThDr. Kateřina Patová (02.02.2018)
GAHÉR, F. (2003). Logika pre každého. 3. doplnené vydanie. Bratislava: IRIS. 432 s. SOUSEDÍK, P. (2001). Logika pro studenty humanitních oborů. 2. rozšířené vydání. Praha: Vyšehrad. 220 s. MATERNA, P. (2000). Svět pojmů a logika. 2., opr. vydání. Praha: Filosofia. 135 s. KOLÁŘ, P., SVOBODA, V. (1997). Logika a etika.: Úvod do metaetiky. Praha: Filosofia. 276 s. Doporučená:SVATEK, J., DOSTÁLOVÁ, L. (2003) Logika pro humanistiku. Dobrá Voda: Aleš Čeněk. 231 s. ŠTĚPÁN J. (1995). Formální logika. Olomouc: Fin. 110 s. |