普遍性水平的否定后件假设推理在《科学发现的逻辑》中

在一个理论系统内，我们可以区别属于各种普遍性水平的陈述。普遍性水平最高的陈述是公理；较低水平的陈述能由它们演绎出来。较高水平的经验陈述相对于从它们演绎出来的较低水平的陈述来说，总是具有假说的性质：它们能为这些不那么普遍的陈述之被证伪所证优。但是，在任何假说的演绎系统中，这些不那么普遍的陈述本身仍然是（在这里所理解的意义上）严格全称陈述。因此，它们也必定具有假说的性质——在较低水平的全称陈述的情况下，这点往往被忽视。例如，mach称fourier的热传导理论是“物理学的模型理论”，他有一个古怪的理由：“这个理论的基础不是一个假说，而是一个观察事实。”然而，mach用下列陈述来描述他所指的这个“观察事实”：“……假定温度差别很小，温度差消除的速度正比于温度差本身。”这是一个全陈述，它的假说性质应该说是够明显的。

我甚至要说，某些单称陈述也是假说的，因为（依靠一个理论系统的帮助）可以从它们演绎出结论，使这些结论的被证优可以证伪这些单称陈述。

这里提到的证伪的推理方式——用这个方式，一个结论的被证协必然得出这结论从之演绎出来的那个系统的被证伪——是古典逻辑的否定后件假言推理。这个方法可以描述如下：(www.xing528.com)

设p是一个陈述系统t的一个结论，这系统可由理论和初始条件（为了简便的缘故，我不区别这二者）组成。然后我们可以用符号“t→p”表示，p可从t推导出的关系（分析蕴涵），“t→p”读作：“p从t得出”。假定p是假的，我们可写作“”，读作“非p”。已知可演绎关系t→和假定，我们能推出（读作“非t”）；即我们认为t已被证伪。如果我们用一个点放在代表两个陈述的符号之间来表示这两个陈述的合取（同时断言），我们也可把证伪推理写作：［（t→p）·］→，读作：“如果p可从t推导出，而且如果p是假的，那么t也是假的。”

用这个推理方式我们证伪了整个系统（理论和初始条件），这个系统是演绎出陈述p，即演绎出被证协的陈述所必需的。因此，不能断言系统中的任何一个陈述，说它特别受到或不受到证伪的影响。只有当p对系统的某个部分是独立的，我们才能说：这个部分不受证伪的影响。与此相关的是下列可能性：在某种情况下，也许考虑到普遍性的水平，我们可以把证伪归之于某个确定的假说——比如，一个新引进的假说。假如一个得到充分验证并继续得到进一步验证的理论，可从一个更高水平的新假说演绎出来因而获得解释，上述情况就可以发生。必须努力用它的某些尚未得到检验的推断来检验这个新假说。如果任何这些推断被证伪，那么就完全可以把证伪单独归之于这个新假说。然后，我们将寻找其他高水平的概括来代替它，但是我们不必认为那个概括性较低的旧系统已被证伪（参看第85节关于“拟归纳”的论述）。