以加登福斯的信念改变理论和拉姆齐测试导出加登福斯不可能性问题的因果关系为主线,借助于信念改变理论,对加登福斯不可能性问题产生的根源、表现形式及已有的解决方案作了详细的分析研究,并据此提出了解决该不可能性问题的一个新的方案——F方案。本文认为,加登福斯的信念修正系统本质上解决了一些本体论上的可接受性的问题,也给出了一个能在形式上刻画该问题的系统;而拉姆齐测试则是为信念改变理论提供了一个以条件句为纽带的推理基础。由于对于拉姆齐测试从对象语言转换到形式语言的过程中的意义缺失,以及经由信念修正八条公设导出其他推论的过程中,从形式语言到对象语言转换的过程中“确定法则”的缺失,从而导致了一个不一致结论。本文主要部分为三章。在第一章中,首先对条件句的研究背景到信念改变理论的历时历程作了简要的分析。然后对于加登福斯的信念改变理论的基本公式、公设及推论的形式及证明做了详细的分析,以及拉姆齐测试的原始文本,各形式版本进行了对比分析。第二章,对于林德斯特龙与拉比诺维茨二人对于加登福斯不可能性问题的三种不同的解决方案进行了详细的分析和解释,并在对比的前提下,分析各种解决方案是否从根本上解决了加登福斯不可能性问题。第三章,本文从哲学层面、语义层面以及形式层面入手,分析了信念修正与拉姆齐测试不相容的原因和结果。并在此基础上提出了一个问题的解决方案——F方案。加登福斯不可能性问题的解决,某种意义上不但可以推进条件句分析及判定的“确定的法则”的得出,而且有助于改善信念改变理论,促进AGM理论的进一步完善。进一步来说,在信念改变领域相关的智能学习、智能推理、条件句及非单调推理等领域应用信念改变理论的时候,可以避免该问题的出现。