Модальность суждений - это явно или неявно выраженная дополнительная информация о степени обоснованности суждения, о типе зависимости между субъектом и предикатом. Модальность выражается словами: «возможно, доказано, ценно, опровержимо, не доказано, невозможно…». Эти слова - модальные операторы.
Типы модальности: 1) Эпистемическая модальность - познавательная - (эпистема - знание).
а) «Доказано, опровергнуто…». Достоверные - достаточно обоснованные истинные или ложные суждения.
б) «Вероятно, по-видимому, возможно…» - суждения, которые не могут считаться достоверными в силу их недостаточной обоснованности. Они лишь претендуют на истинность или ложность.
2) Алетическая модальность (aleteja - истина) - «возможно, необходимо, случайно…» - выражает характер связи между субъектом и предикатом.
а) Необходимость - случайность. Необходимость в суждениях содержится в информации о законах науки. Сумма углов треугольника - 180˚. «Необходимо, обязательно, непременно». Случайные - суждения, не содержащие информации о законах науки, их истинность и ложность определяются эмпирически. Экзамен по логике состоялся 5 мая. - Случайное суждение.
б) Возможность - невозможность. Возможные - суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений. Мы, возможно, поедем в Москву. «Возможно, не исключено, допускается…» Символическая запись этого суждения: ◊р, или: S может быть (может не быть) Р. Невозможные - суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений. На Луне невозможна жизнь - ┐◊р. Невозможно, чтобы сумма углов в треугольнике не равнялась 180˚. - ┐◊┐р.
3) Деонтическая (deon - должное) модальность - выраженная в суждении просьба, совет, приказ, предписание, побуждающая к действию.
а) Суждение о наличии или отсутствии права. Каждый имеет право на жизнь. Использование принудительного труда запрещено.
б) Суждение о наличии или отсутствии обязанности. «Обязан, должен…».
4) Аксиологическая модальность (axios - ценный) - ценностная. «Хорошо, плохо, безразлично…». Хорошо смеется тот, кто смеется последним.
Знание правил формирования и взаимодействия сложных суждений позволяет формализовать процедуры оценки истинности или ложности различных высказываний.