Модальная логика — раздел неклассической логики, в котором исследуются логические связи модальных высказываний, то есть высказываний, включающих модальности. azbyka.ru
Особенности модальной логики:
- Оперирует знаниями, вопросами, предположениями, задачами. {7-host} {9-host} Например, модальная логика способна работать с утверждениями типа «Москва всегда была столицей России» или «Санкт-Петербург, когда-то в прошлом, был столицей России», которые невозможно или крайне сложно выразить в немодальном языке. {9-host}
- Содержит различные направления, каждое из которых занимается модальными высказываниями определённого типа. azbyka.ru Среди них: теория логических модальностей, эпистемическая логика, деонтическая логика и другие. azbyka.ru
- Выражает оценку высказывания с той или иной точки зрения. cyberleninka.ru Модальность выражается с помощью понятий: «необходимо», «возможно», «доказуемо», «опровержимо», «обязательно», «разрешено» и других. cyberleninka.ru
Применение модальной логики в юридических дисциплинах заключается в том, что она позволяет:
- Анализировать и структурировать юридические аргументы. {8-host}
- Формулировать правила поведения и оценивать законные последствия действий. {8-host}
- Улучшать правоприменительную практику и углублять понимание нормативных актов. {8-host}
Особое значение для правоведения имеет раздел модальной логики — деонтическая логика, исследующая структуры языка предписаний, то есть высказываний со значением «обязательно», «разрешено», «запрещено», которые широко используются в правотворческой деятельности. {6-host}