Formální a filosofická logika 2
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. DROPBOX
- 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
15.2.18 setkání není
- DÚ1: poznámky ze samostudiua K. Berky, Logika, 1978, s. 7-32.
22.2.18 Výroková logika (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.
- negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky
- DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45
01.3.18 Výroková logika (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)
08.3.18 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)
15.3.18 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)
22.3.18 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)
29.3.18 setkání není
- dokončit DU1-5, test 1A
05.4.18 Pojmy logické sémantiky a syntaxe + Opakovací test 1B
- jazyk, individuová jména, predikáty, atomární výroky, molekulární výroky, spojky, proměnné, splňování, individuové deskripce, lambda abstrakce, atd.
12.4.18 Pojmy logické sémantiky a syntaxe
19.4.18 Tradiční vs. moderní logika
26.4.18 Tradiční vs. moderní logika
03.5.18 Filosofická logika
10.5.18 Filosofická logika
17.5.18 Filosofická logika
Domácí úkoly
Studenti
BÖHM Jan, DU1, DU2, DU3, DU4, DU5, OZ1A (dokončit opravu)
HULEŠOVÁ Helena, DU1, DU2, DU3, DU4, DU5, OZ1A
KOLDA, Filip
CHUMOVÁ Lucie
NEJEZCHLEBOVÁ Vendula, DU1, DU2, DU3?, DU4
MACHULOVÁ Magdalena, DU1, DU2, DU3, DU4
POKORNÁ Simona
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).
