Деонтическая логика
Деонти́ческая ло́гика (от др.-греч. δέον — долг и логика; логика норм, нормативная логика) — раздел логики, исследующий логическую структуру и логические связи нормативных высказываний. Деонтическая логика является также разделом модальной логики и одним из исследовательских направлений неклассической логики.
Деонтическая логика анализирует рассуждения, посылками или заключениями которых являются высказывания о нормах (правила). Она отличает правильные (обоснованные) рассуждения от неправильных и таким образом создаёт теорию нормативных умозаключений.
Логическое исследование норм и правил важны для математики, логики, лингвистики, этики, юриспруденции, социологии и экономики.
Одним из ключевых понятий деонтической логики является понятие деонтической модальности (нормативной модальности, модальности долженствования), которые являются особым видом модальностей. Деонтическая модальность характеризует практическое действие (поступок) с точки зрения определённой системы норм и относится к высказываниям о таких действиях («запрещено», «разрешено», «предписывается»).
Проблемы деонтической логики исследовал Г. Х. фон Вригт.