Реферат: Модальная логика

1. Достоверные суждения – это достаточно обоснованные истинные или ложные суждения. Модальность можно выразить с помощью двух операторов:

· Доказанности (верифицированности) – V.

· Опровергнутости (фальсифицированности) – F.

2. Проблематичные суждения – это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности. Точно не установить истинность или ложность таких суждений, то они лишь могут быть таковыми. Их и называют: проблематичные, правдоподобные, вероятные.

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

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

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

Деонтические (нормативные) модальности указывают на тип предписываемых в суждении действий и выражаются в терминах: «разрешено», «не разрешено», «обязательно», «безразлично» и др.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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