第 3 页

现在我们设想:给我们一个理论,代表这理论禁止的基础陈述的扇形变得越来越宽,最后只留แ下一条窄的扇形代表着不为这理论所禁止的基础陈述假如这理论是无矛盾的,就必定会有这样的扇形留下。像这样的理论显然很容易证伪,因为ฦ它只允许经验世界ศ有一个很小范围的可能性;因为它排除了几乎ๆ所有可设想的,即逻辑上可能的事件。它对经验世界断言如此之ใ多。它的经验内容如此之大,以至可以说很少有逃脱被证伪的机会。

确切地说,理论科学的目的就在于获得在上述意义上易于证伪的理论。它的目的在于限制允许的事件到เ最小的范围,假如能够做到的话,小到เ这样的程度,任何进一步的限制就会导致这理论的实际的经验的证伪。假如我们能成功地获得这样一个理论,那么เ这个理论就能ม描述“我们的特殊世界ศ’精确到理论描述所可能达到的程度;因为ฦ它会用理论科学所可能达到的最大的精确性,来从所有在逻辑上可能的经验世界ศ类中ณ挑选出“我们的经验”世界来。所有我们实际遭遇到和观察到的所有事件或偶事件类,而且只有这些,才称作“被允许的”。

32.如何比较潜在证伪者类

潜在证伪者类是无຀限类。直觉的“较多”和“较少”,不要任何特殊保证条件就可应用于有限类,却不能同样地应用于无຀限类。

我们不容易躲开这个困难。即使我们为作比较而考虑被禁止的事件类,而不考虑被禁止的基础陈述或偶事件,为了弄清其中ณ哪一个含有“更多的”被禁止的事件,也๣不易躲开上述困难。因为某一经验理论所禁止的事件数也是无຀限的,这点可以从下列ต事实中看出:一个被禁止的事件和任何其他事件不管它是否是被禁止的的合取又是一个被禁止的事件。

我将考虑三种方法,即使在无限类的情况下,也给予这直觉的“较多”或“较少”一个精确的意义แ,以便找出其中ณ哪一种可用来比较被禁止的事件类。

1类的基数或幂的概念。这个概ฐ念不能帮助我们解决我们的问题,因为ฦ很容易看出,潜在证伪者类对所有的理论有着同一的基数。

2๐维的概念。立方体以某种方式包含比直线更多的点,这个模糊的直观的观念,能ม够通过集合论的“维”概ฐ念以逻辑上无懈可击的术语清楚地表述。这种概ฐ念对点的类或集是按照在它们的元素า之间的“邻域关系”的丰度加以区别的:更高维的集具有更丰富的领域关系。维的概ฐ念,使我们能比较“较高”和“较低”维的类,这里将被用来处理比较可检验度的问题。这是可能的,因为ฦ基础陈述通过和其他基础陈述的合取结合起来又产生基础陈述,这个新产生的基础陈述比它们的组成部分“具有更高的复合度”;而基础陈述的这个复合度可以和维的概念联系起来。不过,必须使用被允许的事件的复合而不是被禁止的事件的复合。理由是,一个ฐ理论禁止的事件可以有任何复合度;另一方面,某些被允许的陈述之所以被允许,只是因为ฦ它们的形式,或者更确切地说,因为ฦ它们的复合度太低,以致使它们不能ม和该理论相矛盾;可以利用这个ฐ事实来比较维。

3๑子类关系。设类α的所有元素也是类β的元素,因而α是β的子类符号表示ิ:αβ。那么,或者β的所有元素า也๣是α的元素——在这种情况下,我们说这两类具有相同的外延或者说它们是等同的——或者β的有些元素不属于a。在后一种情况下,不属于α的β的元素形成“余类”或称为α对于β的补类,α是β的一个真子类。子类关系和直觉的“较多”和“较少”非常对应,但是,它的不利之处是,这种关系只能用来比较两个互相包含的类。所以,假如两个潜在证伪者类不是互相包含,而是互相交叉,或者它们没有共同的元素,那么,相应的理论的可证伪度就不能ม用子类关系来比较;它们对于这种关系来说,是不可比的。

3๑3.用子类关系比较可证伪度

暂时引进下列定义,以后在讨论理论的维数时将加以改进。

