МОДАЛЬНОСТЬ (modality) -  совокупность отношений и действий, логическое описание которых включает предикат "мочь". Всевозможные сочетания "мочь" с предикатами "быть" и "знать" и с отрицательной частицей "не" позволяют охарактеризовать многообразие известных модальностей и их соотношение.

Модальность - одна из самых загадочных категорий языка и мышления.
Чаще всего модальность определяется "списочно",  через перечисление самих модальностей, таких, как "возможное" и "невозможное",  "необходимое" и "случайное". Например, по словарю Вебстера, наиболее авторитетному в англоязычной лексикографии,  модальность - это "квалификация логических суждений, согласно которой они различаются как утверждающие или отрицающие возможность, невозможность, случайность или необходимость своего содержания".   Это определение  тавтологично, содержит логический круг, поскольку возможное и необходимое сами определяются как модальности. Вот ряд других определений:

     "Способ, каким суждение (или утверждение) описывает свой предмет или прилагается к нему.  Соответственно "модальность" относится к характеристике явлений или состояний, описываемых модальными суждениями". Кембриджский словарь философии.    The Cambridge Dictionary of Philosophy,  general editor Robert Audi, 2-nd edition. Cambridge University Press, 1999, p. 574.

      "Модальная значимость утверждения есть способ или "модус", согласно которому оно истинно или ложно..." Оксфордский справочник по философии.The Oxford Companion to Philosophy, ed. by Ted Honderich. Oxford, New York: Oxford University Press, 1995, p. 581.

     "В логике, альтернативный выбор классифицирующих суждений в соответствии с их отношением к существованию. Три широко признанных модуса - возможность, действительность и необходимость". Уильям Риз. Словарь философии и религии.  William L. Reese. Dictionary of Philosophy and Religion. Eastern and Western Thought. New Jersy, London: Humanities Press, 1999, p. 486.

      "Способ, каким предложение может характеризовать другое соотнесенное предложение или суждение как истинное, т.е. модус, в котором оно истинно. Например, логическая модальность может быть приписана суждению p, если сказать, что логически необходимо, или случайно, или логически невозможно, что p". Словарь философии. A Dictionary of Philosophy, ed. Antony Flew. New York: St. Martin Press, 1979, p. 235.

        Под вышеприведенные определения модальности как "способа бытия", или "способа отношения к бытию", или "способа характеристики суждения как истинного или ложного" можно подвести в принципе любое суждение или предикат. Например, разве "расти" не есть способ бытия, или "видеть" не есть способ отношения к бытию, или "лгать" не есть способ характеристики суждения как ложного?

          Модальность  специфически определяется как  (1) такой способ суждения, который (2) характеризуется  предикатом "мочь", (3) в самостоятельной форме либо в сочетаниях с предикатами "быть"  и "знать, (4) и может выражаться как положительно, так и отрицательно (с частицей "не").   Иными словами, код, на котором производится все разнообразие модальных сообщений, состоит  из четырех знаков:  "мочь", "быть", "знать" и "не".

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

       Именно понятие "мочь" является общим элементом  таких основополагающих модальных категорий, как возможное, необходимое и случайное (онтические модальности); предположение, уверенность и сомнение (эпистемические модальности).

Основные онтические модальности:

Возможное:      может быть
Случайное:       может не быть
Невозможное:   не может быть
Необходимое:   не может не быть
Все четыре категории связаны попарно. Возможное объединяется со случайным, а невозможное с необходимым по положительному или отрицательному признаку "мочь" - и они же попарно противопоставляются по признаку "быть". Возможное объединяется  с невозможным, а случайное с необходимым по положительному или отрицательному признаку "быть" - и  они же попарно противопоставляются по признаку "мочь".

Сходным образом распределяются эпистемические модальности, связующие предикаты "мочь" и "знать":

Предположение:          может знать
Сомнение:                   может не знать
Непостижимость:         не может знать
Уверенность:              не может не знать
Последовательное выведение модальных категорий из одного общего определения позволяет  соотнести все модальные категории по принципу минимальных различий, то есть показать, что в языке модальности, как и на других структурных уровнях языка (фонетическом, грамматическом), каждая категория относится к другой на основании наличия или отсутствия какого-то минимального признака, в данном случае,  одного из четырех знаков модального кода: "мочь", "быть", "знать" и "не". Таким образом удается описать 28 модальных категорий, исчерпывающих все возможные сочетания указанных предикатов, и   провести модальный анализ и систематизацию таких понятий, как "способность" и "потребность", "разрешение" и "запрет", "принуждение" и "попущение",  "воление" и "желание", "власть" и "любовь", "чудесное" и "должное"...

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

-------------------------------------------------------------------------------

Alan R. White. Modal Thinking. Ithaca: Cornell University Press, 1975.

The Possible and the Actual: Readings in the Metaphysics of Modality. Ed. by Michael J. Loux. Ithaca and London: Cornell University Press, 1979.

David Lewis. On the Plurality of Worlds. Oxford, New York: Basil Blackwell, 1986.

Modern Modalities. Studies of the History of Modal Theories from Medieval Nominalism to Logical Positivism. Еd. S. Knuuttila. Dordrecht (Holland) a. o.: Kluwer Academic Publishers,1988.

М. Эпштейн. Философия возможного. Модальности в мышлении и культуре. СПб,  Алетейя, 2001.

Михаил Эпштейн