ZS 2015/2016: Formální a filosofická logika 2

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 DÚ1++,

ZEMAN

ŽIŽKOVÁ