Logika 2: Porovnání verzí

Z WiKi TF
Přejít na: navigace, hledání
 
(Není zobrazeno 58 mezilehlých verzí od stejného uživatele.)
Řádka 1: Řádka 1:
 
'''Témata'''
 
'''Témata'''
  
−
Moderní logika 1: výroková logika (Berka)
+
'''Moderní logika'''
  
−
Moderní logika 2: predikátová logika (Berka)
+
*1 Výroková logika (Berka)
  
−
Moderní logika 3: prohloubení nekterých askpektů logické sémantiky a syntaxe (Cmorej)
+
*2 Predikátová logika (Berka)
  
−
Moderní vs. tradiční logika
+
*3 Logická sémantika a syntax - prohloubení některých aspektů jazyka predikátové logiky (Cmorej)
  
−
Moderní logika: vybrané filosofické souvislosti (Kolář)
+
Exkurs: Moderní vs. tradiční logika
 +
 
 +
Moderní logika a vybrané filosofické souvislosti (Kolář)
  
 
'''Přehled'''
 
'''Přehled'''
 +
 +
'''Moderní logika 1: výroková logika'''
  
 
'''14.02.2023 TÝDEN 1''': Úvod + Výroková logika 1 (Berka, ''Logika'', kap. 1-7)
 
'''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
 
* 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 (část)  
+
* 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''
 
'''18.02.2023 KFFL2''' (13.00-16.15 v TK 4.08) ''Úvod + Výroková logika''
Řádka 23: Řádka 27:
 
* DU2: poznámky ze samostudiua K. Berky, ''Logika'', 1978, s. 7-32 (dokončení)  
 
* DU2: poznámky ze samostudiua K. Berky, ''Logika'', 1978, s. 7-32 (dokončení)  
  
−
'''28.03.2023 TÝDEN 3''': Výroková logika 3 (Berka, ''Logika'', kap. 8-10)  
+
'''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
 
* 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 (část)
+
* DU3: poznámky a otázky ze samostudia K. Berky, s. 32-45  
 +
 
 +
'''Moderní logika 2: predikátová logika'''
  
−
'''07.03.2023TÝDEN 4''': Predikátová logika 1
+
'''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
 
* 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. 32-45 (dokončení)  
+
* DU4: * poznámky a otázky ze samostudia K. Berky, s. 46-57 (predikátová logika)  
  
−
REVIZE MINULEHO SEMESTRU DOKONCENA SEM, BUDU POKRACOVAT :-)  
+
'''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í)
  
−
'''14.03.2023''' TÝDEN 5:  
+
'''21.03.2023 TÝDEN 6''': Predikátová logika 3
−
* poznámky a otázky ze samostudia K. Berky, s. 46-57 (predikátová logika)
+
* KLÍČOVÉ POJMY: metoda protipříkladů, pravidla správného usuzování a odvozování
−
* poznámky a otázky ze samostudia K. Berky, s. 57-66 (predikátová logika)
+
* DU6: poznámky a otázky ze samostudia K. Berky, s.67-82 
  
−
'''21.03.2023 KFFL2''' (9.00-12.15 v TK 112) ''opakování''
+
'''25.03.2023 KFFL2''' (9.00-10.30 v TK 115) Predikátová logika
  
−
'''28.03.2022''' TÝDEN 6: Predikátová logika (''opakování'')
+
'''28.03.2023 TÝDEN 7''': ''setkání není''  
−
* KLÍČOVÉ POJMY: volné a vázané výskyty proměnných, formule a sekvence predikátové logiky
+
* 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)
−
* DU4-bonus: příklady na predikátovou logiky ze s. 57-66
 
  
−
'''29.03.22''' TÝDEN 7: Predikátová logika
+
'''04.04.2023 TÝDEN 8''': ''opakovací zkouška 1''
−
* 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-bonusOZ1: lze doplnit a opravit slabá místa v testu k doplnění bodů
−
* DU (bonus): poznámky a otázky ze samostudia K. Berky, s.76-98  (predikátová logika - odvozování)
 
  
−
'''05.04.22''' TÝDEN 8: Predikátová logika
+
'''11.04.2023 TÝDEN 9''': '''Logická sémantika a syntax'''  - ''opakovací zkouška 1: pokračovaní''
−
* DU6: četba Cmorej 1-3
+
* KLÍČOVÉ POJMY:  
 +
* DU7: četba Cmorej 1-3
  
−
'''12.04.22''' Shrnutí + Opakovací test 1
+
'''15.04.2023 KFFL2''' (10.45-12.15 v TK 112) ''opakovací zkouška 1''
−
* DU (bonus): oprava či revize OZ1
 
  
−
'''13.05.2023 KFFL2''' ''naneštěstí setkání není - potřebujeme se domluvit na jiném termínu''
+
'''18.04.2023 TÝDEN 10'''  
 +
* KLÍČOVÉ POJMY:
 +
* DU8: četba Cmorej 4–6
  
−
'''19.04.22''' ''pokračování v Opakovacím testu 2 + procvičování knihy Cmoreje''
+
'''25.04.2023 TÝDEN 11'''
 +
* DU9: četba Cmorej 10–11
  
−
'''26.04.22''' TÝDEN 9: Pojmy logické sémantiky a syntaxe
+
'''02.05.2023 TÝDEN 12'''  
−
KLÍČOVÉ POJMY:
 
−
* 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ů)
 
  
−
'''13.05.2023 KFFL2''' ''naneštěstí je třeba neléz náhradní setkání''
+
* DU10: četba Kolář (Úvod + Hlava I bez kap. 2)
  
−
'''03.05.22''' TÝDEN 10: úvod do četby P. Koláře
+
'''09.05.2023 TÝDEN 12'''  
  
−
* DU7: vypisky Cmorej (celkově bude třeba kapitoly 1-6 a 10-11, zbytek bude bonus)
+
* DUBonus: celková reflexe (Co bylo obtížné? Co mě obohatilo?)  
−
* kap. 7, 8 a 9 jsou nepovinné, ale užitečné.
 
−
* KLÍČOVÉ POJMY: kap. 7: proměnná, obor proměnnosti, extenzionální entity
 
−
* KLÍČOVÉ POJMY: kap. 8: forma výroku/výroková forma, kategorie výrazu, ohodnocovnání, splňování
 
−
* KLÍČOVÉ POJMY: 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'''  TÝDEN 11:  Četba P. Koláře, příp. výklad: Axiomatizace + Modální logika
 
  
−
'''17.05.22''' TÝDEN 12: Tradiční vs. moderní logika + Filosofická logika
+
'''13.05.2023 KFFL2''' (9.00-12.15 v TK 112) ''dokončení předmětu''
−
* KLÍČOVÉ POJMY: 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''
+
'''16.05.2023''' ''setkání není''  
  
−
Filosofická logika
+
'''20.05.2023 KFFL2''' (13.00-16.15 v TK 112) ''opakovací test 2''
−
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
+
'''23.05.2023''' Kolář
  
−
'''4.06.22''' Opakovací test 2 přes Teamsi - další možnost
+
'''30.05.2023''' ''Opakovací test 2''
  
−
'''11.06.22''' Opakovací test 2 přes Teamsi - další možnost :-)
+
'''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 (2x15b), opakovacími testy (2x10b), příp. ústním dozkoušením. K dispozici jsou i bonusové body. :-)
  
−
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)
+
Zátěž 4 x 25 h (4 kredity)
  
 
'''Literatura'''
 
'''Literatura'''
Řádka 99: Řádka 94:
 
Základní  
 
Základní  
  
−
* Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978.
+
* Berka, Karel, Jauris, Miroslav. ''Logika''. SNP, Praha 1978.
 
* Cmorej, Pavol. ''Úvod do logické syntaxe a sémantiky'', Triton, Praha 2002.
 
* Cmorej, Pavol. ''Úvod do logické syntaxe a sémantiky'', Triton, Praha 2002.
 
* Kolář, Petr. ''Argumenty filosofické logiky'', Filosofia, Praha 1999.
 
* Kolář, Petr. ''Argumenty filosofické logiky'', Filosofia, Praha 1999.
Řádka 110: Řá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“