1说陈述x比陈述y“更高度可证伪”或“更可检验”,或用符号表示:fsbx>fsby,当且仅当x的潜在证伪者类包含作为一个真子类的y的潜在证伪者类。

2如果两ä个陈述x和y的潜在证伪者类同一,则它们有相同的可证伪度,即:fsbx=fabຘy。

3如果这两ä个陈述的潜在证伪者类并不作为真子类相互包含,则ท这两个陈述没有可比的可证伪度fsbx‖fsby。

假如1适用,总是有一个ฐ非空的补类。在全称陈述的情况下,这个ฐ补类必定是无限的。因此,两个严å格全称理论不可能有这样的区别:其中一个理论禁止为ฦ另一个ฐ理论所允许的有限数量的单个ฐ偶事件。

所有重言的和形而上学的陈述的潜在证伪者类都是空的。所以,按照2,它们是同一的。因为ฦ,空类是所有类的子类,因而也是空类的子类,所以,所有空类是同一的;这一点可以表示为:只存在一个空类。如果我们用‘e’表示ิ经验陈述,用‘t’或‘m’分别ี表示重言的或形而上学的陈述例如,纯粹存在陈述,那ว么我们可以给重言的或形而上学的陈述一个零可证伪度,我们写作:fsbt=fsbຘm=0่fsbຘe>0。

自相矛盾的陈述可以用c来表示ิ,可以说是具有所有在逻辑上可能的基础陈述作为它的潜在证伪者类。这个意思就是说,任何陈述,就其可证伪度而言,都是和自相矛盾陈述可比的。我们得出:fsbຘc>fsbe>0。如果我们任意地设fsbຘcນ=1้,即任意地把1้赋予某一目相矛盾的陈述的可证伪度,那么我们甚至可以用条件1>fsbຘe>0来定义经验陈述e。按照这个公式,fsbe总是在0和1之间的间隔内,不包括两端,即在以这两ä个ฐ数字为界的“开放间隔”内。由于把矛盾陈述和重言陈述形而上学陈述也๣一样排除在外,这个公式同时表达了无矛盾性的要求和可证伪性的要求。

34.子类关系的结构逻辑概ฐ率

我们已๐经用子类关系对两ä个陈述的可证伪度的比较下了定义。因此,可证伪度的比较就具有子类关系的所有结构性质。可比较性问题๤可以用一个图图1来说明。在这个ฐ图中,左ุ边画的是某些子类关系,右边画的是相应的可检验性关系。右边的阿拉伯数字对应于左边的罗马数字,某一罗马数字表示相应的阿拉伯数字所表示ิ的那ว个陈述的潜在证伪者类。在这个ฐ图里表示可检验度的箭头,从具有更可检验的或更可证伪的陈述走向不那ว么เ可检验的陈述因此它们相当准确地与可推导性箭头相当:参看第35节。

从图中ณ可以看出,各种子类序列ต可加以区别ี和追溯,例如,序列i-Ⅱ-Ⅳ或i-Ⅲ-v;并且可以看出,引进新的中间类,可以使得这些序列ต更加“密集”。所有这些序列在这个特殊情况下都始于1和终于空类,因为空类被包含在每一个类里在左ุ面的图里,不可能ม画出空类,只是因为ฦ它是每一个类的子类,因此可以说必须出现在每一个ฐ地方。如果我们选择类i作为所有可能的基础陈述类,那ว么i就变成矛盾陈述c,而0相当于空类就可以表示ิ重言陈述t。从i到เ空类,或者从cນ到t,可能通过各种途径;从右边的图中可以看出,某些途径可以互相交叉。因此我们可以说,这种关系的结构是一种网络结构由á箭头或子类关系排列ต成的“序列的网络”。在节结点例如,陈述4๒和5๓网络部分地联结起来。只有在普遍类和空类里,对应于矛盾陈述c和重言陈述t;关系才完全联结起来。

是否可能把各种陈述的可证伪度排列ต在一个标尺上,即把按照它们的可证伪度排列的数字同各种陈述相关起来?显然,我们不可能用这种方法把所有的陈述排列ต起来,因为,如果能够的话,我们就会随意地使得那些不可比的陈述成为可比的。但是,我们完全可以从网络中挑选出某个序列,用数字来表示该序列ต陈述的次序。这样做时,我们必须给离矛盾陈述cນ较近的陈述的数字,比给离重言陈述t较近的陈述高。由于我们已经分别ี以0่和1้赋予重言陈述和矛盾陈述,我们就必须以真分数赋予所挑选的序列中ณ的经验陈述。

