Formální a filosofická logika 2: Porovnání verzí

Verze z 29. 1. 2018, 16:31

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 Výroková logika (Berka, Logika, kap. 1-7)

• formální logika, dedukce, jméno, jméno výrazu, proměnná výrazu, jmenná forma/funkce, výrok, výrokové formy/funkce.
• negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky

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

• formule a sekvnece výrokové logiky, tabulková metoda, výrokově-logické vyplývání, kontradikce, tautologie, splnitelné formule

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

Státní závěrečné zkoušky

Na základě tohoto kursu by student měl být schopen zvládnout zodpovědět část násl. otázek SZZ:

• Pojem a termín (typy pojmů, obsah a rozsah, vztahy pojmů, predikabilia, kategorie; syntaxe a sémantika, moderní pojetí extenze a intenze termínu; definice a dělení)

• Výrok a soud, výroková a predikátová logika (aristotelské a moderní chápání kategorického soudu, teorie predikace, logický čtverec; jazyk výrokové a predikátové logiky a jeho interpretace, extenzionální a neextenzionální výrokové spojky, tautologie a kontradikce výrokové logiky, pravdivostní tabulky; kvantifikátory a proměnné, moderní pojetí extenze a intenze výroku)

• Argument a úsudek (aristotelské a moderní chápání, typy argumentů, sylogismus, úsudky ze složených soudů, důkaz sporem, vyplývání, dokazatelnost, odvoditelnost, axiomatizace)

• Filosofické problémy logiky (modální logika, vývoj chápání logických modalit, modality de re a de dicto, možné světy; problém logického uchopení existence, teorie pravdy).