科学发现的逻辑 作者:波珀-第9章
按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
偎档囊苡Ρ豢醋鞴菇ㄐ孪低车某⑹裕蝗缓笳飧鲂孪低匙苁怯Ω酶菟徊捎煤螅芊窆钩晌颐嵌允澜绲娜鲜兜囊桓稣嬲慕估磁卸掀溆帕印Ｒ桓鲈谡飧鲆庖迳夏鼙唤邮艿母ㄖ偎档耐怀隼邮牵琍auli的不相容原理（参看第38节）。一个不能令人满意的辅助假说的例子是，Fitzgeralid和Lorentz的收缩假说，它没有可证伪的推断，只是为了恢复理论和实验——主要是Michelson和Morley的发现——的一致。在这里进展只有靠相对论才获得的，它预见了新推断，新的物理效果，因而开辟了检验和证伪理论的新的可能性，我们的方法论规则可以用下列的话来加以限制：我们不需要把每一个不能满足上述标准的辅助假说都当做约定主义的而加以摈弃。特别是，有一些单称陈述实际上根本不属于理论系统。它们有时被称作“辅助假说”，虽然它们被引进来帮助理论，它们是完全无害的。（一个例子是这样的假定：一个不能重复的观察或测量可能是由于错误所致。参看第8节注⑥，第27、68节）。
在第17节里，我提到过显定义。凭着这种定义，我们用一个普遍性水平较低的系统来给出一个公理系统的概念的意义。假如有用，改变这些定义是可以允许的；不过他们必须被认为是系统的修改，以后就必须重新审查这个系统，仿佛它是新的系统一样。关于未定义的普遍名称，必须区别两种可能性：（1）有某些未定义的概念只出现在普遍性水平最高的陈述中，它们的使用是基于这样的事实：我们知道其他概念和它们处于什么样的逻辑关系中。在演绎过程中，它们能被取消掉（一个例子是“能”）。（2）其他的未定义的概念也出现在普遍性水平较低的陈述中，它们的意义是由惯用法确定的（例如，“运动”、“质点”、“位置”）。与此相联系，我们要禁止惯用法的偷偷改变，而在其他方面就如前面说的那样按照我们的方法论决定来行事。
关于我们列举的其他两点（涉及实验家或理论家的能力），我们要采用类似的规则。可以接受或根据相反的实验拒绝一个可主体间相互检验的实验。去诉诸要在未来被发现的逻辑指导可以不予考虑。
21．对可证伪性的逻辑考察
只是在（如按照我们的经验方法规则处理它）可证伪的系统的情况下，才需要注意防止约定主义的策略。让我们假定，我们已经用我们的规则成功地禁止了这些策略，现在可以要求说明这种可证伪的系统的逻辑特征了。我们将试图以理论和基础陈述类之间的逻辑关系来说明理论的可证伪性的特征。
我称作“基础陈述”的单称陈述的性质，还有它们是否也是可证伪的问题，将在下一章中作更充分的讨论。这里我们假定：存在可证他的基础陈述。必须记住：当我讲到“基础陈述”时，我并不是指已接受的陈述系统。毋宁说我使用基础陈述系统这一术语时，它包括具有一定逻辑形式的所有自相一致的单称陈述——可以说是关于事实的所有可设想的单称陈述。因此，由全部基础陈述组成的系统包含着许多互不相容的陈述。
作为第一次尝试，每当单称陈述能从某一理论演绎出来时，人们也许会称该理论为“经验的”。然而，这个尝试失败了，因为，为了从一个理论中演绎出单称陈述来，我们总是需要其他的单称陈述——初始条件，它告诉我们用什么去替代理论中的变量。作为第二次尝试，假如依靠作为初始条件的其他单称陈述的帮助可以演绎出单称陈述来，人们就称这个理论是“经验的”。但是这样也不行，因为，即使非经验陈述，例如重言陈述，也允许我们从其他的单称陈述中演绎出某些单称陈述来（例如，按照逻辑规则，我们可以例如说：从“2×2＝4”和“这里有一只黑渡鸦”的合取中，除了别的以外，可以得出“这里有一只渡鸦”）。即使要求从和一些初始条件在一起的理论中，我们应该能够演绎出比我们仅仅从这些初始条件中能演绎出的更多的陈述，也是不够的。这个要求的确排除重言的理论，但是它并不排除综合的形而上学陈述（例如，从“每一事件都有原因”和“这里发生一场灾难”，我们能演绎出：“这个灾难有原因”）。
这样就引导我们得出这样的要求：大致说来，理论应该允许我们，演绎出比我们单单从初始条件中能演绎出更多的经验的单称陈述。这意味着：我们必须把我们的定义建筑在特殊的单称陈述类上；而这正是我们需要基础陈述的目的。由于要详细地说出一个复杂的理论系统是如何帮助演绎出单称陈述或基础陈述是不很容易的，因此我建议采用下面的定义。一个理论应被称作“经验的”或“可证伪的”，如果它把所有可能的基础陈述类明确地分作下面两个非空的子类。第一，所有那些和理论不一致的（或理论排除的、禁止的）基础陈述组成一类，我们称这类为这个理论的潜在证伪者类；第二，那些和理论不矛盾的（或理论“允许”的）基础陈述组成一类。我们可以更简短地说：一个理论是可证伪的，如果它的潜在证伪者类不是空的。
还可作这样的补充：理论只作出关于它的潜在证伪者的断言（它断言它们的谬误）。关于“允许的”基础陈述，它什么也没有说，特别是，它不说它们是真的。
22．可证伪性和证伪
我们必须清楚地区别可证伪性和证伪。我们引进可证伪性只是作为陈述系统的经验性质的标准。至于证伪，必须引进特殊规则来决定一个系统在什么条件下应被看作已被证伪。
我们说一个理论已被证伪，只有当我们已经接受和理论相矛盾的基础陈述时（参看第11节，规则2）。这个条件是必要的，但不是充分的，因为我们知道，不能复制的个别偶发事例对于科学是没有意义的。因此少数偶然的与理论矛盾的基础陈述不会促使我们把理论作为已被证伪而摈弃。只有当我们发现一个反驳理论的可复制的效应时，我们才认为它已被证伪。换句话说，只有当描述这样一种效应的一个低水平的经验假说被提出和确认时，我们才接受这个证伪。这种假说可以称作证伪假说。证伪假说必须是经验的因而是可证伪的，这一要求的意思只是，它必须和可能的基础陈述具有一定的逻辑关系；因此，这个要求只与假说的逻辑形式有关。这假说应该得到验证，这一个附加条件是指它应该通过检验——使它面对着已接受的基础陈述的检验。
因此，基础陈述有两个不同的作用。一方面，我们使用所有在逻辑上可能的基础陈述的系统，是为了借助它来得到我们正在探求的经验陈述形式的逻辑特征。另一方面，已接受的基础陈述是假说得到验证的基础。如果已接受的基础陈述和理论相矛盾，那么我们就认为仅当它们同时验证了一个起征伪作用的假说时，它们就为理论的证伪供给了充足的理由。
23．偶发事件和事件
可证伪性的要求在开始时有一些模糊，现在已经分裂成两部分。第一，方法论的公设（参看第20节）不大可能把它搞得很精确。第二，逻辑标准，一旦我们弄清楚了哪一些陈述应被称作“基础的”，它是非常确定的（参看第28节）。这个逻辑标准迄今已经以某种形式的方式表达为陈述之间的逻辑关系——理论陈述和基础陈述之间的逻辑关系。假如我现在用更“实在论的”语言来表述我的标准的话，也许会使它更清楚、更直觉。虽然这是和形式的言语方式等价的，但是可能比较接近于日常用法。
在这个“实在论的”言语方式里，我们可以说，一个单称陈述（基础陈述）描述一个偶发事件。因此我们不说被理论排除或禁止的基础陈述，而是说理论排除某些可能的偶发事件，并且说假如这些可能的偶发事件事实上发生了，理论将被证伪。
使用这个模糊的词“偶发事件”也许会遭到批评。有时有人说，像“偶发事件”或“事件”这种词应从认识论的讨论中全部驱除出去，我们不应该说“偶发事件”或“非偶发事件”或者“事件”的发生，而应该说陈述的真或伪。不过，我赞成保留“偶发事件”这种词。很容易将它的用法加以定义，使之不会引起反对。因为我们可以这样来使用它：每当我们说到一个偶发事件时，我们也能说出与之相应的某个单称陈述来代替它。
给“偶发事件”下一定义时，我们可以记住这样的事实：说两个逻辑上等价的（就是说，可以相互演绎出来的）单称陈述描述同一偶发事件，这是很自然的。这提示下列定义：设Pk为一单称陈述（下标“k”指发生在Pk里的个别名称或坐标）。则我们称所有与Pk等价的陈述类为偶发事件Pk。例如，现在这里正在打雷，我们说这是一个偶发事件。我们可以认为这个偶发事件是下列陈述类：“现在这里正在打雷”；“1933年6月10日下午5时15分，在维也纳第13区，正在打雷，”还有所有其他与这些陈述等价的陈述。因此实在论的表述“陈述Pk代表偶发事件Pk”可以被认为与有点繁琐的陈述“陈述Pk是所有与它等价的陈述的Pk类的一个元素”有相同的意义。同样，我们认为陈述“事件Pk已经发生”（或者“正在发生”）的意义和“Pk和所有与它等价的陈述是真的”的意义相同。
这些翻译规则的目的不是说，不管谁以实在论的言语方式使用“偶发事件”这个词都在想到一类陈述；它们的目的只是为了给出一个实在论言语方式的解释，这个解释使得有些说法容易理解，例如说：一个偶发事件Pk和一个理论t相矛盾。现在这个陈述的意思不过是：每一个与Pk等价的陈述和理论t相矛盾，因而是这理论的一个潜在证伪者。
现在要引进另一个术语“事件”来表示什么是一个偶发事件的典型的或普遍的东西，或者在一个偶发事件中什么东西可以用普遍名称来加以描述。（因此，我用并不根据事件来理解复杂的或者也许长时间的偶发事件，不管这些词的日常用法提示什么。）我们定义：设：Pk，P1，……为偶发事件类的元素，这些偶发事件只在有关个体（时空位置或区域）方面是不同的；则我们称这个类为“事件（P）”。遵循这个定义，例如，关于陈述“一杯水刚刚在这里被打翻”，我们要说，和这陈述等价的陈述类是事件“一杯水的打翻”的一个元素。
说到代表偶发事件Pk的单称陈述Pk，我们可以以实在论的言语方式说：这个陈述述说事件（P）在空时位置k的发生。我们认为这个说法的意义和“等价于Pk的单称陈述类Pk是事件（P）的一个元素”相同。
现在我们要将这个术语应用于我们的问题。我们说，一个理论，假使它是可证伪的，它就不仅排除或禁止一个偶发事件，而且总是至少排除或禁止一个事件。因此，被禁止的基础陈述类，也就是理论的潜在证伪者类，假如它不是空的，总是包含无限数量的基础陈述；因为理论并不指个体本身。我们可以把属于一个事件的单称基础陈述称作“同型的”（homotypic），以表示描述一个偶发事件的等价的陈述，与描述一个（典型的）事件的