然而,我并不真正想挑选出某一个序列来。赋予这序列ต中ณ的陈述以数字也๣是完全任意的。不过,可能给以分数这一事实有很大意义แ,特别ี是因为它说明了在可证伪度和概率观念之ใ间的联系。每当我们能ม比较两个陈述的可证伪度时,我们就能ม说,可证伪度较小的陈述由于它的逻辑形式,也是概ฐ率较大的,这种概ฐ率我称为“逻辑概ฐ率”。不可把它和在博奕论和统计学中使用的数值概率相混淆。陈述的逻辑概ฐ率和它的可证伪度是互补的:它随可证伪度的减少而增加。逻辑概率1้相当于可证伪度0,反过来也๣是如此。具有更可检验度的陈述,即具有更高可证伪度的陈述,是在逻辑上更少可几的陈述;而可检验性较差的陈述是在逻辑上更可几的陈述。

在第72节中将看到เ,数值概ฐ率能和逻辑概ฐ率联结起来,因而也能和可证伪度联结起来。有可能ม把数值概ฐ率解释为适用于从逻辑概ฐ率关系中ณ挑选出来的子系列的东西,可以在频率估计的基础上为这子系列ต规定一种测量系统。

这些对可证伪度比较的考察不仅适用于全称陈述或理论系统;它们也๣可推广应用于单称陈述。例如,它们适用于和初ม始条件合取的理论。在这种情况下,潜在证伪者类不可被误认为事件类——同型的基础陈述类——,因为它是偶事件类这点和将在第72节中分析的逻辑概率和数值概率之ใ间的联系有某种关系。

3๑5.经验内容、衍推和可证伪度

在第31้节中说到,我称之为陈述的经验内容的东西随着它的可证伪度而增加:陈述禁止越多,它对经验世界所说越多参看第6๔节。我称为“经验内容”的东西和比如,9ap定义的“内容”概念有密切的关系,但不是同一的。对于后者,我使用术语“逻辑内容”,以与经验内容相区别。

我定义陈述p的经验内容为它的潜在证伪者类参看第31้节。逻辑内容,借可推导性概念之助,被定义为从该陈述中可推导出的所有非重言陈述类可以称作它的“后承类”。所以,p的逻辑内容至少等于即大于或等于陈述q的逻辑内容,如q可从p中推导出来符号表示:如‘p→q’。如果可推导性是相互的符号‘p←→q’,则说p和q有相同的内容如q可从p中推导出,而p不能ม从q中推导出,则ทq的后承类,一定是p的后承类的一个真子集;则p具有更大的后承类,并且从而具有更大的逻辑内容或者逻辑力。

我的经验内容的定义的一个推断是,两个ฐ陈述p和q的逻辑内容和经验内容的比较导致相同的结果,假如作比较的陈述不包含形而上学要素的话。因此我们要求:a有着相等的逻辑内容的两ä个陈述也必定具有相等的经验内容;b陈述p的逻辑内容大于陈述q的逻辑内容,也必定具有更大的经验内容,或者至少相等的经验内容;最后cນ假如陈述p的经验内容大于陈述q的经验内容,那么เ它的逻辑内容必定更大,否则就是不可比的。在b里必须加上“或者至少相等的经验内容”,这个限制因为p例如可能是q和某个ฐ纯粹存在陈述或其他某类形而上学陈述我们必经赋以一定的逻辑内容的合取;因为ฦ在这种情况下,p的经验内容将不大于q的经验内容。相应的考虑使得在cນ上加上“否则就是不可比的”这条限制成为必要。

因此,在比较可检验度或经验内容度时,我们通常——就是说,在纯粹经验陈述的情况下——达到和比较逻辑内容或可推导性关系时所达到的相同的结果。因此,可能把可证伪度的比较在很大程度上建立在可推导性关系的基础之上。两种关系都表明网络的形式,这网络在自相矛盾陈述和重言陈述里完全地联结起来参看第34节。这一点可以下列说法表示ิ:自相矛盾陈述衍推每一个陈述,而重言陈述为每一个ฐ陈述所衍推。而且,我们已经看到,经验陈述可被描述成这样的陈述:它们的可证伪度落在以自相矛盾陈述的可证伪度为一端,以重言陈述的可证伪度为另一端的开放间隔中ณ间。相同地,一般的综合陈述包括非经验的陈述也๣由于衍推关系,被放置在自相矛盾陈述和重言陈述之间的开放间隔中间。

