Модальность(от лат., modus — мера, способ)

 — оценка выска­зывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «возможно», «до­казуемо», «опровержимо», «обязательно», «разрешимо» и т. п.

[205]

О предмете S можно просто сказать, что он имеет свойство Р. Но можно, сверх того, уточнить, является ли эта связь S и Р необ­ходимой или же она случайна, всегда ли S будет Р или нет, хорошо ли, что S есть Р, или плохо, доказано ли, что S есть Р, или это только предполагается и т. д. Результатами таких уточнений будут модальные высказывания разных типов. Общая их форма: М (S есть Р) или М (S не есть Р); вместо М в эту форму могут подставляться различные понятия, определяющие тип связи субъекта и предика­та. Напр., из немодального высказывания «Цезий — металл» можно образовать модальные высказывания «Возможно, что цезий — ме­талл», «Хорошо, что цезий — металл», «Немыслимо, чтобы цезий был металлом», «Доказано, что цезий — металл» и т. д. Модальной оценке могут быть подвергнуты не только связи предметов и при­знаков, но и связи других типов. Напр., из сложного высказывания «Если металлический стержень нагреть, он удлинится» можно по­лучить модальные высказывания «Необходимо, что если металли­ческий стержень нагреть, он удлинится», «Всегда будет так, что металлический стержень удлиняется, если его нагреть» и т. п.

Одно и то же высказывание может стать объектом нескольких последовательных модальных оценок с одной или разных точек зре­ния («Хорошо, что доказано, что цезий — металл»).

Логические связи модальных высказываний являются объек­том исследования модальной логики. Из разнообразных возможных типов модальных оценок она выбирает немногие, наиболее инте­ресные.

В современной модальной логике исследуются следующие груп­пы модальных понятий:

• >> логические М. (абсолютные: «логически необходимо», «ло­гически случайно», «логически возможно», «логически невозмож­но»; сравнительные: «логически влечет», «есть логическое следствие»);

• >> физические (онтологические, каузальные) М. (абсолют­ные: «физически необходимо», «физически случайно», «физически невозможно», «физически возможно»; сравнительные: «есть причи­на», «есть следствие», «не является ни причиной, ни следствием»);

• >> теоретико-познавательные (эпистемические) М. (от­носящиеся к знанию: «доказуемо», «опровержимо», «неразреши­мо»; относящиеся к убеждению: «убежден», «сомневается», «отвер­гает», «допускает»; связанные с истинностной характеристикой, абсолютные: «истинно», «ложно», «неопределенно»; сравнитель­ные: «вероятнее», «менее вероятно», «равновероятно»);

• >> деонтические (нормативные) М. («обязательно», «нор­мативно безразлично», «запрещено», «разрешено»);

[206]

• >> аксиологические (оценочные) М. (абсолютные: «хоро­шо», «аксиологически безразлично», «плохо»; сравнительные: «луч­ше», «равноценно», «хуже»);

• >> временные М. (абсолютные: «было», «есть», «будет»; срав­нительные: «раньше», «одновременно», «позже»).

Логические М. изучались еще Аристотелем (384—322 до н. э.) и средневековыми логиками. Детальное исследование других групп М. началось в 50-е годы нашего века, хотя первые упоминания о них относятся еще к поздней античности и средним векам (см.: Аксио­логические М., Деонтические М., Логика времени, Логика измене­ния, Эпистемическая логика, Предпочтений логика, Причинности логика).