Formální a filosofická logika 2: Porovnání verzí
| Řádka 1: | Řádka 1: | ||
| + | '''Kdy a kde:''' Čtvrtek, 9.45-11.15, TK 202 | ||
| + | |||
'''Témata''' | '''Témata''' | ||
| Řádka 72: | Řádka 74: | ||
'''Studenti''' | '''Studenti''' | ||
| + | |||
| + | BÖHM Jan | ||
| + | |||
| + | HULEŠOVÁ Helena | ||
| + | |||
| + | CHUMOVÁ Lucie | ||
| + | |||
| + | NEJEZCHLEBOVÁ Vendula | ||
| + | |||
| + | POKORNÁ Simona | ||
Verze z 29. 1. 2018, 14:06
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 (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.)
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 (a) účastí na semináři (13), (b) domácími úkoly (17), (c) opakovacími testy (asi 40) a dále různými úkoly "bonusovými" (nepovinnými, jež mohou nahradit chybějící úkoly povinné). 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
15.2.18 setkání není
22.2.18 Berka, Úvod, Výroková logika (kap. 1-7)
01.3.18 Berka, Úvod, Výroková logika (kap. 8-10)
08.3.18 Predikátová logika
15.3.18 Predikátová logika
22.3.18 Predikátová logika
29.3.18
05.4.18
12.4.18
19.4.18
26.4.18
03.5.18
10.5.18
17.5.18
Domácí úkoly
Studenti
BÖHM Jan
HULEŠOVÁ Helena
CHUMOVÁ Lucie
NEJEZCHLEBOVÁ Vendula
POKORNÁ Simona
