Logika 2: Porovnání verzí
| Řádka 45: | Řádka 45: | ||
* DU6: poznámky a otázky ze samostudia K. Berky, s.67-82 | * DU6: poznámky a otázky ze samostudia K. Berky, s.67-82 | ||
| − | '''28.03.2023 TÝDEN 7''': setkání není | + | '''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) | * 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 | * DU7: četba Cmorej 1-3 | ||
| − | |||
| − | |||
| − | |||
'''18.04.2023 TÝDEN 10''' | '''18.04.2023 TÝDEN 10''' | ||
Verze z 21. 3. 2023, 15:04
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
