|
Kurs: Logika (master) U okviru predmeta: Logika Predavači dr Miloš Adžić, vanredni profesor dr Jovana Kostić, docent izborni kurs Broj bodova: 10.00 Sadržaj kursa: Osnove intuicionističke logike i modalne logike, i neki pojmovi relevantne logike i drugih supstrukturalnih logika Cilj izučavanja kursa: Student treba da nauči da dokazuje i opovrgava formule u intuicionističkoj iskaznoj logici i u modalnim iskaznim logikama S4 i S5. Za dokazivanje se favorizuje prirodnodedukcijski pristup, za opovrgavanje Kripkeovi modeli. Preduslovi za polaganje: upisane master studije, izborni kurs iz Matematike na drugoj godini i sa uspehom položen ispit iz Logike na prvoj godini Oblici nastave:
predavanja Plan kursa: 1. nedelja predavanje - Realizam i konstruktivizam 2. nedelja predavanje - Prirodna dedukcija u intuicionističkoj logici 3. nedelja predavanje - Prevođenje klasične logike u intuicionističku 4. nedelja predavanje - Modalne logike K, S4 i S5 5. nedelja predavanje - Prirodna dedukcija u modalnoj logici 6. nedelja predavanje - Kripkeovi modeli za modalnu logiku 7. nedelja predavanje - Kripkeovi modeli za intuicionističku logiku 8. nedelja predavanje - Modalni prevodi intuicionističke logike 9. nedelja predavanje - Hejtingove algebre 10. nedelja predavanje - Kartezijanske kategorije 11. nedelja predavanje - Strukturalna pravila i prirodna dedukcija 12. nedelja predavanje - Relevantna logika i supstrukturalne logike 13. nedelja predavanje - Konstruktivizam u filozofiji
Literatura i izvori podataka: Opsta dopunska Literatura D. van Dalen, Logic and structure (peto poglavlje, o intuicionističkoj logici) G.E. Hughes and M.J. Cresswell, A New Introduction to Modal Logic M.A.E. Dummett, Elements of Intuitionism A.G. Dragalin, Matematičeskiй intuicionizm Ž. Mijajlović i drugi, Hilbertovi problemi i logika (drugo poglavlje) Z. Šikić (prir.), Novija filozofija matematike (radovi Hejtinga, Gedela i Pravica) |
