Большая Советская Энциклопедия (МО)

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

  В классических системах М. л. (для которых справедлив исключённого третьего принципA V `u A или закон снятия двойного отрицания `u `u А 'E А для модальностей имеют место соотношения двойственности, аналогичные «законам де Моргана» `u (А V В ) o (`u А & `u В ) и `u (А & В ) o (`u А V `u В ) алгебры логики и соответствующим эквивалентностям для кванторов , связывающие операторы возможности `a и необходимости с отрицанием `u:

A o `u `a `u A и `aА o `u `u A .

  Поэтому в аксиоматических системах М. л. в качестве исходной вводят обычно одну модальную операцию (используя какую-либо из этих эквивалентностей в качестве определения другой операции). Аналогично вводятся и другие модальные операции (не входящие в число логических операций и не выразимые через них).

  Системы М. л. могут быть интерпретированы в терминах многозначной логики (простейшие системы — как трёхзначные: «истина», «ложь», «возможно»). Это обстоятельство, а также возможность применения М. л. к построению теории «правдоподобных» выводов указывают на её глубокое родство с вероятностной логикой .

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

  Ю. А. Гастев.

Модальность (в языкознании)

Мода'льность в языкознании, понятийная категория, выражающая отношение говорящего к содержанию высказывания, целевую установку речи, отношение содержания высказывания к действительности. М. может иметь значение утверждения, приказания, пожелания, допущения, достоверности, ирреальности и др. М. выражается различными грамматическими и лексическими средствами: специальными формами наклонений; модальными глаголами (например, русскими: «может», «должен»; немецкими: sollen, k"onnen, wollen и др.); другими модальными словами (например, русскими: «кажется», «пожалуй»; английскими: perhaps, likely); интонационными средствами. Различные языки грамматически по-разному выражают разные значения М. Так, английский язык выражает значение ирреальной М. при помощи специального наклонения (т. н. Subjunctive II, например: If you had come in time we should have been able to catch the train), в ягнобском языке формы настояще-будущего времени могут иметь модальные оттенки косвенного приказания, приглашения к действию, решимости сделать что-либо, допущения и др.

Модальность (философ.)