Formální a filosofická logika 2: Porovnání verzí
Z WiKi TF
| Řádka 23: | Řádka 23: | ||
Základní: | Základní: | ||
| − | * Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978. | + | * Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978. |
* Sousedík, Prokop. ''Logika pro studenty humanitních oborů'', Vyšehrad, Praha 2001. | * Sousedík, Prokop. ''Logika pro studenty humanitních oborů'', Vyšehrad, Praha 2001. | ||
| Řádka 32: | Řádka 32: | ||
* Kolář, Petr. ''Argumenty filosofické logiky'', Filosofia, Praha 1999. | * Kolář, Petr. ''Argumenty filosofické logiky'', Filosofia, Praha 1999. | ||
| + | |||
'''Další zdroje''' | '''Další zdroje''' | ||
| Řádka 42: | Řádka 43: | ||
TENTO PŘEHLED JE NEAKTUÁLNÍ. JEDNÁ SE PŘÍKLAD PRůBĚHU SEMESTRU. | TENTO PŘEHLED JE NEAKTUÁLNÍ. JEDNÁ SE PŘÍKLAD PRůBĚHU SEMESTRU. | ||
| − | + | 21.2.19 Ú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. | * DÚ1: poznámky ze samostudiua K. Berky, ''Logika'', 1978, s. 7-32. | ||
| − | + | 28.2.19 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.3. | + | 01.3.19 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 | ||
* 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.3.19 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) | ||
| − | + | 14.3.19 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-76 (predikátová logika) | * DU5: poznámky a otázky ze samostudia K. Berky, s.67-76 (predikátová logika) | ||
| − | + | 21.3.19 Predikátová logika + Opakovací test 1A | |
* 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.77-90 (predikátová logika) | * DU (bonusový): poznámky a otázky ze samostudia K. Berky, s.77-90 (predikátová logika) | ||
| − | + | 28.3.19 Shrnutí + Opakovací test 1 | |
| − | * | + | * DU6: prolistovat si příslušné části knihy P. Cmoreje, zkusit porozumnět výše uvedením klíčovým termínům, stručně charakterizovat. |
| − | + | * DU-oprava: oprava či dokončění testu 1B | |
| − | |||
| + | 04.4.19 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ů) | ||
| − | |||
| − | |||
| − | |||
| − | |||
| + | 11.4.18 Pojmy logické sémantiky a syntaxe | ||
* atomární výroky, molekulární výroky | * atomární výroky, molekulární výroky | ||
* DU: vypisky Cmorej | * DU: vypisky Cmorej | ||
| − | + | 18.4.18 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. | ||
* DU: vypisky Cmorej | * DU: vypisky Cmorej | ||
| − | + | 25.4.18 Tradiční vs. moderní logika (+ opakování Cmorej) | |
| + | * DU: vypisky Cmorej + přednáška | ||
| − | + | ? 02.5.18 Filosofická logika | |
| − | |||
| − | + | ? 09.5.18 Filosofická logika | |
* DU: vypisky Kolář (Úvod a přinejmenším kap. 1) | * DU: vypisky Kolář (Úvod a přinejmenším kap. 1) | ||
| − | + | ? 15.5.18 Filosofická logika | |
* DU: krátká závěrečná reflexe | * DU: krátká závěrečná reflexe | ||
| − | + | Opakovací test 2 | |
| − | |||
'''Studenti''' | '''Studenti''' | ||
Verze z 21. 2. 2019, 06:45
Kdy a kde: Čtvrtek, 9.45-11.15, 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, opakovacími testy, 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.
Další zdroje
http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm
Přehled
TENTO PŘEHLED JE NEAKTUÁLNÍ. JEDNÁ SE PŘÍKLAD PRůBĚHU SEMESTRU.
21.2.19 Ú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.
28.2.19 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.3.19 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)
07.3.19 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)
14.3.19 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-76 (predikátová logika)
21.3.19 Predikátová logika + Opakovací test 1A
- DU (bonusový): četba Kolář, kap. 1,3
- DU (bonusový): poznámky a otázky ze samostudia K. Berky, s.77-90 (predikátová logika)
28.3.19 Shrnutí + Opakovací test 1
- DU6: prolistovat si příslušné části knihy P. Cmoreje, zkusit porozumnět výše uvedením klíčovým termínům, stručně charakterizovat.
- DU-oprava: oprava či dokončění testu 1B
04.4.19 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ů)
11.4.18 Pojmy logické sémantiky a syntaxe
- atomární výroky, molekulární výroky
- DU: vypisky Cmorej
18.4.18 Pojmy logické sémantiky a syntaxe
- spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd.
- DU: vypisky Cmorej
25.4.18 Tradiční vs. moderní logika (+ opakování Cmorej)
- DU: vypisky Cmorej + přednáška
? 02.5.18 Filosofická logika
? 09.5.18 Filosofická logika
- DU: vypisky Kolář (Úvod a přinejmenším kap. 1)
? 15.5.18 Filosofická logika
- DU: krátká závěrečná reflexe
Opakovací test 2
Studenti
Jan Bernas
Václav Kučera
Barbora Landová
Eliška Mužáková
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).
