Výuka - předmět Filosofie formálních logik
Harmonogram:
| Výukové týdny: |
2.10. - 21.12.2006, 2.1. - 12.1.2007 |
| Přednáška: |
čtvrtek |
11:00-12:30 | posl.5ě |
| Zkouškové období: |
15.1. - 23.2.2007 |
Výjimky:
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.
Osnova přednášek:
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.
Rezerva.
Literatura:
- Jan Štěpán: Formální logika. FIN Olomouc, 1995.
- K. Johnson Wu: Discovering Formal Logic. The Duskin Publishing
Group, Guilford, CT, 1994.
Zkoušky:
Zkouška se skádá z písemného testu.