Logika 2: Porovnání verzí

Z WiKi TF
Přejít na: navigace, hledání
Řádka 12: Řádka 12:
  
 
'''2. Varia z moderní filosofické logiky'''
 
'''2. Varia z moderní filosofické logiky'''
 +
 +
'''Přehled'''
 +
 +
'''14.02.2023''' Ú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.
 +
 +
'''18.02.2023 KFFL2''' (13.00-16.15 v TK 4.08) ''Úvod + Výroková logika 1 + opakování''
 +
 +
'''21.02.2023''' Výroková logika 2 (Berka, ''Logika'', kap. 1-7)
 +
* KLÍČOVÉ POJMY: negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky
 +
* DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45
 +
 +
'''28.03.2023 ''' 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. 46-57 (predikátová logika)
 +
 +
07.03.2023 ''setkání není''
 +
 +
REVIZE DOKONCENA SEM, BUDU POKRACOVAT
 +
 +
'''15.03.22''' Predikátová logika
 +
* 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.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
 +
 +
'''13.05.2023 KFFL2''' ''naneštěstí setkání není - potřebujeme se domluvit na jiném termínu''
 +
 +
'''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ů)
 +
 +
'''13.05.2023 KFFL2''' ''naneštěstí je třeba neléz náhradní setkání''
 +
 +
'''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 :-)
  
 
'''Požadavky'''
 
'''Požadavky'''
Řádka 18: Řádka 95:
  
 
'''Literatura'''
 
'''Literatura'''
−
 
  
 
Základní  
 
Základní  
Řádka 37: Řádka 113:
  
 
'''Seznam studentů FFL2'''
 
'''Seznam studentů FFL2'''
−
 
−
 
  
 
'''Seznam studentů KFFL2'''
 
'''Seznam studentů KFFL2'''

Verze z 13. 2. 2023, 15:53

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

Přehled

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

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

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

  • KLÍČOVÉ POJMY: negace, konjunkce, disjunkce, implikace, ekvivalence, pravdivostní tabulky
  • DU2: poznámky a otázky ze samostudia K. Berky, s. 32-45

28.03.2023 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. 46-57 (predikátová logika)

07.03.2023 setkání není

REVIZE DOKONCENA SEM, BUDU POKRACOVAT

15.03.22 Predikátová logika

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

13.05.2023 KFFL2 naneštěstí setkání není - potřebujeme se domluvit na jiném termínu

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

13.05.2023 KFFL2 naneštěstí je třeba neléz náhradní setkání

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

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

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

Seznam studentů KFFL2

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