Для установки нажмите кнопочку Установить расширение. И это всё.

Исходный код расширения WIKI 2 регулярно проверяется специалистами Mozilla Foundation, Google и Apple. Вы также можете это сделать в любой момент.

4,5
Келли Слэйтон
Мои поздравления с отличным проектом... что за великолепная идея!
Александр Григорьевский
Я использую WIKI 2 каждый день
и почти забыл как выглядит оригинальная Википедия.
Статистика
На русском, статей
Улучшено за 24 ч.
Добавлено за 24 ч.
Что мы делаем. Каждая страница проходит через несколько сотен совершенствующих техник. Совершенно та же Википедия. Только лучше.
.
Лео
Ньютон
Яркие
Мягкие

Из Википедии — свободной энциклопедии

У этого термина существуют и другие значения, см. Модальность.

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

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

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

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

В реальном мире оба ведут к каким-то последствиям.

Применение

Примеры выражения норм

когда лицо Ч занимает книгу К, он должен вернуть её в течение 2 недель
[(занять(Ч, К))]O(вернуть(Ч, К))≤ 2 недели

Standard deontic logic

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

Подходы

ought-to-do – выражения учитывают названия действий
пользователь должен ввести пароль
кто-то должен закрыть окно
ought-to-be – выражения учитывают желаемый результат
пароль должен быть более 20 символов
окно должно быть закрыто
пульс должен быть не более 200 ударов в минуту

Недостатки

  • значительное количество парадоксов и загадок[5]
  • возможны противоречивые результаты

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

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

Дилемма Йёргенсена Йёргена[en] – нормы не истинны или ложны
как тогда мы можем судить о противоречии и определять логические последствия?
нормы, зависящие от чего-то
нормы о нормах
как выразить действия когда обязательство не выполнено или запрет нарушен?
множество правил из модальной логики не применимы в деонтической логике[уточнить]

Источники

  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.

Логика

Информатика

  • Миков А.И. Информационные процессы и нормативные системы в IT: Математические модели. Проблемы проектирования. Новые подходы. – URSS. 2013. – 256 с. Мягкая обложка. – ISBN 978-5-397-03452-4. (Глава 7.Нормативные системы)

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

  • Paul McNamara. Deontic Logic // The Stanford Encyclopedia of Philosophy / Edward N. Zalta. — Metaphysics Research Lab, Stanford University, 2019.
Эта страница в последний раз была отредактирована 13 декабря 2020 в 19:29.
Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License. Нетекстовые медиаданные доступны под собственными лицензиями. Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI 2 является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).