Модальная логика строится на основе логики высказываний за
счет добавления новых знаков, позволяющих выражать отношение
тех или иных высказываний к окружающей действительности. Как
правило, это суждения о возможности или необходимости чего-
либо.
Классическая логика имеет дела с ассерторическими2 выска-
зываниями, которые утверждают наличие или отсутствие той или
иной ситуации. Однако в жизни приходится иметь дело с выска-
зываниями, содержащими указание на необходимость или возмож-
ность чего-либо. Это связано с элементами случайного в природе
или имело место в прошлом, но чего нет в данный момент. Выска-
зывания этого рода называют модальными .
Различают три типа модальностей, каждый из которых подразде-
ляется на виды:
• Алетические модальности. Это высказывания, содержа-
щие такие виды модальности, как «необходимо», «возможно»,
«невозможно», «случайно».
• Деонтические модальности. Это модальности, связанные
с характеристиками действий и поступками людей в обще-
стве. Например, «обязательно», «разрешено», «запрещено»,
«безразлично».
• Эпистемические модальности. Характеристики наших
знаний. Можно назвать такие виды модальности этого типа,
как «доказано», «опровергнуто», «не доказано», «не опроверг-
нуто», «знает», «верит», «убежден», «сомневается».
Во-первых, деонтические исчисления строятся, как правило, либо на основе булевой алгебры как расширение классической логики высказываний, либо по аналогии с логикой алетических модальностей; во-вторых, деонтические исчисления формулируются при отсутствии семантических концепций; в-третьих, в стандартной логике норм (S DL ) ив ряде других деонтических исчислений ( Р, DT » A/5DL ) некоторые принципы являются противоречащими содержательным интуициям (деонтические парадоксы); в-четвертых, синтаксические методы (модификация списка аксиом, изменение понятия деонтической формулы и деонтического вывода) не устраняют деонтических парадоксов.
