Filozofija
Не постоје подаци о траженом курсу.
План курса:
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