论文摘要
知道逻辑是认知逻辑中的一个重要分支。从古希腊哲学家柏拉图开始,哲学家们就开始对知识问题不断地进行讨论研究。但对知道逻辑形式系统进行研究则是从芬兰哲学家冯·赖特（G·Hvon·wright）的《模态逻辑导论》开始的。而用现代逻辑的方法对知道逻辑作系统讨论则始于著名逻辑学家辛提卡（J·Hintikka）的《知识与信念》。之后,特别是上世纪九十年代以来,知道逻辑的研究呈现了多向性:特定主体认知推理、多主体认知推理、认知逻辑悖论、认知逻辑与人工智能……。 本文在前人研究的基础上,对知道谓词逻辑系统的构建及其语义一致性和完全性进行分析探讨,使逻辑形式系统研究的内容更接近自然语言的表达方式。 全文共四部分。 第一部分:分析知道命题。主要是分析“知道”一词的逻辑含义和逻辑性质,并对“知道”的几种情况和“知道者”进行讨论。 第二部分:分析知道谓词逻辑的形式语言。介绍其初始符号和形成规则,并对其进行语义解释,尤其是对知道算子“Ka”的解释。 第三部分:探讨知道谓词逻辑系统。在前两部分的基础上讨论三个知道谓词逻辑系统:Km+KBF系统、Ks4+KBF系统和Ks5+KBF系统的建构;证明系统中的部分定理;并分析这些系统的一致性和完全性。 第四部分:探讨在构建知道谓词逻辑系统中遇到的一些困难:认知主体知识的一致性,即跨世界识别个体的问题;逻辑全能问题;可知性悖论……
论文目录
相关论文文献
- [1].谓词逻辑在会计处理中的应用初探[J]. 中国总会计师 2018(12)
- [2].直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统[J]. 贵州工程应用技术学院学报 2019(03)
- [3].中介谓词逻辑一种改进的语义解释及λ-归结[J]. 计算机工程与应用 2011(22)
- [4].非精确谓词逻辑推理[J]. 逻辑学研究 2019(04)
- [5].否定的逻辑语义解释[J]. 四川教育学院学报 2012(06)
- [6].一类一阶逻辑公式中的公理化真度理论及其应用[J]. 中国科学:信息科学 2012(05)
- [7].函数在谓词逻辑符号化中的应用[J]. 唐山学院学报 2016(06)
- [8].论蒯因对模态谓词逻辑的批评[J]. 中州学刊 2016(08)
- [9].基于谓词逻辑的答疑系统[J]. 现代工业经济和信息化 2015(09)
- [10].基于改进的无穷值语义解释的中介谓词逻辑的λ-归结[J]. 山东大学学报(理学版) 2012(02)
- [11].数理逻辑中谓词逻辑推理错误的分析[J]. 合肥学院学报(自然科学版) 2012(04)
- [12].基于谓词逻辑的原型系统生成方法研究[J]. 电子学报 2011(05)
- [13].巴坎公式和自由逻辑[J]. 湖南科技大学学报(社会科学版) 2010(04)
- [14].离散数学教学实践的探索[J]. 信息技术 2010(07)
- [15].以谓词表达模态[J]. 哲学动态 2018(11)
- [16].演绎逻辑的真值语义和直观推理语义[J]. 华东师范大学学报(哲学社会科学版) 2011(06)
- [17].传统逻辑直言命题推理的扩充[J]. 兰州大学学报(社会科学版) 2011(06)
- [18].基于谓词逻辑对英汉语中双及物结构歧义句的分析[J]. 才智 2009(26)
- [19].谓词逻辑教学策略的优化[J]. 考试周刊 2013(89)
- [20].PCB工艺规则表示方法[J]. 西安电子科技大学学报 2013(01)
- [21].非形式化的命题逻辑和谓词逻辑有效性判定方法之比较分析[J]. 才智 2012(22)
- [22].基于数理逻辑的知识表示[J]. 榆林学院学报 2008(04)
- [23].语义真值在谓词逻辑中的运用[J]. 群文天地 2012(06)
- [24].一种基于谓词逻辑的分类规则约简方法[J]. 太原科技大学学报 2010(01)
- [25].基于规则和本体的汽轮机故障分析[J]. 电力自动化设备 2009(04)
- [26].英语with并列结构的句法语义解读[J]. 外语教学 2012(06)
- [27].论模态谓词逻辑的“非指称”问题——基于自由逻辑的考察[J]. 哲学研究 2011(01)
- [28].面向产品族配置的约束网络模型及配置方法[J]. 重庆大学学报 2012(03)
- [29].命题逻辑及谓词逻辑推理证明中的化归法[J]. 福建电脑 2009(09)
- [30].基于参数关联矩阵的服务组合研究[J]. 计算机工程 2010(20)