Циљ предмета је стицање знања из метода аргументације тачног, приближног и погрешног закључивања.
Теоријска настава
- Поливалентне логике као алтернативa класичној двовалентној логици.
- Матрична семантика коначновалентне логике.
- Хилбертовска формулација логичког система.
- Сагласност и потпуност.
- Бесконачновалентне логике.
- Интуиционистичка логика као конструктивистичка алтернатива заснивању математике.
- Крипкеова семантика могућих светова.
- Сагласност и потпуност.
- Проширења језика исказа модалним операторима.
- Нормалне модалне логике, материјална имликација и семантика могућих светова.
- Сагласност и потпуност.
- Тачно, приближно и погрешно у процесу закључивања.
- Статистички силогизам, поливалентне, вероватносне и расплинуте логике као основа за дефинисање апроксимативног закључивања.
Практична настава
- Теме на часовима вежби су усклађене са темама на предавањима и разрађују се кроз практичне примере.
Литература
- 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.
