Логика

И.И. Веревичев

3.9. Модальность суждений

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

Основными видами модальностей являются:

— алетическая модальность (онтологическая или гносеологическая);
— эпистемическая;
— деонтическая;
— аксиологическая;
— временная модальность и некоторые другие.

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

Для символической записи этих алетических характеристик используют следующие операторы:

— необходимо,
┐□ - случайно,
◊ - возможно,
┐◊ - невозможно.

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

1) □ р = ┐◊ ┐р: «Необходимо р означает, что неверно, что возможно не-р»;

2) ◊ р = ┐□ ┐р: «Возможно р означает, что неверно, что необходимо не-р».

Пример: суждение «Необходимо, что на смену весны приходит лето» является тождественным утверждению «Невозможно, чтобы на смену весны не приходило лето».

Термин «необходимость» в науке обычно характеризует форму всеобщности и обязательности проявления события, его закономерность.

Суждения, выражающие необходимость, называются аподиктическими ( «На смену зимы всегда приходит весна»). Суждения, выражающие действительность, называют ассерторическими. Они характеризуют специфику событий, происходящих в настоящее время (например: «Мы сейчас наблюдаем падение метеорита»). Суждения, выражающие возможность, называются проблематическими.

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

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

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

По степени обоснованности различают два класса суждений: достоверные и недостоверные (проблематичные). К достоверным относят достаточно обоснованные суждения, истинность или ложность которых устанавливается эмпирическим (опытным) или теоретическим (логическим) способами. Проблематичными называют суждения, достоверность которых недостаточно обоснована. Модальный оператор доказанности — V; опровергнутости — F; проблематичности — Р.

Операторы доказанности и опровергнутости взаимозаменяемы, так как имеют место следующие формулы:

1. Vр = Fр v ┐Fр;

2. Vр = F ┐р;

3. V┐р = Fр.

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

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

Деонтическими характеристиками являются следующие виды предписаний: «обязано» — O, «запрещено» — F, «разрешено — Р». Среди предписаний выделяют нормативные, включающие в себя и нормы права. Все юридические нормы, соответственно, могут относиться либо к правообязывающим («Граждане РФ обязаны относиться с уважением к государственной символике»), либо к правозапрещающим («Запрещено переходить улицу на красный свет»), либо к правопредоставляющим («Разрешено все, что не запрещено законом»).

Правообязывающие нормы символически обозначают О(d): «действие d подлежит обязательному исполнению».

Правозапрещающие нормы символически обозначают F(d): «действие d запрещается».

Правопредоставляющие нормы символически обозначают Р(d): «предоставляется право выполнить действие d ».

Логическими условиями правильно построенной правовой нормы являются требования ее непротиворечивости, сбалансированности и полноты.

Характеристики «обязано» и «запрещено» взаимозаменяемы:

О(d) = F(┐d);

Более слабую характеристику «разрешено» можно заменить комбинацией сильных по следующей схеме:

Р(d) = ┐О(d) ^ ┐ F(d);

Аксиологическая модальность выражает отношение человека к ценностям с помощью таких характеристик, как «хорошо», «плохо», «безразлично». Например: «Хорошо чувствовать себя свободным».

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

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