Formální a filosofická logika 2: Porovnání verzí
Z WiKi TF
| Řádka 51: | Řádka 51: | ||
Přehled bude průběžně aktualizován! | Přehled bude průběžně aktualizován! | ||
| − | 18.2. | + | 18.2.20 Úvod + Výroková logika 1 (Berka, ''Logika'', kap. 1-7) |
* formální logika, dedukce, jméno, jméno výrazu, proměnná výrazu, jmenná forma/funkce, výrok, výrokové formy/funkce. | * 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. | ||
| − | 25.2. | + | 25.2.20 Výroková logika 2 (Berka, ''Logika'', kap. 1-7) |
* negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky | * 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 | ||
| − | 03.3. | + | 03.3.20 Výroková logika 3 (Berka, ''Logika'', kap. 8-10) |
* formule a sekvence výrokové logiky, tabulková metoda, výrokově-logické vyplývání, kontradikce, tautologie, splnitelné formule | * formule a sekvence výrokové logiky, tabulková metoda, výrokově-logické vyplývání, kontradikce, tautologie, splnitelné formule | ||
| Řádka 67: | Řádka 67: | ||
* DU (bonusový): ''výroková logika - rozdána na hodině | * DU (bonusový): ''výroková logika - rozdána na hodině | ||
'' | '' | ||
| − | 10.3. | + | 10.3.20 Predikátová logika |
* množiny, predikáty, individua, obecná a existenční tvrzení, kvantifikátory | * 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 - ''témata viz níže 24.3.19'') | * DU4: poznámky a otázky ze samostudia K. Berky, s.57-66 (predikátová logika - ''témata viz níže 24.3.19'') | ||
| − | 17.3. | + | 17.3.20 Predikátová logika (''opakování'') |
* DU4-bonus: příklady na predikátovou logiky se s. 57-66. | * DU4-bonus: příklady na predikátovou logiky se s. 57-66. | ||
| − | 24.3. | + | 24.3.20 Predikátová logika |
* volné a vázané výskyty proměnných, formule a sekvence predikátové logiky | * 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.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í) | ||
| − | 31.3. | + | 31.3.20 Predikátová logika |
* DU (bonusový): četba Kolář, kap. 1,3 | * DU (bonusový): četba Kolář, kap. 1,3 | ||
* DU (bonusový): poznámky a otázky ze samostudia K. Berky, s.76-98 (predikátová logika - odvozování) | * DU (bonusový): poznámky a otázky ze samostudia K. Berky, s.76-98 (predikátová logika - odvozování) | ||
| − | 07.4. | + | 07.4.20 Shrnutí + Opakovací test 1 |
* DU6-oprava: oprava či dokončění testu 1B | * DU6-oprava: oprava či dokončění testu 1B | ||
| − | 14.4. | + | 14.4.20 Pojmy logické sémantiky a syntaxe |
* 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), | ||
* 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í), | * 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ů) | * 3. predikáty (řád, arita, vlastnost a její extenze, vztah a její extenze, signifikát a denotát predikátů) | ||
| − | 21.04. | + | 21.04.20 v 10.00 na FB: Pojmy logické sémantiky a syntaxe + pokračování |
* DU7: vypisky Cmorej ''konzultace skupinová'' | * DU7: vypisky Cmorej ''konzultace skupinová'' | ||
| − | 28.04. | + | 28.04.20 v 10.00 na FB: Pojmy logické sémantiky a syntaxe |
* atomární výroky, molekulární výroky | * atomární výroky, molekulární výroky | ||
* DUbonus: vypisky Cmorej - pokracování/úprava | * DUbonus: vypisky Cmorej - pokracování/úprava | ||
| − | 05.05. | + | 05.05.20 v 10.00 na FB |
* opakování Cmorej, příp. dokončení | * opakování Cmorej, příp. dokončení | ||
* kap. 7, 8 a 9 jsou nepovinné, ale užitečné. | * kap. 7, 8 a 9 jsou nepovinné, ale užitečné. | ||
| Řádka 106: | Řádka 106: | ||
* Klíčové termíny 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é termíny 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). | ||
| − | 12.05. | + | 12.05.20 (individuální konzultace): Pojmy logické sémantiky a syntaxe |
* spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd. | * spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd. | ||
* DU8: vypisky Cmorej (dokoncení) | * DU8: vypisky Cmorej (dokoncení) | ||
| − | 19.05. | + | 19.05.20 v 10.00 na FB: Tradiční vs. moderní logika + Filosofická logika |
* prosím, čtěte již Koláře, abychom zde mohli diskutovat | * prosím, čtěte již Koláře, abychom zde mohli diskutovat | ||
| − | 16.05. | + | 16.05.20 Filosofická logika |
* DU9: vypisky Kolář (Úvod a kap. 1, 3, 4) | * DU9: vypisky Kolář (Úvod a kap. 1, 3, 4) | ||
| − | 26.05. | + | 26.05.20 v 10.00 na FB: Filosofická logika + axiomatizace and modální logika |
* DU10: ''bude upřesněn'' | * DU10: ''bude upřesněn'' | ||
* DU(bonusový): krátká závěrečná reflexe | * DU(bonusový): krátká závěrečná reflexe | ||
| + | |||
| + | 02.06.20 v 10.00 na FB | ||
| + | * opakování výše uvedených témat | ||
Opakovací test 2 | Opakovací test 2 | ||
Verze z 26. 5. 2020, 19:55
Kdy a kde: Úterý, 08.00-09.30, TK 202
Témata
1. Moderní logika
1.1. Výroková logika (přehled)
1.2. Predikátová logika (přehled)
1.3. Základní pojmy logické sémantiky a syntaxe
1.4. Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.)
2. Varia z moderní filosofické logiky
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.
- Sousedík, Prokop. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001.
Rozšiřující:
- Cmorej, Pavol. Úvod do logické syntaxe a sémantiky, Triton, Praha 2002.
- Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999.
Doplňující
- Frege, Gottlob, Pojmopis, 1879/2012
- Priest, Graham, Logika, 2007
- Peregrin, Jaroslav a Marta Vlasáková, Filosofie logiky, Praha 2017.
Další zdroje
http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm
Přehled
Přehled bude průběžně aktualizován!
18.2.20 Úvod + Výroková logika 1 (Berka, Logika, kap. 1-7)
- 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.
25.2.20 Výroková logika 2 (Berka, Logika, kap. 1-7)
- negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky
- DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45
03.3.20 Výroková logika 3 (Berka, Logika, kap. 8-10)
- 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 - témata viz níže 10.3.19)
- DU (bonusový): výroková logika - rozdána na hodině
10.3.20 Predikátová logika
- 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 - témata viz níže 24.3.19)
17.3.20 Predikátová logika (opakování)
- DU4-bonus: příklady na predikátovou logiky se s. 57-66.
24.3.20 Predikátová logika
- 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.67-75 (predikátová logika - protipříklady, pravidla správného usuzování)
31.3.20 Predikátová logika
- DU (bonusový): četba Kolář, kap. 1,3
- DU (bonusový): poznámky a otázky ze samostudia K. Berky, s.76-98 (predikátová logika - odvozování)
07.4.20 Shrnutí + Opakovací test 1
- DU6-oprava: oprava či dokončění testu 1B
14.4.20 Pojmy logické sémantiky a syntaxe
- 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ů)
21.04.20 v 10.00 na FB: Pojmy logické sémantiky a syntaxe + pokračování
- DU7: vypisky Cmorej konzultace skupinová
28.04.20 v 10.00 na FB: Pojmy logické sémantiky a syntaxe
- atomární výroky, molekulární výroky
- DUbonus: vypisky Cmorej - pokracování/úprava
05.05.20 v 10.00 na FB
- opakování Cmorej, příp. dokončení
- kap. 7, 8 a 9 jsou nepovinné, ale užitečné.
- Klíčové termíny kap. 7: proměnná, obor proměnnosti, extenzionální entity
- Klíčové termíny kap. 8: forma výroku/výroková forma, kategorie výrazu, ohodnocovnání, splňování
- Klíčové termíny 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).
12.05.20 (individuální konzultace): Pojmy logické sémantiky a syntaxe
- spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd.
- DU8: vypisky Cmorej (dokoncení)
19.05.20 v 10.00 na FB: Tradiční vs. moderní logika + Filosofická logika
- prosím, čtěte již Koláře, abychom zde mohli diskutovat
16.05.20 Filosofická logika
- DU9: vypisky Kolář (Úvod a kap. 1, 3, 4)
26.05.20 v 10.00 na FB: Filosofická logika + axiomatizace and modální logika
- DU10: bude upřesněn
- DU(bonusový): krátká závěrečná reflexe
02.06.20 v 10.00 na FB
- opakování výše uvedených témat
Opakovací test 2
Studenti
BARTYZALOVA,
HENC Jaroslav, DU1, DU2, DU3
KLAS
KOTAŠKA Ondřej, DU1+, DU2+, DU3++ (pred. log), DU4+ (pred. log), DU5+, konzultace (1.4), DU (bonusový), OZ1+konzultace(10)
NĚMEJC
SOUKUPOVÁ Eliška, DU1+, DU2, DU3, DU4, konzultace (1.4), OZ1/2 (oprava, konzultace)
ŠEDOVÁ Veronika, DU1+, DU2+, DU3 (pred. logika), DU4-bonus (pred. log), konzultace (1.4), DU5, OZ(10)
TOKÁROVÁ Dominika, DU1+, DU2+, DU2-bonus, DU3/4 (pred. logika), DU5 (pred. log.), konzultace (1.4), DU (bonusový), OZ1+konzultace+DU (10)
VOŠAHLÍK Vlastibor, DU1+, DU2, DU2-bonus, DU3 (pred. logika), DU4, DU5+, DUbonus+, konzultace (1.4), OZ(skoro 10)
Státní závěrečné zkoušky
Na základě tohoto kursu by student měl být schopen zvládnout zodpovědět část násl. otázek SZZ:
- Pojem a termín (typy pojmů, obsah a rozsah, vztahy pojmů, predikabilia, kategorie; syntaxe a sémantika, moderní pojetí extenze a intenze termínu; definice a dělení)
- Výrok a soud, výroková a predikátová logika (aristotelské a moderní chápání kategorického soudu, teorie predikace, logický čtverec; jazyk výrokové a predikátové logiky a jeho interpretace, extenzionální a neextenzionální výrokové spojky, tautologie a kontradikce výrokové logiky, pravdivostní tabulky; kvantifikátory a proměnné, moderní pojetí extenze a intenze výroku)
- Argument a úsudek (aristotelské a moderní chápání, typy argumentů, sylogismus, úsudky ze složených soudů, důkaz sporem, vyplývání, dokazatelnost, odvoditelnost, axiomatizace)
- Filosofické problémy logiky (modální logika, vývoj chápání logických modalit, modality de re a de dicto, možné světy; problém logického uchopení existence, teorie pravdy).
