ZS 2015/2016: Formální a filosofická logika 2: Porovnání verzí

Z WiKi TF
Přejít na: navigace, hledání
 
(Není zobrazeno 122 mezilehlých verzí od stejného uživatele.)
Řádka 1: Řádka 1:
−
TK-210, 11.30-13.00
+
'''Témata'''
  
−
15.2. Rozdíly mezi tradiční a moderní logikou (kategorický soud)
+
A. Moderní logika
 +
 +
1. Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.)
  
−
22.2. Rozdíly mezi tradiční a moderní logikou (logický čtverec, složené soudy, hypotetické úsudky, atd.)
+
2. Základní pojmy logické sémantiky a syntaxe (jazyk, individuová jména, predikáty, atomární výroky, molekulární výroky, spojky, proměnné, splňování, individuové deskripce, lambda abstrakce, atd.)
  
−
29.2
+
3. Výroková logika (přehled)
  
−
7.3
+
4. Predikátová logika (přehled)
  
−
14.3
+
B. Varia z moderní filosofické logiky
  
−
21.3
+
'''Požadavky'''
  
−
28.3 setkání není
+
Známka bude udělena dle počtu bodů, jež lze získat (a) účastí na semináři (13), (b) domácími úkoly (17), (c) opakovacími testy (asi 40) a dále různými úkoly "bonusovými" (nepovinnými, jež mohou nahradit chybějící úkoly povinné).
  
−
4.4. opakovací test
+
'''Literatura'''
  
−
11.4
+
Základní: Kolář, Petr. ''Argumenty filosofické logiky'', Filosofia, Praha 1999.  
  
−
18.4
+
Základní: Cmorej, Pavol. ''Úvod do logické syntaxe a sémantiky'', Triton, Praha 2002.
  
−
25.4
+
Rozšiřující: Sousedík, Prokop. ''Logika pro studenty humanitních oborů'', Vyšehrad, Praha 2001. 
  
−
2.5
+
'''Přehled'''
  
−
9.5
+
15.2. Rozdíly mezi tradiční a moderní logikou (kategorický soud)
  
−
16.5 opakovací test
+
22.2. Rozdíly mezi tradiční a moderní logikou (logický čtverec, složené soudy, hypotetické úsudky, atd.)
  
 +
29.2. Kolář 1.1: Logika
  
−
'''Domácí úkoly'''
+
07.3. Kolář 1.1: Logika
  
−
15.2 vymyslete singulární výroky s jedno-, dvěma-, třema- argumentovými predikáty; určete pro daný predikát množinu argumentů a množinu hodnot.  
+
14.3. Jazyk, individuová jména, predikáty (srv. Cmorej 1-3)
  
−
22.2. vymyslete příklad modus ponens, modus ponens, fallacio consequentis
+
21.3. Atomární výroky, molekulární výroky (srv. Cmorej 4-5), výroková logika (jazyk, formule, sekvence, tabulková metoda)
  
 +
28.3.''setkání není''
  
−
'''Četba'''
+
4.4. opakovací test; výroková logika (výrokově logické vyplývání)
  
−
15.2. Kolář: Úvod, 1. Logika (vypsat klíčové termíny)
+
11.4 oprava testu; výroková logika (kontradikce/tautologie/splnitelné formule, ekvivalentní formule)  
  
−
22.2. Kolář: Úvod, 1. Logika (formulovat dvě otázky)
+
18.4 extenzionální a neextenzionální spojky; predikátová logika (proměnné, kvantifikátory)
  
 +
25.4 Kolář 1.2: Logická forma
  
 +
2.5. Kolář 1.2: Logická forma; individuové deskripce,
  
 +
9.5. lambda operátory, axiomatizace, modální logika
  
 +
16.5 opakovací test
  
−
'''Požadavky'''
+
'''Domácí úkoly'''
  
−
Známka bude udělena dle počtu bodů, jež lze získat (a) účastí na semináři, (b) domácími úkoly, (c) opakovacími testy.  
+
15.2 vymyslete singulární výroky s jedno-, dvěma-, třema- argumentovými predikáty; určete pro daný predikát množinu argumentů a množinu hodnot.  
  
 +
22.2. vymyslete příklad modus ponens, modus ponens, fallacio consequentis
  
