Виды модальности в логике
Виды модальности в логике
План
1.Деонтична модальность.
2.Атлетичная модальность.
Деонтична модальность ("обязанность" /грец. ) - выраженное в суждении предписание в форме совета, пожелания, правила поведения или приказа, которые предопределяют человека на конкретные действия. К ним относят разные нормативные высказывания, в том числе и нормы права, то есть официально приняты уполномоченным органом общеобязательные правила поведения, которые регулируют правовые отношения в социальной среде, невыполнение которых ведет к применению юридических санкций. элементами правовой нормы являются такие явно или неявно выраженные в ней компоненты:
1) авторитет - орган установивший норму;
2) адресат - лица, которым надлежит выполнять предписание;
3) диспозиция - действие, которое нужно выполнить;
4) деонтична характеристика нормы - определенный тип предписания;
5) санкция - юридическое следствие невыполнения предписания.
Среди этих пяти компонентов модальный анализ интересует именно п.4. Праву всегда отвечает зобов'язанисть и наоборот (Право купить и зобов'язанисть выдать купленное). Право и зобов'язанисть выражают с помощью деонтичних операторов.
О - обязатель; F - запрет; Р - разрешение. Символом d помечают регулюему действую; символами x, y, z - субъектов правоотношений. В соответствии с деонтичними операторами среди норм права различают: (1) правообязующие; (2) правозаборонюючи; (3) правопредоставляючи.
1) Правообязующие нормы формулируют с помощью слов: "обязан", "должен", "принадлежат", "признается" и др. - символично О (d) "действие d принадлежит обязательному выполнению". Если фиксируются и участники правоотношений то О (x, y, z) - "х обязан произвести действие d в пользу y).
2) Правозабороняючи нормы формулируются слова "запрещается", "не вправе", "не может", "не допускается" и др. (Запрещается арестовывать). Символично - F (d) "действие d запрещается", а Если d S, то "Если осуществлено действие d, то применяется санкция S".
3) Правопредоставляючи нормы формулируются словами: "имеет право", "может иметь", "может принять" и др. Символично Р(d) "предоставляется право выполнить d".
Операторы (О, F) - обязательства и запрет - относятся к сильным деонтичних характеристикам, (Р) разрешение является слабой характеристикой. Об и F выражены один через одного: зобов'язанисть произвести определенное действие эквивалентная запрету не выполнить его : В(d) F(d).
"Разрешение" как слабая характеристика выражается через сильную - через Об и F по схеме: Р(d) ~В(d) ~F(d). Читается: разрешение произвести действие d значит, что выполнение d не обязательно и не запрещено. Рационально построенная нормативно-правовая система должна удовлетворять минимальным модальным деонтичним требованиям: 1) несперечливости; 2) сбалансированности; 3) полноты.
1) деонтична несперечливисть есть в том, что система правая исключает деонтично несовместимые нормы. Несовместимые - это те, в которых одновременно участником правоотношений приписывается, :
Вернуться назад