Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки






А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

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

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


Источники:

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



ПОИСК:





© Алексей Злыгостев, дизайн, подборка материалов, разработка ПО 2001–2018
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'
Сайт создан при помощи Богданова В.В. (ТТИ ЮФУ в г.Таганроге)