Филозофија

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

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

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

3. недеља
предавање - Интуиционистичка логика и филозофија

4. недеља
предавање - Формализације релевантне логике

5. недеља
предавање - Релевантна логика и филозофија

6. недеља
предавање - Формализације афине логике

7. недеља
предавање - Афина логика, парадокси и филозофија

8. недеља
предавање - Формализације линеарне логике

9. недеља
предавање - Линеарна логика и филозофија

10. недеља
предавање - Формализације Ламбековог рачуна

11. недеља
предавање - Ламбеков рачун, лингвистика и филозофија

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

13. недеља
предавање - Интересантна питања за даља истраживања
Литература и извори података:
Општа допунска литература
Došen and Schroeder-Heister, eds., Substructural Logics, 1993
A.S. Troelstra, Lectures on Linear Logic, 1992
J.M. Dunn and G. Restall, Relevance Logic, у D.M. Gabbay and F. Guenthner eds, Handbook of Philosophical Logic 2
↑↑↑