Модальные суждения (от лат modus- мера, способ) оценивают достоверность высказывания с точки зрения его «необходимости», «возможности», «действительности», «случайности», «разрешенности или запрещенности»

Класс модальных суждений образует содержание модальной логики – одного из основных направлений современной логики. Знакомство с модальной логикой предполагает знание её основных терминов.
В основу классификации модальных суждений положены различные алетические модальности. Основными алетическими модальностями принято считать аподиктическую, ассерторическую и проблематическую. Каждый вид мо- дальности образует класс соответствующих суждений и направление в современной модальной логике.

1. Аподиктические суждения (от греч. apodeiktikos – убедительный, доказательный) связывают субъект и предикат отношением необходимости и имеют структуру: «S необходимо есть P». К этой группе суждений относятся все истинные научные утверждения (теоремы, принципы, законы, определения). Например: «Все тела необходимо притягиваются…». Аподиктические суждения являются предметом исследования эпистемической логики, рассматривающей различные теоретико-познавательные проблемы, например, «фальсифицируемость», «опровержимость», «сомнение».

2. Ассерторическе суждения (от лат. asserto – утверждаю) выражают действительность, достоверность и имеют структуру: «S действительно есть P». Например, суждения типа: «Медь действительно проводит электрический ток» являются ассерторическими. Их исследование также ведется в рамках логики знаний.
3. Проблематические или гипотетические суждения являются утвердительными высказываниями о возможности и имеют структуру: «S возможно есть P». Например: «Данный гриб возможно является боровиком».

В основе гипотетических суждений лежит предположение, допущение. В отличие, скажем, от ассерторических суждений, основанных на установленных знаниях, они лишь допускают нечто, что может на самом деле оказаться как истинным, так и ложным. Например, гипотетическим будет суждение: «Возможно, в библиотеке есть эта книга» или: «Завтра, по-видимому, будет контрольная работа».
Модальные понятия рассматривались уже Аристотелем. Однако современная модальная логика выделилась в самостоятельное направление логических исследований, включающих, кроме эпистемической, также логику изменений, логику причинности, логику предпочтения, аксиологическую логику (или логику оценок), деонтическую логику (или логику норм), логику времени и др. Анализу этих направлений посвящены специальные работы