因此,和所有非经验的形而上学的陈述都是“无意义的”实证主义命题相对应的就会是这样的命题:我在经验的陈述和综合的陈述之ใ间,或在经验内容和逻辑内容之ใ间所作的区别是多余的;因为所有综合陈述必须ี是经验的——即所有都是真正的而不只是伪陈述。但是,我认为,这种使用词的方แ式,虽然是可行的,并不能把问题๤澄清,反而把问题混淆了。

因此,我把对两个陈述的经验内容所作的比较,看作等同于对它们的可证伪度所作的比较。这就使得我们的方แ法论规则ท,即应该选择那些能ม经受最严格的检验的理论参看第2๐0่节中反约定主义แ的规则,等同于这样的规则ท:选择具有最大可能的经验内容的理论。

36.普遍性水平和精确度

还有其他的方แ法论要求,可以还原为ฦ对最大可能的经验内容的要求。其中两个ฐ要求是突出的:对可能ม达到的最高水平或程度的普遍性的要求,和对可能ม达到的最高精确度的要求。

考虑到这些要求,我们来考察下列可设想的自然律:

p:所有在封闭轨道中ณ运行的天体作圆形运动,或者更简洁地说,所有天体轨道是圆。

q:所有行星轨道是圆。

r:所有天体轨道是椭圆。

s:所有行星轨道是椭圆。

在这四个陈述中存在的可推导性关系在我的图中用箭头表示。从p可以得出所有其他的陈述,从q可以得出s,s也可从r得出;所以s可以从所有其他陈述得出。

从p移动到q,普遍性程度减少,q表达的比p少,因为ฦ行星轨道形成天体轨道的一个ฐ真子类。因此,p比q更易于被证伪:如q被证伪,p也๣被证伪,但是反之不然。从p移动到เr,谓语的精确度减少:圆是椭圆的其子类;如r被证伪,p也被证伪,但是反之不然。相应的话可以应用到เ其他的移动上:从p移动到s,普遍性程度和精确度二者都减少;从q到s,精确度减少;而从r到เs,普遍性程度减少。和较高程度的普遍性或精确度相对应的是较大的逻辑的,或经验的内容,因而有较高的可证伪度。

全称陈述和单称陈述二者都可以写成“全称条件陈述”的形式或者经常称作“一般蕴涵຅”。假如我们把我们的四个ฐ定律写成这个ฐ形式,那ว么เ我们也许能更容易和更准确地看到เ两ä个陈述的普遍性程度和精确度是如何进行比较的。

全称条件陈述参看第14๒节注可以写成下列形式:‘xφx→fx’,或者读为:“所有x的值,满足陈述函项ำφx的,也满足陈述函项fx”。我们的图中ณ的陈述s产生下列例子:“xx是一颗行星的轨道→x是一个ฐ椭圆”的意思是:“不论x是什么เ,如果x是一颗行星的轨道,则x是一个椭圆”。设p和q是写成这种“标准”形式的两个ฐ陈述;那么我们可以说,p比q有着更大的普遍性,如果p的前件陈述函项ำ可以用‘φpx’来表示ิ是重言地蕴含于或可合乎逻辑地推导于,但是不等同于q的相应的陈述函项可以用‘φqx’来表示ิ;或换言之ใ,如果‘xφqx→φpx’是重言的或逻辑上真的。同样,我们说,p比q有着更大的精确性,如果‘xfpx→fqx’是重言的。即如果p的谓词或者后件陈述函项ำ比q的谓词更窄,这就意味着:p的谓词衍推q的谓词。

这个定义可以推广到有着不止一个变量的陈述函项中。基本的逻辑变换从它导致我们已๐断言过的可推导性关系,这种关系可以用下列规则来表示ิ:如果两个陈述的普遍性和精确性都是可比的,那ว么,较不普遍或较不精确的陈述可以从较普遍或较精确的陈述中ณ推导出来;当然,除非一个ฐ更普遍而另一个更精确如在我的图中ณq和r的情况。

