Formální a filosofická logika 2

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.57-66 (predikátová logika)

15.3.18 Predikátová logika

• volné a vázané výskyty proměnných, formule a sekvence predikátové logiky
• DU5: poznámky a otázky ze samostudia K. Berky, s.67-76 (predikátová logika)

22.3.18 Predikátová logika + Opakovací test 1A

• DU (bonusový): četba Kolář, kap. 1,3
• DU (bonusový): poznámky a otázky ze samostudia K. Berky, s.77-90 (predikátová logika)

29.3.18 setkání není

• dokončit DU1-5, test 1A

05.4.18 Pojmy logické sémantiky a syntaxe + Opakovací test 1B

• 1. jazyk (syntaktika a sémantika, fyzické a ideální znaky, umělé a přirozené jazyky, syntax a extenzionální sémantika jazyka prvního řádu),
• 2. individuová jména (univerzum jazyka, individua, individuová jména, denotace/signifikace/determinace, extenzionální a intenzionální sémantika, možný svět, totožnost intenzí),
• 3. predikáty (řád, arita, vlastnost a její extenze, vztah a její extenze, signifikát a denotát predikátů)
• DU (na 5.4): prolistovat si příslušné části knihy P. Cmoreje, zkusit porozumnět výše uvedením klíčovým termínům, stručně charakterizovat.
• DU (na 5.4): oprava či dokončění testu 1B

12.4.18 Pojmy logické sémantiky a syntaxe

• PROGRAM: dotazy k opakovacímu testu, Cmorej
• TÉMATA NA PŘÍŠTĚ: atomární výroky, molekulární výroky, spojky, proměnné, splňování, individuové deskripce, lambda abstrakce, atd.

19.4.18 Tradiční vs. moderní logika

26.4.18 setkání není

03.5.18 Filosofická logika

10.5.18 Filosofická logika

17.5.18 Filosofická logika

Domácí úkoly

Studenti

BÖHM Jan, DU1, DU2, DU3, DU4, DU5, OZ1A (dokončit opravu)

HULEŠOVÁ Helena, DU1, DU2, DU3, DU4, DU5, OZ1A

KOLDA, Filip

CHUMOVÁ Lucie

NEJEZCHLEBOVÁ Vendula, DU1, DU2, DU3, DU4, DU5, DU-B, OZ1A

MACHULOVÁ Magdalena, DU1, DU2, DU3, DU4

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