ZS 2015/2016: Formální a filosofická logika 2: Porovnání verzí
| Řádka 79: | Řádka 79: | ||
BAŠTOVÁ D2, | BAŠTOVÁ D2, | ||
| − | BAUEROVÁ | + | BAUEROVÁ DÚ1ab, D2, |
BILENČUKOVÁ | BILENČUKOVÁ | ||
| − | BOUSSETTA REICHENSDÖRFEROVÁ | + | BOUSSETTA REICHENSDÖRFEROVÁ DÚ1a, D2, |
| − | DANIELOVÁ, | + | DANIELOVÁ, DÚ1ab, D2, |
DOLANSKÝ | DOLANSKÝ | ||
| Řádka 91: | Řádka 91: | ||
DOMINOVÁ | DOMINOVÁ | ||
| − | HAVLOVÁ D2, | + | HAVLOVÁ D2, DÚ1ab, DÚ2a, |
| − | HAVLOVÁ Tereza, | + | HAVLOVÁ Tereza, DÚ1ab, DÚ2ab, D2, (+) |
| − | HOLÁ | + | HOLÁ DÚ1a, DÚ2ab, D2 |
CHUMOVÁ | CHUMOVÁ | ||
| − | JOKLOVÁ | + | JOKLOVÁ DÚ1ab, D2, |
KALENSKÝ D2, | KALENSKÝ D2, | ||
| − | KOŽANTOVÁ | + | KOŽANTOVÁ DÚ2a, |
| − | KREJČOVÁ D2, | + | KREJČOVÁ DÚ1a, DÚ2a, D2, |
KUČERA | KUČERA | ||
| Řádka 111: | Řádka 111: | ||
LEITGEB | LEITGEB | ||
| − | LORENCOVÁ | + | LORENCOVÁ DÚ1a |
MOTYKA D2, | MOTYKA D2, | ||
| − | POKORNÁ | + | POKORNÁ DÚ1a (bez č.), D2? |
REINDLOVÁ | REINDLOVÁ | ||
| − | SEDLÁČKOVÁ | + | SEDLÁČKOVÁ DÚ1ab, D2, |
| − | SOBOTKA | + | SOBOTKA DÚ1a, DÚ2a, D2 |
| − | ŠMÍD | + | ŠMÍD DÚ1ab, D2, |
| − | TOULCOVÁ | + | TOULCOVÁ DÚ1ab, D2 (+) |
VACH | VACH | ||
| Řádka 131: | Řádka 131: | ||
VALENTOVÁ D2, | VALENTOVÁ D2, | ||
| − | VRANKOVÁ | + | VRANKOVÁ DÚ1ab |
| − | VYSOČAN | + | VYSOČAN DÚ1ab, D2, |
| − | ZEMAN | + | ZEMAN DÚ1ab, D2, (+) |
| − | ŽIŽKOVÁ | + | ŽIŽKOVÁ DÚ1ab, D2, |
Verze z 26. 2. 2016, 12:24
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
7.3
14.3
21.3
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
Četba
15.2. Kolář: Úvod, 1. Logika (vypsat klíčové termíny)
22.2. Kolář: Úvod, 1. Logika (formulovat 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. Praha, 1999.
Základní: P. Cmorej. Úvod do logické syntaxe a sémantiky, Triton. 2002.
Rozšiřující: Prokop Sousedík. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001. Praha: Vyšehrad, 2001.
Seznam studentů
BAŠTOVÁ D2,
BAUEROVÁ DÚ1ab, D2,
BILENČUKOVÁ
BOUSSETTA REICHENSDÖRFEROVÁ DÚ1a, D2,
DANIELOVÁ, DÚ1ab, D2,
DOLANSKÝ
DOMINOVÁ
HAVLOVÁ D2, DÚ1ab, DÚ2a,
HAVLOVÁ Tereza, DÚ1ab, DÚ2ab, D2, (+)
HOLÁ DÚ1a, DÚ2ab, D2
CHUMOVÁ
JOKLOVÁ DÚ1ab, D2,
KALENSKÝ D2,
KOŽANTOVÁ DÚ2a,
KREJČOVÁ DÚ1a, DÚ2a, D2,
KUČERA
LEITGEB
LORENCOVÁ DÚ1a
MOTYKA D2,
POKORNÁ DÚ1a (bez č.), D2?
REINDLOVÁ
SEDLÁČKOVÁ DÚ1ab, D2,
SOBOTKA DÚ1a, DÚ2a, D2
ŠMÍD DÚ1ab, D2,
TOULCOVÁ DÚ1ab, D2 (+)
VACH
VALENTOVÁ D2,
VRANKOVÁ DÚ1ab
VYSOČAN DÚ1ab, D2,
ZEMAN DÚ1ab, D2, (+)
ŽIŽKOVÁ DÚ1ab, D2,
