Logika 2

Témata

Moderní logika

• 1 Výroková logika (Berka)

• 2 Predikátová logika (Berka)

• 3 Logická sémantika a syntaxe - 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

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

• 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

• DU7: četba Cmorej 1-3

18.04.2023 TÝDEN 10

25.04.2023 TÝDEN 11

02.05.2023 TÝDEN 12

09.05.2023 TÝDEN 12

16.05.2023 FINIS naneštěstí je třeba najít náhradní setkání z důvodů služební cesty

Požadavky

Známka bude udělena dle počtu bodů, jež lze získat účastí na semináři, domácími úkoly (10b), opakovacími testy (2x10b), příp. ústním dozkoušením. 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
• Priest, Graham, Logika, 2007
• Peregrin, Jaroslav a Marta Vlasáková, Filosofie logiky, Praha 2017.

Seznam studentů FFL2

Seznam studentů KFFL2