ZS 2015/2016: Formální a filosofická logika 2: Porovnání verzí
| Řádka 93: | Řádka 93: | ||
'''Seznam studentů''' | '''Seznam studentů''' | ||
| − | BAŠTOVÁ DU4ab, D2, D4 | + | BAŠTOVÁ DU4ab, D2, D4, D5 |
| − | BAUEROVÁ DÚ1ab, DU2a, DÚ3a, DU4a, D2, D3, D4 | + | BAUEROVÁ DÚ1ab, DU2a, DÚ3a, DU4a, D2, D3, D4, D5 |
BILENČUKOVÁ D3, | BILENČUKOVÁ D3, | ||
| Řádka 101: | Řádka 101: | ||
BOUSSETTA REICHENSDÖRFEROVÁ DÚ1a, Dú2a, D2, D3 | BOUSSETTA REICHENSDÖRFEROVÁ DÚ1a, Dú2a, D2, D3 | ||
| − | DANIELOVÁ, DÚ1ab, Dú3ab, D2, D3 | + | DANIELOVÁ, DÚ1ab, Dú3ab, D2, D3, D5 |
| − | DOLANSKÝ DU4a, D3, D4 | + | DOLANSKÝ DU4a, D3, D4, D5 |
DOMINOVÁ | DOMINOVÁ | ||
| − | HAVLOVÁ Eliška, D2, D3, D4, DÚ1ab, DÚ2ab, DÚ3ab, DÚ4a | + | HAVLOVÁ Eliška, D2, D3, D4, D5, DÚ1ab, DÚ2ab, DÚ3ab, DÚ4a |
| − | HAVLOVÁ Tereza, DÚ1ab, DÚ2ab, DÚ3a, D2, D3, D4, | + | HAVLOVÁ Tereza, DÚ1ab, DÚ2ab, DÚ3a, DÚ4a, D2, D3, D4, D5, (+) |
| − | HOLÁ DÚ1a, DÚ2ab, DÚ3a, D2, D3, D4 | + | HOLÁ DÚ1a, DÚ2ab, DÚ3a, D2, D3, D4, D5 |
CHUMOVÁ D2, D3, D4, DÚ2a, DU3a, DU4a (+) | CHUMOVÁ D2, D3, D4, DÚ2a, DU3a, DU4a (+) | ||
| − | JOKLOVÁ DÚ1ab, DU2, DU4a, D2, D3, D4 | + | JOKLOVÁ DÚ1ab, DU2, DU4a, D2, D3, D4, D5 |
| − | KALENSKÝ D2, D3, Dú2a, D4 | + | KALENSKÝ D2, D3, Dú2a, D4, D5 |
| − | KOŽANTOVÁ D3, DÚ2a, Dú3ab, DU4ab, D4 | + | KOŽANTOVÁ D3, DÚ2a, Dú3ab, DU4ab, D4, D5 |
| − | KREJČOVÁ DÚ1ab, DÚ2a, | + | KREJČOVÁ DÚ1ab, DÚ2a, DÚ3ab, DU4ab, D2, D3, D4, D5 |
KUČERA D4 | KUČERA D4 | ||
| − | LEITGEB | + | LEITGEB D5 |
| − | LORENCOVÁ DÚ1a, DÚ2a, DÚ3ab, D3, D4 | + | LORENCOVÁ DÚ1a, DÚ2a, DÚ3ab, D3, D4, D5 |
| − | MOTYKA D2, D3, D4, DÚ1a, DU4ab, (+) | + | MOTYKA D2, D3, D4, DÚ1a, DU4ab, D5, (+) |
| − | POKORNÁ DÚ1a (bez č.), DÚ3a, DÚ4a, D2, D3, D4, | + | POKORNÁ DÚ1a (bez č.), DÚ3a, DÚ4a, D2, D3, D4, D5 |
REINDLOVÁ | REINDLOVÁ | ||
| − | SEDLÁČKOVÁ DÚ1ab, DÚ2ab, DU4a, D2, | + | SEDLÁČKOVÁ DÚ1ab, DÚ2ab, DU4a, D2, D5 |
| − | SOBOTKA DÚ1ab, DÚ2a, DÚ3ab, DU4a, D2, D3, D4 | + | SOBOTKA DÚ1ab, DÚ2a, DÚ3ab, DU4a, D2, D3, D4, D5 |
| − | ŠMÍD DÚ1ab, DÚ2ab, DÚ3ab, DU4a D2, D3, D4 (+) | + | ŠMÍD DÚ1ab, DÚ2ab, DÚ3ab, DU4a D2, D3, D4, D5 (+) |
| − | TOULCOVÁ DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, D2, D3, D4, (+++) | + | TOULCOVÁ DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, D2, D3, D4, D5, (+++) |
VACH | VACH | ||
| Řádka 147: | Řádka 147: | ||
VALENTOVÁ D2, D3, D4, DÚ2ab, DU4a | VALENTOVÁ D2, D3, D4, DÚ2ab, DU4a | ||
| − | VRANKOVÁ DÚ1ab, DÚ2a, Dú3a, DU4a, D3, D4 | + | VRANKOVÁ DÚ1ab, DÚ2a, Dú3a, DU4a, D3, D4, D5 |
VYSOČAN DÚ1ab, D2, | VYSOČAN DÚ1ab, D2, | ||
| − | ZEMAN DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, Bonus, D2, D3, D4, (+++) | + | ZEMAN DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, Bonus, D2, D3, D4, D5, (+++) |
| − | ŽIŽKOVÁ DÚ1ab, DÚ2ab, DÚa, DU4ab, D2, D3, D4 | + | ŽIŽKOVÁ DÚ1ab, DÚ2ab, DÚa, DU4ab, D2, D3, D4, D5 |
Vysvětlivky: D (docházka), DÚ (domácí úkoly a, četba b). | Vysvětlivky: D (docházka), DÚ (domácí úkoly a, četba b). | ||
Verze z 14. 3. 2016, 19:12
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)
28.3 setkání není
4.4. opakovací test
11.4
18.4
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)
Č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)
Požadavky
Známka bude udělena dle počtu bodů, jež lze získat (a) účastí na semináři, (b) domácími úkoly, (c) opakovacími testy.
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Á DU4ab, D2, D4, D5
BAUEROVÁ DÚ1ab, DU2a, DÚ3a, DU4a, D2, D3, D4, D5
BILENČUKOVÁ D3,
BOUSSETTA REICHENSDÖRFEROVÁ DÚ1a, Dú2a, D2, D3
DANIELOVÁ, DÚ1ab, Dú3ab, D2, D3, D5
DOLANSKÝ DU4a, D3, D4, D5
DOMINOVÁ
HAVLOVÁ Eliška, D2, D3, D4, D5, DÚ1ab, DÚ2ab, DÚ3ab, DÚ4a
HAVLOVÁ Tereza, DÚ1ab, DÚ2ab, DÚ3a, DÚ4a, D2, D3, D4, D5, (+)
HOLÁ DÚ1a, DÚ2ab, DÚ3a, D2, D3, D4, D5
CHUMOVÁ D2, D3, D4, DÚ2a, DU3a, DU4a (+)
JOKLOVÁ DÚ1ab, DU2, DU4a, D2, D3, D4, D5
KALENSKÝ D2, D3, Dú2a, D4, D5
KOŽANTOVÁ D3, DÚ2a, Dú3ab, DU4ab, D4, D5
KREJČOVÁ DÚ1ab, DÚ2a, DÚ3ab, DU4ab, D2, D3, D4, D5
KUČERA D4
LEITGEB D5
LORENCOVÁ DÚ1a, DÚ2a, DÚ3ab, D3, D4, D5
MOTYKA D2, D3, D4, DÚ1a, DU4ab, D5, (+)
POKORNÁ DÚ1a (bez č.), DÚ3a, DÚ4a, D2, D3, D4, D5
REINDLOVÁ
SEDLÁČKOVÁ DÚ1ab, DÚ2ab, DU4a, D2, D5
SOBOTKA DÚ1ab, DÚ2a, DÚ3ab, DU4a, D2, D3, D4, D5
ŠMÍD DÚ1ab, DÚ2ab, DÚ3ab, DU4a D2, D3, D4, D5 (+)
TOULCOVÁ DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, D2, D3, D4, D5, (+++)
VACH
VALENTOVÁ D2, D3, D4, DÚ2ab, DU4a
VRANKOVÁ DÚ1ab, DÚ2a, Dú3a, DU4a, D3, D4, D5
VYSOČAN DÚ1ab, D2,
ZEMAN DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, Bonus, D2, D3, D4, D5, (+++)
ŽIŽKOVÁ DÚ1ab, DÚ2ab, DÚa, DU4ab, D2, D3, D4, D5
Vysvětlivky: D (docházka), DÚ (domácí úkoly a, četba b).