−
TEMATICKÉ OKRUHY PŘEDNÁŠEK A SEMINÁŘŮ
+
29.2. která ze čtyř kvantifikovaných tvrzení Kolář, s. 29, dokážete?
−
 
 
−
A. Moderní logika
 
−
 
−
1. Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.)
 
−
 
 
−
2. Základní pojmy logické sémantiky a syntaxe (jazyk, individuová jména, predikáty, atomární výroky, molekulární výroky, spojky, proměnné, splňování, individuové deskripce, lambda abstrakce, atd.)
 
  
−
3. Výroková logika (přehled)
+
07.3. převeďte do formálního jazyka výrokové či predikátové logiky pět výroků přirozeného jazyka  (nezapoměňte určit obor proměnnosti)
  
−
4. Predikátová logika (přehled)
+
14.3. formalizace zadaných vět v predikátové logice (formulář DU5)  
  
−
B. Varia z moderní filosofické logiky
+
22.3. formalizace zadaných vět ve výrokové logice (formulář DU6)
  
 +
04.4. výroková logika (formulář DU7)
  
−
'''Literatura'''
+
11.4. druhy výrazů, predikátová logika (formulář DU8)
  
−
Základní: Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999. Praha, 1999.
+
18.4. kvantifikátory: volné, vázané (formulář DU9)
  
−
Základní: P. Cmorej. Úvod do logické syntaxe a sémantiky, Triton. 2002.
+
25.4. kvantifikátory: jejich dosah (formulář DU9)
  
−
Rozšiřující: Prokop Sousedík. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001. Praha: Vyšehrad, 2001.  
+
2.5. individuové deskripce (formulář DU10)
  
−
'''Seznam studentů'''
+
12.5. lambda predikáty (formulář DU11)
  
−
BAŠTOVÁ D2,
+
'''Četba'''
−
 
 
−
BAUEROVÁ DÚ1++, D2,
 
−
 
 
−
BILENČUKOVÁ
 
−
 
 
−
BOUSSETTA REICHENSDÖRFEROVÁ DÚ1+, D2,
 
−
 
 
−
DANIELOVÁ, DÚ1++, D2,
 
−
 
 
−
DOLANSKÝ
 
−
 
 
−
DOMINOVÁ
 
−
 
 
−
HAVLOVÁ D2,
 
−
 
 
−
HAVLOVÁ Tereza, DÚ1++, DÚ2++, D2, (+)
 
−
 
 
−
HOLÁ DÚ1+, DÚ2++, D2
 
−
 
 
−
CHUMOVÁ
 
−
 
 
−
JOKLOVÁ DÚ1++, D2,
 
−
 
 
−
KALENSKÝ D2,
 
−
 
 
−
KOŽANTOVÁ DÚ2+,
 
−
 
 
−
KREJČOVÁ D2,
 
−
 
 
−
KUČERA
 
−
 
 
−
LEITGEB
 
  
−
LORENCOVÁ DÚ1+
+
15.2. Kolář: Úvod, I.1. Logika (vypsat klíčové termíny, příp. i teze)
  
−
MOTYKA D2,  
+
22.2. Kolář: Úvod, I.1. Logika (formulovat alespoň dvě otázky)
  
−
POKORNÁ DÚ1+ (bez č.), D2?
+
29.2. Kolář: Úvod, I.1. Logika (znovu pročíst a identifikovat případné nejasnosti); Bonus: I.2. Filosofická logika
  
−
REINDLOVÁ
+
07.3. Kolář: I.3. Logická forma (vypsat klíčové termíny, příp. i teze)
  
−
SEDLÁČKOVÁ DÚ1++, D2, 
+
14.3. Kolář: I.3. Logická forma (formulovat alespoň dvě otázky)
  
−
SOBOTKA DÚ1+, D2
+
22.3. ''není''
  
−
ŠMÍD DÚ1++, D2,
+
04.4. ''není''
  
−
TOULCOVÁ DÚ1++, D2 (+)
+
11.4. ''není''
  
−
VACH
+
18.4. ''není''
  
−
VALENTOVÁ D2,
+
25.4. ''není''
  
−
VRANKOVÁ DÚ1++
+
2.5. BONUS: Kolář: I.4. Argument (klíčové termíny)
  
