Filozofija

Не постоје подаци о траженом курсу.
План курса:

1. недеља
предавање - Реализам и конструктивизам

2. недеља
предавање - Природна дедукција у интуиционистичкој логици

3. недеља
предавање - Превођење класичне логике у интуиционистичку

4. недеља
предавање - Модалне логике K, S4 и S5

5. недеља
предавање - Природна дедукција у модалној логици

6. недеља
предавање - Крипкеови модели за модалну логику

7. недеља
предавање - Крипкеови модели за интуиционистичку логику

8. недеља
предавање - Модални преводи интуиционистичке логике

9. недеља
предавање - Хејтингове алгебре

10. недеља
предавање - Картезијанске категорије

11. недеља
предавање - Структурална правила и природна дедукција

12. недеља
предавање - Релевантна логика и супструктуралне логике

13. недеља
предавање - Конструктивизам у филозофији
Литература и извори података:
Општа допунска литература
D. van Dalen, Logic and structure (пето поглавље, о интуиционистичкој логици)
M.A.E. Dummett, Elements of Intuitionism
G.E. Hughes and M.J. Cresswell, A New Introduction to Modal Logic
А.Г. Драгалин, Математический интуиционизм
Ж. Мијајловић и други, Хилбертови проблеми и логика (друго поглавље)
З. Шикић (прир.), Новија филозофија математике (радови Хејтинга, Гедела и Правица)
↑↑↑