Модальность - это явно или неявно выраженная в суждении дополни-тельная информация о характере связи между субъектом и предикатом суждения: о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках (см. таблицу «Виды модальностей»).
Суждения, в которых есть эта дополнительная информация, называются модальными. Например: «Доказано, что данное преступление совершил Н.», «Возможно, преступление было совершено из-за мести», «Каждый гражданин имеет право на гражданство» и т. п.
Наиболее важными и распространенными выступают такие виды модальности, как эпистемическая, деонтическая, алетическая и аксиологическая.
Эпистемическая модальность - это выраженная в суждении информация о степени его обоснованности. Выражается операторами «известно», «неизвестно», «доказуемо», «достоверно», «возможно» и т. д.
Суждения могут быть основаны на вере и знании, на чужих мнениях и доказательстве. Например: «Верую в наступление лучшей жизни» и «По показаниям свидетелей, Петров не участвовал в похищении оружия».
Суждения, основанные на знании, обосновываются другими суждениями, из которых принимаемое решение вытекает как следствие.
По степени обоснованности знания могут быть достоверными и проблематичными. Достоверные суждения - это достаточно обоснованные истинные или ложные суждения. Модальность таких суждений выражается с помощью двух операторов: доказано (проверено, верифицировано) - V опровергнуто (фальсифицировано) -F.
Например: «Доказано, что К. - организатор преступления», схематично: V (S есть Р), или V р. «Доказано, что Петухов не совершал преступление». Схематично: V(S не есть Р), или V p.
«Не доказано (опровергнуто), что Петухов совершил преступление». Схематично: F(S есть Р).
Проблематичные суждения - это такие, которые нельзя считать достоверными в силу их недостаточной обоснованности. Проблематичность суждения выражается словами «по-видимому», «вероятно», «представляется», «возможно» и др. Обозначается эта модальность оператором Р. Например: «Вероятно, что Н. будет освобожден по амнистии». Схематично: P(S есть Р), или Pp.
Степень вероятности проблематичных суждений может быть различ-ной: от нулевой, малой вероятности, равновероятности... до достоверности.

Деонтическая модальность - это выраженное в суждении предписание в форме совета, пожелания, правила поведения, долженствования, приказа, побуждающего человека к конкретным действиям. Эта модальность распространяется только на деятельность людей, нравственные и правовые нормы их поведения в обществе. Обозначается операторами: О - обязывание, F- запрещение, Р - разрешение.
Среди норм права различают правообязывающие, правозапре-щающие и правопредставляющие.
Правообязывающие нормы формулируются с помощью слов «обязан», «должен», «надлежит», «признается» и др. Символически обозначаются оператором Оd (d-действие). Например, правообязывающие (Od): «Граждане России обязаны соблюдать законы Российского государства», «Организация обязана возместить вред, причиненный по вине ее работника».
Правозапрещающие нормы формулируются с помощью слов: «запрещается», «не вправе», «не может», «не допускается» и др. Обозначаются F(d): «Запрещается переходить улицу на красный свет», «Запрещается домогаться показаний обвиняемого путем насилия, угроз или незаконных мер», «Запрещено проводить пропаганду войны».
Правопредоставляющие нормы формулируются с помощью слов: «имеет право», «может иметь», «может принять» и др. Символически обозначаются P(d). Например, «Наниматель жилого помещения имеет право в любое время расторгнуть договор», «В случае необходимости следователь может произвести обыск с целью обнаружения похищенных вещей».
Аттическая модальность - это выраженная в суждении информация о логической или фактической детерминированности суждения.
Фактическая модальность (фактически необходимо, фактически слу-чайно, фактически невозможно, фактически возможно) связана с объективной или физической детерминированностью суждений: когда их истинность или ложность определяется положением дел в реальной действительности.
Модальные понятия: необходимость, случайность, возможность, не-возможность.
Для обозначения фактически детерминированных суждений используются следующие модальные операторы: □ - необходимость; □ - случайность; Δ - возможность; Δ - невозможность. Например, «Необходимо, что материя вечна» (символически: □ (S есть Р), или □p). «Возможно, что Земля через миллионы лет превратится в звезду» (символически: Δ (S есть Р), или Δр). «Случайно, что корабль сел на мель» ( □(S есть Р), или □ р).
Алетические суждения могут быть истинными и ложными. Так, суждение «Эйфелева башня находится в Париже» - фактически истинное суждение; суждение «Париж - столица России» - фактически ложь или фактически невозможное.
Случайные суждения - это суждения, которые не содержат информации о законах науки, а их истинность и ложность определяются конкретными эмпирическими условиями.
Логическая модальность связана с логической детерминированностью суждения, когда истинность или ложность определяется структурой или формой суждения. Обозначается оператором L: «L-и» - логически истинные суждения; «L-л» - логически ложные суждения. Логически истинные суждения - это законы логики. Логически ложные суждения - это внутренне противоречивые суждения.
Аксиологическая модальность выражает отношение к материальным и духовным ценностям. Аксиологические модальности могут выражать абсолютные и сравнительные оценки и включают такие слова, как «хорошо», «плохо», «безразлично»; «лучше», «равноценно», «хуже» и т. п. Например, «Человек относится к государственному имуществу безразлично», «Хорошо, что я не опоздал на лекцию по логике» и «Плохо, когда студент опаздывает на лекции».
Систематический анализ отдельных модальностей составляет самостоятельные разделы современной логики: логику норм, логику оценок, логику времени и т. д.