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


План

Деонтична модальность.

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

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

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

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

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

Правозабороняючи нормы формулируются болтовня “запрещается”, “не вправе”, “не может”, “не допускается” и др. (Запрещается арестовывать). Символично – 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-и) выражают законы логики. Логично порочное – это противоречивые суждения (L-x). Р ~ Ú Р – ист. – правило исключенный третий; ~(РàР) – изъянов. противореччит закону тождественности. (L-и и L-х) суждения образуют сословие логично детерминированных суждений (обусловленных). Все другие являются классом фактических детерминированных суждений: F-и Ú F-x .

Фактическая модальность – определяется объективной действительностью.

Реальны связки между предметами выражаются фактической модальностью с путем алетично модальных понятий: необходимая и случайная. Фактически необходимыми являются суждения, в которых содержится информация о законах науки. (Слова модальности – необходимо, обязательно, непременно и др.

“S надо пить (нет) Р”. В символическом языке для понятия необходимости обыкновенный знак ?, - оператор необходимости. (? Ú ?~Р). Фактически случайные – это суждения, которые не содержат информацию о законах науки, и их истинность как ошибочность определяются конкретными эмпирическими условиями. “Наполеон умер 5 мая 1821 года”. К случайных относят суждения, которые не являются необходимыми. Другой эквивалентной необходимости и случайности пить облако модальных понятий – дерзать и невозможность.

Фактически возможными являются суждения, которые содержат информацию о принципиальной совместимости двух явлений: “Команда А может побеждать в В команды”, а может и не выиграть. В языке это слова: возможно, может быть, не исключено, допускается и др. “S может закутываться (может не) P”. В символическом языке для понятия возможности принят знак ◊ - оператор возможности. ◊ р – “возможно р”. Суждение ◊ является истинным как порочным и составляет сословие действительно возможных суждений (◊ Ù ◊~Р). Дополнение к этому классу является классом действительно невозможных суждений – это суждения, которые содержат информацию о принципиальной несовместимости двух явлений. (“На Луне невозможна жизнь) (~◊~Р ли ~◊Р).

В обобщенном виде действительно детерминированные суждения в модальных сроках “возможности” и “невозможности” могут закутываться представлены в следующем виде: F(p)º ◊Р Ú ~◊Р.

Модальные понятия необходимости случайности зачастую выражают путем мысль невозможности и возможности: операторы ? и ◊ - взаемовизначаеми. Необходимость Р º невозможности ~Р;

Возможность Р º возражению необходимости ~Р; ◊Рº ~? ~Р .