認識論邏輯亦稱“認知邏輯”。研究諸如知道、相信、斷定、問題這樣一些認識論方面的概念範圍內出現的邏輯問題。它不處理事實如何、可能如何、必然如何等問題，而是處理認知者對事實知道、相信、斷定、疑問等問題。包括知道邏輯、信念邏輯、斷定邏輯、問題邏輯等。由於目前已把現代邏輯的一些方法用於分析認識論方面的概念，因此人們也把它看成是現代邏輯的一個分支。
1972年邏輯學家霍丘特發表了《認知邏輯可能嗎？》一文，明確提出了認識論邏輯能否成立的問題，並引起對認識論邏輯的廣泛討論，目前，邏輯學家已逐漸構造出一些斷定邏輯系統、信念邏輯系統、知道邏輯系統、問題邏輯系統。古希臘哲學家就已對傳統認識論概念的邏輯作過研究，如柏拉圖在《美諾篇》中就已有論述。康德也對此做過較深入的研究，他分析了意見、信念、知識、確信、確實等概念，認為：“意見是不僅主觀上而且客觀上都不充分地承認其為真的判斷。如果承認一個判斷真有足夠的主觀方面的根據，而同時認為客觀方面根據不足，那么它被稱為信念。最後，主觀上客觀上對一個判斷真都充分承認就是知識。主觀充分性稱為確信（對於我自身），客觀充分性稱為確實（對於一切人）”。馮·賴特於1951年在《模態邏輯概要》中，曾用專門章節討論過認識模態。欣迪卡於1962年發表《知識與信念》，對認識論邏輯的研究作出了重要貢獻。認知邏輯即“認識論邏輯”。
