加登福斯不可能性问题：一个新的解决方案

发布时间：2020-10-01 14:56

　　以加登福斯的信念改变理论和拉姆齐测试导出加登福斯不可能性问题的因果关系为主线,借助于信念改变理论,对加登福斯不可能性问题产生的根源、表现形式及已有的解决方案作了详细的分析研究,并据此提出了解决该不可能性问题的一个新的方案——F方案。本文认为,加登福斯的信念修正系统本质上解决了一些本体论上的可接受性的问题,也给出了一个能在形式上刻画该问题的系统;而拉姆齐测试则是为信念改变理论提供了一个以条件句为纽带的推理基础。由于对于拉姆齐测试从对象语言转换到形式语言的过程中的意义缺失,以及经由信念修正八条公设导出其他推论的过程中,从形式语言到对象语言转换的过程中“确定法则”的缺失,从而导致了一个不一致结论。本文主要部分为三章。在第一章中,首先对条件句的研究背景到信念改变理论的历时历程作了简要的分析。然后对于加登福斯的信念改变理论的基本公式、公设及推论的形式及证明做了详细的分析,以及拉姆齐测试的原始文本,各形式版本进行了对比分析。第二章,对于林德斯特龙与拉比诺维茨二人对于加登福斯不可能性问题的三种不同的解决方案进行了详细的分析和解释,并在对比的前提下,分析各种解决方案是否从根本上解决了加登福斯不可能性问题。第三章,本文从哲学层面、语义层面以及形式层面入手,分析了信念修正与拉姆齐测试不相容的原因和结果。并在此基础上提出了一个问题的解决方案——F方案。加登福斯不可能性问题的解决,某种意义上不但可以推进条件句分析及判定的“确定的法则”的得出,而且有助于改善信念改变理论,促进AGM理论的进一步完善。进一步来说,在信念改变领域相关的智能学习、智能推理、条件句及非单调推理等领域应用信念改变理论的时候,可以避免该问题的出现。
【学位单位】：云南师范大学
【学位级别】：硕士
【学位年份】：2019
【中图分类】：B81-0
【文章目录】：
摘要
Abstract
引言
绪论
    第一节研究现状
        一、国内研究现状
        二、国外研究现状
    第二节研究的目的及意义
        一、研究目的
        二、研究意义
    第三节研究方法及创新
        一、研究方法
        二、主要难题
        三、创新之处
第二章加登福斯信念改变系统和拉姆齐测试
    第一节研究背景
        一、条件句及条件句逻辑
        二、条件句的研究历程
    第二节信念改变系统
        一、信念扩展
        二、信念收缩
        三、信念修正
    第三节拉姆齐测试
        一、拉姆齐测试的来源
        二、拉姆齐测试分析
    第四节加登福斯不可能性问题的导出
第二章加登福斯不可能性问题现有的解决方案
    第一节版本对比
        一、单调性对比
        二、保留性对比
    第二节解决方案
        一、严格拉姆齐测试
        二、条件句的非命题解释
        三、条件句的索引假设
    第三节结论
第三章加登福斯不可能性问题的F方案
    第一节问题的分析
        一、形式层面不一致
        二、语义层面不一致
        三、哲学层面不一致
    第二节两种基础上的单调性和非单调性
        一、认识论基础上的单调性和非单调性
        二、集合论基础上的单调性和非单调性
    第三节解决方案
        一、修正(K*4)
        二、修正拉姆齐测试
        三、问题是否得以解决
结语
参考文献
攻读学位期间发表的学术论文和研究成果
致谢

【相似文献】