Formální a filosofická logika 2: Porovnání verzí
Z WiKi TF
| Řádka 1: | Řádka 1: | ||
| − | |||
| − | |||
| − | |||
'''Témata''' | '''Témata''' | ||
| Řádka 39: | Řádka 36: | ||
* 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Á | ||
| − | + | FALTOVÁ | |
| − | + | POKORNÝ | |
| − | + | VAVREINOVÁ | |
| − | + | VOZKOVÁ | |
| − | + | '''Seznam studentů KFFL2''' | |
| − | + | AMBROŽ | |
| − | + | BALUCHOVÁ | |
| − | + | BÁRTA | |
| − | + | BEREDZAS | |
| − | + | BRUKNER | |
| − | + | DOŠKOVÁ | |
| − | |||
| − | |||
| − | + | HÁLOVÁ | |
| − | + | HEJNÝ | |
| − | + | HYNEK | |
| − | + | KRÁSNICKÁ | |
| − | + | MIKULOVÁ | |
| − | + | OBERGRUBER | |
| − | + | PALATÍNUS | |
| − | + | STAERZ | |
| − | + | SÙVOVÁ | |
| − | + | ŠÁDEK | |
| − | + | ŠTÌPÁNEK | |
| − | + | TREFIL | |
| − | + | VRANKA | |
'''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ý 13.15-14.00 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 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 (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í) | ||
| − | |||
| − | + | 05.04.22 Predikátová logika | |
* DU (bonusový): četba Kolář, kap. 1,3 | * DU (bonusový): četba Kolář, kap. 1,3 | ||
| − | + | 12.04.22 Shrnutí + Opakovací test 1 | |
* DU6-oprava: oprava či dokončění testu 1B | * DU6-oprava: oprava či dokončění testu 1B | ||
| − | + | 19.04.22 | |
| − | + | 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í'' | |
| + | |||
| + | 03.05.22 ''setkání není'' (možná náhrada) | ||
| − | + | Pojmy logické sémantiky a syntaxe + pokračování | |
* DU7: vypisky Cmorej, uvodní kap. | * DU7: vypisky Cmorej, uvodní kap. | ||
| − | + | 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 | ||
| − | + | 10.05.21 Pojmy logické sémantiky a syntaxe (dokončení) | |
* 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 164: | Řádka 164: | ||
* 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). | ||
| − | + | 17.05.21 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 (dokoncení) | * DU8: vypisky Cmorej (dokoncení) | ||
| − | + | 21.05.22 KFFL2 (13.00-16.15 v TK 105) ''opakování'' | |
| + | |||
| + | Filosofická logika | ||
DU9: vypisky Kolář (Úvod a kap. 1, 3, 4) | DU9: vypisky Kolář (Úvod a kap. 1, 3, 4) | ||
DU10 záverečná reflexe | DU10 záverečná reflexe | ||
Verze z 14. 2. 2022, 09:56
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Á
FALTOVÁ
POKORNÝ
VAVREINOVÁ
VOZKOVÁ
Seznam studentů KFFL2
AMBROŽ
BALUCHOVÁ
BÁRTA
BEREDZAS
BRUKNER
DOŠKOVÁ
HÁLOVÁ
HEJNÝ
HYNEK
KRÁSNICKÁ
MIKULOVÁ
OBERGRUBER
PALATÍNUS
STAERZ
SÙVOVÁ
ŠÁDEK
ŠTÌPÁNEK
TREFIL
VRANKA
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ý 13.15-14.00 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 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 (bonusový): poznámky a otázky ze samostudia K. Berky, s.76-98 (predikátová logika - odvozování)
05.04.22 Predikátová logika
- DU (bonusový): četba Kolář, kap. 1,3
12.04.22 Shrnutí + Opakovací test 1
- DU6-oprava: oprava či dokončění testu 1B
19.04.22
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í
03.05.22 setkání není (možná náhrada)
Pojmy logické sémantiky a syntaxe + pokračování
- DU7: vypisky Cmorej, uvodní kap.
Pojmy logické sémantiky a syntaxe
- atomární výroky, molekulární výroky
- DUbonus: vypisky Cmorej - pokracování/úprava
10.05.21 Pojmy logické sémantiky a syntaxe (dokončení)
- 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).
17.05.21 Tradiční vs. moderní logika + Filosofická logika
- spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd.
- DU8: vypisky Cmorej (dokoncení)
21.05.22 KFFL2 (13.00-16.15 v TK 105) opakování
Filosofická logika DU9: vypisky Kolář (Úvod a kap. 1, 3, 4) DU10 záverečná reflexe
Opakovací test 2 (dle domluvy)
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).
