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

Verze z 7. 3. 2016, 16:02

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; Cmorej: jazyk

14.3. Cmorej: individuová jména, predikáty

21.3

28.3 setkání není

4.4. opakovací test

11.4

18.4

25.4

2.5

9.5

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 příp. určit obor proměnnosti)

Četba

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

22.2. Kolář: Úvod, I.1. Logika (formulovat 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)

Požadavky

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.

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Á D2, D4

BAUEROVÁ DÚ1ab, DÚ3a, D2, D3, D4

BILENČUKOVÁ D3,

BOUSSETTA REICHENSDÖRFEROVÁ DÚ1a, Dú2a, D2, D3

DANIELOVÁ, DÚ1ab, Dú3ab, D2, D3

DOLANSKÝ D3, D4

DOMINOVÁ

HAVLOVÁ D2, DÚ1ab, DÚ2a,

HAVLOVÁ Tereza, DÚ1ab, DÚ2ab, DÚ3a, D2, D3, D4, (+)

HOLÁ DÚ1a, DÚ2ab, DÚ3a, D2, D3, D4

CHUMOVÁ D3, D4, DÚ2a

JOKLOVÁ DÚ1ab, D2, D3, D4

KALENSKÝ D2, D3, Dú2a, D4

KOŽANTOVÁ D3, DÚ2a, Dú3ab, D4

KREJČOVÁ DÚ1a, DÚ2a, DÚ3a, D2, D3, D4

KUČERA D4

LEITGEB

LORENCOVÁ DÚ1a, DÚ3a, D3, D4

MOTYKA D2, D3, D4, DÚ1a

POKORNÁ DÚ1a (bez č.), D2, D3, D4, DÚ3a

REINDLOVÁ

SEDLÁČKOVÁ DÚ1ab, DÚ2ab, D2,

SOBOTKA DÚ1ab, DÚ2a, DÚ3ab D2, D3, D4

ŠMÍD DÚ1ab, DÚ2ab, DÚ3ab, D2, D3, D4

TOULCOVÁ DÚ1ab, DÚ2ab, Dú3ab, D2, D3, D4, (++)

VACH

VALENTOVÁ D2, D3, D4, DÚ2ab,

VRANKOVÁ DÚ1ab, DÚ2a, Dú3a, D3, D4

VYSOČAN DÚ1ab, D2,

ZEMAN DÚ1ab, DÚ2ab, Dú3ab, D2, D3, D4, (++)

ŽIŽKOVÁ DÚ1ab, DÚ2ab, DÚa, D2, D3, D4

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