【摘要】：知道邏輯是認(rèn)知邏輯中的一個(gè)重要分支。從古希臘哲學(xué)家柏拉圖開(kāi)始,哲學(xué)家們就開(kāi)始對(duì)知識(shí)問(wèn)題不斷地進(jìn)行討論研究。但對(duì)知道邏輯形式系統(tǒng)進(jìn)行研究則是從芬蘭哲學(xué)家馮·賴(lài)特(G·Hvon·wright)的《模態(tài)邏輯導(dǎo)論》開(kāi)始的。而用現(xiàn)代邏輯的方法對(duì)知道邏輯作系統(tǒng)討論則始于著名邏輯學(xué)家辛提卡(J·Hintikka)的《知識(shí)與信念》。之后,特別是上世紀(jì)九十年代以來(lái),知道邏輯的研究呈現(xiàn)了多向性:特定主體認(rèn)知推理、多主體認(rèn)知推理、認(rèn)知邏輯悖論、認(rèn)知邏輯與人工智能……。 本文在前人研究的基礎(chǔ)上,對(duì)知道謂詞邏輯系統(tǒng)的構(gòu)建及其語(yǔ)義一致性和完全性進(jìn)行分析探討,使邏輯形式系統(tǒng)研究的內(nèi)容更接近自然語(yǔ)言的表達(dá)方式。 全文共四部分。 第一部分:分析知道命題。主要是分析“知道”一詞的邏輯含義和邏輯性質(zhì),并對(duì)“知道”的幾種情況和“知道者”進(jìn)行討論。 第二部分:分析知道謂詞邏輯的形式語(yǔ)言。介紹其初始符號(hào)和形成規(guī)則,并對(duì)其進(jìn)行語(yǔ)義解釋,尤其是對(duì)知道算子“K_a”的解釋。 第三部分:探討知道謂詞邏輯系統(tǒng)。在前兩部分的基礎(chǔ)上討論三個(gè)知道謂詞邏輯系統(tǒng):K_m+K_(BF)系統(tǒng)、K_(s4)+K_(BF)系統(tǒng)和K_(s5)+K_(BF)系統(tǒng)的建構(gòu);證明系統(tǒng)中的部分定理;并分析這些系統(tǒng)的一致性和完全性。 第四部分:探討在構(gòu)建知道謂詞邏輯系統(tǒng)中遇到的一些困難:認(rèn)知主體知識(shí)的一致性,即跨世界識(shí)別個(gè)體的問(wèn)題;邏輯全能問(wèn)題;可知性悖論……
[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 鈮，

本文編號(hào)：2495277