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