ZS 2015/2016: Formální a filosofická logika 2: Porovnání verzí
| Řádka 113: | Řádka 113: | ||
BOUSSETTA REICHENSDÖRFEROVÁ DÚ1a, Dú2a, DU5a, DU6a, DU7, 6 (docházka) + | BOUSSETTA REICHENSDÖRFEROVÁ DÚ1a, Dú2a, DU5a, DU6a, DU7, 6 (docházka) + | ||
| − | DANIELOVÁ, DÚ1ab, Dú3ab, DU5ab, DU6, 6 (docházka) | + | DANIELOVÁ, DÚ1ab, Dú3ab, DU5ab, DU6, 6 (docházka) / DU8 |
DOLANSKÝ DU4a, 5 (docházka) | DOLANSKÝ DU4a, 5 (docházka) | ||
| Řádka 119: | Řádka 119: | ||
DOMINOVÁ DU5a, 3 (docházka) | DOMINOVÁ DU5a, 3 (docházka) | ||
| − | HAVLOVÁ Eliška, DÚ1ab, DÚ2ab, DÚ3ab, DÚ4a, DU7, 7 (docházka) (+) | + | HAVLOVÁ Eliška, DÚ1ab, DÚ2ab, DÚ3ab, DÚ4a, DU7, 7 (docházka) (+) / DU8 |
HAVLOVÁ Tereza, DÚ1ab, DÚ2ab, DÚ3a, DÚ4a, DU5a, BONUS, 6 (docházka) | HAVLOVÁ Tereza, DÚ1ab, DÚ2ab, DÚ3a, DÚ4a, DU5a, BONUS, 6 (docházka) | ||
| Řádka 153: | Řádka 153: | ||
ŠMÍD DÚ1ab, DÚ2ab, DÚ3ab, DU4a, DU6a, 5 (docházka) (+) | ŠMÍD DÚ1ab, DÚ2ab, DÚ3ab, DU4a, DU6a, 5 (docházka) (+) | ||
| − | TOULCOVÁ DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, DU5ab, DU6, DU7, | + | TOULCOVÁ DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, DU5ab, DU6, DU7, (docházka), Bonus, (+++) / DU8 |
VACH | VACH | ||
Verze z 15. 4. 2016, 15:56
TK-210, 11.30-13.00
15.2. Rozdíly mezi tradiční a moderní logikou (kategorický soud)
22.2. Rozdíly mezi tradiční a moderní logikou (logický čtverec, složené soudy, hypotetické úsudky, atd.)
29.2. Kolář 1.1: Logika
07.3. Kolář 1.1: Logika
14.3. Jazyk, individuová jména, predikáty (srv. Cmorej 1-3)
21.3. Atomární výroky, molekulární výroky (srv. Cmorej 4-5), výroková logika (jazyk, formule, sekvence, tabulková metoda)
28.3.setkání není
4.4. opakovací test; výroková logika (výrokově logické vyplývání)
11.4 oprava testu; výroková logika (kontradikce/tautologie/splnitelné formule, ekvivalentní formule)
18.4 extenzionální a neextenzionální spojky; predikátová logika (proměnné, kvantifikátory)
25.4
2.5
9.5
16.5 opakovací test
Domácí úkoly
15.2 vymyslete singulární výroky s jedno-, dvěma-, třema- argumentovými predikáty; určete pro daný predikát množinu argumentů a množinu hodnot.
22.2. vymyslete příklad modus ponens, modus ponens, fallacio consequentis
29.2. která ze čtyř kvantifikovaných tvrzení Kolář, s. 29, dokážete?
07.3. převeďte do formálního jazyka výrokové či predikátové logiky pět výroků přirozeného jazyka (nezapoměňte určit obor proměnnosti)
14.3. formalizace zadaných vět v predikátové logice (formulář DU5)
22.3. formalizace zadaných vět ve výrokové logice (formulář DU6)
04.4. výroková logika (formulář DU7)
11.4. druhy výrazů, predikátová logika (formulář DU8)
Četba
15.2. Kolář: Úvod, I.1. Logika (vypsat klíčové termíny, příp. i teze)
22.2. Kolář: Úvod, I.1. Logika (formulovat alespoň dvě otázky)
29.2. Kolář: Úvod, I.1. Logika (znovu pročíst a identifikovat případné nejasnosti); Bonus: I.2. Filosofická logika
07.3. Kolář: I.3. Logická forma (vypsat klíčové termíny, příp. i teze)
14.3. Kolář: I.3. Logická forma (formulovat alespoň dvě otázky)
22.3. není
04.4. není
11.4. není
Požadavky
Známka bude udělena dle počtu bodů, jež lze získat (a) účastí na semináři (13b), (b) domácími úkoly (asi 20), (c) opakovacími testy (asi 40).
TEMATICKÉ OKRUHY PŘEDNÁŠEK A SEMINÁŘŮ
A. Moderní logika
1. Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.)
2. 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.)
3. Výroková logika (přehled)
4. Predikátová logika (přehled)
B. Varia z moderní filosofické logiky
Literatura
Základní: Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999.
Základní: Cmorej, Pavol. Úvod do logické syntaxe a sémantiky, Triton, Praha 2002.
Rozšiřující: Sousedík, Prokop. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001.
Seznam studentů
BAŠTOVÁ DU3b, DU4ab, DU5ab, DU7, 6 (docházka)
BAUEROVÁ DÚ1ab, DU2a, DÚ3a, DU4a, DU5a, DU6a, DU7, 8 (docházka)
BILENČUKOVÁ 5 (docházka)
BOUSSETTA REICHENSDÖRFEROVÁ DÚ1a, Dú2a, DU5a, DU6a, DU7, 6 (docházka) +
DANIELOVÁ, DÚ1ab, Dú3ab, DU5ab, DU6, 6 (docházka) / DU8
DOLANSKÝ DU4a, 5 (docházka)
DOMINOVÁ DU5a, 3 (docházka)
HAVLOVÁ Eliška, DÚ1ab, DÚ2ab, DÚ3ab, DÚ4a, DU7, 7 (docházka) (+) / DU8
HAVLOVÁ Tereza, DÚ1ab, DÚ2ab, DÚ3a, DÚ4a, DU5a, BONUS, 6 (docházka)
HOLÁ DÚ1a, DÚ2ab, DÚ3a, DU4a, DU5a, 6 (docházka), OZ-omluva
CHUMOVÁ DÚ2a, DU3a, DU4a, DU5a, DU6, DU7 (+), 6 (docházka)
JOKLOVÁ DÚ1ab, DU2, DU4a, DU5a, DU6a, DU7, 8 (docházka)
KALENSKÝ Dú2a, D5a, 6 (docházka)
KOŽANTOVÁ DÚ2a, Dú3ab, DU4ab, DU5ab, DU6, 8 (docházka)
KREJČOVÁ DÚ1ab, DÚ2a, DÚ3ab, DU4ab, DU5a, 8 (docházka)
KUČERA 2 (docházka)
LEITGEB DU5a, 3 (docházka)
LORENCOVÁ DÚ1a, DÚ2a, DÚ3ab, DU4a, DU5a, 6 (docházka)
MOTYKA DÚ1a, DU4ab, DU5ab, DU6a, DU7, 8 (docházka) (+)
POKORNÁ DÚ1a, DU2a DÚ3a, DÚ4a, DU5a, DU5a, 6 (docházka)
REINDLOVÁ
SEDLÁČKOVÁ DÚ1ab, DÚ2ab, DU4a, DU5, DU7, DU8, 5 (docházka)
SOBOTKA DÚ1ab, DÚ2ab, DÚ3ab, DU4ab, DU5ab, DU6a, DU7, 7 (docházka)
ŠMÍD DÚ1ab, DÚ2ab, DÚ3ab, DU4a, DU6a, 5 (docházka) (+)
TOULCOVÁ DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, DU5ab, DU6, DU7, (docházka), Bonus, (+++) / DU8
VACH
VALENTOVÁ DÚ2ab, DU4ab, DU7, 7 (docházka)
VRANKOVÁ DÚ1ab, DÚ2a, Dú3a, DU4a, DU5a, 6 (docházka)
VYSOČAN DÚ1ab, 2 (docházka)
ZEMAN DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, DU5ab, DU6, DU7, Bonus, 8 (docházka) (++++)
ŽIŽKOVÁ DÚ1ab, DÚ2ab, DÚa, DU4ab, DU5a, DU6a, DU7, 8 (docházka)
Vysvětlivky: D (docházka), DÚ (domácí úkoly a, četba b).
