Formální a filosofická logika 2

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

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

05.4.18

12.4.18

19.4.18

26.4.18

03.5.18

10.5.18

17.5.18

Domácí úkoly

Studenti