PředmětyPředměty(verze: 962)
Předmět, akademický rok 2024/2025
   Přihlásit přes CAS
V sobotu dne 19. 10. 2024 dojde k odstávce některých součástí informačního systému. Nedostupná bude zejména práce se soubory v modulech závěrečných prací. Svoje požadavky, prosím, odložte na pozdější dobu.
Logika I. - L0189
Anglický název: Logic I
Zajišťuje: HTF - Katedra filozofie (28-05)
Fakulta: Husitská teologická fakulta
Platnost: od 2024
Semestr: letní
E-Kredity: 4
Způsob provedení zkoušky: letní s.:
Rozsah, examinace: letní s.:1/1, Zk [HT]
Rozsah za akademický rok: 28 [hodiny]
Počet míst: neurčen / neurčen (neurčen)
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Kompetence:  
Stav předmětu: vyučován
Jazyk výuky: čeština
Úroveň:  
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ý
Anotace
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.
Poslední úprava: Patová Kateřina, ThDr. (02.02.2018)
Sylabus

Ú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: Patová Kateřina, ThDr. (02.02.2018)
Podmínky zakončení předmětu

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: Patová Kateřina, ThDr. (02.02.2018)
Literatura
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.

Poslední úprava: Patová Kateřina, ThDr. (02.02.2018)
 
Univerzita Karlova | Informační systém UK