证实原则是逻辑实证主义的基础性原则,居于核心地位,因为它是划分形式真理和事实真理的基础,是逻辑实证主义一切理论主张的基础。同时证实原则也是人们揭露和批判逻辑实证主义的关键所在,成为逻辑实证主义的致命弱点,因为逻辑实证主义在给证实原则所作的解释和所赋予的地位方面存在明显缺陷。摩尔和菲奇分别在信念逻辑和认知逻辑中质疑逻辑实证主义证实原则的科学性、合理性。在国内外专家学者的诸多修正方案中,我们提取出Johan.van Benthen的修正方案,即他通过建立任意公开宣告逻辑公理化演算系统来修正证实原则,是把“可认知的”限制为“存在一个宣告使得对它进行宣告之后,命题被认知到”。我们用模态算子◇对公开宣告这一动作进行量化,这样我们就可以用◇p来表示“存在一个宣告使得对它进行宣告之后,p是真的”,◇Kp表示“存在一个宣告使得对它进行宣告之后,p被认知到”。我们在公开宣告逻辑语言的基础之上增加模态算子口从而得到的一个任意公开宣告逻辑,这就是任意公开宣告逻辑对公开宣告逻辑的扩张我们首先对证实原则进行介绍分析,并分析论证了菲奇悖的证明过程,接着在公开宣告逻辑的基础上定义任意公开宣告逻辑的初始语言和相应的语义解释,进而建立了一个任意公开宣告逻辑的公理化演算系统,并证明了它的可靠性和完全性。最后在任意公开宣告逻辑公理化系统的基础上对证实原则进行逻辑分析,首先定义了成功公式和可认知公式,并把可认知公式分为知道公式是真的公式和知道公式是否是真的公式两种,进而证明了这几个公式的关系,即它们的表达力。最后证明了任意公式都是知道是否为真的公式。按照以上的研究思路将论文分成以下五个部分：第一章绪论包括问题的提出及研究现状,和本文的研究思路与论文框架结构。第二章菲奇悖论和证实原则修正方案,这是本文的问题分析部分。首先是介绍逻辑实证主义的重要理论,重点介绍证实原则,阐明它在逻辑实证主义中的地位和重要意义。然后是分别介绍菲奇悖论在认知逻辑和信念逻辑上的表现形式及其它们的变化形式,最后引进了解决菲奇悖论的证实原则修正方案,提出任意公开宣告逻辑的解决思路。第三章任意公开宣告逻辑,这是本文的基础工作部分。首先是在第二章的基础之上建立公开宣告逻辑公理化演算系统,即给出公开宣告逻辑的语言和相应的语义,然后建立公理化系统,证明系统的可靠性和完全性。然后是在公开宣告逻辑的基础上增加模态算子口,并给出相应的语义解释,接着证明任意公开宣告逻辑的几则原则,最后是建立任意公开宣告逻辑的公理化系统并证明它的可靠性和完全性。证明任意公开宣告逻辑的可靠性和完全性是本文的难点之一。第四章对证实原则修正方案的逻辑分析,这是本文的核心部分,也是难点所在之处和创新点。首先提出我们对证实原则的修正方案和修正结论,然后运用第三章所建立起来的任意公开宣告逻辑系统,严格定义“成功公式”和“可认知公式”这两个概念,区分“可认知公式”的两种形式,并论证几个概念之间的表达力,最后证明我们的修正结论,即所有的公式都是知道是否是真的公式。第六章后绪,就是总结本文研究的结论,思考后续研究的一些想法和工作。