Философский словарь - модальность
Модальность
О предмете S можно просто сказать, что он имеет свойство Р. Но можно, помимо того, уточнить, является ли связь S и Р необходимой или же она случайна, доказано ли, что S есть Р, или это только предполагается, хорошо ли, что S есть Р, или нет, и т.п. Результатами таких уточнений будут модальные высказывания разных типов. Общая их форма: M(S есть Р) или M(S не есть Р), где М некоторое модальное понятие. Напр., из немодального высказывания "Аргон инертный газ" можно образовать модальные высказывания "Возможно, что аргон инертный газ", "Предполагается, что аргон инертный газ", и т.п. Модальной оценке могут быть подвергнуты не только связи предметов и признаков, но и связи др. типов ("Необходимо, что если есть причина, то есть следствие", "Хорошо, что если есть причина, то есть следствие" и т.п.). Одно и то же высказывание может стать объектом нескольких последовательных модальных оценок с одной или разных т.зр. ("Хорошо, что доказано, что аргон инертный газ").
Логические связи модальных высказываний являются объектом исследования модальной логики. .