Деонтическая логика
Деонти́ческая ло́гика (от др.-греч. δέον — долг и логика; ло́гика норм, нормати́вная ло́гика) — раздел модальной логики.
Оперирует понятиями: обязательство, разрешение, норма.
История
«Ты обязан это сделать» («Твой долг это сделать») либо «Ты можешь это сделать». Эти понятия пытались внедрить достаточно давно (Аристотель, Лейбниц, Mally, Йёргенсен, Йёрген[1], Alf Ross), но значительный результат был только у Георга фон Вригта в Deontic Logic, Mind, New Series, Vol. 60, No. 237. (Jan., 1951), pp. 1-15[2].
В 2007 году вышла статья о реализации деонтической логики с подходом ought-to-do. A Formal Language for Electronic Contracts[3], использующим µ-calculus и реализацию mu-cke от A. Biere[4].
Нарушения
Все полезные нормы хоть кто-то должен нарушить. Согласно Gerardo Schneider разделяют:
- contrary-to-duty obligations — нарушение обязанностей;
- contrary-to-prohibitions — нарушение запретов.
В реальном мире оба ведут к каким-то последствиям.
Применение
- Отмечается как хороший язык для выражения информационных систем в целом[1]:
- электронные контракты (юриспруденция, социология, экономика);
- правовые экспертные системы (юриспруденция).
- Для сравнения желаемого состояния с действительным.
Примеры выражения норм
- Когда лицо занимает книгу, он должен вернуть её в течение 2 недель, где Ч — человек, К — книга:
- [(занять(Ч, К))]O(вернуть(Ч, К))≤ 2 недели.
Standard deontic logic
Самая изученная модель, основана на логике высказываний.
- ought-to-do — выражения учитывают названия действий: пользователь должен ввести пароль; кто-то должен закрыть окно.
- ought-to-be — выражения учитывают желаемый результат: пароль должен быть более 20 символов; окно должно быть закрыто; пульс должен быть не более 200 ударов в минуту
- значительное количество парадоксов и загадок[5];
- возможны противоречивые результаты.
Критика и трудности применения
Неполный перечень.
- Дилемма Йёргенсена Йёргена — нормы не истинны или ложны, как тогда мы можем судить о противоречии и определять логические последствия?
- Нормы, зависящие от чего-то.
- Нормы о нормах.
- Как выразить действия когда обязательство не выполнено или запрет нарушен?
- Множество правил из модальной логики не применимы в деонтической логике.
Примечания
Литература
- Ивин А. А. Логика (учебное пособие). — Москва: Знание, 1998. — С. Глава 3. Неклассическая логика § 4. Логика оценок и логика норм.
- Ивин А. А. Логика (учебное пособие). — Москва: «Издательство Оникс»,«Издательство «Мир и Образование», 2008. — С. Глава 5. МОДАЛЬНАЯ ЛОГИКА § 4. Логика норм, стр. 103.
- Лисанюк Е. Н. Деонтическая логика / Микиртумов И.Б., Мигунов А.И., Фёдоров Б.И. (ред.). — Логика (учебник). — Москва: Проспект, 2011. — С. 377—424 (Часть II. Глава 3).
- Лисанюк Е. Н. Развитие представлений о нормах в деонтической логике. — Вестник Новосибирского государственного университета. Серия Философия. Том 8 (2010). Выпуск 1. С. 147-152., 2010.
- Paul McNamara. Deontic Logic // The Stanford Encyclopedia of Philosophy / Edward N. Zalta. — Metaphysics Research Lab, Stanford University, 2019.
- Лисанюк Е. Н. Эрнст Малли и его «Деонтика» // Известия Уральского федерального университета. Сер. 3, Общественные науки. — 2012. — № 4 (109). — С. 31—44.
- Миков А. И. Информационные процессы и нормативные системы в IT: Математические модели. Проблемы проектирования. Новые подходы. — URSS. 2013. — 256 с. Мягкая обложка. — ISBN 978-5-397-03452-4. (Глава 7.Нормативные системы)
