Тема 2.3. Модальность суждений.

П.З.№12. Определение алетической, деонтической, эпистемической модальности суждений, выражение их с помощью операторов

Модальность - это явно или неявно выраженная в суждении до­полнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных его характеристи­ках. К основным видам модальности относятся эпистемическая, де­онтическая и алетическая модальность.

ТИПЫ И ВИДЫ МОДАЛЬНОСТИ

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

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

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

(аналог алетической модальности случайно).

Эпистемические модальности. Это характеристики наших знаний. Среди них выделяются виды: доказано, опровергнуто, возможно (возможно допустить, что истинно некоторое высказывание), не доказано и не опровергнуто (для этого вида нет специального названия — это аналог случайно среди алетических модальностей). По другим основаниям выделяют такие виды: знает, верит, убежден, сомневается. Характеристики некоторых приведенных видов модальностей различных типов могут быть уточнены путем указания взаимосвязи между ними. Для этого используем формы модальных высказываний. Пусть А — какое-то ассерторическое (не модальное) высказывание. Тогда необходимо А (указание на необходимость ситуации, утверждаемой в А) можно обозначать как НА (иногда применяют обозначение DA). Возможность ситуации А выражается в виде МА (или

ОА), случайность можно обозначить как SA (или АА).

Для высказываний с деонтическими модальностями приняты обозначения: обязательно А — ОА (обязательно делать так, чтобы истинно было А), разрешено А — РА (разрешено делать так, чтобы истинно было А), запрещено А — ЗА (запрещено делать так, чтобы было истинно А, то есть чтобы была ситуация А). Запрещено А здесь — аналогично алетической модальности невозможно А, но если последняя по своему выражению означает просто отрицание возможности, то запрещение выступает как самостоятельная модальность. Разрешено естественно понимать не как наличие какого-то предписания, а как отсутствие запрещения.

Эта эквивалентность выражает принцип демократического общества: Разрешено все, что не запрещено. С учетом указанного понимания разрешено и запрещено между деонтическими модальностями могут быть установлены некоторые эквивалентности.

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

представляет, также является всегда необходимой. И в силу этого истинно высказывание фактически необходимо 5 (НФБ). Например, согласно первому закону Кеплера, необходимо, что всякая планета Солнечной системы двигалась вокруг Солнца по эллипсу, в одном из фокусов которого находится Солнце. Но это же необходимо и для Земли и для Марса и т. д. Ф и з и ч е с к у ю н е в о з м о ж н о с т ь выражает высказывание, являющееся отрицанием какого-либо следствия из физического закона, включая, конечно, и отрицание самого этого закона науки, или эквивалентное такому отрицанию. Отсюда ясно, что высказывание выражает физическую возможность, если оно не является эквивалентным отрицанию какого-либо закона науки (а тем самым не является эквивалентным отрицанию какого-либо следствия закона науки, ибо отрицание следствия закона означает также и отрицание самого закона). Высказывание А выражает ф и з и ч е с к у ю случайность, согласно введенному ранее определению, если физически возможно А и физически возможно не-А. Логические модальности зависят от логических форм высказываний, то есть не зависят от значений дескриптивных терминов, входящих в него. О модальных высказываниях этого типа — применительно к высказываниям, выразимым в ЯЛВ и ЯЛП, — речь уже шла в разделах. Для определения того, к какому виду логической модальности относится высказывание естественного языка, необходимо уметь выявить его логическую форму. Для этого необходимо выявить все его смысловые части — употребляемые в нем имена предметов, предикаторы, предметные функторы и логические константы, — которые могут быть не выражены явно. Для осуществления этой операции наиболее естественно перевести

данное высказывание на язык логики высказываний или на язык логики предикатов.

Упражнение

1. Определите эпистемическую модальность суждений, запишите их с помощью операторов «доказано» (V), «опровергнуто» (F), «веро­ятно» (Р). Достоверные суждения выразите с помощью оператора

«опровергнуто», проблематические - с помощью операторов «доказа­но» и «опровергнуто».

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

Установлено, что Н. - организатор преступления.

Вероятно, что в соответствии со статьей 77 Уголовного кодекса РФ обвиняемый будет освобожден от уголовной ответственности.

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

В связи с амнистией Р. освобождается от дальнейшего отбыва­ния наказания.

Есть основания предполагать, что Н. не был соучастником пре­ступления.

С. привлекается к уголовной ответственности по статье 159 УК РФ за мошенничество.

Самым древним объектом культа был, вероятно, огонь.

В шесть часов я постараюсь быть дома.

Лето, по-видимому, будет жаркое.

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

По-видимому, на свете нет ничего, что не могло бы случиться (М. Твен).

Упражнение

Определите деонтическую модальность суждений, запишите их с помощью операторов «обязанность» - 0(d), «запрещение» - F(d), «разрешение» - P(d).

Образцы:

1. Работник обязан соблюдать трудовую дисциплину (ТК, ст. 4). Обязанность.

2. Применение уголовного закона по аналогии не допускается (УК, ст. 3). За­прещение F{d).

3. Заявление о преступлении может быть сделано в устном или письменном виде (УПК, ст. 71). Разрешение Р(ф).

Принудительный труд запрещен (Конституция РФ).

Трудоспособные дети, достигшие 18 лет, должен заботиться о нетрудоспособных родителях.

В общественном транспорте запрещается провозить легковос­пламеняющиеся вещества.

Каждый имеет право на охрану здоровья и медицинскую по­мощь (Конституция РФ, ст. 41).

Помните: бензин опасен, работу с ним лучше проводить на от­крытом воздухе.

Каждый обязан охранять природу и окружающую среду, береж­но относиться к природным богатствам.

Зачислить на постоянную работу цеха благоустройства слеса­рем 6-го разряда

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

Человек должен жить и творить, а не прозябать.

Не сотвори себе кумира.

Упражнение

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

Образец: С изменением причины изменяется и следствие. Суждение (р) - фактиче­ски необходимое. Земля обращается вокруг Солнца по планетной орбите.

Земля - центр Вселенной.

Всякое действие равно противодействию.

Загрязнение окружающей среды может активизировать сердеч­но-сосудистые и легочные заболевания.

Кратковременные расстройства сна бывают у вполне здоровых людей от переутомления.

Не исключено, что у Мошкина был соучастник. Дыма без огня не бывает.