Formální a filosofická logika 2

Kdy a kde: Čtvrtek, 9.45-11.15, TK 202

Témata

1. Moderní logika

1.1. Výroková logika (přehled)

1.2. Predikátová logika (přehled)

1.3. 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.)

1.4. Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.)

2. Varia z moderní filosofické logiky

Požadavky

Známka bude udělena dle počtu bodů, jež lze získat (a) účastí na semináři (13), (b) domácími úkoly (17), (c) opakovacími testy (asi 40) a dále různými úkoly "bonusovými" (nepovinnými, jež mohou nahradit chybějící úkoly povinné). Zátěž 4 x 25 h (4 kredity)

Literatura

Základní:

• Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978.

• Sousedík, Prokop. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001.

Rozšiřující:

• Cmorej, Pavol. Úvod do logické syntaxe a sémantiky, Triton, Praha 2002.

• Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999.

Další zdroje

http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm

Přehled

15.2.18 setkání není

22.2.18 Berka, Úvod, Výroková logika (kap. 1-7)

01.3.18 Berka, Úvod, Výroková logika (kap. 8-10)

08.3.18 Predikátová logika

15.3.18 Predikátová logika

22.3.18 Predikátová logika

29.3.18 Opakování

05.4.18 Pojmy logické sémantiky a syntaxe

12.4.18 Pojmy logické sémantiky a syntaxe

19.4.18 Tradiční vs. moderní logika

26.4.18 Tradiční vs. moderní logika

03.5.18 Filosofická logika

10.5.18 Filosofická logika

17.5.18 Filosofická logika

Domácí úkoly

Studenti

BÖHM Jan

HULEŠOVÁ Helena

CHUMOVÁ Lucie

NEJEZCHLEBOVÁ Vendula

POKORNÁ Simona