科学发现的逻辑：变化与稳定

科学理论永远在变化着。这不是仅仅由于偶然的缘故，而是按照我们对经验科学的特征的理解，完全可以预期到的。

也许这就是为什么，一般地说，只有科学诸分支——而且只是暂时地——达到精致的、逻辑上建构严密的理论系统的形式。尽管如此，一个试验性的系统通常完全能够作为一个整体来加以考察，包括它所有的重要推断，这是非常必要的。因为对系统的严格检验预先假定，这系统当时在形式上是足够的确定和不可更改，使得新的假定不可能偷运进来。换句话说，系统必须表述得足够的清楚和明确，使得我们易于辨认出每一个新假定是一种系统的修改，因而是一种修正。

我相信，这是为什么一个严密的系统的形式被作为目的来追求的理由。这种形式是所谓“公理化系统”——例如，hilber能够赋予理论物理学某些分支这种形式。人们试图收集所有必需的假定（但是不多于必需的）来形成系统的顶点。它们通常被称作“公理’（或“公设”、“原始命题”；在这里使用的“公理”这个术语，并不意味着认为它是真理）。公理是这样来选择的：所有其他属于这个理论系统的陈述都能用纯逻辑的或数学的变换从这些公理中推导出来。(www.xing528.com)

一个理论系统可以说是公理化了，假如已表述的一组陈述，即公理，满足下列四个基本的要求。（a）公理系统必须是没有矛盾的（不论是自相矛盾还是相互矛盾）。这等于要求，不是每一个任意选择的陈述可以从这系统中推演出来。（b）这系统必须是独立的，即它不准包含任何可以从其他公理中推演出来的公理（换句话说，只有一个陈述不能从系统的其余部分中推演出来，它才能被称为一个公理）。这两个条件是关于公理系统本身的；至于对公理系统和理论的主体的关系来说，公理必须是（c）充足的，足以使所有属于要公理化的那个理论的陈述得以推演出来；为了同样的目的，必须是（d）必要的；这意味着它不应包含多余的假定。

在这样的公理化的理论里，考察这系统的各个部分的相互依赖性是可能的。例如，我们可以考察理论的一定部分是否可以从公理的某一部分中推演出来。这种考察（在第63和64、75-77节里对此将要更多地谈到）对于可证伪性问题有重要的关系。它们使我们弄清楚为什么一个逻辑上演绎出的陈述的证伪有时不影响整个系统，而只是影响这系统的某个部分，这个部分因此可被看作已被证伪。这是可能的，因为虽然物理学理论一般并没有完全公理化，但是这理论的各部分之间的联系可以很清楚，使得我们能够判定它的哪一个子系统受到某一特定的起征伪作用的观察所影响。