Деонтическая логика: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Нет описания правки |
D1gggg (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Деонти́ческая ло́гика''' (от {{lang-grc|δέον}} — долг и ''логика''; '''логика норм''', '''нормативная логика''') — раздел [[логика|логики]], исследующий логическую структуру и логические связи [[прескрипция|нормативных высказываний]]. Деонтическая логика является также разделом [[модальная логика|модальной логики]] и одним из исследовательских направлений [[неклассическая логика|неклассической логики]]. |
'''Деонти́ческая ло́гика''' (от {{lang-grc|δέον}} — долг и ''логика''; '''логика норм''', '''нормативная логика''') — раздел [[логика|логики]], исследующий логическую структуру и логические связи [[прескрипция|нормативных высказываний]]. Деонтическая логика является также разделом [[модальная логика|модальной логики]] и одним из исследовательских направлений [[неклассическая логика|неклассической логики]]. |
||
Оперирует понятиями: [[w:en:Obligation|обязательство]], [[w:en:Permission (philosophy)|разрешение]], [[w:en:Norm (philosophy)|норма]]. |
|||
Деонтическая логика анализирует [[рассуждение|рассуждения]], [[посылка]]ми или [[заключение|заключениями]] которых являются высказывания о [[норма]]х ([[правило|правила]]). Она отличает правильные (обоснованные) рассуждения от неправильных и таким образом создаёт теорию нормативных умозаключений. |
|||
"Ты обязан это сделать" ("Твой долг это сделать") либо "Ты можешь это сделать" |
|||
Логическое исследование норм и правил важны для [[математика|математики]], [[логика|логики]], [[лингвистика|лингвистики]], [[этика|этики]], [[юриспруденция|юриспруденции]], [[социология|социологии]] и [[экономика (наука)|экономики]]. |
|||
Эти понятия пытались внедрить достаночно давно, но значительный результат был только у [[Вригт, Георг Хенрик фон|Георга фон Вригта]] в 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 года о реализации деонтической логики. 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> |
|||
Проблемы деонтической логики исследовал [[Вригт, Георг Хенрик фон|Г. Х. фон Вригт]]. |
|||
== Применение == |
|||
* отмечается как хороший язык для выражения информациооных систем в целом<ref>http://www.cse.chalmers.se/~gersch/slides-talks/course-SEFM08/5-deontic-logic.pdf</ref> |
|||
** [[Электронные контракты]]{{уточнить}} ([[юриспруденция]], [[социология]], [[экономика (наука)|экономика]]) |
|||
* для сравнения ''желаемого'' состояния с ''действительным'' |
|||
== Примеры == |
|||
; норма: когда лицо Ч занимает книгу К, он должен вернуть её в течение 2 недель |
|||
: [(занять(Ч, К))]O(вернуть(Ч, К))≤ 2 недели |
|||
== Ссылки == |
== Ссылки == |
Версия от 05:04, 6 октября 2017
Деонти́ческая ло́гика (от др.-греч. δέον — долг и логика; логика норм, нормативная логика) — раздел логики, исследующий логическую структуру и логические связи нормативных высказываний. Деонтическая логика является также разделом модальной логики и одним из исследовательских направлений неклассической логики.
Оперирует понятиями: обязательство, разрешение, норма.
"Ты обязан это сделать" ("Твой долг это сделать") либо "Ты можешь это сделать"
Эти понятия пытались внедрить достаночно давно, но значительный результат был только у Георга фон Вригта в Deontic Logic, Mind, New Series, Vol. 60, No. 237. (Jan., 1951), pp. 1-15.[1]
Статья 2007 года о реализации деонтической логики. A Formal Language for Electronic Contracts[2] использующий µ-calculus и реализацию mu-cke от A. Biere[3]
Применение
- отмечается как хороший язык для выражения информациооных систем в целом[4]
- для сравнения желаемого состояния с действительным
Примеры
- норма
- когда лицо Ч занимает книгу К, он должен вернуть её в течение 2 недель
- [(занять(Ч, К))]O(вернуть(Ч, К))≤ 2 недели
Ссылки
- Деонтическая логика (недоступная ссылка) Проверено 17 сентября 2015.
- Деонтическая модальность (недоступная ссылка) Проверено 17 сентября 2015.
- Программа учебной дисциплины «Деонтическая логика» (недоступная ссылка) Проверено 17 сентября 2015.
Литература
- Ивин А. А. Логика (учебное пособие). — Москва: Знание, 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).
- Ягодинский И. И. Философия Лейбница. Процесс образования системы. Первый период 1629—1672. — Казань, 1914.
- Лисанюк Е. Н. Развитие представлений о нормах в деонтической логике. — Вестник Новосибирского государственного университета. Серия Философия. Том 8 (2010). Выпуск 1. С. 147-152., 2010.
- Лисанюк Е. Н. Эрнст Малли и его «Деонтика» // Известия Уральского федерального университета. Сер. 3, Общественные науки. — 2012. — № 4 (109). — С. 31-44.
- Миков А.И. Информационные процессы и нормативные системы в IT: Математические модели. Проблемы проектирования. Новые подходы. – URSS. 2013. – 256 с. Мягкая обложка. – ISBN 978-5-397-03452-4. (Глава 7.Нормативные системы)
См. также
В статье не хватает ссылок на источники (см. рекомендации по поиску). |
- ↑ http://links.jstor.org/sici?sici=0026-4423%28195101%292%3A60%3A237%3C1%3ADL%3E2.0.CO%3B2-C
- ↑ doi:10.1007/978-3-540-72952-5_11
- ↑ 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
- ↑ http://www.cse.chalmers.se/~gersch/slides-talks/course-SEFM08/5-deontic-logic.pdf