认识论逻辑亦称“认知逻辑”。研究诸如知道、相信、断定、问题这样一些认识论方面的概念范围内出现的逻辑问题。它不处理事实如何、可能如何、必然如何等问题，而是处理认知者对事实知道、相信、断定、疑问等问题。包括知道逻辑、信念逻辑、断定逻辑、问题逻辑等。由于现代逻辑的一些方法已经用于分析认识论方面的概念，因此人们也把它看成是现代逻辑的一个分支。

1972年逻辑学家霍丘特发表了《认知逻辑可能吗？》一文，明确提出了认识论逻辑能否成立的问题，并引起对认识论逻辑的广泛讨论，逻辑学家已逐渐构造出一些断定逻辑系统、信念逻辑系统、知道逻辑系统、问题逻辑系统。古希腊哲学家就已对传统认识论概念的逻辑作过研究，如柏拉图在《美诺篇》中就已有论述。康德也对此做过较深入的研究，他分析了意见、信念、知识、确信、确实等概念，认为：“意见是不仅主观上而且客观上都不充分地承认其为真的判断。如果承认一个判断真有足够的主观方面的根据，而同时认为客观方面根据不足，那么它被称为信念。最后，主观上客观上对一个判断真都充分承认就是知识。主观充分性称为确信（对于我自身），客观充分性称为确实（对于一切人）”。冯·赖特于1951年在《模态逻辑概要》中，曾用专门章节讨论过认识模态。欣迪卡于1962年发表《知识与信念》，对认识论逻辑的研究作出了重要贡献。认知逻辑即“认识论逻辑”。