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

«Должен, но не хочу. Хочу, но нельзя. Можно, но не обязан.» Каждый день мы рассуждаем в терминах обязательств и разрешений. Деонтическая логика даёт язык для точного анализа того, что мы должны, что можем и что запрещено.

• **Правовые системы:** Конституции, законы, контракты — всё формулируется через обязательства, разрешения и запреты
• **AI Ethics:** Формализация правил для автономных систем — что роботу «можно», что «нельзя», что «обязательно»
• **Compliance:** Автоматическая проверка соответствия действий набору правил использует деонтическую логику

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

**Деонтическая логика** (от греч. δέον - должное) - логика норм и обязательств. Если алетическая модальность говорит о том, что *есть* и *может быть*, деонтическая - о том, что *должно быть*, *разрешено* и *запрещено*. Это логика морали, права и этики.

**Основные операторы:** - **O(p)** - обязательно p (ought, obligation) - **P(p)** - разрешено p (permitted) - **F(p)** - запрещено p (forbidden) Аналогия с алетической: O как □ (должно во всех «идеальных» мирах), P как ◇ (допустимо хотя бы в одном).

**Важное отличие от алетической:** O(p) → p не выполняется! «Должен платить налоги» не означает, что все платят. Нормы можно нарушать. Поэтому деонтическая логика не включает аксиому T (□p → p).

Обязательство

**Обязательство O(p)** - центральный оператор деонтической логики. «Обязательно p» означает, что во всех морально/юридически идеальных состояниях p выполняется. Если вы нарушаете O(p), вы отклоняетесь от идеала.

**Типы обязательств:** - **Категорические:** Безусловные - «Не убий» (O(¬убийство)) - **Условные:** При условии - «Если обещал, исполни» (обещал → O(исполни)) - **Prima facie:** По умолчанию, но могут быть отменены более сильными обязательствами

**Парадокс Росса:** O(p) → O(p ∨ q). Если обязан отправить письмо, то обязан «отправить письмо или сжечь его»? Формально верно в SDL, но контринтуитивно. Это показывает ограничения стандартной деонтической логики.

Разрешение

**Разрешение P(p)** - «p допустимо». Формально: P(p) ≡ ¬O(¬p) - не обязан не делать. Разрешение слабее обязательства: разрешённое можно делать, но не обязаны. В праве: что не запрещено - разрешено (принцип правовой свободы).

**Два вида разрешения:** - **Слабое (негативное):** P(p) = ¬F(p) - просто отсутствие запрета - **Сильное (позитивное):** Явно выданное разрешение нормодателем В SDL различие не делается, но в реальном праве оно важно.

**Проблема замкнутости:** В праве есть принцип «что не запрещено - разрешено». Но в деонтической логике ¬O(¬p) не следует автоматически из отсутствия O(¬p) в базе. Нужна дополнительная аксиома замкнутости.

Запрет

**Запрет F(p)** - «p запрещено». Формально: F(p) ≡ O(¬p) ≡ ¬P(p). Запрет - обязательство воздержаться. «Не укради» = O(¬красть) = F(красть). Запрет сильнее, чем просто отсутствие разрешения.

**Связь операторов:** - F(p) = O(¬p) = ¬P(p) - Запрещено p = обязан не-p = не разрешено p Любой из трёх операторов (O, P, F) можно взять за примитив и определить остальные.

**Иерархия норм:** Запреты часто сильнее разрешений. В конфликте «разрешено p» и «запрещено p» обычно побеждает запрет (принцип предосторожности). Но сильное конституционное разрешение может перевесить обычный закон.

Моральное рассуждение

**Деонтическая логика в этике:** Формализация моральных рассуждений помогает выявить скрытые предпосылки, найти противоречия, проверить выводы. «Нельзя выводить должное из сущего» (гильотина Юма) - факты не порождают обязательства без нормативных посылок.

**Гильотина Юма:** Из описательных утверждений (is) нельзя вывести нормативные (ought) без нормативной посылки. «Люди страдают от голода» + ? → «Должны помогать голодающим». Нужна посылка: «Должны уменьшать страдания».

**Prima facie обязательства:** В реальной этике обязательства часто условны - «не лги, если нет более сильной причины». Деонтологи (Кант, Росс) разработали теории конфликтующих обязательств и их разрешения.

Ключевые идеи

• **O, P, F** — операторы обязательства, разрешения и запрета; взаимоопределимы через отрицание
• **Отличие от алетической:** O(p) → p не выполняется — нормы можно нарушить
• **Гильотина Юма:** из фактов (is) нельзя вывести нормы (ought) без нормативных посылок
• **Парадоксы SDL** (Росс, добрый самаритянин) показывают ограничения стандартной формализации

Связанные темы

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

• Модальная логика — Деонтика - разновидность модальной логики с особыми аксиомами
• Эпистемическая логика — Другая модальность: знание и вера вместо обязательства
• Правовая логика — Применение деонтики к анализу юридических норм

Вопросы для размышления

• Сформулируйте личное моральное правило в терминах O, P, F. Согласованы ли ваши правила между собой?
• Встречались ли вам ситуации, где два ваших обязательства конфликтовали? Как вы их разрешали?
• Когда вы говорите «так нельзя», имеете в виду запрет (F), отсутствие разрешения (¬P) или невозможность (□¬)?

Связанные уроки

• fl-01-intro