Деонтическая логика

ДЕОНТИЧЕСКАЯ ЛОГИКА, или логика норм, раздел модальной логики, исследующий логическую структуру и логические связи нормативных высказываний и понятий. Существует множество систем деонтической логики, различающихся используемыми символическими средствами, однако исследуемые ими многообразные нормы имеют одинаковую структуру: характер - норма обязывает, разрешает или запрещает; содержание - действие, которое должно, может или не должно быть выполнено; условия приложения; субъект - лицо или группа лиц, которым адресована норма. Не все структурные элементы нормы находят выражение в символическом аппарате деонтической логики. Абсолютные (или монадические) системы учитывают только содержание нормы и её характер, в них норма представляется в виде: «Обязательно (разрешено, запрещено) А», где А - высказывание, описывающее состояние дел, реализуемое предписываемым действием. Относительные (или диадические) системы учитывают также условия приложения нормы, в них норма принимает вид: «Обязательно (разрешено, запрещено) А в условиях В», где А и В - высказывания, описывающие какие-то положения дел. В деонтической логике имеют место законы: деонтической непротиворечивости (выполнение действия и воздержание от него не могут быть вместе обязательными); деонтической полноты (всякое действие или обязательно, или безразлично, или запрещено); логического следствия обязательного - обязательны; если действие ведёт к запрещённому следствию, то само действие запрещено, и т.п. Понятия «обязательно», «разрешено» и «запрещено» обычно считаются взаимно определимыми: разрешено действие, от которого не обязательно воздерживаться; запрещено действие, от которого следует воздерживаться, и т.д. В соответствии с так называемым принципом Юма невозможен логический переход от утверждений со связкой «есть» к утверждениям со связкой «должен». Ни одна из систем деонтической логики не нарушает данный принцип и не санкционирует переходы от описательных посылок к нормативным заключениям. Невозможным считается и логический вывод описательных высказываний из нормативных. Поскольку подход деонтической логики к структуре норм является предельно общим, это позволяет распространить её законы на нормы любых видов независимо от их частных особенностей: моральные, правовые, технические нормы, правила игры и грамматики и т.д.

Лит.: Wright G.Н. von. Norm and action. А logical enquiry. L.; N. Y., 1963; Deontic logic: introductory and systematic readings. Dordrecht, 1971; Ивин А.А. Логика норм. М.,1973.