丝毫不增添什么。”这种预测观点当然是前后一贯的。但是它使人们感到奇怪为什么我们总是要进行概括。有什么可能的理由要建立所有这些理论和假说？归纳逻辑的立场使这些活动成为完全不可理解的。如果我们评价最高的是可得到的最可靠的知识——并且如果预测本身对验证无所贡献——，那么为什么我们依然不满足于我们的基础陈述？
引起十分类似的问题的另一个观点是kaila的观点。虽然我认为正是简单的理论，以及那些很少利用辅助假说（参阅第46节）的理论能得到很好的验证，正因为它们的逻辑不可几性，kaila根据类似keynes的理由正好以相反的方式解释这种情况。他也看到我们常常把一个高概率（用我们的话说，高的“假说概率”）赋予简单的理论，尤其是那些需要很少辅助假说的理论。但是他的理由是与我的对立的。他不像我所做的那样把一个高概率赋予这些理论，因为它们是可严格检验的，或逻辑上不可几的；那就是说因为它们可以说是先验地具有与基础陈述矛盾的许多机会。相反地，他把高概率赋予具有很少辅助假说的简单理论，是因为他认为由很少假说组成的系统先验地比由许多假说组成的系统与实在发生矛盾的机会更少。人们在这里又一次不明白为什么老是要费神去建立这些冒险的理论。如果我们怕与实在发生冲突，为什么通过作出断言把理论招来？我们最安全的方针是采取一个没有任何假说的系统。〔“言多必失，不说为佳”］
我自己的规则要求所用的辅助假说要尽可能地少（“利用假说的节约原理”）与kaila的考虑毫无共同之处，我对仅仅减少我们陈述的数目不感兴趣：我感兴趣的是它们在高度可检验性意义上的简单性。正是这种兴趣一方面导致我的应尽可能少地利用辅助假说的规则，另一方面导致我的公理——最基本的假说——数目应尽量减少的要求。因为这后一点出于这一要求：应选取普遍性水平高的陈述，以及由许多公理组成的系统如有可能应从具有更少“公理”和普遍性水平更高的系统中演绎出来（因此用后一系统解释）。
84．论关于“真的”和“被验证的”概念的使用
在这里概述的科学逻辑学中，避免使用“真的”和“假的”概念是可能的。它们的地位可由关于可推导性关系的逻辑考虑来代替。因此我们不一定说：“假如理论t和基本陈述b是真的，预测p就是真的。”我们可以说，陈述p是从t和b（非矛盾的）合取中得出的结论。一个理论的证伪可用同样方法描述。我们不一定说这理论是“假的”，但我们可以说它被一组公认的基础陈述反驳。关于基础陈述我们也不一定说，它们是“真的”或“假的”，因为我们可以把它们的得到承认解释为协约决定的结果，而公认的陈述是这种决定的结果。
这当然不是说，我们禁止使用“真的”或“假的”概念，或它们的使用造成了任何特殊的困难。我们可以避免它们这一事实本身表明它们不可能引起任何新的基本问题。“真的”和“假的”概念的使用十分类似像“重言”、“矛盾”、“合取”、“蕴涵”和诸如此类这些概念的使用。这些是非经验概念、逻辑概念。它们描述或评价一个陈述，不考虑经验世界中的任何变化。虽然我们假定物理对象（lewin意义上的“发生同一的［genidentical］对象”）随时间的推移而变化，我们仍然决定以这种方式使用这些逻辑谓词，因而陈述的逻辑性质成为无时间性的了：如果一个陈述是重言的，那么它永远是重言的。我们也把这同样的无时间性赋予“真的”和“假的”概念，这与日常的用法是一致的。说一个陈述昨天是完全真的，但今天变成假的，这不是日常的用法。如果昨天我们评价一个陈述是真的，今天评价它是假的，那么我们今天不言而喻地断言我们昨天错了；甚至昨天这个陈述也是假的——无时间性地假的——但我们错误地“把它当作真的”。
这里人们能十分清楚地看到真理和验证之间的不同。评价一个陈述得到验证或没有得到验证也是一个逻辑评价，因此也是没有时间性的；因为它断言在某一理论系统和某种公认的基础陈述系统之间有一定的逻辑关系。但我们谈到一个陈述时决不能简单地说它本身或自己“得到验证”（以我们说它是“真的”这种方式）。我们只能说它就某种基础陈述系统而言得到验证——直到某一特定时刻以前得到承认的系统。“一个理论直到昨天得到的验证”与“一个理论直到今天得到的验证”在逻辑上不是等同的。因此我们必须给每一个验证评价添上一个下标——表征验证与之有关的基础陈述系统的下标。（例如用它得到承认的日期）。
所以验证不是一个“真值”；即它不能与“真的”和“假的”概念（它们没有时间标志）处于同等的地位；因为对于同一陈述可以有任何数目的不同的验证值，这些值确实都可能同时是“正确的”或“真的”。因为它们是一些可从理论和在不同时期承认的不同组基础陈述中合乎逻辑地推导出来的值。
上述的评论也可帮助阐明我的观点和实用主义者的观点之间的对立，他们建议用一个理论的成功——因而用它的有
【打 印】 【来源：读书之家-dushuzhijia.com】
