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

Z WiKi TF
Přejít na: navigace, hledání

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,

Citováno z „http://wiki.tf.jcu.cz/index.php?title=ZS_2015/2016:_Formální_a_filosofická_logika_2&oldid=799“