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

Verze z 8. 3. 2018, 08:12

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

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 účastí na semináři, domácími úkoly, opakovacími testy, příp. ústním dozkoušením. Zátěž 4 x 25 h (4 kredity)

Literatura

Základní:

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

• 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í

• DÚ1: poznámky ze samostudiua K. Berky, Logika, 1978, s. 7-32.

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
• DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45

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

• formule a sekvence výrokové logiky, tabulková metoda, výrokově-logické vyplývání, kontradikce, tautologie, splnitelné formule
• DU3: poznámky a otázky ze samostudia K. Berky, s. 46-57 (predikátová logika)

08.3.18 Predikátová logika

• množiny, predikáty, individua, obecná a existenční tvrzení, kvantifikátory
• DU4: poznámky a otázky ze samostudia K. Berky, s. (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

• 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.

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, DU1, DU2

HULEŠOVÁ Helena, DU1, DU2, DU3

CHUMOVÁ Lucie

NEJEZCHLEBOVÁ Vendula, DU1, DU2

MACHULOVÁ Magdalena, DU1, DU2, DU3

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