Cilj predmeta je sticanje znanja iz metoda argumentacije tačnog, približnog i pogrešnog zaključivanja.
Teorijska nastava
- Polivalentne logike kao alternativa klasičnoj dvovalentnoj logici.
- Matrična semantika konačnovalentne logike.
- Hilbertovska formulacija logičkog sistema.
- Saglasnost i potpunost.
- Beskonačnovalentne logike.
- Intuicionistička logika kao konstruktivistička alternativa zasnivanju matematike.
- Kripkeova semantika mogućih svetova.
- Saglasnost i potpunost.
- Proširenja jezika iskaza modalnim operatorima.
- Normalne modalne logike, materijalna imlikacija i semantika mogućih svetova.
- Saglasnost i potpunost.
- Tačno, približno i pogrešno u procesu zaključivanja.
- Statistički silogizam, polivalentne, verovatnosne i rasplinute logike kao osnova za definisanje aproksimativnog zaključivanja.
Praktična nastava
- Teme na časovima vežbi su usklađene sa temama na predavanjima i razrađuju se kroz praktične primere.
Literatura
- B. F. Chellas, Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1995.
- D. van Dalen, Logic and Structure, Springer, Berlin, 1980. (Fifth edition 2013)
- D. Mundici, Advanced Lukasiewicz Calculus and MV-algebras, Springer, Heidelberg, 2011.
- Z. Ognjanović, M. Rašković, Z. Marković, Probability logics, in Z. Ognjanović (editor), Logic in Computer Science, Zbornik radova 12 (20), Mathematical Institute SANU, Belgrade, 2009, pp. 35-111.
- G. Priest, An Introduction to Non-Classical Logic, Cambridge University Press, Cambridge, 2008.