费奇悖论与跨世界可知性方案的困难

发布时间：2024-03-30 10:19

　　费奇可知性悖论是从可知性原则:一切真理都是可知的,推得一切真理都是被知道的论证。任何宣称能够解决费奇悖论的方案都需要满足的基本条件是该方案的确能够避免产生类似费奇悖论的结果。因此,作为对跨世界可知性策略的可行性的讨论,我们首先试图确定费奇论证成立的最低条件,以判断跨世界可知性是否能够避免费奇悖论。通常看来,这一论证所依赖的条件是知识的事实性原则与分配性原则,但已有文献指出,这两个条件对于费奇论证的得出并不都是必要的。关于费奇论证的成立条件最为激进的观点是,对于任何满足(D)规则和任意n层桥接原则的K系统下的算子O来说,若承认p→◇Op,就会有该算子上的n层模态崩溃。这被称之为一般性模态崩溃定理。费奇悖论所具有的结果是该定理在知识解释下当n=1时的一个特例。因此,费奇悖论能够被推广至知识以外的态度和属性上,这似乎意味着,费奇可知性悖论并不在本质上与知识相关,以知识态度为基本视角和出发点谋求对该悖论的解决不具有理论上的可行性。然而,我们首先试图论证的一点是,即使费奇悖论从其逻辑形式的角度看,并不必然只与知识有关,这也不意味着特别针对知识解释下的费奇悖论的解决是没有意义的,特别是,我们发现一...

【文章页数】：70 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
符号说明
第一章 绪论
    1.1 起源及历史
    1.2 讨论的问题
    1.3 文章结构
第二章 费奇论证的成立条件
    2.1 关于费奇论证的基本说明
    2.2 费奇论证的形式化推导
        2.2.1 (K事实性)与(K分配性)
        2.2.2 模态崩溃
第三章 跨世界可知性
    3.1 重解释策略与跨世界可知性
    3.2 关于爱丁顿方案所面临的几种问题的讨论
        3.2.1 实际性算子与索引词
        3.2.2 实际性算子与模态崩溃
        3.2.3 二维框架下的实际性算子
        3.2.4 琐碎性问题——两种论证
    3.3 施罗德的可知性原则(ART)及其问题
        3.3.1 (ART)与琐碎性
        3.3.2 (ART)与对称性原则
        3.3.3 (ART)与跨世界可知性的局限性
第四章 结论
参考文献
致谢
学位论文评阅及答辩情况表



本文编号：3942207