知道逻辑是认知逻辑中的一个重要分支。从古希腊哲学家柏拉图开始,哲学家们就开始对知识问题不断地进行讨论研究。但对知道逻辑形式系统进行研究则是从芬兰哲学家冯·赖特（G·Hvon·wright）的《模态逻辑导论》开始的。而用现代逻辑的方法对知道逻辑作系统讨论则始于著名逻辑学家辛提卡（J·Hintikka）的《知识与信念》。之后,特别是上世纪九十年代以来,知道逻辑的研究呈现了多向性:特定主体认知推理、多主体认知推理、认知逻辑悖论、认知逻辑与人工智能……。 本文在前人研究的基础上,对知道谓词逻辑系统的构建及其语义一致性和完全性进行分析探讨,使逻辑形式系统研究的内容更接近自然语言的表达方式。 全文共四部分。 第一部分:分析知道命题。主要是分析“知道”一词的逻辑含义和逻辑性质,并对“知道”的几种情况和“知道者”进行讨论。 第二部分:分析知道谓词逻辑的形式语言。介绍其初始符号和形成规则,并对其进行语义解释,尤其是对知道算子“K_a”的解释。 第三部分:探讨知道谓词逻辑系统。在前两部分的基础上讨论三个知道谓词逻辑系统:K_m+K_BF系统、K_s4+K_BF系统和K_s5+K_BF系统的建构;证明系统中的部分定理;并分析这些系统的一致性和完全性。 第四部分:探讨在构建知道谓词逻辑系统中遇到的一些困难:认知主体知识的一致性,即跨世界识别个体的问题;逻辑全能问题;可知性悖论……