认识论逻辑
书籍：方法大辞典
出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第55页（460字）
又叫认知逻辑，是数理逻辑在哲学认识论方面的应用和发展，它所处理的是诸如知道、相信、主张、断定、怀疑等认识论范畴之内所产生的逻辑结果。
它不处理事实逻辑的基本事实结果，即不处理那些确实怎样、必然或可能怎样的情况，而是处理与人们知道、相信、主张或怀疑其怎样有关的情况。早在古希腊，柏拉图、斯多亚派就已触及到认识论逻辑的问题；本世纪50年代，芬兰逻辑学家冯·莱特(G·H·von Wright)在他的着作《道义逻辑》和《模态逻辑》中，除了研究原有的真值模态逻辑之外，还提出了道义模态逻辑和认知模态逻辑(即认识论逻辑)两种新的模态逻辑，开创了认识论逻辑研究的新方向，从此受到了逻辑学家们的注意。目前，认识论逻辑大致包括：(1)问题逻辑，(2)知道逻辑，(3)相信逻辑，(4)断定逻辑等逻辑分支。认识论逻辑在人工智能中有应用价值，因为人工智能中逻辑问题的一个基本特点是知识的逻辑，与人工智能系统应该知道些什么，以及如何获得，表述和运用这些知识有关。
认识论逻辑正是研究这一方面问题的。