Модальные категории. 
Философия науки

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

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

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

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

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

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

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

Логические модальные понятия изучались еще Аристотелем и средневековыми логиками. Детальное исследование других групп модальных категорий началось в 50-е годы XX в., хотя первые упоминания о них относятся еще к поздней Античности и Средним векам.