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

Verze z 26. 4. 2016, 09:43

TK-210, 11.30-13.00

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. individuové deskripce, lambda operátory

9.5. 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)

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

Požadavky

Známka bude udělena dle počtu bodů, jež lze získat (a) účastí na semináři (13b), (b) domácími úkoly (asi 20), (c) opakovacími testy (asi 40).

TEMATICKÉ OKRUHY PŘEDNÁŠEK A SEMINÁŘŮ

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

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.

Seznam studentů

BAŠTOVÁ DU3b, DU4ab, DU5ab, DU7, 6 (docházka),

BAUEROVÁ DÚ1ab, DU2a, DÚ3a, DU4a, DU5a, DU6a, DU7, 8 (docházka) / DU8, D9, DU9, D10

BILENČUKOVÁ 5 (docházka)

BOUSSETTA REICHENSDÖRFEROVÁ DÚ1a, Dú2a, DU5a, DU6a, DU7, 6 (docházka) + / DU8, D9, DU9, D10

DANIELOVÁ, DÚ1ab, Dú3ab, DU5ab, DU6, 6 (docházka) / DU8, D9, DU9, D10

DOLANSKÝ DU4a, 5 (docházka), D9, DU9, D10

DOMINOVÁ DU5a, 3 (docházka)

HAVLOVÁ Eliška, DÚ1ab, DÚ2ab, DÚ3ab, DÚ4a, DU7, 7 (docházka) (+) / DU8, D9, DU9, D10

HAVLOVÁ Tereza, DÚ1ab, DÚ2ab, DÚ3a, DÚ4a, DU5a, BONUS, 6 (docházka)

HOLÁ DÚ1a, DÚ2ab, DÚ3a, DU4a, DU5a, 6 (docházka), OZ-omluva, D9, D10

CHUMOVÁ DÚ2a, DU3a, DU4a, DU5a, DU6, DU7 (+), 6 (docházka), DU9

JOKLOVÁ DÚ1ab, DU2, DU4a, DU5a, DU6a, DU7, 8 (docházka) / DU8, D9

KALENSKÝ Dú2a, D5a, 6 (docházka)

KOŽANTOVÁ DÚ2a, Dú3ab, DU4ab, DU5ab, DU6, 8 (docházka) / DU8, D9, DU9, D10

KREJČOVÁ DÚ1ab, DÚ2a, DÚ3ab, DU4ab, DU5a, 8 (docházka), D9, D10

KUČERA 2 (docházka)

LEITGEB DU5a, 3 (docházka)

LORENCOVÁ DÚ1a, DÚ2a, DÚ3ab, DU4a, DU5a, 6 (docházka), D9, D10

MOTYKA DÚ1a, DU4ab, DU5ab, DU6a, DU7, 8 (docházka) (+) / DU8, D9, DU9, D10

POKORNÁ DÚ1a, DU2a DÚ3a, DÚ4a, DU5a, DU5a, 6 (docházka) / D9, D10

REINDLOVÁ

SEDLÁČKOVÁ DÚ1ab, DÚ2ab, DU4a, DU5, DU7, DU8, 5 (docházka), D9, DU9, D10

SOBOTKA DÚ1ab, DÚ2ab, DÚ3ab, DU4ab, DU5ab, DU6a, DU7, 7 (docházka), D9 / DU8, DU9, D10

ŠMÍD DÚ1ab, DÚ2ab, DÚ3ab, DU4a, DU6a, 5 (docházka) (+)

TOULCOVÁ DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, DU5ab, DU6, DU7, (docházka), Bonus, (+++) / DU8, D9, DU9, D10

VACH

VALENTOVÁ DÚ2ab, DU4ab, DU7, 7 (docházka) / DU8, DU9

VRANKOVÁ DÚ1ab, DÚ2a, Dú3a, DU4a, DU5a, 6 (docházka), / D9, DU8, D10

VYSOČAN DÚ1ab, 2 (docházka)

ZEMAN DÚ1ab, DÚ2ab, Dú3ab, DÚ4ab, DU5ab, DU6, DU7, Bonus, 8 (docházka) (++++) / DU8+, D9, DU9, D10

ŽIŽKOVÁ DÚ1ab, DÚ2ab, DÚa, DU4ab, DU5a, DU6a, DU7, 8 (docházka) / DU8, D9, DU9

Vysvětlivky: D (docházka), DÚ (domácí úkoly a, četba b).