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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Заключение

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

Список использованной литературы

1. Ивин А.А. Логика: Учебник для гуманитарных факультетов, М.: Фаир-Пресс, 2002
2. Кириллов В.И., Старченко А.А. Логика, М.: ООО Издательство «Проспект», 2008
3. Кондаков Н.И. Логический словарь-справочник, М: Наука, 1976
4. Под редакцией Стёпиной В.С. Новая философская энциклопедия: В 4 тт., М.: Мысль, 2001
5. Рузавин Г.И. Логика и Аргументация, М.: ЮНИТИ, 1997
6. Фейс Р. Модальная логика, М: Наука, 1974
7. Шкатов Д.П. Модальная логика и модальные фрагменты классической логики, М.: Институт философии РАН, 2008