Formální a filosofická logika 2: Porovnání verzí
(Založena nová stránka s textem „'''Témata''' 1. Moderní logika 1.1. Výroková logika (přehled) 1.2. Predikátová logika (přehled) 1.3. Základní pojmy logické sémantiky a syn…“) |
|||
| Řádka 21: | Řádka 21: | ||
Základní: | Základní: | ||
| − | Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978. | + | * Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978. |
| − | Sousedík, Prokop. ''Logika pro studenty humanitních oborů'', Vyšehrad, Praha 2001. | + | * Sousedík, Prokop. ''Logika pro studenty humanitních oborů'', Vyšehrad, Praha 2001. |
Rozšiřující: | Rozšiřující: | ||
| − | Cmorej, Pavol. ''Úvod do logické syntaxe a sémantiky'', Triton, Praha 2002. | + | * Cmorej, Pavol. ''Úvod do logické syntaxe a sémantiky'', Triton, Praha 2002. |
| − | Kolář, Petr. ''Argumenty filosofické logiky'', Filosofia, Praha 1999. | + | * Kolář, Petr. ''Argumenty filosofické logiky'', Filosofia, Praha 1999. |
| Řádka 58: | Řádka 58: | ||
15.5. | 15.5. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Verze z 23. 1. 2018, 13:55
Témata
1. Moderní logika
1.1. Výroková logika (přehled)
1.2. Predikátová logika (přehled)
1.3. 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.)
1.4. Tradiční vs. moderní logika (kategorický soud a funkce, úsudky ze složených soudů, atd.)
2. 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í:
- Berka, Karel, Jauris, Miroslav. Logika. SNP, Praha 1978.
- Sousedík, Prokop. Logika pro studenty humanitních oborů, Vyšehrad, Praha 2001.
Rozšiřující:
- Cmorej, Pavol. Úvod do logické syntaxe a sémantiky, Triton, Praha 2002.
- Kolář, Petr. Argumenty filosofické logiky, Filosofia, Praha 1999.
Přehled
20.2.
27.2.
06.3.
13.3.
20.3.
27.3.
03.4.
10.4.
17.4.
01.5. setkání není
08.5. setkání není
15.5.
Domácí úkoly
Studenti
