Новая философская энциклопедия - деонтическая логика

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

Нормы, регулирующие типичные отношения и действия, называют общими, или базисными, их проявления в конкретных случаях получили название частных, или производных норм. Следуя в терминологии фон Вригту, различают нормы-формулировки, предписывающие определенные способы классификации ситуаций (общие нормы), и нормы-высказывания, утверждающие существование определенных ситуаций (производные нормы). Нормы-формулировки как описания повелений, руководств признаются ни истинными, ни ложными. Обсуждается проблема статуса логических отношений между нормами, таких, как противоречие и следование (одной нормы из другой). Различают абсолютные, безотносительные нормы («обязаны знать и соблюдать требования сигналов светофоров») и условные, относительные нормы («если горит красный свет, то запрещено переходить улицу»).

В многочисленных направлениях деонтической логики исследуются различные аспекты логической природы нормативных модальностей. В первых логических теориях был реализован онтологический подход к пониманию деонтических понятий. Внимание логиков привлекла работа Лейбница «Элементы естественного права» (1671), в которой деонтическим понятиям «справедливое» (дозволенное). «несправедливое» (недозволенное), «беспристрастное» (должное), «безразличное» ставятся в соответствие онтологические понятия «возможно», «невозможно», «необходимо». «случайно» (у Лейбница для идеального существа — «доброго человека»). В свою очередь все онтологические модальности можно переформулировать в терминах возможности и отрицания: может быть, не может быть, не может не быть, может не быть. В современной логической терминологии (здесь знак «-.»—знак отрицания) указанная аналогия выглядит следующим образом; «возможно» (М) соотносится с «позволено» (Р), «невозможно» (I=-i соотносится с «запрещено» (F=-iP), «необходимо» соотносится с «обязательно» (0=-iF=-iP-i). При онтологическом подходе запрещение можно определить в терминах разрешения, и наоборот. В таком случае правомерны принципы «все, что не запрещено—разрешено» и «все, что не разрешено—запрещено». Отождествление должного и сущего при онтологическом подходе восходит к древним системам права, где акцентировался скорее момент бытия, а не долженствования. Понятие права как института, регулирующего жизнь общества, ассоциировалось с понятиями правды как правильности и сущего. В современной ситуации должное и сущее  можно рассматривать по аналогии с идеальным и реальным. Используя терминологию возможных миров семантики, можно сказать, что в сфере морали и права конструируют идеальные нравственные альтернативы к действительному миру. При таком подходе вопрос о взаимоопределимости деонтических понятий решается иными способами.

В ходе исследования систем деонтической логики, которые строились по аналогии со стандартными модальными логиками, были обнаружены парадоксы. В монадических логиках (с абсолютными нормами) проходит парадокс Росса (1941): для абсолютной нормы «обязательно р» доказуемо утверждение в силу наличия правила вывода: если доказуемо А-»В, то доказуемо ОА-»ОВ. Напр., «Если обязательно, что вы посылаете письмо, то обязательно, что, либо вы посылаете письмо, либо вы сжигаете письмо». Известны также и другие парадоксы, напр. парадокс договоренности (commitment) или выводимого обязательства (derived obligation), восходящий к А. Прайору (1954).

Можно понимать деонтические модальности как независимые предикаты, прямо не взаимоопределимые друг через друга, и строить деонтическую логику, не опираясь на алетическую. В системах деонтической логики, основанных на принципах многозначности и разноуровневости, классические парадоксы деонтической логики не проходят. В настоящее время  внимание специалистов сосредоточено на разработке полимодальных моделей. При переходе от норм к поступкам приходится учитывать вненормативные факторы: эмпирические данные,  условия, знания субъекта, интересы (в т. ч. конфликтные) различных деятелей и т. п. Встают вопросы об отношении между логической выводимостью, с одной стороны, и знаниями, интенциями и нормами,—с другой.

Возрастает интерес к деонтической логике со стороны информатики, что диктуется потребностями практики. Напр., в правовой литературе США активно обсуждается вопрос о возможности внедрения «электронного судьи». Ставится и обсуждается актуальная для философии права и логики проблема—«насколько далеко можно продвинуться в логическом анализе правовой науки, если это вообще возможно?» Такие проблемы, как (1) возможность и пределы алгоритмизации процессов правотворчества и правоприменения, (2) роль и степень задействования личного опыта юридического лица в принятии решения, сегодня связываются с фундаментальными проблемами философии в виду их важности для понимания природы человеческого знания. Периодически проводятся конференции по компьютерным приложениям деонтических систем.

Лит.: Ягодинский И. И. Философия Лейбница. Процесс образования системы. Первый период 1629—1672. Казань, 1914; Aqvist L. Deontic logic.—Handbook of Philosophical Logic, v. 2. Dordrecht, 1984; Deontic logic. Agency and Normative Systems. Springer Workshops in Computing. L., 1996.

И. А. Герасимова