пользователей: 21212
предметов: 10450
вопросов: 177346
Конспект-online
зарегистрируйся или войди через vk.com чтобы оставить конспект.
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

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

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

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

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

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


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