Виды модальности в логике

Главная - Логика - Виды модальности в логике

Виды модальности в логике

План

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) деонтична несперечливисть есть в том, что система правая исключает деонтично несовместимые нормы. Несовместимые - это те, в которых одновременно участником правоотношений приписывается, :