Деонтическая логика: обязательное, разрешённое и запрещённое

Деонтическая логика — раздел формальной логики, который исследует отношения между высказываниями об обязанностях, разрешениях и запретах. Она помогает установить, какие нормативные утверждения совместимы и что из принятых норм логически следует. Сама логическая схема не решает за людей, какие обязанности справедливы или какие законы должны действовать.

Что обозначают основные понятия?

Предположим, в вымышленной лаборатории действует правило: «Посетитель обязан надевать защитные очки». Для данного примера обозначим действие «надеть очки» буквой А. Тогда нормативное высказывание можно записать условно как O(A) — «обязательно А». Формула P(A) означает «разрешено А», а F(A) — «запрещено А». Буквы — пояснительные обозначения, а не отдельные юридические правила.

• Корректно

  Если А обязательно, то в стандартной непротиворечивой деонтической системе А также разрешено. Требование совершить действие несовместимо с его одновременным запретом в этой системе.

• Неверно

  «Раз очки разрешены, значит каждый обязан их надеть». Из разрешения обязанности не следует. Также из обязанности не вытекает, что все посетители действительно выполняют правило.

Два примера и мини-схема вывода

Пример 1. Обязательное и запрещённое

Если в модели требуется вернуть книгу до пятницы, невозвращение её в срок запрещено. В классическом формальном чтении «обязательно А» эквивалентно «запрещено не-А», если заранее согласованы значение действия и правила нормативной системы. Это связь понятий, а не сообщение, что книгу фактически уже вернули.

Пример 2. Разрешённое не означает обязательное

Библиотека разрешает читателю взять дополнительные материалы. Из этого разрешения нельзя вывести, что он обязан ими воспользоваться. Важно и обратное: отсутствие обязанности взять материалы ещё не обязательно означает разрешение, если в системе есть особые ограничения; результат зависит от явно принятых определений и аксиом.

Мини-схема: принято «обязательно А» → в стандартной системе выводится «разрешено А» → но не выводится «А обязательно уже произошло». Нормативное и фактическое высказывания имеют разное содержание.

Что спрашивают на самопроверке?

1. Логика здесь доказывает, что закон хороший? Нет. Она проверяет связи норм при заданной системе, а обоснование ценности нормы требует дополнительных этических и правовых аргументов.
2. Если действие разрешено, оно обязательно? Нет. Разрешение и обязанность — разные модальности.
3. Почему недостаточно одной простой схемы? Реальные нормы могут быть условными, противоречивыми или создавать парадоксы. Разные деонтические системы предлагают разные инструменты для этих случаев.

Особая трудность возникает, когда нормы изменяются после нарушения: из обязанности не совершать действие ещё не всегда понятно, что делать, если нарушение уже произошло. Этот круг вопросов связан с так называемыми условными обязанностями и парадоксами стандартной деонтической логики. Формальная модель полезна тем, что заставляет точно выписать исходные условия, но не гарантирует безошибочного решения всех жизненных дилемм.

Итог: деонтическая логика — формальный аппарат для анализа «должно», «можно» и «нельзя». Он выявляет структуру нормативных выводов, но не заменяет моральную аргументацию и проверку действующих правил.

Источники

• Stanford Encyclopedia of Philosophy — Deontic Logic, вводный раздел и стандартная система.
• Stanford Encyclopedia of Philosophy — Modal Logic, раздел «Deontic Logics».
• Internet Encyclopedia of Philosophy — A. N. Prior’s Logic, история формализации обязанностей и разрешений.