Zobrazení zdroje stránky 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. [https://www.academia.edu/38949200/Argumentations_and_Logic_Argumentace_a_logika_CZECH_060619 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Á Jindra VYB+ 

FALTOVÁ Anna, DU01-03+, DU+ (Cmorej), OZ1 (i s opravou jako du4-5), DU+ (Cmorej), DU (Kolar)

POKORNÝ Ondřej OZ1(1O), DU01-4(Berka), OZ02(cca10) CHV->VYB

VAVREINOVÁ Radka DU01+, DU2-5 (Berka+bonus), OZ02(??)

VOZKOVÁ

'''Seznam studentů KFFL2'''

AMBROŽ

BALUCHOVÁ Michaela DU01-02+, DU3+, DU004-5++ (Berka, Cmorej)

BÁRTA Tomáš OZ1(25%)

DOŠKOVÁ Eva DU01-03, DU04-05, OZ01(9), OZ01(9opr) (CH po doplnění DU VYB)

HÁLOVÁ Michaela, CHVAL -> VYB+ po opravě 0Z2 (druhá část, 11.6)

HEJNÝ Bohumil, VYB+

HYNEK

KRÁSNICKÁ Martina VÝB+++

MIKULOVÁ Pavlína, VÝB+

OBERGRUBER Petr VÝB

PALATÍNUS Gabriel DU01-05, OZ1(první-část,konzult), OZ2(dokončit)

STAERZ Eva OZ02(1/2),

SÙVOVÁ Denisa OZ01-03, OZ01(první část)

ŠÁDEK Kryštof, VÝB+

ŠTÌPÁNEK

VRANKA Matouš DU01-5+++ (Berka), DU06, DU07+ (Cmorej in progress), OZ1(10), OZ02(10opr), CHV->VYB

'''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 ''' ''setkání není'' 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 (bonus): poznámky a otázky ze samostudia K. Berky, s.76-98  (predikátová logika - odvozování)

'''05.04.22''' Predikátová logika 
* DU6: četba Cmorej 1-3

'''12.04.22''' Shrnutí + Opakovací test 1
* DU (bonus): oprava či revize OZ1

'''19.04.22''' ''pokračování v Opakovacím testu 2 + procvičování knihy Cmoreje''

'''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í - test (Berka)''

'''03.05.22''' úvod do četby P. Koláře 

* DU7: vypisky Cmorej (celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus)
* 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).
 
'''10.05.22'''   Četba P. Koláře, příp. výklad: Axiomatizace + Modální logika 

'''17.05.22''' Tradiční vs. moderní logika + Filosofická logika
* spojky, proměnné, (splňování), individuové deskripce, lambda abstrakce, atd.
* DU8: vypisky Cmorej  ((celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus))

'''21.05.22 KFFL2''' (13.00-16.15 v TK 105) ''opakování + případně opakovací test 2''

Filosofická logika
DU9: výpisky Kolář (Úvod a kap. 1, 3) - pokud budou podrobnější, budou bonusy :-) 
DU10 záverečná reflexe a doplnění chybějících částí ve výpiscích Cmoreje a Koláře

'''24.05.22''' Opakovací test 2 

'''4.06.22''' Opakovací test 2 přes Teamsi - další možnost

'''11.06.22''' Opakovací test 2 přes Teamsi - další možnost :-)

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