ZS 2015/2016: Formální a filosofická logika 2: Porovnání verzí
(Založena nová stránka s textem „TEMATICKÉ OKRUHY PŘEDNÁŠEK A SEMINÁŘŮ Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.) Základní…“) |
|||
| Řádka 1: | Řádka 1: | ||
| + | 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 | ||
| + | |||
| + | '''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ÁŘŮ | TEMATICKÉ OKRUHY PŘEDNÁŠEK A SEMINÁŘŮ | ||
| − | Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.) | + | 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Á | ||
| + | |||
| + | BAUEROVÁ | ||
| + | |||
| + | BILENČUKOVÁ | ||
| + | |||
| + | BOUSSETTA REICHENSDÖRFEROVÁ | ||
| + | |||
| + | DANIELOVÁ | ||
| + | |||
| + | DOLANSKÝ | ||
| + | |||
| + | DOMINOVÁ | ||
| + | |||
| + | HAVLOVÁ | ||
| + | |||
| + | HAVLOVÁ | ||
| + | |||
| + | HOLÁ | ||
| + | |||
| + | CHUMOVÁ | ||
| + | |||
| + | JOKLOVÁ | ||
| + | |||
| + | KALENSKÝ | ||
| + | |||
| + | KOŽANTOVÁ | ||
| + | |||
| + | KREJČOVÁ | ||
| + | |||
| + | KUČERA | ||
| + | |||
| + | LEITGEB | ||
| + | |||
| + | LORENCOVÁ | ||
| + | |||
| + | MOTYKA | ||
| + | |||
| + | POKORNÁ | ||
| + | |||
| + | REINDLOVÁ | ||
| + | |||
| + | SEDLÁČKOVÁ | ||
| + | |||
| + | SOBOTKA | ||
| + | |||
| + | ŠMÍD | ||
| + | |||
| + | TOULCOVÁ | ||
| + | |||
| + | VACH | ||
| + | |||
| + | VALENTOVÁ | ||
| − | + | VRANKOVÁ | |
| − | + | VYSOČAN | |
| − | + | ZEMAN | |
| − | + | ŽIŽKOVÁ | |
Verze z 1. 2. 2016, 15:15
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
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Á
BAUEROVÁ
BILENČUKOVÁ
BOUSSETTA REICHENSDÖRFEROVÁ
DANIELOVÁ
DOLANSKÝ
DOMINOVÁ
HAVLOVÁ
HAVLOVÁ
HOLÁ
CHUMOVÁ
JOKLOVÁ
KALENSKÝ
KOŽANTOVÁ
KREJČOVÁ
KUČERA
LEITGEB
LORENCOVÁ
MOTYKA
POKORNÁ
REINDLOVÁ
SEDLÁČKOVÁ
SOBOTKA
ŠMÍD
TOULCOVÁ
VACH
VALENTOVÁ
VRANKOVÁ
VYSOČAN
ZEMAN
ŽIŽKOVÁ
