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.

Přehled

20.2.

27.2.

06.3.

13.3.

20.3.

27.3.

03.4.

10.4.

17.4.

01.5. setkání není

08.5. setkání není

15.5.

29.5.

05.6.

Domácí úkoly

Studenti