文档介绍：西南师范大学
硕士学位论文
知道谓词逻辑
姓名:贾改琴
申请学位级别:硕士
专业:逻辑学
指导教师:唐晓嘉
20050501
知道谓词逻辑中文摘要业:逻辑学研究方向:现代逻辑与逻辑哲学指导教师:唐晓嘉教授研究生:贾改琴专家们就开始对知识问题不断地进行讨论研究。但对知道逻辑形式系统进行研究则是从芬兰哲学家冯·赖特··摹赌L呒悸邸房J嫉摹6用现代逻辑的方法对知道逻辑作系统讨论则始于著名逻辑学家辛提卡·摹吨J队胄拍睢贰V螅乇鹗巧鲜兰途攀甏岳矗5缆辑的研究呈现了多向性:特定主体认知推理、多主体认知推理、认知逻辑悖论、本文在前人研究的基础上,对知道谓词逻辑系统的构建及其语义一致性和完并对“知道”的几种情况和“知道者”进行讨论。对其进行语义解释,尤其是对知道算予“!钡慕馐汀逻辑系统:低场。。系统和O低车慕ü梗恢っ飨低持械牟糠侄ɡ恚第四部分:探讨在构建知道谓词逻辑系统中遇到的一些困难:认知主体知识关键词:语义完全性知道逻辑是认知逻辑中的一个重要分支。从古希腊哲学家柏拉图开始,哲学认知逻辑与人工智能⋯⋯。全性进行分析探讨,使逻辑形式系统研究的内容更接近自然语言的表达方式。全文共四部分。第一部分:分析知道命题。主要是分析“知道”一词的逻辑含义和逻辑性质,第二部分:分析知道谓词逻辑的形式语言。介绍其初始符号和形成规则,并第三部分:探讨知道谓词逻辑系统。在前两部分的基础上讨论三个知道谓词并分析这些系统的一致性和完全性。的一致性,即跨世界识别个体的闷题;逻辑全能问题;可知性悖论⋯⋯语义框架语义一致性语义模型
“’產簁’,、:“.ぁぁ⋯’‘‘,篜:瓵,.疕畐痵~甋:琧琧瓼甀‘”.,甀,,畐簍,瑃簉;;
上面的“北硎镜氖亲魑V5勒叩娜现V魈澹璓是被知道者知道的命题。柏文献综述来指导我们正确行事”⋯⋯。“现代分析哲学家齐索姆·学逻辑的范畴,研究与“知道”这~认知活动相关的推理。符的推理模型。其方法主要是以“知道”作为特殊的逻辑算子,以经典的逻辑法则为依据。通过扩张传统逻辑系统来建立关于“知道”推演关系的逻辑系统,以解决诸如“我们知道什么”、“某人知道某事或某物意味羞什么”、“某人知道某人早在古代,哲学家们就开始对知识问题进行研究。我们能追溯地最早对知识问题进行讨论的是古希腊思想家柏拉图。柏拉图在他的《美诺篇》中明确地阐述了什么是“知识”,如“如果他始终拥有知识,那么他始终知道””暗就美德是知识而言,请看我的怀疑是否合理”,。“‘知识和正确意见同样可以用柏拉图给出的那段话理解成“知识”的三个必要条件。即琾谋匾L跫为真实的拉图的这种对“知识”的定义被人们广泛接受并持续了两千多年,直到上个世纪中叶才受到挑战。年,英国哲学家葛泰尔在《有据的真实信念就是知识吗晃闹泄乖炝肆礁龇蠢粗っ饕陨先个条件不是知识的必要条件。不过这个时候的研究都还只是在哲学方面对“知道”在逻辑史上对“知道”一词作逻辑分析的第一人是中世纪科尔鲁比亚的伪斯各特。他分析了把“被知道”附在三段论韵前提中时会出现的情况:还区分了钡闹5篮汀癷知道逻辑是认知逻辑的一个重要分支,因此也属于哲知道逻辑主要就是在对“知道”一词和这一认知过程进行分析理解的基础上构造关于“知道”的形式系统,从而建立与人们的“知道”这一认知行为过程相知道什么”等等的推理问题。相信妫碆,有充足理由相信薄两种意义的“知道”一“是:~词的讨论。芾袢鞅啵呒!U匪嘉陀行Ы患实睦砺邸罚嗣癯黾瞪纾臧妫页”乩贾栋乩δ眉罚跣〕耄嗣癯霭嫔纭年掳妫页【客隙川同上
于年出版的《模态逻辑概论》启了认知模态命题逻辑系统研究的新纪元,也是逻辑史上首次对知道逻辑进行系谓命题认识逻辑就是关于一个命题被知道或不被知道为真的模态命题逻辑,并在书中构建了:蚔.。两个系统。而所谓事物认识逻辑就是关于个别事物被知道具有或不具有某种性质的模态逻辑,同样也构建了蚔。,。,两个系统。为认知逻辑的发展奠定了坚实的基础。辛提卡所用的方法是以传统的经典逻辑系统为基础,通过增添合适的认知算子及选择相关逻辑概念,建立认知逻辑的经典在为认知语句集合提供逻辑系统所要求的严格一致性标准基础上,建立起了以“可能世界理论”为基础的认知模态逻辑的语义模型。并在此基础上讨论了认知逻辑模态系统中的等蠲与量词的运用问题和“摩尔”问题中所涉及到的知道逻辑问题。这是逻辑史上第一本运用现代逻辑的方法对知道逻辑作系统讨论的专著,在国内,对知道逻辑研宄最早的要数北京大学的马希文教授。马教授在他的论文《有关“知道”的逻辑问题的形式化》中,把“知道”的命题分为两类:即“5繮是真的”和“5繮是否真的”,分别表示为篜和K衔#系统。“可能界的谓词演算”和“可能组合算法”。在后来的《狫泄亍爸5馈钡哪L呒泛汀度斯ぶ悄苤械穆呒侍狻仿畚闹校希文教授还进一步讨论了有关“知道”的模态逻辑系