Logika 2: Porovnání verzí

Z WiKi TF
Přejít na: navigace, hledání
 
(Není zobrazeno 28 mezilehlých verzí od stejného uživatele.)
Řádka 74: Řádka 74:
 
* DUBonus: celková reflexe (Co bylo obtížné? Co mě obohatilo?)  
 
* DUBonus: celková reflexe (Co bylo obtížné? Co mě obohatilo?)  
  
−
'''16.05.2023 FINIS''' ''naneštěstí je třeba najít náhradní setkání z důvodů služební cesty''  
+
'''13.05.2023 KFFL2''' (9.00-12.15 v TK 112) ''dokončení předmětu''
 +
 
 +
'''16.05.2023''' ''setkání není''
 +
 
 +
'''20.05.2023 KFFL2''' (13.00-16.15 v TK 112) ''opakovací test 2''
 +
 
 +
'''23.05.2023''' Kolář
 +
 
 +
'''30.05.2023''' ''Opakovací test 2''
  
 
'''Požadavky'''
 
'''Požadavky'''
  
−
Známka bude udělena dle počtu bodů, jež lze získat účastí na semináři, domácími úkoly (2x10b), opakovacími testy (2x10b), příp. ústním dozkoušením. Zátěž 4 x 25 h (4 kredity)
+
Známka bude udělena dle počtu bodů, jež lze získat účastí na semináři, domácími úkoly (2x15b), opakovacími testy (2x10b), příp. ústním dozkoušením. K dispozici jsou i bonusové body. :-)
 +
 
 +
Zátěž 4 x 25 h (4 kredity)
  
 
'''Literatura'''
 
'''Literatura'''
Řádka 95: Řádka 105:
 
Doplňující
 
Doplňující
 
* Frege, Gottlob, ''Pojmopis'', 1879/2012
 
* Frege, Gottlob, ''Pojmopis'', 1879/2012
 +
* Peregrin, Jaroslav a Marta Vlasáková, ''Filosofie logiky'', Praha 2017.
 
* Priest, Graham, ''Logika'', 2007
 
* Priest, Graham, ''Logika'', 2007
−
* Peregrin, Jaroslav a Marta Vlasáková, ''Filosofie logiky'', Praha 2017.
+
* Svoboda, Vladimír a Jaroslav Peregrin, ''Od jazyka k logice: Filosofický úvod do moderní logiky'', Praha 2009.
  
 
'''Seznam studentů FFL2'''
 
'''Seznam studentů FFL2'''
 +
 +
HOLÁKOVÁ Karolína, doplnit OZ k 3, pěkné DU
  
 
'''Seznam studentů KFFL2'''
 
'''Seznam studentů KFFL2'''
 +
 +
BEREDZAS Michal, DU01-05., 0-0
 +
 +
BORZOVÁ Veronika, DU01-08, OZ01(14), pod doplnění Koláře 3,
 +
 +
BOUCHAL Alexander, +, DU01-08, OZ(10), OZ2(bez opravy), ZAP, /3/2
 +
 +
CIMICKÝ, 0,0
 +
 +
ĎOPANOVÁ. ZAP, VYB-,
 +
 +
FOŠUM Josef, ++, ZAP, VYB
 +
 +
HLAVEŠOVÁ Ilona, ++, ZAP, VYB
 +
 +
HOUŠKA Matěj, + (doplnit OZ2 a poslední DU)
 +
 +
JAREŠ David, +, ZAP (doplnit DU - 2/3)
 +
 +
KODYDKOVÁ Patricie, doplnit OZ1 a některé DU
 +
 +
LIBECAJT Martin, ++, doplnit
 +
 +
LE MINH Dung, +
 +
 +
MIKEŠ, Zdeněk +. VYB,
 +
 +
MRÁZ Martin, ZAP, /3 (dokončit dú)
 +
 +
PALUSOVA, 2/1?
 +
 +
PRYNTSOVSKA Diana, CHV/1, ZAP (doplnit du)
 +
 +
RECHTORIKOVA 2/1 (konz)
 +
 +
SMITEK Petr, +
 +
 +
ŠTEPANEK, 0, 0

Aktuální verze z 21. 8. 2023, 08:42

Témata

Moderní logika

  • 1 Výroková logika (Berka)
  • 2 Predikátová logika (Berka)
  • 3 Logická sémantika a syntax - prohloubení některých aspektů jazyka predikátové logiky (Cmorej)

Exkurs: Moderní vs. tradiční logika

Moderní logika a vybrané filosofické souvislosti (Kolář)

Přehled

Moderní logika 1: výroková logika

14.02.2023 TÝDEN 1: Úvod + Výroková logika 1 (Berka, Logika, kap. 1-7)

  • KLÍČOVÉ POJMY: 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 (alespoň část)

18.02.2023 KFFL2 (13.00-16.15 v TK 4.08) Úvod + Výroková logika

