查看“认识逻辑”的源代码

'''认识逻辑'''是关心与[[知识]]有关的推理的[[模态逻辑]]子领域。([[知识论|认识]]这个词的希腊语是 Episteme)。它应用于[[哲学]]、[[计算机科学]]、[[人工智能]]和其他领域。

认识逻辑的基本[[模态算子]]通常写为 '''K'''，它可以读做“有人知道...”，“...在认识上是必然的”，或“不...与已知相矛盾”。如果有多于一个的其知识要被表现的代理者(agent)，可以向这个算子附加下标(''K<sub>a</sub>'', ''K<sub>b</sub>'', etc.)来指示谈论的是哪个代理者。

认识逻辑与[[真势模态逻辑]]共享某些特征。例如[[公理模式|模式]] '''T'''， 

: <math>\Box \phi \rightarrow \phi</math>,

陈述''必然''的事物是真的，这好像是正确的。它的认识版本是

: <math>K \phi \rightarrow \phi</math>,

陈述某知识为“已知”是真，这好像同样是正确的。在另一方面，很多在真势模态逻辑中似是而非的公式在按知识来解释的时候就更加可疑了。例如[[公理模式|模式]] '''4'''，

: <math>\Box \phi \rightarrow \Box \Box \phi</math>,

当把方框解释为“...(在形而上学上)是必然的”的时候好像是似是而非的。它的知识版本

: <math>K \phi \rightarrow KK \phi</math>,

陈述如果一个代理者知道某事，则他知道他知道这个事情，这不是个很明显的一个原理。

认识逻辑的早期提议者包括 [[E. J. Lemmon]] 和 [[Jaakko Hintikka]]。

== 参见==
* [[自动认识逻辑]]
* [[计算机逻辑]]


==外部链接==
* [http://plato.stanford.edu/entries/logic-epistemic/ 斯坦福哲学百科全书条目]

{{Logic-stub}}

[[Category:模态逻辑]]