Автор работы: Пользователь скрыл имя, 27 Апреля 2015 в 14:13, доклад
Модальная логика - логическая система, изучающая структуру рассуждений, в состав которых входят модальности (модальные операторы): «необходимо», «возможно», «действительно», «случайно» - и их отрицания. В трудах Аристотеля, стоиков, схоластов уже были сформулированы некоторые основные определения и законы модальной логики.