−
VYSOČAN DÚ1++, D2, 
+
12.5. ''není''
  
−
ZEMAN DÚ1++, D2, (+)
+
'''Studenti'''
  
−
ŽIŽKOVÁ DÚ1++, D2,
+
31

Aktuální verze z 23. 1. 2018, 13:01

Témata

A. Moderní logika

1. Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.)

2. Základní pojmy logické sémantiky a syntaxe (jazyk, individuová jména, predikáty, atomární výroky, molekulární výroky, spojky, proměnné, splňování, individuové deskripce, lambda abstrakce, atd.)

3. Výroková logika (přehled)

4. Predikátová logika (přehled)

B. Varia z moderní filosofické logiky

Požadavky

Známka bude udělena dle počtu bodů, jež lze získat (a) účastí na semináři (13), (b) domácími úkoly (17), (c) opakovacími testy (asi 40) a dále různými úkoly "bonusovými" (nepovinnými, jež mohou nahradit chybějící úkoly povinné).

Literatura

Základní: Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999.

Základní: Cmorej, Pavol. Úvod do logické syntaxe a sémantiky, Triton, Praha 2002.

Rozšiřující: Sousedík, Prokop. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001.

Přehled

15.2. Rozdíly mezi tradiční a moderní logikou (kategorický soud)

22.2. Rozdíly mezi tradiční a moderní logikou (logický čtverec, složené soudy, hypotetické úsudky, atd.)

29.2. Kolář 1.1: Logika

07.3. Kolář 1.1: Logika

14.3. Jazyk, individuová jména, predikáty (srv. Cmorej 1-3)

21.3. Atomární výroky, molekulární výroky (srv. Cmorej 4-5), výroková logika (jazyk, formule, sekvence, tabulková metoda)

28.3.setkání není

4.4. opakovací test; výroková logika (výrokově logické vyplývání)

11.4 oprava testu; výroková logika (kontradikce/tautologie/splnitelné formule, ekvivalentní formule)

18.4 extenzionální a neextenzionální spojky; predikátová logika (proměnné, kvantifikátory)

25.4 Kolář 1.2: Logická forma

2.5. Kolář 1.2: Logická forma; individuové deskripce,

9.5. lambda operátory, axiomatizace, modální logika

16.5 opakovací test

Domácí úkoly

15.2 vymyslete singulární výroky s jedno-, dvěma-, třema- argumentovými predikáty; určete pro daný predikát množinu argumentů a množinu hodnot.

22.2. vymyslete příklad modus ponens, modus ponens, fallacio consequentis

29.2. která ze čtyř kvantifikovaných tvrzení Kolář, s. 29, dokážete?

07.3. převeďte do formálního jazyka výrokové či predikátové logiky pět výroků přirozeného jazyka (nezapoměňte určit obor proměnnosti)

14.3. formalizace zadaných vět v predikátové logice (formulář DU5)

22.3. formalizace zadaných vět ve výrokové logice (formulář DU6)

04.4. výroková logika (formulář DU7)

11.4. druhy výrazů, predikátová logika (formulář DU8)

18.4. kvantifikátory: volné, vázané (formulář DU9)

25.4. kvantifikátory: jejich dosah (formulář DU9)

2.5. individuové deskripce (formulář DU10)

12.5. lambda predikáty (formulář DU11)

Četba

15.2. Kolář: Úvod, I.1. Logika (vypsat klíčové termíny, příp. i teze)

22.2. Kolář: Úvod, I.1. Logika (formulovat alespoň dvě otázky)

29.2. Kolář: Úvod, I.1. Logika (znovu pročíst a identifikovat případné nejasnosti); Bonus: I.2. Filosofická logika

07.3. Kolář: I.3. Logická forma (vypsat klíčové termíny, příp. i teze)

14.3. Kolář: I.3. Logická forma (formulovat alespoň dvě otázky)

22.3. není

04.4. není

11.4. není

18.4. není

25.4. není

2.5. BONUS: Kolář: I.4. Argument (klíčové termíny)

12.5. není

Studenti

31

Citováno z „http://wiki.tf.jcu.cz/index.php?title=ZS_2015/2016:_Formální_a_filosofická_logika_2&oldid=1516“