ДЕОНТИЧЕСКАЯ ЛОГИКА

ДЕОНТИЧЕСКАЯ ЛОГИКА (греч. δἐον, οντος, τό – должное, необходимое, обязанность) – область неклассических логик [НЕКЛАССИЧЕСКИЕ ЛОГИКИ], в которых изучаются нормативные высказывания и нормативные понятия – обязательно, запрещено, разрешено и безразлично. Вопрос о логической природе норм, императивов и команд имеет многовековую традицию. Он рассматривался Аристотелем, стоиками, средневековыми философами, Лейбницем, Юмом, и др. Однако первая попытка построить формальную теорию нормативных понятий принадлежит Эрнсту Малли («Элементы логики волеизъявлений», 1926). На философские установки Малли оказал влияние английский философ и юрист Бентам [БЕНТАМ]. Именно Бентаму принадлежит термин «деонтология» («Деонтология, или наука о морали», 1834). Серьезный импульс исследованию норм был дан работами 50-х гг. Г.X. фон Вригта (Логико-философские исследования. – Избр. труды. М., 1986).

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

В многочисленных направлениях деонтической логики исследуются различные аспекты логической природы нормативных модальностей. В первых логических теориях был реализован онтологический подход к пониманию деонтических понятий. Внимание логиков привлекла работа Лейбница «Элементы естественного права» (1671), в которой деонтическим понятиям «справедливое» (дозволенное), «несправедливое» (недозволенное), «беспристрастное» (должное), «безразличное» ставятся в соответствие онтологические понятия «возможно», «невозможно», «необходимо», «случайно» (у Лейбница для идеального существа – «доброго человека»). В свою очередь все онтологические модальности можно переформулировать в терминах возможности и отрицания: может быть, не может быть, не может не быть, может не быть. В современной логической терминологии (здесь знак «» – знак отрицания) указанная аналогия выглядит следующим образом: «возможно» (М) соотносится с «позволено» (Р), «невозможно» (1=(Μ) соотносится с «запрещено» (F=P), «необходимо» (Ν=Ι=Μ) соотносится с «обязательно» (O=F=P). При онтологическом подходе запрещение можно определить в терминах разрешения, и наоборот. В таком случае правомерны принципы «все, что не запрещено – разрешено» и «все, что не разрешено – запрещено». Отождествление должного и сущего при онтологическом подходе восходит к древним системам права, где акцентировался скорее момент бытия, а не долженствования. Понятие права как института, регулирующего жизнь общества, ассоциировалось с понятиями правды как правильности и сущего. В современной ситуации должное и сущее можно рассматривать по аналогии с идеальным и реальным. Используя терминологию возможных миров семантики [ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА], можно сказать, что в сфере морали и права конструируют идеальные нравственные альтернативы к действительному миру. При таком подходе вопрос о взаимоопределимости деонтических понятий решается иными способами.

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

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

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

Литература:

1. Ягодинский И.И. Философия Лейбница. Процесс образования системы. Первый период 1629–1672. Казань, 1914;

2. Åqvist L. Deontic logic. – Handbook of Philosophical Logic, v. 2. Dordrecht, 1984;

3. Deontic logic. Agency and Normative Systems. Springer Workshops in Computing. L., 1996.

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