|
Kurs: Supstrukturalne logike (dokt.) U okviru predmeta: Supstrukturalne logike Predavači dr Miloš Adžić, vanredni profesor izborni kurs Broj bodova: 10.00 Sadržaj kursa: Za svaku od supstrukturalnih logika biće izučavan filozofski značaj i uopšte motivacija za njeno uvođenje.
Izučavaće se sekventni sistemi i biće rečeno nešto o njihovoj vezi sa teorijom kategorija. Cilj izučavanja kursa: Student treba da se upozna sa svakom od neklasičnih logika koje spadaju u supstrukturalne logika, tj. logike sa ograničenim strukturalnim pravilima. Preduslovi za polaganje: kurs Logike sa prve godine i kurs Logike sa master studija Oblici nastave:
predavanja Plan kursa: 1. nedelja predavanje - Formalni sistemi u teoriji dokaza 2. nedelja predavanje - Formalizacije klasične i intuicionističke logike 3. nedelja predavanje - Intuicionistička logika i filozofija 4. nedelja predavanje - Formalizacije relevantne logike 5. nedelja predavanje - Relevantna logika i filozofija 6. nedelja predavanje - Formalizacije afine logike 7. nedelja predavanje - Afina logika, paradoksi i filozofija 8. nedelja predavanje - Formalizacije linearne logike 9. nedelja predavanje - Linearna logika i filozofija 10. nedelja predavanje - Formalizacije Lambekovog računa 11. nedelja predavanje - Lambekov račun, lingvistika i filozofija 12. nedelja predavanje - Istorija supstrukturalnih logika i noviji rezultati 13. nedelja predavanje - Interesantna pitanja za dalja istraživanja
Literatura i izvori podataka: Opsta dopunska Literatura A.S. Troelstra, Lectures on Linear Logic, 1992 Došen and Schroeder-Heister, eds., Substructural Logics, 1993 J.M. Dunn and G. Restall, Relevance Logic, u D.M. Gabbay and F. Guenthner eds, Handbook of Philosophical Logic 2 |
