|
|
| Řádka 1: |
Řádka 1: |
| − | '''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
| |
