X01FFL | Filosofie formálních logik | Rozsah výuky: | 2+0 | ||
---|---|---|---|---|---|
Přednášející (garant): | Demlová M. | Typ předmětu: | H | Zakončení: | ZK |
Zodpovědná katedra: | 301 | Kreditů: | 2 | Semestr: | Z |
Anotace:
Vymezení logiky. Klasifikace logiky. Vývoj logiky. Logická analýza jazyka. Definice. Explikace, klasifikace a úsudky. Výroková logika, syntaxe a sémantika. Predikátová logika a její syntaxe. Sémantika predikátové logiky. Tradiční logika. Přirozená dedukce klasické logiky. Temporální logika, základy.
Osnovy přednášek:
1. | Vymezení logiky. | |
2. | Klasifikace logiky. | |
3. | Vývoj logiky. | |
4. | Logická analýza jazyka. | |
5. | Definice. | |
6. | Explikace, klasifikace a úsudky. | |
7. | Výroková logika, syntaxe a sémantika. | |
8. | Predikátová logika a její syntaxe. | |
9. | Sémantika predikátové logiky. | |
10. | Tradiční logika. | |
11. | Přirozená dedukce klasické logiky. | |
12. | Temporální logika, základy. | |
13. | Rezerva. |
Osnovy cvičení:
1. | Vymezení logiky. | |
2. | Klasifikace logiky. | |
3. | Vývoj logiky. | |
4. | Logická analýza jazyka. | |
5. | Definice. | |
6. | Explikace, klasifikace a úsudky. | |
7. | Výroková logika, syntaxe a sémantika. | |
8. | Predikátová logika a její syntaxe. | |
9. | Sémantika predikátové logiky. | |
10. | Tradiční logika. | |
11. | Přirozená dedukce klasické logiky. | |
12. | Temporální logika, základy. | |
13. | Rezerva. |
Literatura Č:
1. | Jan Štěpán: Formální logika. FIN Olomouc, 1995. | |
2. | K. Johnson Wu: Discovering Formal Logic. The Duskin Publishing Group, Guilford, CT, 1994. |
Literatura A:
1. | K. Johnson Wu: Discovering Formal Logic. The Duskin Publishing Group, Guilford, CT, 1994. |
Požadavky:
Podmínky pro získání zápočtu určí vyučující.
|
Předmět je zahrnut do těchto studijních plánů:
Stránka vytvořena 25. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: I. Halaška (K336), J. Novák (K336) |