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.

Domácí úkoly

Studenti