超越“知道that”：新一代认识论逻辑
人工智能
2016-11-24 v3 计算机科学中的逻辑
摘要
自Hintikka (1962)的开创性工作以来，认识论逻辑已成为哲学逻辑的重要领域。尽管其在理论计算机科学、人工智能和博弈论中有各种成功应用，该领域的技术发展主要聚焦于命题部分，即“知道that”的命题模态逻辑。然而，日常生活中知识通过多种其他措辞表达，如“知道是否”、“知道什么”、“知道如何”等（以下称知道-wh）。此类知识表达更好地被量化认识论逻辑所捕捉，正如Hintikka (1962)及其后续著作详细讨论的。本文旨在再次将注意力拉回这一迷人但被大量忽视的主题。我们首先综述Hintikka等人在量化认识论逻辑文献中所做工作，然后倡导一种无量化词的新方法来研究知道-wh的认识论逻辑，我们认为该方法能平衡表达力与复杂度，并捕捉关于知道-wh的本质推理模式。我们综述近期关于“知道是否”、“知道什么”和“知道如何”认识论逻辑的工作线以展示这一新方法的使用。
引用
@article{arxiv.1605.01995,
title = {Beyond knowing that: a new generation of epistemic logics},
author = {Yanjing Wang},
journal= {arXiv preprint arXiv:1605.01995},
year = {2016}
}
备注
36 pages, to appear in Jaakko Hintikka on knowledge and game theoretical semantics, Springer's Outstanding Contributions to Logic Series (some references are updated in this version)