摘要：辛提卡（J.Hintikka）1962年出版的开创性著作《知识与信念：这两个概念的逻辑导论》中为认知逻辑（EpistemicLogic）1奠定了理论基础。作为一种哲学逻辑，认知逻辑在其诞生之初受到了很多哲学家的批评，在上世纪七十年代一度发展较为缓慢。然而由于知识及信念的形式化概念的重要性和普遍性，认知逻辑在过去三、四十年间被广泛应用于包括理论计算机、人工智能、博弈论等领域中，并再次影响哲学界成为形式化知识论的重要工具，而由应用推动的诸多技术进展也使之成为现代模态逻辑非常活跃的重要分支之一。2