WikiSort.ru - Не сортированное

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

Оперирует понятиями: обязательство, разрешение, норма.

"Ты обязан это сделать" ("Твой долг это сделать") либо "Ты можешь это сделать"

Эти понятия пытались внедрить достаночно давно (Аристотель, Лейбниц, 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

Самая изученная модель, основана на логике высказываний.

Критика и трудности применения

Неполный перечень.

Дилемма Йёргенсена Йёргена – нормы не истинны или ложны

как тогда мы можем судить о противоречии и определять логические последствия?

нормы, зависящие от чего-то

нормы о нормах

как выразить действия когда обязательство не выполнено или запрет нарушен?

множество правил из модальной логики не применимы в деонтической логике^{[уточнить]}

Источники

1. 1 2 http://www.cse.chalmers.se/~gersch/slides-talks/course-SEFM08/5-deontic-logic.pdf
2. ↑ http://links.jstor.org/sici?sici=0026-4423%28195101%292%3A60%3A237%3C1%3ADL%3E2.0.CO%3B2-C
3. ↑ DOI:10.1007/978-3-540-72952-5_11
4. ↑ A. Biere. mu-cke - efficient mu-calculus model checking. In O. Grumberg, editor, International Conference on Computer-Aided Verification (CAV'97), number 1254 in Lecture Notes in Computer Science, pages 468--471. © Springer-Verlag, 1997
5. ↑ Deontic Logic (Stanford Encyclopedia of Philosophy)

Литература

• Ивин А. А. Логика (учебное пособие). — Москва: Знание, 1998. — С. Глава 3. Неклассическая логика § 4. Логика оценок и логика норм. — ISBN 5-07-002820-0.
• Ивин А. А. Логика (учебное пособие). — Москва: «Издательство Оникс»,«Издательство «Мир и Образование», 2008. — С. Глава 5. МОДАЛЬНАЯ ЛОГИКА § 4. Логика норм, стр. 103. — ISBN 978-5-488-01800-6, 978-5-94666-487-5.
• Лисанюк Е. Н. Деонтическая логика / Микиртумов И.Б., Мигунов А.И., Федоров Б.И. (ред.). — Логика (учебник). — Москва: Проспект, 2011. — С. 377-424 (Часть II. Глава 3).
• Лисанюк Е. Н. Развитие представлений о нормах в деонтической логике. — Вестник Новосибирского государственного университета. Серия Философия. Том 8 (2010). Выпуск 1. С. 147-152., 2010.

Внешние ссылки

• https://plato.stanford.edu/entries/logic-deontic/index.html