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

Verze z 23. 2. 2021, 11:20

Kdy a kde:

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ů FFL

FFL2

BEDRLÍK

JANOVCOVÁ

KREJČOVÁ

MASOPUST

VOZKOVÁ

Seznam studentů KFFL

KFFL2

BARTOŠKOVÁ

CINKOVÁ

JANÁKOVÁ

JANOUŠKOVÁ

KADUCHOVÁ

KLEČKOVÁ

KLEČKOVÁ

KOHOUTOVÁ

LULA

POKLOPOVÁ

PŘÍLEPKOVÁ

ROSECKÝ

SLUNEČKOVÁ

STLUKOVÁ

ŠTUDLAR

TESÁRKOVÁ

VRETONKO

Další zdroje

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

Přehled

Přehled bude průběžně aktualizován!

20.2.21 Ú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.

28.2.21 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

07.3.21 Výroková logika 3 (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 - témata viz níže 10.3.19)
• DU (bonusový): výroková logika - rozdána na hodině

14.3.21 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 - témata viz níže 24.3.19)

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

• DU4-bonus: příklady na predikátovou logiky se s. 57-66.

28.3.20 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-75 (predikátová logika - protipříklady, pravidla správného usuzování)

04.4.20 Predikátová logika

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

11.4.20 Shrnutí + Opakovací test 1

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

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

25.4.20 v 10.00 na FB: Pojmy logické sémantiky a syntaxe + pokračování

• DU7: vypisky Cmorej konzultace skupinová

2.5.20 v 10.00 na FB: Pojmy logické sémantiky a syntaxe

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

9.05.20 v 10.00 na FB

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

12.05.20 (individuální konzultace): Pojmy logické sémantiky a syntaxe

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

16.05.20 v 10.00 na FB: Tradiční vs. moderní logika + Filosofická logika

• prosím, čtěte již Koláře, abychom zde mohli diskutovat

23.05.20 Filosofická logika

• DU9: vypisky Kolář (Úvod a kap. 1, 3, 4)

30.05.20 v 10.00 na FB: Filosofická logika + axiomatizace and modální logika

• DU10: bude upřesněn
• DU(bonusový): krátká závěrečná reflexe

06.06.20 v 10.00 na FB

• opakování výše uvedených témat (která jsme nestihli)

Opakovací test 2

Studenti

MASOPUST Matyáš, DU01 (Berka, kap. 1-7)

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