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

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Á

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

REINDLOVÁ

SEDLÁČKOVÁ

SOBOTKA DÚ1++

ŠMÍD

TOULCOVÁ

VACH

VALENTOVÁ

VRANKOVÁ

VYSOČAN DÚ1++,

ZEMAN

ŽIŽKOVÁ