Formální a filosofická logika 2

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 Jiří REFERAT++, OZ01částA-vyb

JANOVCOVÁ

KREJČOVÁ Kamila DU01+, DU02, DU03, DU04, DUbon, DU05, OZ1vyb-,

MASOPUST Matyáš, DU01, DU02, DU03 (predik. log), DU4, DU5+, OZ1partA-výb

VOZKOVÁ

Seznam studentů KFFL

KFFL2

BARTOŠKOVÁ

CINKOVÁ Radka, DU01,

JANÁKOVÁ

JANOUŠKOVÁ Anna, DU01+, DU02+, DU03+, DU04+

KADUCHOVÁ Gabriela, DU01+, DU02+, DU05+++,

KLEČKOVÁ

KLEČKOVÁ Petra, DU01, DU02, DU03, DU04+, DU05+

KOHOUTOVÁ Lucie, DU01, DU02+, DU03, DU04+

LULA Aleš, DU01, DU02, DU03+, OZ01výb

POKLOPOVÁ

PŘÍLEPKOVÁ Marta, DU01+, DU02+, DU03, DU04+, DU05+, DUbon++, OZ01část+

ROSECKÝ

SLUNEČKOVÁ Elena, DU01, DU02, DU03+,

STLUKOVÁ Kateřina, DU01, DU02, DU03+, DU04+, DU04bonus, DU05+,

ŠTUDLAR

TESÁRKOVÁ Monika DU01, DU02, DU03+, DU04+, OZ1partA-výb

VRETONKO Roman, DU1, DU02, DU03+, DU04+, DU04bon++, DU05, DUbon

Další zdroje

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

Přehled

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

Hvězdička * označuje termíny kombinovaného studia. Každý student denního je ovšem vítán na setkání kombinovaného studia a naopak. Čím více hodin logiky, tím lépe, logiky nikdy nemůže být příliš. :-)

Prosím kombinované studenty, aby sledovali zhruba rozpis dú denních studentů.

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.

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

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

13.03.21*

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

23.3.21 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 ANEBO vložený DÚ do Teamsu

30.3.21 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í)
• Jiří B. referát na formalizaci ontologického důkazu boží existence

06.4.21 Predikátová logika

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

13.4.21 Shrnutí + Opakovací test 1

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

17.4.21*

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

24.4.21*

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

• DU7: vypisky Cmorej, uvodní kap.

04.05.21: Pojmy logické sémantiky a syntaxe

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

11.05.21

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

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

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

25.05.21: Tradiční vs. moderní logika + Filosofická logika

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

01.06.21 Filosofická logika

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

30.05.20 : Filosofická logika + axiomatizace and modální logika

• DU10 záverečná reflexe

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