Види модальності в логіці

Види модальності в логіці

План

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)деонтична несперечливість є в тому, що система права виключає деонтично несумісні норми. Несумісні – це ті, в яких одночасно учасником правовідносин приписується: