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

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 267.