модальная логика

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.