Стремление обогатить язык логики и расширить ее возможности привело к возникновению модальной логики. Ее задача – анализ рассуждений, в которых встречаются модальные понятия, служащие для конкретизации устанавливаемых нами связей, их оценки с той или иной точки зрения.
Еще Аристотель начал изучение таких наиболее часто встречающихся модальных понятий, как «необходимо», «возможно», «случайно». В Средние века круг модальностей был существенно расширен, и в него вошли также «знает», «полагает», «обязательно», «разрешено» и т. д.
Число групп модальных понятий и выражаемых ими точек зрения не ограничено. Современная логика выделяет наиболее важные из этих групп и делает их предметами специального исследования. Она изучает также общие принципы модальной оценки, справедливые для всех групп модальных понятий.
В последние десятилетия модальная логика бурно развивается, вовлекая в свою орбиту все новые группы модальных понятий. Существенно усовершенствованы способы ее обоснования. Это придало модальной логике новое дыхание и поставило ее в центр современных логических исследований.
Все модальные понятия можно разделить на абсолютные и сравнительные. Первые представляют собой характеристики, приложимые к отдельным объектам, вторые относятся к парам объектов; первые являются свойствами объектов, вторые – отношениями между объектами.
Абсолютными модальными понятиями являются понятия «хорошо» и «плохо», сравнительными – понятия «лучше» и «хуже». С точки зрения какой-то системы ценностей невыполнение обещания можно охарактеризовать как негативно ценное («плохое»), сказав: «Плохо, что данное обещание не выполнено», т. е. приписав определенное свойство конкретному обещанию. Но можно также установить ценностное отношение между невыполнением обещания и, допустим, воздержанием от обещания, сказав: «Лучше не давать обещание, чем не выполнить его».
В логике времени к абсолютным модальностям относятся понятия «было» («всегда было»), «есть» и «будет» («всегда будет»). Сравнительными модальными понятиями являются «раньше», «позже» и «одновременно».
В логике оценок наряду с абсолютными оценочными понятиями «хорошо», «безразлично» и «плохо» исследуются также сравнительные оценочные понятия «лучше», «равноценно» и «хуже».
В логике причинности изучаются отношения «…есть причина…» и «…есть следствие…», которые можно рассматривать как сравнительные каузальные модальности.
В логике истины к абсолютным модальностям относятся понятия «истинно», «неопределенно» и «ложно». Этим понятиям можно поставить в соответствие сравнительное модальное понятие вероятности: «…более вероятно, чем…».
В теории логических модальностей абсолютными понятиями являются «логически необходимо», «логически возможно», «логически невозможно». Им можно поставить в соответствие в качестве сравнительного модального понятия понятие «…логически следует…».
В логике изменения наряду с абсолютным понятием «возникает» исследуется также сравнительное понятие «…переходит в…». («Возникает объект А» и «Состояние А переходит в состояние В».)
Абсолютные модальные понятия иногда называются А-понятиями, сравнительные – В-понятиями. А– и В-понятия не сводятся друг к другу. Они представляют собой как бы два разных видения мира, два взаимодополнительных способа описания одних и тех же вещей и событий. «хорошо» не определяется через «лучше», «было» не определяется через «раньше» и т. д. Логика абсолютных модальных понятий не сводится к логическим теориям сравнительных понятий, и наоборот.
Из сравнительных модальных понятий относительно подробно исследованы пока только аксиологические модальности «лучше», «равноценно», «хуже».