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

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

Деонти́ческая ло́гика (от др.-греч. δέον — долг и логика; логика норм, нормативная логика) — раздел ло­гики, исследующий логическую структуру и логические связи нор­мативных высказываний. Деонтическая логика является также разделом модальной логики и одним из исследовательских направлений неклассической логики.

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

Выделяются четыре структурных «элемента» нормы:

· характер — норма обязывает, разрешает или запрещае т;

· содержание — действие, которое должно быть, может быть или не должно быть выполнено;

· условия приложения;

· субъект — лицо или группа лиц, которым адресована норма.

Подход деонтической логики к структуре норм является предельно общим. Это позволяет распространить ее законы на нормы любых видов, независимо от их частных особенностей. Правила игры и грамматики, законы государства и команды, технические нормы, обычаи, моральные принципы, идеалы и т.д. — нормы всех этих видов имеют одинаковую логическую структуру и демонстрируют одинаковое «логическое поведение».

Внимание логиков привлекла работа Лейбница “Элементы естественного права” (1671), в которой деонтическим понятиям “справедливое” (дозволенное), “несправедливое” (недозволенное), “беспристрастное” (должное), “безразличное” ставятся в соответствие онтологические понятия “возможно”, “невозможно”, “необходимо”, “случайно” (у Лейбница для идеального существа — “доброго человека”).

В свою очередь все онтологические модальности можно переформулировать в терминах возможности и отрицания: может быть, не может быть, не может не быть, может не быть.

… При онтологическом подходе запрещение можно определить в терминах разрешения, и наоборот. В таком случае правомерны принципы “все, что не запрещено—разрешено” и “все, что не разрешено—запрещено”.

Возрастает интерес к деонтической логике со стороны информатики, что диктуется потребностями практики. … Периодически проводятся конференции по компьютерным приложениям деонтических систем.^[24]