Реферат на тему:


Воспользуйтесь поиском к примеру Реферат        Грубый поиск Точный поиск






Загрузка...

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

План

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

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

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

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

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

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

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

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

Среди этих пяти компонентов модальный анализ интересует именно п.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.

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

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

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

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

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

F (p)? Р ~? Р.

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

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

Вероятность Р отрицанию необходимости ~ Р

? Р ~ Р.

Загрузка...