Человеческое мышление


Похожие статьи:

Популярные записи


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

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

    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 Fd.

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

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

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

    2 Fd F~d запрещение выполнить d и не- d.

    3 Оd F~d зобов'язанисть выполнить d и запрещение выполнить не- d.

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

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

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

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

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

    F -ые F - x.

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

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

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

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

    В обобщенном виде фактически детерминированные суждения в модальных сроках "возможности" и "невозможности" могут быть представлены в следующем виде:

    Fp Р ~Р.

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

    1 Необходимость Р невозможности ~Р;

    2 Возможность Р отрицанию необходимости ~Р;

    Р ~ ~Р .