知道谓词逻辑
发布时间：2019-06-08 12:16
【摘要】：知道逻辑是认知逻辑中的一个重要分支。从古希腊哲学家柏拉图开始,哲学家们就开始对知识问题不断地进行讨论研究。但对知道逻辑形式系统进行研究则是从芬兰哲学家冯·赖特(G·Hvon·wright)的《模态逻辑导论》开始的。而用现代逻辑的方法对知道逻辑作系统讨论则始于著名逻辑学家辛提卡(J·Hintikka)的《知识与信念》。之后,特别是上世纪九十年代以来,知道逻辑的研究呈现了多向性:特定主体认知推理、多主体认知推理、认知逻辑悖论、认知逻辑与人工智能……。 本文在前人研究的基础上,对知道谓词逻辑系统的构建及其语义一致性和完全性进行分析探讨,使逻辑形式系统研究的内容更接近自然语言的表达方式。 全文共四部分。 第一部分:分析知道命题。主要是分析“知道”一词的逻辑含义和逻辑性质,并对“知道”的几种情况和“知道者”进行讨论。 第二部分:分析知道谓词逻辑的形式语言。介绍其初始符号和形成规则,并对其进行语义解释,尤其是对知道算子“K_a”的解释。 第三部分:探讨知道谓词逻辑系统。在前两部分的基础上讨论三个知道谓词逻辑系统:K_m+K_(BF)系统、K_(s4)+K_(BF)系统和K_(s5)+K_(BF)系统的建构;证明系统中的部分定理;并分析这些系统的一致性和完全性。 第四部分:探讨在构建知道谓词逻辑系统中遇到的一些困难:认知主体知识的一致性,即跨世界识别个体的问题;逻辑全能问题;可知性悖论……
[Abstract]:Knowing logic is an important branch of cognitive logic. Since Plato, the ancient Greek philosopher, philosophers have been discussing and studying the problem of knowledge. However, the study of the logical form system begins with the introduction to Modal Logic by the Finnish philosopher von Wright (G. Hvon 路wright). The systematic discussion of knowing logic by modern logic begins with the knowledge and belief of the famous logician J.Hintikka. After that, especially since the 1990s, the study of knowledge logic has been multidirectional: specific subject cognitive reasoning, multi-agent cognitive reasoning, cognitive logic paradox, cognitive logic and artificial intelligence. On the basis of previous studies, this paper analyzes and discusses the construction of knowing predicate logic system and its semantic consistency and completeness, so that the content of logical form system research is closer to the expression of natural language. The full text consists of four parts. The first part: analysis and know the proposition. This paper mainly analyzes the logical meaning and logical nature of the word "know", and discusses several cases of "know" and the "knower". The second part: analyze the formal language of knowing predicate logic. The initial symbol and formation rules are introduced, and the semantic interpretation is carried out, especially the explanation of the knowing operator "K 鈮，
本文编号：2495277
[Abstract]:Knowing logic is an important branch of cognitive logic. Since Plato, the ancient Greek philosopher, philosophers have been discussing and studying the problem of knowledge. However, the study of the logical form system begins with the introduction to Modal Logic by the Finnish philosopher von Wright (G. Hvon 路wright). The systematic discussion of knowing logic by modern logic begins with the knowledge and belief of the famous logician J.Hintikka. After that, especially since the 1990s, the study of knowledge logic has been multidirectional: specific subject cognitive reasoning, multi-agent cognitive reasoning, cognitive logic paradox, cognitive logic and artificial intelligence. On the basis of previous studies, this paper analyzes and discusses the construction of knowing predicate logic system and its semantic consistency and completeness, so that the content of logical form system research is closer to the expression of natural language. The full text consists of four parts. The first part: analysis and know the proposition. This paper mainly analyzes the logical meaning and logical nature of the word "know", and discusses several cases of "know" and the "knower". The second part: analyze the formal language of knowing predicate logic. The initial symbol and formation rules are introduced, and the semantic interpretation is carried out, especially the explanation of the knowing operator "K 鈮，
本文编号：2495277
本文链接：https://www.wllwen.com/shekelunwen/ljx/2495277.html
