按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
（1）类的基数（或幂）的概念。这个概念不能帮助我们解决我们的问题，因为很容易看出，潜在证伪者类对所有的理论有着同一的基数。
（2）维的概念。立方体以某种方式包含比直线更多的点，这个模糊的直观的观念，能够通过集合论的“维”概念以逻辑上无懈可击的术语清楚地表述。这种概念对点的类或集是按照在它们的元素之间的“邻域关系”的丰度加以区别的：更高维的集具有更丰富的领域关系。维的概念，使我们能比较“较高”和“较低”维的类，这里将被用来处理比较可检验度的问题。这是可能的，因为基础陈述通过和其他基础陈述的合取结合起来又产生基础陈述，这个新产生的基础陈述比它们的组成部分“具有更高的复合度”；而基础陈述的这个复合度可以和维的概念联系起来。不过，必须使用被允许的事件的复合而不是被禁止的事件的复合。理由是，一个理论禁止的事件可以有任何复合度；另一方面，某些被允许的陈述之所以被允许，只是因为它们的形式，或者更确切地说，因为它们的复合度太低，以致使它们不能和该理论相矛盾；可以利用这个事实来比较维。
（3）子类关系。设类α的所有元素也是类β的元素，因而α是β的子类（符号表示：αβ）。那么，或者β的所有元素也是α的元素——在这种情况下，我们说这两类具有相同的外延或者说它们是等同的——或者β的有些元素不属于a。在后一种情况下，不属于α的β的元素形成“余类”或称为α对于β的补类，α是β的一个真子类。子类关系和直觉的“较多”和“较少”非常对应，但是，它的不利之处是，这种关系只能用来比较两个互相包含的类。所以，假如两个潜在证伪者类不是互相包含，而是互相交叉，或者它们没有共同的元素，那么，相应的理论的可证伪度就不能用子类关系来比较；它们对于这种关系来说，是不可比的。
33．用子类关系比较可证伪度
暂时引进下列定义，以后在讨论理论的维数时将加以改进。
（1）说陈述x比陈述y“更高度可证伪”或“更可检验”，或用符号表示：Fsb（x）＞Fsb（y），当且仅当x的潜在证伪者类包含作为一个真子类的y的潜在证伪者类。
（2）如果两个陈述x和y的潜在证伪者类同一，则它们有相同的可证伪度，即：Fsb（x）＝Fab（y）。
（3）如果这两个陈述的潜在证伪者类并不作为真子类相互包含，则这两个陈述没有可比的可证伪度（Fsb（x）‖Fsb（y））。
假如（1）适用，总是有一个非空的补类。在全称陈述的情况下，这个补类必定是无限的。因此，两个（严格全称）理论不可能有这样的区别：其中一个理论禁止为另一个理论所允许的有限数量的单个偶发事件。
所有重言的和形而上学的陈述的潜在证伪者类都是空的。所以，按照（2），它们是同一的。（因为，空类是所有类的子类，因而也是空类的子类，所以，所有空类是同一的；这一点可以表示为：只存在一个空类。）如果我们用‘e’表示经验陈述，用‘t’或‘m’分别表示重言的或形而上学的陈述（例如，纯粹存在陈述），那么我们可以给重言的或形而上学的陈述一个零可证伪度，我们写作：Fsb（t）＝Fsb（m）＝0Fsb（e）＞0。
自相矛盾的陈述（可以用（c）来表示），可以说是具有所有在逻辑上可能的基础陈述作为它的潜在证伪者类。这个意思就是说，任何陈述，就其可证伪度而言，都是和自相矛盾陈述可比的。我们得出：Fsb（c）＞Fsb（e）＞0。如果我们任意地设Fsb（c）＝1，即任意地把1赋予某一目相矛盾的陈述的可证伪度，那么我们甚至可以用条件1＞Fsb（e）＞0来定义经验陈述e。按照这个公式，Fsb（e）总是在0和1之间的间隔内，不包括两端，即在以这两个数字为界的“开放间隔”内。由于把矛盾陈述和重言陈述（形而上学陈述也一样）排除在外，这个公式同时表达了无矛盾性的要求和可证伪性的要求。
34．子类关系的结构逻辑概率
我们已经用子类关系对两个陈述的可证伪度的比较下了定义。因此，可证伪度的比较就具有子类关系的所有结构性质。可比较性问题可以用一个图（图1）来说明。在这个图中，左边画的是某些子类关系，右边画的是相应的可检验性关系。右边的阿拉伯数字对应于左边的罗马数字，某一罗马数字表示相应的阿拉伯数字所表示的那个陈述的潜在证伪者类。在这个图里表示可检验度的箭头，从具有更可检验的或更可证伪的陈述走向不那么可检验的陈述（因此它们相当准确地与可推导性箭头相当：参看第35节）。
从图中可以看出，各种子类序列可加以区别和追溯，例如，序列Ⅰ－Ⅱ－Ⅳ或Ⅰ－Ⅲ－Ⅴ；并且可以看出，引进新的中间类，可以使得这些序列更加“密集”。所有这些序列在这个特殊情况下都始于1和终于空类，因为空类被包含在每一个类里（在左面的图里，不可能画出空类，只是因为它是每一个类的子类，因此可以说必须出现在每一个地方）。如果我们选择类Ⅰ作为所有可能的基础陈述类，那么Ⅰ就变成矛盾陈述（c），而0（相当于空类）就可以表示重言陈述（t）。从Ⅰ到空类，或者从（c）到（t），可能通过各种途径；从右边的图中可以看出，某些途径可以互相交叉。因此我们可以说，这种关系的结构是一种网络结构（由箭头或子类关系排列成的“序列的网络”）。在节结点（例如，陈述4和5）网络部分地联结起来。只有在普遍类和空类里，对应于矛盾陈述c和重言陈述t；关系才完全联结起来。
是否可能把各种陈述的可证伪度排列在一个标尺上，即把按照它们的可证伪度排列的数字同各种陈述相关起来？显然，我们不可能用这种方法把所有的陈述排列起来，因为，如果能够的话，我们就会随意地使得那些不可比的陈述成为可比的。但是，我们完全可以从网络中挑选出某个序列，用数字来表示该序列陈述的次序。这样做时，我们必须给离矛盾陈述c较近的陈述的数字，比给离重言陈述t较近的陈述高。由于我们已经分别以0和1赋予重言陈述和矛盾陈述，我们就必须以真分数赋予所挑选的序列中的经验陈述。
然而，我并不真正想挑选出某一个序列来。赋予这序列中的陈述以数字也是完全任意的。不过，可能给以分数这一事实有很大意义，特别是因为它说明了在可证伪度和概率观念之间的联系。每当我们能比较两个陈述的可证伪度时，我们就能说，可证伪度较小的陈述由于它的逻辑形式，也是概率较大的，这种概率我称为“逻辑概率”。不可把它和在博奕论和统计学中使用的数值概率相混淆。陈述的逻辑概率和它的可证伪度是互补的：它随可证伪度的减少而增加。逻辑概率1相当于可证伪度0，反过来也是如此。具有更可检验度的陈述，即具有更高可证伪度的陈述，是在逻辑上更少可几的陈述；而可检验性较差的陈述是在逻辑上更可几的陈述。
在第72节中将看到，数值概率能和逻辑概率联结起来，因而也能和可证伪度联结起来。有可能把数值概率解释为适用于（从逻辑概率关系中挑选出来的）子系列的东西，可以在频率估计的基础上为这子系列规定一种测量系统。
这些对可证伪度比较的考察不仅适用于全称陈述或理论系统；它们也可推广应用于单称陈述。例如，它们适用于和初始条件合取的理论。在这种情况下，潜在证伪者类不可被误认为事件类——同型的基础陈述类——，因为它是偶发事件类（这点和将在第72节中分析的逻辑概率和数值概率之间的联系有某种关系）。
35．经验内容、衍推和可证伪度
在第31节中说到，我称之为陈述的经验内容的东西随着它的可证伪度而增加：陈述禁止越多，它对经验世界所说越多（参看第6节）。我称为“经验内容”的东西和比如，Carnap定义的“内容”概念有密切的关系，但不是同一的。对于后者，我使用术语“逻辑内容”，以与经验内容相区别。
我定义陈述p的经验内容为它的潜在证伪者类（参看第31节）。逻辑内容，借可推导性概念之助，被定义为从该陈述中可推导出的所有非重言陈述类（可以称作它的“后承