Википедия

Деонтическая логика: различия между версиями

Интерактивная навигация по истории
(Показать все непатрулированные изменения)
[непроверенная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Метки: с мобильного устройства из мобильной версии
Грамматическая ошибка
Строка 5:
"Ты обязан это сделать" ("Твой долг это сделать") либо "Ты можешь это сделать"
 
Эти понятия пытались внедрить достаночнодостаточно давно ([[Аристотель]], [[Лейбниц, Готфрид Вильгельм|Лейбниц]], [[w:en:Ernst Mally|Mally]], [[w:da:Jørgen Jørgensen (filosof)|Йёргенсен, Йёрген]]<ref name="автоссылка1">http://www.cse.chalmers.se/~gersch/slides-talks/course-SEFM08/5-deontic-logic.pdf</ref>, [[w:en:Alf Ross|Alf Ross]]), но значительный результат был только у [[Вригт, Георг Хенрик фон|Георга фон Вригта]] в Deontic Logic, Mind, New Series, Vol. 60, No. 237. (Jan., 1951), pp. 1-15.<ref>http://links.jstor.org/sici?sici=0026-4423%28195101%292%3A60%3A237%3C1%3ADL%3E2.0.CO%3B2-C</ref>
 
Статья 2007 года о реализации деонтической логики с подходом ''ought-to-do''. A Formal Language for Electronic Contracts<ref>{{DOI|10.1007/978-3-540-72952-5_11}}</ref> использующий [[w:en:Modal μ-calculus|µ-calculus]] и реализацию [[mu-cke]] от A. Biere<ref>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</ref>
Источник — https://ru.wikipedia.org/wiki/Деонтическая_логика