Logika 2

Témata

Moderní logika

• 1 Výroková logika (Berka)

• 2 Predikátová logika (Berka)

• 3 Logická sémantika a syntax - prohloubení některých aspektů jazyka predikátové logiky (Cmorej)

Exkurs: Moderní vs. tradiční logika

Moderní logika a vybrané filosofické souvislosti (Kolář)

Přehled

Moderní logika 1: výroková logika

14.02.2023 TÝDEN 1: Úvod + Výroková logika 1 (Berka, Logika, kap. 1-7)

• KLÍČOVÉ POJMY: formální logika, dedukce, jméno, jméno výrazu, proměnná výrazu, jmenná forma/funkce, výrok, výrokové formy/funkce
• DÚ1: poznámky ze samostudiua K. Berky, Logika, 1978, s. 7-32 (alespoň část)

18.02.2023 KFFL2 (13.00-16.15 v TK 4.08) Úvod + Výroková logika

21.02.2023 TÝDEN 2: Výroková logika 2 (Berka, Logika, kap. 1-7)

• KLÍČOVÉ POJMY: negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky
• DU2: poznámky ze samostudiua K. Berky, Logika, 1978, s. 7-32 (dokončení)

28.02.2023 TÝDEN 3: Výroková logika 3 (Berka, Logika, kap. 8-10)

• KLÍČOVÉ POJMY: formule a sekvence výrokové logiky, tabulková metoda, výrokově-logické vyplývání, kontradikce, tautologie, splnitelné formule
• DU3: poznámky a otázky ze samostudia K. Berky, s. 32-45

Moderní logika 2: predikátová logika

07.03.2023 TÝDEN 4: Predikátová logika 1 - setkání pouze online

• KLÍČOVÉ POJMY: množiny, predikáty, individua, obecná a existenční tvrzení, kvantifikátory
• DU4: * poznámky a otázky ze samostudia K. Berky, s. 46-57 (predikátová logika)

14.03.2023 TÝDEN 5: Predikátová logika 2

• KLÍČOVÉ POJMY: volné a vázané výskyty proměnných, formule a sekvence predikátové logiky
• DU5: poznámky a otázky ze samostudia K. Berky, s.57-66 (predikátová logika - odvozování)

21.03.2023 TÝDEN 6: Predikátová logika 3

• KLÍČOVÉ POJMY: metoda protipříkladů, pravidla správného usuzování a odvozování
• DU6: poznámky a otázky ze samostudia K. Berky, s.67-82

25.03.2023 KFFL2 (9.00-10.30 v TK 115) Predikátová logika

28.03.2023 TÝDEN 7: setkání není

• DU-bonus: reflexe k predikátové logice (např. k obtížnějším částem do s. 82; dle zájmu lze také dokončit celou kapitolu do s. 98)

04.04.2023 TÝDEN 8: opakovací zkouška 1

• DU-bonusOZ1: lze doplnit a opravit slabá místa v testu k doplnění bodů

11.04.2023 TÝDEN 9: Logická sémantika a syntax - opakovací zkouška 1: pokračovaní

• KLÍČOVÉ POJMY:
• DU7: četba Cmorej 1-3

15.04.2023 KFFL2 (10.45-12.15 v TK 112) opakovací zkouška 1

18.04.2023 TÝDEN 10

• KLÍČOVÉ POJMY:
• DU8: četba Cmorej 4–6

25.04.2023 TÝDEN 11

• DU9: četba Cmorej 10–11

02.05.2023 TÝDEN 12

• DU10: četba Kolář (Úvod + Hlava I bez kap. 2)

09.05.2023 TÝDEN 12

• DUBonus: celková reflexe (Co bylo obtížné? Co mě obohatilo?)

13.05.2023 KFFL2 (9.00-12.15 v TK 112) dokončení předmětu

16.05.2023 setkání není

20.05.2023 KFFL2 (13.00-16.15 v TK 112) opakovací test 2

23.05.2023 Kolář

30.05.2023 Opakovací test 2

Požadavky

Známka bude udělena dle počtu bodů, jež lze získat účastí na semináři, domácími úkoly (2x15b), opakovacími testy (2x10b), příp. ústním dozkoušením. K dispozici jsou i bonusové body. :-)

Zátěž 4 x 25 h (4 kredity)

Literatura

Základní

• Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978.
• Cmorej, Pavol. Úvod do logické syntaxe a sémantiky, Triton, Praha 2002.
• Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999.

Rozšiřující:

• CORCORAN, John. Argumentace a logika. Argumentation. (1989/2019)
• Sousedík, Prokop. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001.

Doplňující

• Frege, Gottlob, Pojmopis, 1879/2012
• Peregrin, Jaroslav a Marta Vlasáková, Filosofie logiky, Praha 2017.
• Priest, Graham, Logika, 2007
• Svoboda, Vladimír a Jaroslav Peregrin, Od jazyka k logice: Filosofický úvod do moderní logiky, Praha 2009.

Seznam studentů FFL2

Seznam studentů KFFL2

BEREDZAS Michal, DU01-05.,

BORZOVÁ Veronika, DU01-08, OZ01(14)

BOUCHAL Alexander, +, DU01-08, OZ(10)

FOŠUM Josef, ++

HLAVEŠOVÁ Ilona, ++

HOUŠKA Matěj, +

JAREŠ David, +

LIBECAJT Martin, ++

LE MINH Dung, +

MIKEŠ, Zdeněk +

SMITEK Petr, +