Теоретико-познавательные модальные понятия называются также эпистемическими (от греческого слова episteme – знание). Группа этих понятий обширна и распадается на ряд подгрупп.

Можно выделить, в частности, эпистемические модальные понятия, относящиеся к доказуемости: «доказуемо», «опровержимо», «неразрешимо». С их помощью формулируются такие эпистемические модальные высказывания, как: «Доказуемо, что на Луне нет жизни», «Опровержимо, что сумма углов квадрата равна 180°», «Неразрешимо, каким будет автомобиль через сто лет».

Ещё одну подгруппу эпистемических модальных понятий составляют понятия, относящиеся к убеждению: «убеждён», «сомневается», «отвергает». Доказуемость объективна и безлична, если что-то считается доказуемым, то таковым оно является для каждого. Иначе обстоит дело с убеждениями. Они могут быть разными у разных людей: при разговоре о каких-то конкретных убеждениях надо указывать, кому именно они принадлежат. С помощью понятий «убеждён», «сомневается» и «отвергает» можно сформулировать такие, к примеру, эпистемические модальные высказывания: «Аристотель был убеждён, что у женщины меньше зубов, чем у мужчины», «Платон сомневался в жизнеспособности античной демократии» и «Сократ отвергал возможность уклонения от вынесенного ему смертного приговора».

К нормативным модальным понятиям относятся «обязательно», «нормативно безразлично», «запрещено» и «разрешено». Они называются также деонтическими понятиями (от греческого слова deon – долг, правильность) и служат для характеристики действий человека с точки зрения определённой системы норм. Например: «Обязательно заботиться о близких», «Разрешено ездить в автобусе», «Безразлично, как человек называет свою собаку» и т.п. Здесь обязанность является характеристикой определённого круга действий с точки зрения принципов морали; разрешение относится к действию, не противоречащему системе правовых норм; нормативное безразличие утверждается относительно достаточно неопределённой системы норм, скажем, совокупности требований обычая, традиции и т.п.