Модальная логика

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

Норма права – это официально принятые уполномоченным органом общеобязательные правила поведения, регулирующие правовые отношения в социальной среде, неисполнение которых влечет применение юридических санкций.

Явно или неявно выраженные в правовой норме компоненты:

· авторитет – орган, установивший

норму;

· адресат – лица, которым надлежит исполнять предписание;

· диспозиция – подлежащее исполнению действие;

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

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

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

· O – обязывание;

· F – запрещение;

· P – разрешение.

В соответствии с деонтическими операторами среди норм права различают:

1. правообязывающие – нормы формируются с помощью слов: «обязан», «должен», «признается» и другие.

2. правозапрещающее – нормы формируются с помощью слов: запрещается, не вправе, не может, не допускается и других.

3. правопредоставляющие – нормы формируют с помощью слов: имеет право, может быть, может применять и других.

Рационально построенная нормативно – правовая система должна удовлетворять минимальным модальным деонтическим требованиям:

1. непротиворечивость – проявляется в том, что система права исключает деонтически несовместимые нормы.

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

3. полнота – означает, что в системе регулируются все предусмотренные в данной предметной области действия и в ней нет нерегулируемых действий.

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

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

Существует два способа обусловленности, или детерминированности суждений предопределяющих соответствующие типы модальностей:

1. Логическая модальность – это логическая детерминироанность суждения, истинность или ложность которого определяется структурой, или формой суждения.

К логически истинным (L-и) относятся суждения, выражающие законы логики.

К логически ложным (L-л) – внутренне противоречивые суждения.

Логически истинные суждения вместе с логически ложными (L-и L-л) образуют класс логически детерминированных суждений. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений: F-и F-л.

2. Фактическая модальность связана с объективной , или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности.

К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами.

К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности.

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

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

Суждения необходимости могут быть истинными, но они могут быть и ложными. Они составляют класс фактически необходимых суждений. Все остальные фактические суждения относятся к случайным.

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

Модальные понятия «необходимость» и «случайность» могут быть эквивалентно выражены другой парой модальных понятий – возможность и невозможность.

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

Дополнением к классу фактически возможных суждений является класс фактически невозможных суждений.

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

Вывод

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

Использованные источники

1. Логика В.И.Кириллов, А.А. Старченко, 1998

2. Логика и Аргументация, Г.И. Рузавин, 1997

3. Логика, А.А. Ивин, 2000

 Скачать реферат