按照这里我要提出的观点，批判地检验理论和根据检验结果选择理论的方法，总是按下列路线进行的。借助演绎逻辑，从尝试提出来且尚未经过以任何方式证明的一个新思想 - - 预知、假说、理论系统，或任何其他类似的东西 - - 中得出一些结论；然后将这些结论，在它们相互之间, 并和其他有关的陈述加以比较, 来发现他们之间存在的逻辑关系（如等价性、可推导性、相容性、不相容性) 。

我们可以（如果我们愿意）区别出四条不同的检验理论的路线。第一，在这些结论之间加以逻辑的比较，以此来检验理论系统的内部一致性。 第二，考察理论的逻辑形式，目的是确定这理论是否具有经验的或科学的理论的性质，或者它是否是，比如重言的命题。第三，同其他的理论作比较，主要目的是确定，假如这理论经受住我们的各种检验，它是否构成科学上的进展。最后，通过能从理论推导出的结论的经验应用来检验理论。

这最后一种检验的目的，是要找出理论的新推断（不论它自认为如何新法）耐受实践要求考验的程度。这种实践要求或是由纯科学实验引起的; 或是由实际的技术应用引起的。在这里，检验的程序也是演绎的。我们借助其他过去已被接受的陈述, 从理论中演绎出某些单称陈述，我们称作“预见”, 特别是那种易检验或易应用的预见。从这些陈述中, 选取那些从现行理论中不能推导出的，特别是那些与现行理论相矛盾的。然后我们将它们与实际应用和实验的结果相比较，对这些（以及其他）推导出的陈述作出判决。假如这判决是肯定的，就是说，假如这些单称结论证明是可接受的或被证实，那么，这理论眼下通过了检验，我们没有发现舍弃它的理由。但是，假如这判决是否定的。换句话说，假如这结论被证伪，那么它们之被证伪也就证伪了它们从之合乎逻辑地演绎出来的那个理论。

应该注意：肯定的判决只能暂时支持这理论，因为随后的否定判决常会推翻它。只要一个理论经受住详细而严格的检验，在科学进步的过程中未被另一个理论取代，我们就可以说它已“证明它的品质”，或说“它已得到验证”。

在这里概述的程序中，没有出现任何类似归纳逻辑的东西。我从不认为我们能从单称陈述的真理性论证理论的真理性。我从不认为理论能借“已证实”的结论的力量被确定为“真的”, 即使仅仅是“概然的”。

在本书中，我想对演绎检验的方法作一更详细的分析。我将试图说明，通常称作“认识论”问题的所有问题都可以在这个分析的框架内得到处理。尤其是，由归纳逻辑产生的那些问题能够排除，而不会代之以产生新的问题。

参考文献：

科学发现的逻辑，https://book.sciencereading.cn/shop/book/Booksimple/show.do?id=B5B1FC0C78745417189A9BB5CA7780429000