Formální a filosofická logika 2: Porovnání verzí
Z WiKi TF
| (Není zobrazeno 146 mezilehlých verzí od stejného uživatele.) | |||
| Řádka 1: | Řádka 1: | ||
| − | |||
| − | |||
| − | |||
'''Témata''' | '''Témata''' | ||
| Řádka 15: | Řádka 12: | ||
2. Varia z moderní filosofické logiky | 2. Varia z moderní filosofické logiky | ||
| + | |||
'''Požadavky''' | '''Požadavky''' | ||
| Řádka 39: | Řádka 37: | ||
* Peregrin, Jaroslav a Marta Vlasáková, ''Filosofie logiky'', Praha 2017. | * Peregrin, Jaroslav a Marta Vlasáková, ''Filosofie logiky'', Praha 2017. | ||
| − | '''Seznam studentů | + | '''Seznam studentů FFL2''' |
| − | |||
| − | |||
| − | + | DOMINOVÁ Jindra VYB+ | |
| − | + | FALTOVÁ Anna, DU01-03+, DU+ (Cmorej), OZ1 (i s opravou jako du4-5), DU+ (Cmorej), DU (Kolar), OT2 (doplnit celkový dú), CHV | |
| − | + | POKORNÝ Ondřej OZ1(1O), DU01-4(Berka), OZ02(cca10) CHV->VYB | |
| − | + | VAVREINOVÁ Radka DU01+, DU2-5 (Berka+bonus), OZ02(po opravě 3), DOB ->CHV? | |
| − | VOZKOVÁ | + | VOZKOVÁ |
| − | '''Seznam studentů | + | '''Seznam studentů KFFL2''' |
| − | + | AMBROŽ | |
| − | + | BALUCHOVÁ Michaela DU01-02+, DU3+, DU004-5++ (Berka, Cmorej), DU-komplet, OZ(asi3), OZ2, CHV | |
| − | + | BÁRTA Tomáš OZ1(25%) | |
| − | + | DOŠKOVÁ Eva DU01-03, DU04-05, OZ01(9), OZ01(9opr) (CH po doplnění DU VYB) | |
| − | |||
| − | |||
| − | + | HÁLOVÁ Michaela, VÝB+ | |
| − | + | HEJNÝ Bohumil, VYB+ | |
| − | + | HYNEK | |
| − | + | KRÁSNICKÁ Martina VÝB+++ | |
| − | + | MIKULOVÁ Pavlína, VÝB+ | |
| − | + | OBERGRUBER Petr VÝB | |
| − | + | PALATÍNUS Gabriel DU01-05, DU (Cmorej) OZ1(první-část,konzult), OZ2(oprava), DOBR -> DU(bonus, možné sv.) | |
| − | + | STAERZ Eva CHV/VYB | |
| − | + | SÙVOVÁ Denisa OZ01-03, OZ01(první část) | |
| − | + | ŠÁDEK Kryštof, VÝB+ | |
| − | + | ŠTĚPÁNEK Stanislav - stručně dú komplet, oz1 | |
| − | + | VRANKA Matouš DU01-5+++ (Berka), DU06, DU07+ (Cmorej in progress), OZ1(10), OZ02(10opr), CHV->VYB | |
| − | |||
| − | |||
'''Další zdroje''' | '''Další zdroje''' | ||
http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm | http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm | ||
| − | |||
'''Přehled''' | '''Přehled''' | ||
| − | Přehled bude průběžně aktualizován | + | Přehled bude průběžně aktualizován, dle toho, jak si budeme osvojovat základní pojmy. |
| − | + | Výuka bude probíhat zároveň pro denní i kombinované studenty hybridním způsobem (přes Teams) se záznamem v úterý 14.00-15.30 a dle rozvrhu kombinovaných studentů (označeno 'KFFL2'). | |
| − | |||
| − | + | '''15.02.22''' Ú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. | ||
| − | 02. | + | '''19.02.22 KFFL2''' (13.00-16.15 v TK 112) ''opakování '' |
| + | |||
| + | '''22.02.22''' 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 | ||
| − | + | '''01.03.22 ''' ''setkání není'' Výroková logika 3 (Berka, ''Logika'', kap. 8-10) + Predikátová logika | |
* 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 | ||
* 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) | ||
| − | + | 08.03.21 ''setkání není'' | |
| − | + | '''15.03.22''' 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) | * DU4: poznámky a otázky ze samostudia K. Berky, s.57-66 (predikátová logika) | ||
| − | + | '''19.03.22 KFFL2''' (9.00-12.15 v TK 112) ''opakování'' | |
| + | |||
| + | '''22.03.22''' Predikátová logika (''opakování'') | ||
* 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 | ||
| − | * 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 | |
* 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 ( | + | * 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 | |
| − | * | + | * DU6: četba Cmorej 1-3 |
| − | + | '''12.04.22''' Shrnutí + Opakovací test 1 | |
| − | * | + | * DU (bonus): oprava či revize OZ1 |
| − | + | '''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 | |
* 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ů) | ||
| − | + | '''30.04.22 KFFL2''' (10.45-12.15 v TK 112) ''opakování - test (Berka)'' | |
| − | + | '''03.05.22''' úvod do četby P. Koláře | |
| − | |||
| − | + | * DU7: vypisky Cmorej (celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus) | |
| − | |||
| − | * | ||
| − | |||
| − | 11 | ||
| − | |||
* kap. 7, 8 a 9 jsou nepovinné, ale užitečné. | * 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. 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. 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). | * 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). | ||
| + | |||
| + | '''10.05.22''' Četba P. Koláře, příp. výklad: Axiomatizace + Modální logika | ||
| − | + | '''17.05.22''' Tradiční vs. moderní logika + Filosofická logika | |
* 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 ( | + | * 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 | ||
| − | Opakovací test 2 | + | '''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 :-) | |
Aktuální verze z 26. 9. 2022, 05:24
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.
- 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
DOMINOVÁ Jindra VYB+
FALTOVÁ Anna, DU01-03+, DU+ (Cmorej), OZ1 (i s opravou jako du4-5), DU+ (Cmorej), DU (Kolar), OT2 (doplnit celkový dú), CHV
POKORNÝ Ondřej OZ1(1O), DU01-4(Berka), OZ02(cca10) CHV->VYB
VAVREINOVÁ Radka DU01+, DU2-5 (Berka+bonus), OZ02(po opravě 3), DOB ->CHV?
VOZKOVÁ
Seznam studentů KFFL2
AMBROŽ
BALUCHOVÁ Michaela DU01-02+, DU3+, DU004-5++ (Berka, Cmorej), DU-komplet, OZ(asi3), OZ2, CHV
BÁRTA Tomáš OZ1(25%)
DOŠKOVÁ Eva DU01-03, DU04-05, OZ01(9), OZ01(9opr) (CH po doplnění DU VYB)
HÁLOVÁ Michaela, VÝB+
HEJNÝ Bohumil, VYB+
HYNEK
KRÁSNICKÁ Martina VÝB+++
MIKULOVÁ Pavlína, VÝB+
OBERGRUBER Petr VÝB
PALATÍNUS Gabriel DU01-05, DU (Cmorej) OZ1(první-část,konzult), OZ2(oprava), DOBR -> DU(bonus, možné sv.)
STAERZ Eva CHV/VYB
SÙVOVÁ Denisa OZ01-03, OZ01(první část)
ŠÁDEK Kryštof, VÝB+
ŠTĚPÁNEK Stanislav - stručně dú komplet, oz1
VRANKA Matouš DU01-5+++ (Berka), DU06, DU07+ (Cmorej in progress), OZ1(10), OZ02(10opr), CHV->VYB
Další zdroje
http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm
Přehled
Přehled bude průběžně aktualizován, dle toho, jak si budeme osvojovat základní pojmy.
Výuka bude probíhat zároveň pro denní i kombinované studenty hybridním způsobem (přes Teams) se záznamem v úterý 14.00-15.30 a dle rozvrhu kombinovaných studentů (označeno 'KFFL2').
15.02.22 Ú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.
19.02.22 KFFL2 (13.00-16.15 v TK 112) opakování
22.02.22 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
01.03.22 setkání není Výroková logika 3 (Berka, Logika, kap. 8-10) + Predikátová logika
- 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)
08.03.21 setkání není
15.03.22 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)
19.03.22 KFFL2 (9.00-12.15 v TK 112) opakování
22.03.22 Predikátová logika (opakování)
- 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 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 Predikátová logika
- DU6: četba Cmorej 1-3
12.04.22 Shrnutí + Opakovací test 1
- DU (bonus): oprava či revize OZ1
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
- 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ů)
30.04.22 KFFL2 (10.45-12.15 v TK 112) opakování - test (Berka)
03.05.22 ú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é 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).
10.05.22 Četba P. Koláře, příp. výklad: Axiomatizace + Modální logika
17.05.22 Tradiční vs. moderní logika + Filosofická logika
- 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 :-)
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).