21.02.2023 TÝDEN 2: Výroková logika 2 (Berka, Logika, kap. 1-7)

  • KLÍČOVÉ POJMY: negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky
  • DU2: poznámky ze samostudiua K. Berky, Logika, 1978, s. 7-32 (dokončení)

28.02.2023 TÝDEN 3: Výroková logika 3 (Berka, Logika, kap. 8-10)

  • KLÍČOVÉ POJMY: 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. 32-45

Moderní logika 2: predikátová logika

07.03.2023 TÝDEN 4: Predikátová logika 1 - setkání pouze online

  • KLÍČOVÉ POJMY: množiny, predikáty, individua, obecná a existenční tvrzení, kvantifikátory
  • DU4: * poznámky a otázky ze samostudia K. Berky, s. 46-57 (predikátová logika)

14.03.2023 TÝDEN 5: Predikátová logika 2

  • KLÍČOVÉ POJMY: 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.57-66 (predikátová logika - odvozování)

21.03.2023 TÝDEN 6: Predikátová logika 3

  • KLÍČOVÉ POJMY: metoda protipříkladů, pravidla správného usuzování a odvozování
  • DU6: poznámky a otázky ze samostudia K. Berky, s.67-82

25.03.2023 KFFL2 (9.00-10.30 v TK 115) Predikátová logika

28.03.2023 TÝDEN 7: setkání není

  • DU-bonus: reflexe k predikátové logice (např. k obtížnějším částem do s. 82; dle zájmu lze také dokončit celou kapitolu do s. 98)

04.04.2023 TÝDEN 8: opakovací zkouška 1

  • DU-bonusOZ1: lze doplnit a opravit slabá místa v testu k doplnění bodů

11.04.2023 TÝDEN 9: Logická sémantika a syntax - opakovací zkouška 1: pokračovaní

  • KLÍČOVÉ POJMY:
  • DU7: četba Cmorej 1-3

15.04.2023 KFFL2 (10.45-12.15 v TK 112) opakovací zkouška 1

18.04.2023 TÝDEN 10

  • KLÍČOVÉ POJMY:
  • DU8: četba Cmorej 4–6

25.04.2023 TÝDEN 11

  • DU9: četba Cmorej 10–11

02.05.2023 TÝDEN 12

  • DU10: četba Kolář (Úvod + Hlava I bez kap. 2)

09.05.2023 TÝDEN 12

  • DUBonus: celková reflexe (Co bylo obtížné? Co mě obohatilo?)

13.05.2023 KFFL2 (9.00-12.15 v TK 112) dokončení předmětu

16.05.2023 setkání není

20.05.2023 KFFL2 (13.00-16.15 v TK 112) opakovací test 2

23.05.2023 Kolář

30.05.2023 Opakovací test 2

Požadavky

Známka bude udělena dle počtu bodů, jež lze získat účastí na semináři, domácími úkoly (2x15b), opakovacími testy (2x10b), příp. ústním dozkoušením. K dispozici jsou i bonusové body. :-)

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í:

Doplňující

  • Frege, Gottlob, Pojmopis, 1879/2012
  • Peregrin, Jaroslav a Marta Vlasáková, Filosofie logiky, Praha 2017.
  • Priest, Graham, Logika, 2007
  • Svoboda, Vladimír a Jaroslav Peregrin, Od jazyka k logice: Filosofický úvod do moderní logiky, Praha 2009.

Seznam studentů FFL2

HOLÁKOVÁ Karolína, doplnit OZ k 3, pěkné DU

Seznam studentů KFFL2

BEREDZAS Michal, DU01-05., 0-0

BORZOVÁ Veronika, DU01-08, OZ01(14), pod doplnění Koláře 3,

BOUCHAL Alexander, +, DU01-08, OZ(10), OZ2(bez opravy), ZAP, /3/2

CIMICKÝ, 0,0

ĎOPANOVÁ. ZAP, VYB-,

FOŠUM Josef, ++, ZAP, VYB

HLAVEŠOVÁ Ilona, ++, ZAP, VYB

HOUŠKA Matěj, + (doplnit OZ2 a poslední DU)

JAREŠ David, +, ZAP (doplnit DU - 2/3)

KODYDKOVÁ Patricie, doplnit OZ1 a některé DU

LIBECAJT Martin, ++, doplnit

LE MINH Dung, +

MIKEŠ, Zdeněk +. VYB,

MRÁZ Martin, ZAP, /3 (dokončit dú)

PALUSOVA, 2/1?

PRYNTSOVSKA Diana, CHV/1, ZAP (doplnit du)

RECHTORIKOVA 2/1 (konz)

SMITEK Petr, +

ŠTEPANEK, 0, 0

Citováno z „http://wiki.tf.jcu.cz/index.php?title=Logika_2&oldid=4365“