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

TENTO PŘEHLED JE NEAKTUÁLNÍ. JEDNÁ SE PŘÍKLAD PRůBĚHU SEMESTRU.

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

• atomární výroky, molekulární výroky
• DU: vypisky Cmorej

19.4.18 Pojmy logické sémantiky a syntaxe

• spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd.
• DU: vypisky Cmorej

26.4.18 setkání není

03.5.18 Tradiční vs. moderní logika (+ opakování Cmorej)

• DU: vypisky Cmorej + přednáška

10.5.18 Filosofická logika

• DU: vypisky Kolář (Úvod a přinejmenším kap. 1)

17.5.18 Filosofická logika

• DU: krátká závěrečná reflexe

Dále: mini-opakovací test 2 (na hodině či jako dú)

Studenti

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