ИСТИНА

В средневековой логике было проведено различение модальностей de dicto и de re, было установлено, что они обладают различными дедуктивными свойствами. В аподиктической силлогистике Аристотеля принимаются как выводы, справедливые только при de dicto-интерпретации модальностей (напр., i□-обращение), так и выводы, правомерные только при de re-интерпретации (напр., модус Ba□rbara□). Лукасевич считал, что и другие смешанные модусы (напр., Barba□ra□) также являются корректными. В докладе формулируются два перевода аподиктических и ассерторических высказываний силлогистик Аристотеля и Лукасевича в одну из систем кванторной модальной логики.