Logika I. - L0189

• Anglický název: Logic I
• Zajišťuje: HTF - Katedra filozofie (28-05)
• Fakulta: Husitská teologická fakulta
• Platnost: od 2023
• Semestr: zimní
• E-Kredity: 4
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:1/1, Zk [HT]
• Rozsah za akademický rok: 28 [hodiny]
• Počet míst: neomezen / neomezen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: čeština
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu; při zápisu přednost, je-li ve stud. plánu
• Garant: Mgr. Robin Kopecký
• Vyučující: Mgr. Robin Kopecký

Anotace

Poslední úprava: ThDr. Kateřina Patová (02.02.2018)

Cílem předmětu Logika I. je zprostředkovat studentům porozumění základním pojmům a úkolům logiky, naučit je řešit příklady klasické logiky a tak poskytnout předpoklady pro pochopení logické struktury výrazů. Kurs stručně seznamuje se základními pojmy a požadavky logických systémů: indukce a dedukce; klasické a neklasické logiky; syntax a sémantika; termín a pojem; odvozování a vyplývání; základy aristotelské logiky; řešení sylogismů pomocí metody Vennových diagramů; výroková a predikátová logika. Klasická logika je zpřístupněna na základě gentzenovského systému přirozené dedukce (který neklade na studenty humanitních oborů neúměrné nároky), látka se procvičuje na řadě příkladů. Důraz je kladen na pochopení pojmu logické pravdivosti a schopnost rozlišit výrazy objektového jazyka a metajazyka. Student tak získává nezbytné předpoklady k pochopení problémů metodologie vědy a postavení logiky vzhledem k filosofii a jiným vědám.

Sylabus

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.

Podmínky zakončení předmětu

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.

Literatura

Poslední úprava: ThDr. Kateřina Patová (02.02.2018)

Povinná:
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.