现在我们可以说,我们的方法论决定——有时被形而上学地解释成因果性原理——应不让任何事情得不到解释,即总是试图从其他具有更高普遍性的陈述中ณ推导出陈述来。这个ฐ决定是从可达到的最高普遍性程度和精确度的要求中推导出来的,而这个要求可以还原成这样的要求或规则:应该选择能经受最严格检验的理论。

37๕.逻辑域略论测量理论

如果陈述p,由于具有更高水平的普遍性或精确性,比陈述q更易于证伪,那ว么,为p所允许的基础陈述类是为q所允许的基础陈述类的一个真子类。适用于被允许的陈述类之间的子类关系,是适用于被禁止的陈述潜在证伪者类之间的子类关系的对立物:这两ä个ฐ关系可以说是相反的也๣许可以说是互补的。为一个陈述所允许的基础陈述类,可以称作它的“域”。一个ฐ陈述允许实在有的“域”,可以说是它允许实在“自由活动”的范围或者自由度。域和经验内容参看第35节是相反或互补的概念。因此,两个ฐ陈述的域的相互关系和它们的逻辑概率的相互关系一样参看第34、72๐节。

我引进域概念,因为ฦ它帮助我们处理和测量的精确度相联系的某些问题๤。假定两个ฐ理论的推断在所有的应用领域里区别是如此之小,以至在计算可观察事件之间的细微差别,由于在我们的测量中可达到的精确度不够高而不能ม检测到。因此,不先改进我们的测量技术,就不可能用实验在这两ä个理论中ณ作出判ศ定。这表明,现行的测量技术决定了一定的域——一个ฐ范围,在这个范围内观察其间的差别ี为理论所允许。

因此,理论应该有可达到的最高可检验度因此只允许最窄的域,这一规则ท衍推这样的要求:测量的精确度应尽可能提高。

人们经常说,所有测量都在于确定点的重合。但是任何这种确定只能在某些限度内才是正确的。在严å格的意义แ上,不存在点的重合。两个物理“点”——比如,在量杆上的一个标记,在被测量物体上的另一个标记——它们至多能ม做到靠得很近;但不能重合,即不能合并成一点。不管在其他场合这个说法是如何的平凡,它对测量的精确性来说是重要的。因为它使我们想到,测量应该用下列术语来描述。我们现,被测量的物体的点落在量杆的两个级别ี或标记之间,或者比方แ说,我们的测量仪器的指针ฤ落在刻度的两ä级之间。然后我们可以或者把这些级别或标记看作我们误差的两个最佳界限,或者去估计比方说指针在刻๑度间隔内的位置,因而得到一个比较准确的结果。人们可以这样描述这后一情况:我们使指针ฤ落在两个想象中ณ的分级标记之ใ间。因此,一个间隔、一个ฐ域总是存留着。物理学家的习惯是每一次测量都要估计这个ฐ间隔。因此,例如他们效法milliken用静电单位测量电å子的基本电荷,得出e=4.774๒·10-1้0,加上:不精确范围是±o.005·1้0่-10。但是这里生一个问题๤。人们用两个标记——即间隔的两个边界ศ——来代替刻度上的一个标记的目的究竟是什么เ,对于这两个边界ศ的每一个,又一定会提出同样的问题:对于这间隔的边界ศ,什么เ是准确性的界限呢?

给出间隔的边界显然是无用的,除非这两个边界ศ本身能以大大过我们对原来的测量所希望达到的精确度确定下来;即在它们不精确的间隔内确定下来,这些间隔因此应该比它们为原来的测量值确定的间隔小几个ฐ数量级。换句话说,间隔的边界ศ不是截然分明的,而实际上是很小的间隔,这个间隔的边界ศ本身仍然是更小得多的间隔,等等。就这样我们达到了可以称为间隔的“不分明的边界”或“缩聚边界”的观念。

这些考虑并不以误差ๆ的数学理论和概率论为前๩提。这走的是另一条迂迴的路;通过分析测量间隔的观念,这些考虑提供了一个背景,如果没有这个背景,误差ๆ的统计理论就没有什么意义。如果我们测量一个ฐ量许多次,我们得到的数值以不同的密度分布๧在某一间隔——精确性的间隔依赖现行的测量技术。仅当我们知道我们追求什么——即这个间隙的缩聚边界——我们才能把误差理论应用到这些数值上,并确定间隔的边界。

