Filosofie formálních logik (dálk.)

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:

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ů: