ZS 2015/2016: Formální a filosofická logika 2: Porovnání verzí
| Řádka 72: | Řádka 72: | ||
'''Seznam studentů''' | '''Seznam studentů''' | ||
| − | BAŠTOVÁ | + | BAŠTOVÁ D2, |
| − | BAUEROVÁ DÚ1+ (bez č) | + | BAUEROVÁ DÚ1+ (bez č), D2, |
BILENČUKOVÁ | BILENČUKOVÁ | ||
| − | BOUSSETTA REICHENSDÖRFEROVÁ | + | BOUSSETTA REICHENSDÖRFEROVÁ D2, |
| − | DANIELOVÁ, DÚ1++ | + | DANIELOVÁ, DÚ1++, D2, |
DOLANSKÝ | DOLANSKÝ | ||
| Řádka 86: | Řádka 86: | ||
DOMINOVÁ | DOMINOVÁ | ||
| − | HAVLOVÁ | + | HAVLOVÁ D2, |
| − | HAVLOVÁ Tereza, DÚ1++, | + | HAVLOVÁ Tereza, DÚ1++, D2, |
HOLÁ | HOLÁ | ||
| Řádka 94: | Řádka 94: | ||
CHUMOVÁ | CHUMOVÁ | ||
| − | JOKLOVÁ | + | JOKLOVÁ D2, |
| − | KALENSKÝ | + | KALENSKÝ D2, |
KOŽANTOVÁ | KOŽANTOVÁ | ||
| − | KREJČOVÁ | + | KREJČOVÁ D2, |
KUČERA | KUČERA | ||
| Řádka 108: | Řádka 108: | ||
LORENCOVÁ | LORENCOVÁ | ||
| − | MOTYKA | + | MOTYKA D2, |
| − | POKORNÁ DÚ1+ (bez č.) | + | POKORNÁ DÚ1+ (bez č.), D2? |
REINDLOVÁ | REINDLOVÁ | ||
| − | SEDLÁČKOVÁ | + | SEDLÁČKOVÁ D2, |
| − | SOBOTKA DÚ1+ | + | SOBOTKA DÚ1+, D2 |
| − | ŠMÍD DÚ1++ | + | ŠMÍD DÚ1++, D2, |
| − | TOULCOVÁ DÚ1++ | + | TOULCOVÁ DÚ1++, D2 |
VACH | VACH | ||
| − | VALENTOVÁ | + | VALENTOVÁ D2, |
VRANKOVÁ | VRANKOVÁ | ||
| − | VYSOČAN DÚ1++, | + | VYSOČAN DÚ1++, D2, |
| − | ZEMAN | + | ZEMAN D2, |
| − | ŽIŽKOVÁ | + | ŽIŽKOVÁ D2, |
Verze z 22. 2. 2016, 16:44
TK-210, 11.30-13.00
15.2.
22.2.
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.
Četba
15.2 Kolář: Úvod, 1. Logika
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Ú1+ (bez č), D2,
BILENČUKOVÁ
BOUSSETTA REICHENSDÖRFEROVÁ D2,
DANIELOVÁ, DÚ1++, D2,
DOLANSKÝ
DOMINOVÁ
HAVLOVÁ D2,
HAVLOVÁ Tereza, DÚ1++, D2,
HOLÁ
CHUMOVÁ
JOKLOVÁ D2,
KALENSKÝ D2,
KOŽANTOVÁ
KREJČOVÁ D2,
KUČERA
LEITGEB
LORENCOVÁ
MOTYKA D2,
POKORNÁ DÚ1+ (bez č.), D2?
REINDLOVÁ
SEDLÁČKOVÁ D2,
SOBOTKA DÚ1+, D2
ŠMÍD DÚ1++, D2,
TOULCOVÁ DÚ1++, D2
VACH
VALENTOVÁ D2,
VRANKOVÁ
VYSOČAN DÚ1++, D2,
ZEMAN D2,
ŽIŽKOVÁ D2,
