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

Атлетическая модальнисть.

Деонтична модальнисть ( "обязанность" / греч.) - Выраженный в суждении предписание в форме советы, пожелания, правила поведения или приказа, которые предопределяют человека на конкретные действия. К ним относят различные нормативные высказывания, в том числе и нормы права, то есть официально принятые уполномоченным органом загальнообовьязкови правила поведения, регулирующие правовые отношения в социальной среде, неисполнение которых ведет к применению юридических санкций. элементами правовой нормы являются такие явно или неявно выраженные в ней компоненты:

авторитет - орган установив норму;

адресат - лица, которым предстоит выполнять предписание;

диспозиция - действие, которое нужно выполнить;

деонтична характеристика нормы - определенный тип предписания;

санкция - юридическое следствие невыполнения предписания.

Среди этих пяти компонентов модальные анализ интересует именно п.4. Праву всегда соответствует зобовьязанисть и наоборот (Право купить и зобовьязанисть выдать купленное). Право и зобовьязанисть выражают посредством деонтичних операторов.

О - зобовьязування; F - запрет; Р - разрешение. Символом d обозначают регулюему действие; символами x, y, z - субъектов правоотношений. В соответствии с деонтичнимы операторами среди норм права различают: (1) правозобовьязуючи; (2) правозаборонюючи; (3) правопредоставляючи.

Правозобовьязуючи нормы формулируют с помощью слов: "обязан", "должен", "принадлежит", "признается" и др. - Символично О (d) действие d принадлежит обязательному исполнению. Если фиксируются и участники правоотношений то О (x, y, z) - "х обязан выполнить действие d в пользу y).

Правозабороняючи нормы формулируются слова "запрещается", "не вправе", "не может", "не допускается" и др. (Запрещается арестовывать). Символично - F (d) действие d запрещается ", а Если d à S, то" Если совершено действие d, то применяется санкция S ".

Правопредоставляючи нормы формулируются словами: "имеет право", "может иметь", "может принять" и др. Символично Р (d) "предоставляется право выполнить d".

Операторы (О, F) - обязательства и запрет - относятся к сильным деонтичних характеристик, (Р) разрешение является слабой характеристикой. О и F выражены друг через друга: зобовьязанисть выполнить определенное действие эквивалентна запрету не выполнить его: О (d) º F (d).

"Разрешение" как слабая характеристика выражается через сильную - через О и F по схеме: Р (d) º ~ О (d) Ù ~ F (d). Читается: разрешение выполнить действие d означает, что выполнение d не обязательно и не запрещено. Рационально построенная нормативно-правовая система должна удовлетворять минимальным модальные деонтичним требованиям: 1) несперечливости 2) сбалансированности; 3) полноты.

деонтична несперечливисть в том, что система права исключает деонтично несовместимые нормы. Несовместимы - это те, в которых одновременно участником правоотношений приписывается:

О (d) Ù О (~ d) зобовьязанисть выполнить d и не-d.

F (d) Ù F (~ d) запрет выполнить d и не-d.

О (d) Ù F (~ d) зобовьязанисть выполнить d и запрет выполнить не-d.

деонтична сбалансированность - для всякой прдестовляючои нормы в правовой системе предусмотрена соответствующая ей правозобовьязуюча норма и наоборот.

деонтична полнота означает, что в системе регулируются все предусмотренные в данной предметной области действия и в ней нема нерегулюемих действий. (Все что в ней не запрещено (в системе), то разрешено и наоборот). Полнота до конца не достигается в силу изменений социальных отношений закона.

Атлетическая модальнисть - это выраженная в суждения в терминах необходимости-случайности или возможности-невозможности информация о логическую или фактическую детерминованисть суждения.

Основаниями истинности или ошибочности суждения выступают структурно-логические характеристики самих суждений, или их соотношение с фактическим положением дел в реальной действительности. Отсюда соответствующие типы модальности: (1) логическая и (2) фактическая модальнисть.

Логическая модальнисть связана с логической детерминованистю суждений, истинность или ложность определяется структурой, или формой суждения. Логически истинные суждения (L-и) выражают законы логики. Логично ошибочно - это противоречивые суждения (Lx). Р ~ Ú Р - ист. - Закон исключено третьего; ~ (РàР) - ошибочные. противоречит закону тождества. (L-и L-х) суждения образуют класс логически детерминированных суждений (обусловленных). Все остальные являются классом фактических детерминированных суждений:

F-и Ú F-x.

Страницы: 1 2

Выгодный и удобный трейд-ин в салонах "Блюфиш" в Санкт-Петербурге.
]> Рейтинг@Mail.ru