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

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 (10b), opakovacími testy (2x10b), 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.
• Cmorej, Pavol. Úvod do logické syntaxe a sémantiky, Triton, Praha 2002.
• Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999.

Rozšiřující:

• CORCORAN, John. Argumentace a logika. Argumentation. (1989/2019)
• Sousedík, Prokop. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001.

Doplňující

• Frege, Gottlob, Pojmopis, 1879/2012
• Priest, Graham, Logika, 2007
• Peregrin, Jaroslav a Marta Vlasáková, Filosofie logiky, Praha 2017.

Seznam studentů FFL2

DOMINOVÁ

FALTOVÁ

POKORNÝ

VAVREINOVÁ

VOZKOVÁ

Seznam studentů KFFL2

AMBROŽ

BALUCHOVÁ

BÁRTA

BEREDZAS

BRUKNER

DOŠKOVÁ

HÁLOVÁ

HEJNÝ

HYNEK

KRÁSNICKÁ

MIKULOVÁ

OBERGRUBER

PALATÍNUS

STAERZ

SÙVOVÁ

ŠÁDEK DU01

ŠTÌPÁNEK

TREFIL

VRANKA

Další zdroje

http://krypton.mnsu.edu/~jp5985fj/courses/609/Logic/Silly%20Syllogisms.htm

Přehled

Přehled bude průběžně aktualizován, dle toho, jak si budeme osvojovat základní pojmy.

Výuka bude probíhat zároveň pro denní i kombinované studenty hybridním způsobem (přes Teams) se záznamem v úterý 14.00-15.30 a dle rozvrhu kombinovaných studentů (označeno 'KFFL2').

15.02.22 Úvod + Výroková logika 1 (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.
• DÚ1: poznámky ze samostudiua K. Berky, Logika, 1978, s. 7-32.

19.02.22 KFFL2 (13.00-16.15 v TK 112) opakování

22.02.22 Výroková logika 2 (Berka, Logika, kap. 1-7)

• negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky
• DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45

01.03.22 Výroková logika 3 (Berka, Logika, kap. 8-10) + Predikátová logika

• 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.03.21 setkání není

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

19.03.22 KFFL2 (9.00-12.15 v TK 112) opakování

22.03.22 Predikátová logika (opakování)

• volné a vázané výskyty proměnných, formule a sekvence predikátové logiky
• DU4-bonus: příklady na predikátovou logiky ze s. 57-66

29.03.22 Predikátová logika

• DU5: poznámky a otázky ze samostudia K. Berky, s.67-75 (predikátová logika - protipříklady, pravidla správného usuzování)
• DU (bonusový): poznámky a otázky ze samostudia K. Berky, s.76-98 (predikátová logika - odvozování)

05.04.22 Predikátová logika

• DU (bonusový): četba Kolář, kap. 1,3

12.04.22 Shrnutí + Opakovací test 1

• DU6-oprava: oprava či dokončění testu 1B

19.04.22

26.04.22 Pojmy logické sémantiky a syntaxe

• 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ů)

30.04.22 KFFL2 (10.45-12.15 v TK 112) opakování

03.05.22 setkání není (možná náhrada)

Pojmy logické sémantiky a syntaxe + pokračování

• DU7: vypisky Cmorej, uvodní kap.

Pojmy logické sémantiky a syntaxe

• atomární výroky, molekulární výroky
• DUbonus: vypisky Cmorej - pokracování/úprava

10.05.22 Pojmy logické sémantiky a syntaxe (dokončení)

• opakování Cmorej, příp. dokončení
• kap. 7, 8 a 9 jsou nepovinné, ale užitečné.
• Klíčové termíny kap. 7: proměnná, obor proměnnosti, extenzionální entity
• Klíčové termíny kap. 8: forma výroku/výroková forma, kategorie výrazu, ohodnocovnání, splňování
• Klíčové termíny kap. 9: kvantifikace výrokové formy, volné a vázané proměnné, dosah kvantifikátoru, výrokové vormy s volnými a vázanými proměnnými (výrokové formy vs. výroky).

17.05.22 Tradiční vs. moderní logika + Filosofická logika

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

21.05.22 KFFL2 (13.00-16.15 v TK 105) opakování

Filosofická logika DU9: vypisky Kolář (Úvod a kap. 1, 3, 4) DU10 záverečná reflexe

Opakovací test 2 (dle domluvy)

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