Logika 2: Porovnání verzí

Z WiKi TF
Přejít na: navigace, hledání
Řádka 36: Řádka 36:
  
 
'''14.03.2023 TÝDEN 5''':  
 
'''14.03.2023 TÝDEN 5''':  
−
* poznámky a otázky ze samostudia K. Berky, s. 57-66 (predikátová logika)
+
* KLÍČOVÉ POJMY:
 +
* DU05
  
−
'''21.03.2023 TÝDEN 6'''  
+
'''21.03.2023 TÝDEN 6''':
 +
* KLÍČOVÉ POJMY:
 +
* DU06:
  
 
'''28.03.2023 TÝDEN 7''': Predikátová logika (''opakování'')
 
'''28.03.2023 TÝDEN 7''': Predikátová logika (''opakování'')
 
* KLÍČOVÉ POJMY: volné a vázané výskyty proměnných, formule a sekvence predikátové logiky
 
* KLÍČOVÉ POJMY: 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  
+
* DU-bonus: reflexe k predikátové logice (např. k obtížnějším částem, s. 57-66 a dále)
  
−
'''04.04.2023 TÝDEN 8''': Predikátová logika
+
'''04.04.2023 TÝDEN 8'''
 
* DU5: poznámky a otázky ze samostudia K. Berky, s.67-75  (predikátová logika - protipříklady, pravidla správného usuzování)
 
* 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í)
 
* DU (bonus): poznámky a otázky ze samostudia K. Berky, s.76-98  (predikátová logika - odvozování)
  
−
'''11.04.2023 TÝDEN 9''': Predikátová logika
+
'''11.04.2023 TÝDEN 9''': Logická sémantika a syntax
 
* DU6: četba Cmorej 1-3
 
* DU6: četba Cmorej 1-3
  
−
'''18.04.2023 TÝDEN 10''' Shrnutí + Opakovací test 1
+
'''18.04.2023 TÝDEN 10''' Logická sémantika a syntax 
 
* DU (bonus): oprava či revize OZ1
 
* DU (bonus): oprava či revize OZ1
  
−
'''25.04.2023 KFFL2''' ''naneštěstí setkání není - potřebujeme se domluvit na jiném termínu''
+
'''25.04.2023 TÝDEN 11''' Logická sémantika a syntax 
  
−
'''02.05.2023''' ''pokračování v Opakovacím testu 2 + procvičování knihy Cmoreje''
+
'''02.05.2023 TÝDEN 12''' Logická sémantika a syntax
  
−
'''09.05.2023''' TÝDEN 9: Pojmy logické sémantiky a syntaxe
+
'''09.05.2023 TÝDEN 12''' Logická sémantika a syntax
 
KLÍČOVÉ POJMY:
 
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),
 
* 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),
Řádka 66: Řádka 69:
 
'''16.05.2023 KFFL2''' ''naneštěstí je třeba najít náhradní setkání z důvodů služební cesty''  
 
'''16.05.2023 KFFL2''' ''naneštěstí je třeba najít náhradní setkání z důvodů služební cesty''  
  
−
'''23.05.2023''' TÝDEN 10: úvod do četby P. Koláře
+
KONEC SEMESTRU
−
 
 
−
* 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É 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).
 
−
 
−
'''30.05.2023'''  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
 
−
* 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''
 
−
 
 
−
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'''

Verze z 14. 3. 2023, 09:59

Témata

Moderní logika 1: výroková logika (Berka)

Moderní logika 2: predikátová logika (Berka)

Moderní logika 3: prohloubení nekterých askpektů logické sémantiky a syntaxe (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:

  • KLÍČOVÉ POJMY:
  • DU05

21.03.2023 TÝDEN 6:

  • KLÍČOVÉ POJMY:
  • DU06:

28.03.2023 TÝDEN 7: Predikátová logika (opakování)

  • 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, s. 57-66 a dále)

04.04.2023 TÝDEN 8

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

11.04.2023 TÝDEN 9: Logická sémantika a syntax

  • DU6: četba Cmorej 1-3

18.04.2023 TÝDEN 10 Logická sémantika a syntax

  • DU (bonus): oprava či revize OZ1

25.04.2023 TÝDEN 11 Logická sémantika a syntax

02.05.2023 TÝDEN 12 Logická sémantika a syntax

09.05.2023 TÝDEN 12 Logická sémantika a syntax 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ů)

16.05.2023 KFFL2 naneštěstí je třeba najít náhradní setkání z důvodů služební cesty

KONEC SEMESTRU

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=4265“