Logika 2: Porovnání verzí
Z WiKi TF
| Řádka 13: | Řádka 13: | ||
'''Přehled''' | '''Přehled''' | ||
| − | '''14.02.2023''' Úvod + Výroková logika 1 (Berka, ''Logika'', kap. 1-7) | + | '''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 | * 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. | * DÚ1: poznámky ze samostudiua K. Berky, ''Logika'', 1978, s. 7-32. | ||
| Řádka 19: | Řádka 19: | ||
'''18.02.2023 KFFL2''' (13.00-16.15 v TK 4.08) ''Úvod + Výroková logika 1 + opakování'' | '''18.02.2023 KFFL2''' (13.00-16.15 v TK 4.08) ''Úvod + Výroková logika 1 + opakování'' | ||
| − | '''21.02.2023''' Výroková logika 2 (Berka, ''Logika'', kap. 1-7) | + | '''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 | * KLÍČOVÉ POJMY: negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky | ||
* DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45 | * DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45 | ||
| − | '''28.03.2023 ''' Výroková logika 3 (Berka, ''Logika'', kap. 8-10) | + | '''28.03.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 | * 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. 46-57 (predikátová logika) | * DU3: poznámky a otázky ze samostudia K. Berky, s. 46-57 (predikátová logika) | ||
| − | '''07.03.2023''' Predikátová logika 1 | + | '''07.03.2023''' TÝDEN 4: Predikátová logika 1 |
* KLÍČOVÉ POJMY: množiny, predikáty, individua, obecná a existenční tvrzení, kvantifikátory | * 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.57-66 (predikátová logika) | * DU4: poznámky a otázky ze samostudia K. Berky, s.57-66 (predikátová logika) | ||
| Řádka 33: | Řádka 33: | ||
REVIZE DOKONCENA SEM, BUDU POKRACOVAT | REVIZE DOKONCENA SEM, BUDU POKRACOVAT | ||
| − | '''14.03.2023''' | + | '''14.03.2023''' TÝDEN 5: |
'''21.03.2023 KFFL2''' (9.00-12.15 v TK 112) ''opakování'' | '''21.03.2023 KFFL2''' (9.00-12.15 v TK 112) ''opakování'' | ||
| − | '''28.03.2022''' Predikátová logika (''opakování'') | + | '''28.03.2022''' TÝDEN 6: Predikátová logika (''opakování'') |
* KLÍČOVÉ POJMY: volné a vázané výskyty proměnných, formule a sekvence predikátové logiky | * KLÍČOVÉ POJMY: volné a vázané výskyty proměnných, formule a sekvence predikátové logiky | ||
* DU4-bonus: příklady na predikátovou logiky ze s. 57-66 | * DU4-bonus: příklady na predikátovou logiky ze s. 57-66 | ||
| − | '''29.03.22''' Predikátová logika | + | '''29.03.22''' TÝDEN 7: Predikátová logika |
* DU5: poznámky a otázky ze samostudia K. Berky, s.67-75 (predikátová logika - protipříklady, pravidla správného usuzování) | * DU5: poznámky a otázky ze samostudia K. Berky, s.67-75 (predikátová logika - protipříklady, pravidla správného usuzování) | ||
* DU (bonus): poznámky a otázky ze samostudia K. Berky, s.76-98 (predikátová logika - odvozování) | * DU (bonus): poznámky a otázky ze samostudia K. Berky, s.76-98 (predikátová logika - odvozování) | ||
| − | '''05.04.22''' Predikátová logika | + | '''05.04.22''' TÝDEN 8: Predikátová logika |
* DU6: četba Cmorej 1-3 | * DU6: četba Cmorej 1-3 | ||
| Řádka 55: | Řádka 55: | ||
'''19.04.22''' ''pokračování v Opakovacím testu 2 + procvičování knihy Cmoreje'' | '''19.04.22''' ''pokračování v Opakovacím testu 2 + procvičování knihy Cmoreje'' | ||
| − | '''26.04.22''' Pojmy logické sémantiky a syntaxe | + | '''26.04.22''' TÝDEN 9: Pojmy logické sémantiky a syntaxe |
KLÍČOVÉ POJMY: | KLÍČOVÉ POJMY: | ||
* 1. jazyk (syntaktika a sémantika, fyzické a ideální znaky, umělé a přirozené jazyky, syntax a extenzionální sémantika jazyka prvního řádu), | * 1. jazyk (syntaktika a sémantika, fyzické a ideální znaky, umělé a přirozené jazyky, syntax a extenzionální sémantika jazyka prvního řádu), | ||
| Řádka 63: | Řádka 63: | ||
'''13.05.2023 KFFL2''' ''naneštěstí je třeba neléz náhradní setkání'' | '''13.05.2023 KFFL2''' ''naneštěstí je třeba neléz náhradní setkání'' | ||
| − | '''03.05.22''' úvod do četby P. Koláře | + | '''03.05.22''' TÝDEN 10: úvod do četby P. Koláře |
* DU7: vypisky Cmorej (celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus) | * DU7: vypisky Cmorej (celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus) | ||
| Řádka 71: | Řádka 71: | ||
* KLÍČOVÉ POJMY: kap. 9: kvantifikace výrokové formy, volné a vázané proměnné, dosah kvantifikátoru, výrokové vormy s volnými a vázanými proměnnými (výrokové formy vs. výroky). | * KLÍČOVÉ POJMY: kap. 9: kvantifikace výrokové formy, volné a vázané proměnné, dosah kvantifikátoru, výrokové vormy s volnými a vázanými proměnnými (výrokové formy vs. výroky). | ||
| − | '''10.05.22''' | + | '''10.05.22''' TÝDEN 11: Četba P. Koláře, příp. výklad: Axiomatizace + Modální logika |
| − | '''17.05.22''' Tradiční vs. moderní logika + Filosofická logika | + | '''17.05.22''' TÝDEN 12: Tradiční vs. moderní logika + Filosofická logika |
* KLÍČOVÉ POJMY: spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd. | * KLÍČOVÉ POJMY: spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd. | ||
* DU8: vypisky Cmorej ((celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus)) | * DU8: vypisky Cmorej ((celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus)) | ||
Verze z 14. 2. 2023, 11:51
Témata
Moderní logika 1: výroková logika (Berka)
Moderní logika 2: predikátová logika (Berka)
Moderní logika 3: prohloubení nekterých askpektů logické sémantiky a syntaxe (Cmorej)
Moderní vs. tradiční logika
Moderní logika: vybrané filosofické souvislosti (Kolář)
Přehled
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.
18.02.2023 KFFL2 (13.00-16.15 v TK 4.08) Úvod + Výroková logika 1 + opakování
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 a otázky ze samostudia K. Berky, s. 32-45
28.03.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. 46-57 (predikátová logika)
07.03.2023 TÝDEN 4: Predikátová logika 1
- 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.57-66 (predikátová logika)
REVIZE DOKONCENA SEM, BUDU POKRACOVAT
14.03.2023 TÝDEN 5:
21.03.2023 KFFL2 (9.00-12.15 v TK 112) opakování
28.03.2022 TÝDEN 6: Predikátová logika (opakování)
- KLÍČOVÉ POJMY: volné a vázané výskyty proměnných, formule a sekvence predikátové logiky
- DU4-bonus: příklady na predikátovou logiky ze s. 57-66
29.03.22 TÝDEN 7: Predikátová logika
- DU5: poznámky a otázky ze samostudia K. Berky, s.67-75 (predikátová logika - protipříklady, pravidla správného usuzování)
- DU (bonus): poznámky a otázky ze samostudia K. Berky, s.76-98 (predikátová logika - odvozování)
05.04.22 TÝDEN 8: Predikátová logika
- DU6: četba Cmorej 1-3
12.04.22 Shrnutí + Opakovací test 1
- DU (bonus): oprava či revize OZ1
13.05.2023 KFFL2 naneštěstí setkání není - potřebujeme se domluvit na jiném termínu
19.04.22 pokračování v Opakovacím testu 2 + procvičování knihy Cmoreje
26.04.22 TÝDEN 9: Pojmy logické sémantiky a syntaxe KLÍČOVÉ POJMY:
- 1. jazyk (syntaktika a sémantika, fyzické a ideální znaky, umělé a přirozené jazyky, syntax a extenzionální sémantika jazyka prvního řádu),
- 2. individuová jména (univerzum jazyka, individua, individuová jména, denotace/signifikace/determinace, extenzionální a intenzionální sémantika, možný svět, totožnost intenzí),
- 3. predikáty (řád, arita, vlastnost a její extenze, vztah a její extenze, signifikát a denotát predikátů)
13.05.2023 KFFL2 naneštěstí je třeba neléz náhradní setkání
03.05.22 TÝDEN 10: úvod do četby P. Koláře
- DU7: vypisky Cmorej (celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus)
- kap. 7, 8 a 9 jsou nepovinné, ale užitečné.
- KLÍČOVÉ POJMY: kap. 7: proměnná, obor proměnnosti, extenzionální entity
- KLÍČOVÉ POJMY: kap. 8: forma výroku/výroková forma, kategorie výrazu, ohodnocovnání, splňování
- KLÍČOVÉ POJMY: kap. 9: kvantifikace výrokové formy, volné a vázané proměnné, dosah kvantifikátoru, výrokové vormy s volnými a vázanými proměnnými (výrokové formy vs. výroky).
10.05.22 TÝDEN 11: Četba P. Koláře, příp. výklad: Axiomatizace + Modální logika
17.05.22 TÝDEN 12: Tradiční vs. moderní logika + Filosofická logika
- KLÍČOVÉ POJMY: spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd.
- DU8: vypisky Cmorej ((celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus))
21.05.22 KFFL2 (13.00-16.15 v TK 105) opakování + případně opakovací test 2
Filosofická logika DU9: výpisky Kolář (Úvod a kap. 1, 3) - pokud budou podrobnější, budou bonusy :-) DU10 záverečná reflexe a doplnění chybějících částí ve výpiscích Cmoreje a Koláře
24.05.22 Opakovací test 2
4.06.22 Opakovací test 2 přes Teamsi - další možnost
11.06.22 Opakovací test 2 přes Teamsi - další možnost :-)
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
