пользователей: 26614
предметов: 11610
вопросов: 211984
Конспект-online
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

Модальная логика. Деонтические исчисления.

Модальная логика строится на основе логики высказываний за
счет добавления новых знаков, позволяющих выражать отношение
тех или иных высказываний к окружающей действительности. Как
правило, это суждения о возможности или необходимости чего-
либо.
Классическая логика имеет дела с ассерторическими2 выска-
зываниями, которые утверждают наличие или отсутствие той или
иной ситуации. Однако в жизни приходится иметь дело с выска-
зываниями, содержащими указание на необходимость или возмож-
ность чего-либо. Это связано с элементами случайного в природе

или имело место в прошлом, но чего нет в данный момент. Выска-
зывания этого рода называют модальными .

Различают три типа модальностей, каждый из которых подразде-
ляется на виды:
Алетические модальности. Это высказывания, содержа-
щие такие виды модальности, как «необходимо», «возможно»,
«невозможно», «случайно».
Деонтические модальности. Это модальности, связанные
с характеристиками действий и поступками людей в обще-
стве. Например, «обязательно», «разрешено», «запрещено»,
«безразлично».
Эпистемические модальности. Характеристики наших
знаний. Можно назвать такие виды модальности этого типа,
как «доказано», «опровергнуто», «не доказано», «не опроверг-
нуто», «знает», «верит», «убежден», «сомневается».

Во-первых, деонтические исчисления строятся, как правило, либо на основе булевой алгебры как расширение классической логики высказываний, либо по аналогии с логикой алетических модальностей; во-вторых, деонтические исчисления формулируются при отсутствии семантических концепций; в-третьих, в стандартной логике норм (S DL ) ив ряде других деонтических исчислений ( Р, DT » A/5DL ) некоторые принципы являются противоречащими содержательным интуициям (деонтические парадоксы); в-четвертых, синтаксические методы (модификация списка аксиом, изменение понятия деонтической формулы и деонтического вывода) не устраняют деонтических парадоксов.


23.01.2014; 10:06
хиты: 0
рейтинг:0
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2017. All Rights Reserved. помощь