知道谓词逻辑.pdf

知道谓词逻辑 专 业：逻辑学 研究方向：现代逻辑与逻辑哲学 指导教师：唐晓嘉教授 研究生：贾改琴(2002005) 中文摘要 知道逻辑是认知逻辑中的一个重要分支。从古希腊哲学家柏拉图开始，哲学 家们就开始对知识问题不断地进行讨论研究。但对知道逻辑形式系统进行研究则 是从芬兰哲学家冯·赖特(G·Hvon·wright)的《模态逻辑导论》开始的。而 用现代逻辑的方法对知道逻辑作系统讨论则始于著名逻辑学家辛提卡 (J·Hintikka)的《知识与信念》。之后，特别是上世纪九十年代以来，知道逻 辑的研究呈现了多向性：特定主体认知推理、多主体认知推理、认知逻辑悖论、 认知逻辑与人工智能……。 本文在前人研究的基础上，对知道谓词逻辑系统的构建及其语义一致性和完 全性进行分析探讨，使逻辑形式系统研究的内容更接近自然语言的表达方式。 全文共四部分。 第一部分：分析知道命题。主要是分析“知道”一词的逻辑含义和逻辑性质， 并对“知道”的几种情况和“知道者”进行讨论。 第二部分：分析知道谓词逻辑的形式语言。介绍其初始符号和形成规则，