Интересную группу составляют понятия «полагает», «сомневается» и т. п. Раздел модальной логики, исследующей такие понятия, называется эпистемической логикой. Ее законами, например, служат положения: «Невозможно полагать что-либо и одновременно сомневаться в этом», «Если субъект убежден в чем-то, неверно, что он убежден и в противоположном» и т. п.