现在我想所有这些多少说明了使用测量方法对于纯定性方แ法的优越性。即使在定性估计的情况下,例如对一个ฐ乐่音的音高的估计,有时也๣可能为这种估计给出一个准确性的间隔,这是正确的;但是,没有测量,任何这样的间隔只能是很模糊的,因为ฦ在这种情况下,不能ม应用缩聚边界的概念。这个概念只能ม在我们可以谈到数量级的地方因而只能在规定了测量方法的地方แ才适用。我将在第68节中ณ,联系到เ概率论,进一步运用精确性间隔的缩聚边界这一概ฐ念。

38.联系维来比较可检验度

直到现在为ฦ止,我们仅在理论可以借助子类关系来作比较的范围内来比较它们的可检验度。在某些情况下,这个方法在指导我们选择理论方แ面很成功。因此现在我们可以说,在第2๐0节中ณ举例说到เ的pauli的不相容原理的确证明是一个ฐ令人满意的辅助假说。因为ฦ它极大地增加了旧ງ的量子论的精确度,因而增加了可检验度如新量子论的相应的陈述断ษ言:电子具有反对称状态,而不带电粒子和某些带大量电荷的粒子具有对称状态。

然而,对于很多目的来说,用于类关系的方法来进行比较是不够的。因此,例如frank指出,具有高水平的普遍性的陈述——例如planck公式里的能量守恒原理——易于变成重言的,失去它们的经验内容,除非初始条件可以“……用少数测量,……即依靠系统状态特有的很少几个ฐ量值”来确定。关于必须确定和代入公式的参量的数目的问题是不能借助子类关系的帮助来阐明的,尽管它是显然与可检验性和可证伪性以及它们的程度密切联系着的。确定初始条件需要的量值越少,足以使理论被证伪的基础陈述就越不是复合的;因为起证伪作用的基础陈述,是由á初ม始条件和推导出的预见的否定二者的合取组成的参看第28节。因此,通过弄清一个基础陈述必须有的最小复合度如果它能够与理论矛盾的话,就有可能比较理论的可检验度;只要我们能找到一种方แ法来比较基础陈述以弄清它们是否更或不那么复合的,即是否是大量或小量比较简单的一种基础陈述的复合物。所有复合度没有达到必要的最低限度的基础陈述,不管它们内容如何,只是由于它们的低复合度,就都是为ฦ理论所允许的。

但是,任何这样的纲领都面临着困难。因为ฦ一般地说,单靠检查,是不容易说出一个ฐ陈述是否是复合的,即是否等于更简单的陈述的合取。在所有的陈述里,都出现普遍名称,通过分析它们,人们往往能把陈述分解为ฦ合取的组分例如,陈述:“在k地有一玻璃杯水”也许可以被分析和分解成两个陈述:“在k地有一玻璃杯盛着一种液体”和“在k地有水”。用这种方法来分解陈述,没有希๶望找到เ任何自然的终点,特别是因为,我们为了使进一步分解成为可能,总能引进新的已定义的普遍名称。

为了使得所有基础陈述的复合度成为ฦ可比的,可以建议:我们必须选择一定的陈述类作为基本的或原子的陈述,然后通过合取和其他的逻辑运算就能够从这些基本或原子陈述中得到所有其他陈述。如果成功,我们就应用这种方แ法来定义复合的“绝对零度”,然后可以把任何陈述的复合表示为可以说是绝对复合——度。但是由于上面已๐经说过的理由,这样一种程序必须ี被认为ฦ是非常不适当的;因为它会给科学语言的自由使用施加苛刻๑的限制ๆ。

然而,比较基础陈述的复合度,因而也比较其他陈述的复合度,仍然是可能的。可以这样做:任意选择一个相对的原子陈述类,我们把它作为进行比较的基础。这样一种相对原子陈述类可以用生成的图式或母式来定义例如,“在……地方为ฦ了……有一个量器,它的指针指在刻๑度……和……之间”。然后,我们可以把通过代入确定值,从这种母式或者陈述函项中得到的所有陈述类定义为相对原子的,因而定义为ฦ等复合的。这些陈述类,与所有可从这些陈述形成的合取一起,可以称之ใ为ฦ一个“场”。一个场的n个ฐ不同的相对原子陈述的合取,可以称之ใ为ฦ“这场的n组复合”,并且我们可以说,它的复合度等于数n。