認識論邏輯

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