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

Общая форма модальных суждений такова: M(S есть P) или M(S не есть P). Вместо M в эту форму можно вставлять различные модальные понятия. Например, из

немодального суждения «Арбуз – ягода» можно образовать модальные суждения «Возможно, что арбуз – ягода», «Немыслимо, чтобы арбуз был ягодой», «Доказано, что арбуз – ягода». Модальной оценке могут быть подвергнуты не только простые суждения, но и сложные. Так, из сложного суждения «Понятые уже приглашены, и протокол составляется» можно получить модальные суждения «Возможно, что понятые уже приглашены, и протокол составляется» и «Хорошо, что понятые уже приглашены, и протокол составляется».

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

· логические модальности – «логически необходимо», «логически случайно», «логически возможно», «логически невозможно» и другие;

· физические модальности – «физически необходимо», «физически случайно», «физически возможно», «физически невозможно» и другие;

· эпистемические (т.е. теоретико-познавательные) модальности – «доказуемо», «опровержимо», «неразрешимо», «убеждён», «сомневается» «отвергает», «допускает», «истинно», «ложно», «неопределённо», «вероятнее», «менее вероятно», «равновероятно»;

· деонтические (т.е. нормативные) модальности – «обязательно», «разрешено», «запрещено», «нормативно безразлично»;

· аксиологические (оценочные) модальности – «хорошо», «плохо», «аксиологически безразлично», «лучше», «равноценно», «хуже» и другие;

· временные модальности – «было», «есть», «будет», «раньше», «одновременно», «позже» и другие.