Filosofie formálních logik
Kód | Zakončení | Kredity | Rozsah | Jazyk výuky |
---|---|---|---|---|
X01FFL | ZK | 2 | 2+0s | česky |
- Přednášející:
- Cvičící:
- Předmět zajišťuje:
- katedra matematiky
- 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.
- Požadavky:
-
Podmínky pro získání zápočtu určí vyučující. Hodnocení zkoušky bude dáno výsledkem písemky konané ve zkouškovém období, je zapotřebí získat alespoň polovinu bodů.
- Osnova 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.
- Osnova 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.
- Cíle studia:
- Studijní materiály:
-
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.
- Poznámka:
-
Rozsah výuky v kombinované formě studia: 12+0
Typ cvičení: s
- Další informace:
- Pro tento předmět se rozvrh nepřipravuje
- Předmět je součástí následujících studijních plánů: