科学发现的逻辑探究：证伪性逻辑考察结果

只是在（如按照我们的经验方法规则处理它）可证伪的系统的情况下，才需要注意防止约定主义的策略。让我们假定，我们已经用我们的规则成功地禁止了这些策略，现在可以要求说明这种可证伪的系统的逻辑特征了。我们将试图以理论和基础陈述类之间的逻辑关系来说明理论的可证伪性的特征。

我称作“基础陈述”的单称陈述的性质，还有它们是否也是可证伪的问题，将在下一章中作更充分的讨论。这里我们假定：存在可证他的基础陈述。必须记住：当我讲到“基础陈述”时，我并不是指已接受的陈述系统。毋宁说我使用基础陈述系统这一术语时，它包括具有一定逻辑形式的所有自相一致的单称陈述——可以说是关于事实的所有可设想的单称陈述。因此，由全部基础陈述组成的系统包含着许多互不相容的陈述。

作为第一次尝试，每当单称陈述能从某一理论演绎出来时，人们也许会称该理论为“经验的”。然而，这个尝试失败了，因为，为了从一个理论中演绎出单称陈述来，我们总是需要其他的单称陈述——初始条件，它告诉我们用什么去替代理论中的变量。作为第二次尝试，假如依靠作为初始条件的其他单称陈述的帮助可以演绎出单称陈述来，人们就称这个理论是“经验的”。但是这样也不行，因为，即使非经验陈述，例如重言陈述，也允许我们从其他的单称陈述中演绎出某些单称陈述来（例如，按照逻辑规则，我们可以例如说：从“2×2＝4”和“这里有一只黑渡鸦”的合取中，除了别的以外，可以得出“这里有一只渡鸦”）。即使要求从和一些初始条件在一起的理论中，我们应该能够演绎出比我们仅仅从这些初始条件中能演绎出的更多的陈述，也是不够的。这个要求的确排除重言的理论，但是它并不排除综合的形而上学陈述（例如，从“每一事件都有原因”和“这里发生一场灾难”，我们能演绎出：“这个灾难有原因”）。(www.xing528.com)

这样就引导我们得出这样的要求：大致说来，理论应该允许我们，演绎出比我们单单从初始条件中能演绎出更多的经验的单称陈述。这意味着：我们必须把我们的定义建筑在特殊的单称陈述类上；而这正是我们需要基础陈述的目的。由于要详细地说出一个复杂的理论系统是如何帮助演绎出单称陈述或基础陈述是不很容易的，因此我建议采用下面的定义。一个理论应被称作“经验的”或“可证伪的”，如果它把所有可能的基础陈述类明确地分作下面两个非空的子类。第一，所有那些和理论不一致的（或理论排除的、禁止的）基础陈述组成一类，我们称这类为这个理论的潜在证伪者类；第二，那些和理论不矛盾的（或理论“允许”的）基础陈述组成一类。我们可以更简短地说：一个理论是可证伪的，如果它的潜在证伪者类不是空的。

还可作这样的补充：理论只作出关于它的潜在证伪者的断言（它断言它们的谬误）。关于“允许的”基础陈述，它什么也没有说，特别是，它不说它们是真的。