G小说 > 形而上学 > 第 13 部分阅读

第 13 部分阅读

又,大家应注意到เ,有些原因可用普遍名词为说明,有些则不能ม。切事物之切身原理就在那个接近于实现的个体和另个接近于潜在的个体。这里没有我们所说的普遍原因,所以切身原理不是普遍性的。个体之ใ因〈创生原理〉出于个本。人虽普遍地以人为因,但世上并无຀个ฐ"ิ普遍人",所有的人都只是贝留为ฦ亚基里之因,以及你的父亲是你的因;

又,本体的原因即便具有普遍性,而照ั我们说过的,各别事物仍应各具不同的原因与要素;事物之ใ不同级类者,如本体与量,色与声,只在比拟上可为相同,而实际的因素尽属各别;然同品种诸事物之原因各异者,不异于品种,只异于个体之各别为其个体,你的物质与形式与动因异于我的各项,而这各项ำ的普遍定义却正相同。我们若问本体与关系与质三项之原理与要素是什么——它们相同或相异——消楚地,"ิ原理"与"要素"ิ两词若其多种命意混用时,这可算相同;但在实际上有异时,这也就各别:只有在下列命意上,切事物之原因称为相同。物质,形式,阙失,和动因为切事物所通有,这里原因可称相同或可相比似;二当本体消失而切悉归消失,因此以本体之ใ诸原因作为ฦ切事物之诸原因,在这命意上亦可称原因相同;还有三以最初的完全实现为ฦ切事物之ใ总因,在这命意上亦可称原因相同。在别的命意上,切对成之ใ既非科属而词意亦不含混者,就应各具有各不同的近因;至于各别事物之物质原因自亦各各不同。

物既然只有个ฐ相对,我们要问"ิ与多"ิ如何能相对,"ิ等"与"大和小"ิ如何能相对。"ิ抑或"字只能ม用在个ฐ对论之中ณ,如"此物是白抑或"黑或是"ิ此物是白抑或不白"ิ我们不会这样发问,"此物是人抑或是白"ิ,至于因为先有所预拟而询问"ิ来者确是克来翁抑或苏格拉底"ิ——

"等"ิ有何理由说是该与"ิ较大"相对或说是宁与"较小"相对?又,说是"等"与"ิ不等"为对反。所以"ิ等"ิ与"ิ较大""较小"ิ相对,这样事物就不止与事物相对了。如"不等"ิ之意并指较大较小两ä者,那么เ"ิ等"就该可以与两者都成相对这疑难支持了以"ิ不等"为ฦ"未定之两"的主张,但这引向物与两ä物相对的结论,那是不可能的。又,"等"ิ明显地是在"大和小"的中间,可是并没有人看到เ过对反可以处于中ณ间;在定义上,对反也不能处于中ณ间;虽对成两ä项间常容有某些事物之间体,然对成各项若自己้处在中间,它就不得成为完全的对项了。

又,假如诸意式是由诸意式组合的因为组合要素า必然较组合体为ฦ简单,意式的组合要素例如"动物"与"两脚"ิ应该可以成为许多个ฐ体的云谓。如其不然,它们如何能被认识?这样,个意式就只能表征个事物。然而这又被认为ฦ是不对的——每意式可以参与于许多个体。

章十六

凡事物可加剪裁的,必须其中要素า有位置关系。而且它们必须ี是延续的;因为句乐่谱由不同音节组成,各音节是有定位置的,可是这就不容许"ิ剪ຘ裁é"。此外,对个ฐ整体的事物施以剪ຘ裁é,并不是任何部分均可截去;截去的部ຖ分,不应是那个含决定因素的部分,也不是不管其位置而截去其任何部分;例如个ฐ杯,倘穿透个洞,这不是"剪裁é"ิ;只有杯柄或其突出的部分被截去,方可称为剪ຘ裁é;个人被"ิ剪裁"ิ〈截肢〉不是说他的肌肉或脾脏割掉,这是说他的手足或指被支解,而那ว经解去的部分还须ี是不能再生。所以发秃不算"ิ剪ຘ裁"。

"ิ科属"ิ〈种族〉辞应用于事物的生殖,同型而延续的,例如说"ิ族类长存"就是"ิ生命延续"而不绝的意思。二这名词应用于生物的始祖;因此在"种族"上,有的称希腊ຘ人,为ฦ的他们是希伦的子孙,有的称伊雄人,就为了伊雄是他们的始祖๢,这字用于生殖者总以父系为ฦ主ว,虽则有时也๣用于供应生殖物质的母系,人们也๣有由母系取得其族姓者。例如我们说是"妣拉"ิ的后裔ศ。三科属的含义之是以平面为切平面形的类型,立体是切立体形的类型;每个平面与立体图虽为形不,而为类于平面与立体者则;这就是异形间所可求得的类同。又,四凡在定义中"ิ什么"所包括的基本组成要素即是"ิ属",属内的差异就成为品种之质别。

这样,该是十分明白了,凡主张这样理论〈矛盾两ä可〉的人以及任何其它的人实际都没有真的站住这立场。为何个ฐ人当他想到要去麦加拉的时候,他就不再留在家里而走向麦加拉呢?他在某个ฐ早ຉ晨上路的时候,他为ฦ什么不走入口渊井,或走上个悬崖?我们看到他步步留心,当然可以知道他并不意谓堕入深渊或坠于悬崖,是"又好又不好",或"无可无຀不可"。显然他判断ษ着怎么走比较好些,怎么เ走比较不好。大家如不以此类判ศ断为ฦ妄,则他也๣必将某事物确定之为"ิ人"而另事物确定之为"非人"ิ,某事物谓之甜,另事物谓之不甜。因为ฦ他不将切事物等量齐观,所以当他在要喝水时,就进向水边,当他要访人时就进到เ人前。假定同事物既可是人而又可不是人,那ว么他就得将切等量齐观了。但是,如上所述,每个人的行动没有不是在趋吉〈向于某些事物〉而避凶的〈免于另些事物〉。似乎ๆ举世的人,既使不能判明举ะ世切事物,他总是会断定若干事物的利ำ害善恶的。如果说这些不算知识,只是意见〈猜忖〉,他们还应是切求真理的人,犹如个ฐ病人之切求健康较之ใ个ฐ无病的人更为ฦ急迫;于认取真理而论,只会猜忖的人较之于真有所识知的人,当然他尚不算健全。

章五

又,他们必须ี建立第二类的数,在算术上运用这些,并建立被某些思想家所引称的"间体";这些又如何存在,从何发生?又或要问,在现世事物与理想数之ใ间为何须要有间体?

又,为ฦ什么个数由若干单位合成之后就必须作为个整体?

又,说切事物"由"通式演化,这"由"ิ就不能ม是平常的字意。说通式是模型,其它事物参与其中,这不过是诗喻与虚文而已。试看意式,它究属在制造什么?没有意式作蓝ณ本让事物照ั抄,事物也会有,也会生成,不管有无苏格拉底其人,象苏格拉底那ว样的个人总会出现。即使苏格拉底是超世永恒的,世上也会有那样的人。同事物又可以有几个模型,所以也๣得有几个通式;例如"动物"与"两ä脚"与"人"ิ都是人的通式。又通式不仅是可感觉事物的模型,而且也是通式本身的模型,好象科属本是各品种所系的科属,却又成为科属所系的科属,这样同事物将又是蓝ณ本又是抄本了。

又,本体与本体的所在两ä离,似乎ๆ是不可能的;那么意式既ຂ是事物的本体怎能离事物而独立?

在"斐à多"中,问题这样陈述——通式是"现是"〈现成事物〉与"将是"〈生成事物〉的原因;可是通式虽存在,除了另有些事物为之动变,参与通式的事物就不会生成;然而许多其它事物如幢房屋或个指环他们说它并无຀通式的却也๣生成了。那ว么เ,明显地,产生上述事物那样的原因,正也可能ม是他们所说具有意式诸事物之ใ存在〈"现是"〉与其生成〈"ิ将是"ิ〉的原因,而事物也๣就可以不靠通式而靠这些原因以获得其存在。关于意式,这可能照这样,或用更抽象而精确的观点,汇集许多类此的反驳。

章六

我们既ຂ已讨论过有关意式诸问题,这该可以再度考虑到那些人主张以数为可分离本体,并为ฦ事物之第原因所发生的后果。假如数为ฦ个实是,按照有些人的主ว张其本体就只是数而没有别的,跟着就应得有〈这样的各数系〉,甲数可以或是子第,第二,个ฐ挨次于个的实是,每数各异其品种——这样的数全无例外地,每数各不能相通,或是丑它们个个ฐ是无例外地挨次的数,而任何的数象他们所说的数学〈算术〉之ใ数样,都可与任何它数相通;在数学之数中,各数的单位互不相异。或是寅其中ณ有些单位可相通,有些不能相通;例如2,假设为ฦ第个挨次于1้,于是挨次为3๑,以及其余,每数中的单位均可互通,例如第个ฐ2中ณ的各单位可互通,第个ฐ3中ณ的以及其余各数中ณ的各单位也如此;但那"绝对2"〈本二〉中ณ的单位就不能ม与绝对3〈本三〉中ณ的单位互通,其余的顺序各数也๣相似。

数学之数是这么เ计点的——1,2๐这由另个1接上前๩个1้组成,与3这由再个1,接上前两个1组成,余数相似;而意式之数则是这么计点的——在1以后跟着个ฐ分明的2,这不包括前个数在内,再跟着的3也๣不包括上个ฐ2๐,余数相似。或是这样,乙数的类象我们最先说明的那类,另是象数学家所说的那ว类,我们最后所说的当是第三类。

又,各类数系,必须ี或是可分离于事物,或不可分离而存在于视觉对象之ใ中ณ,可是这不象我们先曾考虑过的方式,而只是这样的意义,视觉对象由存在其中的数所组成——或是其类如是,另类不如是,或是各类都如是或都不如是。

这些必然是列ต数所仅可有的方แ式。数论派以为万物之ใ原始,万物之ใ本体,万物之ใ要素,而列数皆由与另些事物所合成,他们所述数系悉不出于上述各类别;只是其中切数全都不能ม互通的那类数系还没有人主ว张过。这样宜属合理;除了上述可能诸方式外,不得再有旁的数系。有些人说两ä类数系都有,其中先后各数为品种有别者同于意式,数学之数则ท异于意式亦异于可感觉事物,而两ä类数系均可由á可感觉事物分离;另些人说只有数学之ใ数存在,而这数离于可感觉事物,为诸实是之原始。毕达哥拉斯学派也๣相信数系只数学之ใ数这类;但他们认为ฦ数不脱离可感觉事物,而可感觉事物则为ฦ数所组成。他们用数构成了全宇宙,他们所应用的数并非抽象单位;他们假定数有空间量度。但是第个ฐ1如何能构成量度,这个他们似乎ๆ没法说明。

另个思想家说,只有通式之数即第类数系存在,另些又说通式之数便是数学之数,两者相同。

线,面,体的例相似。有些人意谓事物作为数理对象与其作为意式相异;在意见与此相反的各家中,有些人只以数学方แ式谈数理对象——这些人不以意式为数,也๣未言及意式存在;另有些人不照数学方แ式说数学对象,他们说并不是每空间量度均可区分为计度,也๣不能任意取两个单位来造成2,所有主张万物原理与元素皆出于"1"的人,除了毕达哥拉斯学派以外,都认为ฦ数是抽象的单位所组成;但如上曾述及,他们认为数是量度。数有多少类方แ式这该已叙述清楚,别ี无遗漏了;所有这些主张均非切实,而其中有些想法比别ี些更为ฦ虚幻。

章七

于是让我们先研究诸单位可否相通,倘可相通,则在我们前曾辩析的两方แ式中应取那方式。7这可能任何单位均不与任何单位相通,这也๣可能"本2"与"本3"中的各单位不相通,般地在每意式数中ณ各单位是不相通于其它意式数中ณ各单位的。现在假如所有单位均无຀异而可相通,我们所得为数学之数——数就只个ฐ系列,意式不能ม是这样的数。"人意式"与"ิ动物意式"或其它任何意式怎能ม成为ฦ这样的数?每事物各有个意式,例如人有"ิ人本",动物有"ิ动物本"ิ;但相似而未分化的数无限的众多,任何个别的3都得象其它诸3样作为"人本"ิ。然而意式若不能ม是数,它就全不能存在。意式将由á何原理衍生?由á1与未定之ใ2๐衍生数,这些就只是数的原理与要素,意式之于数不能列为先于或后于。但,二假如诸单位为不相通,任何数均不相通于任何数,这样的数不能ม成为数学之数;因为ฦ数学之数由á未分化的诸单位组成,这性质也๣证明为切于实际。这也不能成为意式数。这样的数系,2不会是"ิ与未定之两ä"ิ所生成的第个数,其它各数也不能ม有"ิ2๐,3,4"ิ的串联顺序,因为不管是否象意式论的初创น者所说,意式2๐中ณ的诸单位从"ิ不等"ิ中同时衍生"不等"在被平衡时列数就因而生成或从别的方แ式衍生,——若其中之为先于另,这便将先于由所组合的2;倘有某物先于另物,则两者之ใ综和将是先于另而后于某。

又,因为ฦ"ิ本1"ิ为第,于是在"ิ本1"之后有个ฐ个ฐ别之1先于其它诸1,再个个ฐ别ี之1,紧ู接于那前个ฐ1之数中ณ各单位的。现在假如所有单位均无异而可相通,我们所得为ฦ数学之ใ数——数就只个ฐ系列,意式不能是这样的数。"ิ人意式"与"ิ动物意式"或其它任何意式怎能ม成为这样的数?每事物各有个意式,例如人有"ิ人本",动物有"ิ动物本";但相似而未分化的数无限的众多,任何个ฐ别的3都得象其它诸3样作为ฦ"人本"。然而意式若不能ม是数,它就全不能ม存在。意式将由á何原理衍生?由1้与未定之2๐衍生数,这些就只是数的原理与要素,意式之于数不能列为先于或后于。但,二假如诸单位为不相通,任何数均不相通于任何数,这样的数不能ม成为数学之ใ数;因为数学之数由á未分化的诸单位组成,这性质也๣证明为ฦ切于实际。这也不能ม成为ฦ意式数。这样的数系,2不会是"与未定之两"ิ所生成的第个数,其它各数也๣不能有"2,3,4๒"的串联顺序,因为ฦ不管是否象意式论的初创น者所说,意式2๐中ณ的诸单位从"ิ不等"中同时衍生"不等"ิ在被平衡时列数就因而生成或从别的方แ式衍生,——若其中ณ之为先于另,这便将先于由á所组合的2;倘有某物先于另物,则ท两者之综和将是先于另而后于某。

又,因为"本1"为ฦ第,于是在"ิ本1"ิ之后有个ฐ个ฐ别之1先于其它诸1,再个个ฐ别之1้,紧接于那ว前๩个1้之后实为ฦ第三个1,而后于原1者两ä个顺ิ次,——这样诸单位必是先于照ั它们所点到的数序;例如在2๐中ณ,已有第三单位先3而存在,第四第五单位已๐在3中,先于4๒与5两ä数而存在。现在这些思想家固然都没有说过诸单位是这样的完全不相通,但照他们的原理推演起来,情况便是这样,虽则ท实际上这是不可能ม的。因为这是合理的,假如有第单位或第个1้,诸单位应有先于与后于之分,假如有个第个2๐,则ท诸2也应有先于与后于之分;在第之ใ后这必须会有第二也是合理的,如有第二,也๣就得有第三,其余顺序相接,同时作两样叙述,以意式之ใ1为第,将另单位次之其后为第个ฐ1,又说2是次于意式之1้以后为第个2,这是不可能的,但他们制ๆ造了第单位或第个1,却不再有第二个1้与第三个1,他们制ๆ造了第个2๐,却不再制造第二个2๐与第三个ฐ2๐。

假如所有单位均不相通,这也๣清楚地不可能有"本2"ิ与"本3";它数亦然。因为无຀论单位是未分化的或是每个都各不相同,数必须以加法来点计,例如2是在1上加1,3由á2上加1้,4亦相似。这样,数不能ม依照ั他们制数的方式由"两"与"ิ"来创น造;〈依照加法〉2成为ฦ3的部分,3成为4๒的部分,挨次各数亦然,然而他们却说4๒由第个2与那未定之2๐生成,——这样两ä个2的产物有别于本2๐;如其不然,本2๐将为4的个部ຖ分,而加上另个ฐ2๐。相似地2将由"ิ本1"加上另个1组成;若然如此,则其另要素า就不能是"ิ未定之2๐";因为这另要素应创น造另个单位,而不该象未定之二那样创น造个已定之ใ2。

又,在本3与本2之ใ外怎能有别的诸3与诸2?它们又怎样由á先于与后于的诸单位来组成?所有这些都是荒唐的寓言,"原2"〈第个ฐ2〉与"ิ本3๑"ิ〈绝对3〉均不能成立。可是,若以"与未定之ใ两"为之要素า,则这些就都该存在。这样的结果倘是不可能的,那么เ要将这些作为ฦ创造原理就也๣不可能。

于是,假如诸单位品种各各不同,这些和类乎这些的结果必然跟着发生。但三假如只是每数中的各单位为未分化而互通,各数中ณ的各单位则是互已分化而品种各不相同,这样疑ທ难照样存在。例如在本10〈意式之10〉之中有十个ฐ单位,1้0可以由十个1้组成,也可以由á两个5组成。但"本1้0"既非任何偶然的单位所组成,——在1้0中的各单位必须相异。因为ฦ,它们若不相异,那么เ组成10่的两ä5也不会相异;但因为两5๓应为ฦ相异,各单位也๣将相异。然而,假如它们相异,是否10之ใ中ณ除了两5以外没有其它别异的5呢?假如那里没有别的5๓,这就成为悖解;若然是另有其它种类的5,这样的5๓所组成的10่,又将是那类的1้0?因为在1้0่中就只有自己้这本1้0,另无຀它1้0。

照ั他们的主张,4๒确乎ๆ必不是任何偶然的诸2所可组成;

他们说那未定之2๐接受了那已定之2๐,造成两个2;因为未定之2的性质15就在使其所受之数成倍。

又,把2๐脱离其两个单位而当作实是,把3脱离其三个单位而当作实是,这怎么才可能?或是由á于个参与在别个之中ณ,象"ิ白人"样遂成为ฦ不同于"白"与"ิ人"因为白人参与于两者,或是由于个为ฦ别ี个的差异,象"ิ人"之不同于"ิ动物"ิ和"两脚๐"样。

又,有些事物因接触而成,有些因混和而成,有些因位置而成;这些命意均不能应用那ว组成这2或这3๑的诸单位,恰象两个ฐ人在起不是使之各解脱๳其个ฐ人而别成为整事物,各单位之组成列ต数者意必同然。它们之原为ฦ不可区分,于它们作为数而论无຀关重要;诸点也๣不可区分,可是对的点不殊于那ว两个单点。但,我们也不能忽忘这个后果,跟着还有"ิ先于之ใ2"与"后于之ใ2๐",它数亦然。就算4中的两ä个2是同时的;这些在8之ใ中ณ就得是"先于之2๐"ิ了,象2创生它们样,它们创น生"本8"中的两ä4。因此,第个2若为意式,这些2也得是某类的意式。同样的道理适用于诸1้;因为"第个ฐ2๐"中的诸1,跟着第个2创生4๒而入于本4之ใ中,所以切1都成意式,而个意式将是若干意式所组成。所以清楚地,照这样的意式之出于组合,若说有动物的诸意式时,人们将可说动物是诸动物所组成。

总之,分化单位使成不同品种之ใ任何方แ式均为ฦ荒唐之寓言;我所说寓言的意义แ,就是为配合个ฐ假设而杜撰的说明。我们所见的〈单位〉无论在量上和在质上不异于别个〈单位〉,而数必须是或等或不等——切数均应如此,而抽象〈单位〉所组成的数更应如此——所以,凡数若既不大于亦不小于另数,便应与之相等;但在数上所说的相等,于两事物而言,若品种不异而相等者则谓之相同。倘品种有异,虽"ิ本1้0"中ณ之诸2,即便它们相等,也๣不能不被分化,谁要说它们并不分化,又能ม提出怎样的理由?

又,假如每个1้加另1为2๐,从"本2"中ณ来的1和从"ิ本3"中来的1亦将成2。现在甲â这个2๐将是相异的1้所组成;乙๗这10个2对于3๑应属先于抑为ฦ后于?似乎这必是先于;因为其中的个ฐ单位与3๑为ฦ同时,另个则与2๐为同时。于我们讲来,般1้与1若合在起就是2,无论事物是否相等或不等,例如这个善和这个恶,或是个ฐ人和匹马,总都是"2"。

假如"本3"为ฦ数不大于2,这是可诧异的;假如这是较大,那ว么清楚地其中必有个ฐ与2๐相等的数,而这数便应与"本2"不相异。但是,若说有品种相异的第类数与第二类数这就不可能了。

意式也不能ม是数。因为在这特点上论,倘真以数为意式,那ว么主张单位应各不同的人就该是正确的了;这在先曾已๐讲过。通式是整的;但"ิ诸1"若不异,"诸2๐"与"诸3๑"ิ亦应不异。所以当我们这样计点——"1้,2๐"他们就必得说这个并不是1้个ฐ加于前个ฐ数;因为ฦ照我们的做法,数就不是从未定之2制成,而个ฐ数也不能成为ฦ个意式;因为ฦ这样个ฐ意式将先另个意式存在着而所有诸通式将成为个ฐ通式的诸部ຖ分。这样,由á他们的假设来看,他们的推论都是对的,但从全局来看,他们是错的;他们的观念为害匪浅,他们也得承认这种主ว张本身引致某些疑ທ难,——当我们计点时说"ิ1,2,3"究属是在个加个点各数呢,还是在点各个ฐ部分呢。但是我们两项都做了;所以从这问题肇致这样重大的分歧,殊为ฦ荒唐。

章八

最好首先决定什么是数的差ๆ异,假如也有差ๆ异,则的差异又是什么。单位的差ๆ异必须求之于量或质上;单位在这些上面似乎ๆ均有差异。但数作为ฦ数论,则在量上各有差异。

假如单位真有量差ๆ,则虽是有样多单位的两数也将有量差。

又在这些具有量差的单位中ณ是那第单位为较大或较小,抑是第二单位在或增或减?所有这些都是不合理的拟议。它们也不能ม在质上相异。因为ฦ对于诸单位不能系以属性;即便对于列数,质也只能是跟从量而为ฦ之系属。又,1与未定之ใ2๐均不能ม使数发生质别,因为1本无຀质而未定之2๐只有量性;这实是只具有使事物成为多的性能。假如事实诚不若是,他们该早在论题开始时就有说明,并决定何以单位的差异必须ี存在,他们既ຂ未能先为说明,则他们所谓差异究将何所指呢?

于是明显地,假如意式是数,诸单位就并非全可相通,在〈前๩述〉两个方式中ณ也不能说它们全不相通。但其他某些人关于数的议论方式也未为正确。那些不主ว于意式,也不以意式为某些数列ต的人,他们认为ฦ世上存在有数理对象而列数为ฦ现存万物中ณ的基本实是,"本1้"ิ又为列数之。这是悖解的:照ั他们的说法,在诸1中有"原1้"〈第个1〉,却在诸2中并不建立"ิ原2"〈第个2๐〉,诸3๑中ณ也没有"ิ原3๑"〈第个3〉。同样的理由应该适用于所有各数。关于数,假使事实正是这样,人们就会得想到เ惟有数学之数实际存在,而1并非因这样类的1้将异于其它诸1้;而2,也将援例存在有第个2๐与诸2另作类,以下顺ิ序各数也๣相似。

但,假令1้正为万物,则关于数理之ใ实义,毋宁以柏拉图之说为近真,"原2"与"ิ原3๑"便或当为ฦ理所必有,而各数亦必互不相通。反之,人苟欲依从此说,则又不能免于吾人上所述若干不符事实之结论。但,两说必据其,若两不可据,则数便不能脱๳离于事物而存在。

这也是明显的,这观念的第三翻版最为ฦ拙劣——这就是意式之数与数学之数为相同之说。这说合有两ä个错误。

数学之数不能ม是这类的数,只有持此主张的人杜撰了某些特殊的线索ิ才能ม纺织起来。二主张意式数的人们所面对着的切后果他也得接受。

毕达哥拉斯学派的数论,较之ใ上述各家较少迷惑,但他们也颇自立异。他们不把数当作独立自在的事物,自然解除了许多疑难的后果;但他们又以实体为ฦ列ต数所成而且实体便是列ต数,这却是不可能ม的。这样来说明不可区分的空间量度是不真确的;这类量度无຀论怎么多怎么少,诸1是没有量度的;个量度怎能由不可区分物来组成?算术之ใ数终当由抽象诸1来组成。但,这些思想家把数合同于实物;至少他们是把实物当作列数所组成,于是就把数学命题๤按上去。

于是,数若为ฦ自存的实物,这就必需在前述诸方式中的式上存在,如果不能ม在前述的任何式上存在,数就显然不会具有那样的性质,那些性质是主张数为独立事物的人替它按上去的。

又,是否每个单位都得之于"平衡了的大与小"抑或个由á"小"ิ来另个由"大"ิ来?甲若为后式,每事物既不尽备所有的要素,其中各单位也不会没有差异;因为ฦ其中有为大,另为ฦ与大相对反的小。在"本3๑"ิ中的诸单位又如何安排?其中ณ有畸另单位。但也๣许正是这缘由á,他们以"本"ิ为ฦ诸奇数中ณ的中ณ间单位。乙但两ä单位若都是平衡了的大与小,那ว作为整个件事物的2又怎样由á大与小组成?或是如何与其单位相异?又,单位是先于2;因为这消เ失,2也随之ใ消失。于是1将是个ฐ意式的意式,这在2๐以前๩先生成。那么,这从何生成?不是从"未定之2"ิ,因为ฦ"未定之ใ2๐"的作用是在使"倍"。

再者,数必须是无限或是有限因为ฦ这些思想家认为数能ม独立存在,并就应该在两老中ณ确定其。清楚地,这不能是无຀限;因为ฦ无຀限数是既非奇数又非偶数,而列数生成非奇必偶,非偶必奇。其法,当1加之于个ฐ偶数时,则生成个ฐ奇数;另法,当1被2๐连乘时,就生成2的倍增数;

又法当2的倍增数,被奇数所乘时就产生其它的偶数。

又,假如每意式是某些事物的意式,而数为意式,无限数本身将是某事物或是可感觉事物或是其它事物的个意式。可是这个ฐ本身就不合理,而照他们的理论也未必可能,至少是照他们的意式安排应为不可能ม。

但,数若为有限,则ท其极限在那里?关于这个,不仅该举出事实,还得说明理由。倘照ั有些人所说数以1้0为终,则ท通式之ใ为数,也๣就仅止于1้0่了;例如3为"人本",又以何数为"ิ马本"?作为ฦ事物之本的若干数列遂终于1้0。这必须是在这限度内的个数,因为ฦ只有这些数才是本体,才是意式。可是这些数目很快就用尽了;动物形式的种类着实超过这些数目。同时,这是清楚的,如依此而以意式之"3๑"为"人本",其它诸3๑亦当如兹在同数内的诸亦当相似,这样将是无限数的人众;假如每个3均为个ฐ意式,则诸3将悉成"人本",如其不然,诸3也๣得是般人众。又,假如小数为大数的部分姑以同数内的诸单位为ฦ可相通,于是倘以"本4"为"ิ马"或"白"或其它任何事物的意式,则若人为ฦ2๐时,便当以人为ฦ马的个部分。这也是悖解的,可有1้0的意式,而不得有11้与以下各数的意式。又,某些事物碰巧是,或也๣实际是没有通式的;何以这些没有通式?我们认为ฦ通式不是事物之原因。又,说是由1至1้0的数系较之本10่更应作为实物与通式,这也悖解。本1้0是作为ฦ整体而生成的,至于1至10的数系,则未见其作为ฦ整体而生成。他们却先假定了1至10为ฦ个ฐ完整的数系。至少,他们曾在1้0่限以内创造了好些衍生物——例如虚空,比例,奇数以及类此的其它各项。他们将动静,善恶类事物列为肇始原理,而将其它事物归之于数。所以他们把奇性合之于1;因为ฦ如以3作奇数之ใ本性则5又何如?

又,对于空间量体及类此的事物,他们都用有定限的数来说明;例如,第,不可分线,其次2,以及其它;这些都进到1้0而终止。

再者,假如数能ม独立自存,人们可以请问那数目为ฦ先,——1或3๑或2?假如数是组合的,自当以1为先于,但普遍性与形式若为ฦ先于,那么列数便当为先于;因为诸1只是列ต数的物质材料é,而数才是为之作用的形式。在某涵຅义上,直角为ฦ先于锐角,因为ฦ直角有定限,而锐角犹未定,故于定义上为先;在另涵义แ上,则ท锐角为ฦ先于,因为ฦ锐角是直角部分,直角被区分则成诸锐角。作为ฦ物质,则ท锐角元素与单位为先于;但于形式与由定义แ所昭示的本体而论,则直角与"物质和形式结合起来的整体"应为先于;因为综合实体虽在生成过程上为ฦ后,却是较接近于形式与定义。那么เ,1安得为ฦ?他们答复说,因为1้是不可区分的;但普遍性与个ฐ别性或元素า均不可区分。而作为则有"ิ始于定义"与"在时间上为始"的分别。那ว么,1在那ว方面为?上曾言及,直角可被认为先于锐角,锐角也可说是先于直角,那么直角与锐角均可当作1看。他们使1้在两方面都成为。

但这是不可能的。因为ฦ普遍性是由形式或本体以成,而元素า则由物质以成,或由部分以成。两者数与单位各可为——实际上两个单位均各潜在至少,照ั他们所说不同的数由不同种类的单位组成,亦就是说数不是堆,而各自个ฐ整体,这就该是这样,而不是完全的实现。他们所以陷入错误的原因是他们同时由á数理立场又由普遍定义แ出发,进行研究,这样甲从数理出发,他们以1้为点,当作第原理;因为单位是个没有位置的点。他们象旁的人也曾做过的那ว样,把最小的部ຖ分按装成为事物。于是"1"成为ฦ数的物质要素า,同时也就先于2๐;而在2当作个ฐ整数,当作个ฐ形式时,则1又为ฦ后于。然而,乙因为ฦ他们正在探索普遍性,遂又把"1"表现为列数形式涵义แ的个部分。但这些特性不能在同时属之同事物。

假如"本1"必须是无定位的单元因为这除了是原理外,并不异于它1,2๐是可区分的,但1้则不可区分,1之于"本1"ิ较之于2将更为ฦ相切近,但,1้如切近于"本1้"ิ,"本1"ิ之于1也将较之于2๐为相切近;那ว么เ2中ณ的各单位必然先于2。然而他们否认这个ฐ;至少,他们曾说是2先创生。

又,假如"ิ本2"ิ是个整体,"本3"也是个ฐ整体,两者合成为2๐〈两个整体〉。于是,这个"2"所从产生的那ว两者又当是何物呢?

章九

因为列ต数间不是接触而是串联,例如在2๐与3中的各单位之间什么都没有,人们可以请问这些于本1是否也如此紧跟着,紧ู跟着本1的应是2抑或2中ณ的某个单位。

在后于数的各级事物——线,面,体——也会遭遇相似的迷难。有些人由"大与小"的各品种构制ๆ这些,例如由á长短制ๆ线,由á阔狭制ๆ面,由深浅制体;那些都是大与小的各个ฐ品种。这类几何事物之肇始原理〈第原理〉,相当于列数之肇始原理,各家所说不同。在这些问题๤上面,常见有许多不切实的寓言与理当引起的矛盾。若非阔狭也成为长短,几何各级事物便将互相分离。但阔狭若合于长短,面将合于线,而体合于面;还有角度与图形以及类此诸事物又怎样能解释?又二在数这方面同样的情形也得遭遇;因为"长短"等是量度的诸属性,而量度并不由á这些组成,正象线不由"曲直"ิ组成或体不由á平滑与粗糙组成样。

所有这些观点所遇的困难与科属内的品种在论及普遍性时所遇的困难是共通的,例如这参于个别动物之中ณ的是否为"意式动物"抑其它"ิ动物"。假如普遍性不脱离于可感觉事物,这原不会有何困难;若照有些人的主ว张与列数皆相分离,困难就不易解决;这所谓"ิ不易"ิ便是"ิ不可能"。因为ฦ当我们想到2中ณ之ใ或般数目中的,我们所想的正是意式之ใ抑或其它的?

于是,有些人由这类物质创制几何量体,另有些人由á点来创制,——他们认为点不是1้而是与1相似的事物——

也由其它材料如与"1้"不同的"ิ众"来创制;这些原理也得遭遇同样严重的困难。因为这些物质若相同,则线,面,体将相同;由á同样元素所成事物亦必相同。若说物质不止样,其为线之物质,另为面,又为ฦ体,那么เ这些物质或为互涵,或不互涵,同样的结果还得产生;因为这样,面就当或含有线或便自己้成了线。

再者,数何能ม由"ิ单与众"ิ组成,他们并未试作解释;可是不管他们作何解释,那ว些主张"ิ由á1้与未定之2๐"ิ来制数的人所面对着的诸驳议,他们也得接受。其说是由普遍地云谓着的"众"而不由某特殊的"众"来制数,另说则由某特殊的众即第个众来制数;照后说,2为ฦ第个众。所以两说实际上并无重要差别,相同的困难跟踪着这些理论——由这些来制数,其方法为如何,搀杂或排列或混和或生殖?以及其它诸问题。在各种疑难之中,人们可以独执这问题,"假如每单位为1,1从何来?"当然,并非每个1都是"本1"。于是诸1必须ี是从"ิ本1"ิ与"众"ิ或众的部分来。要说单位是出于众多,这不可能ม,因为这是不可区分的;由众的部分来制造1也๣有许多不合理处;因为甲每部分必须是不可区分的否则所取的这部ຖ分将仍还是众,而这将是可区分的,而"单与众"就不成其为ฦ两要素了;因为ฦ各个ฐ单位不是从"ิ单与众"创น生的。乙๗执持这种主ว张的人不做旁的事,却预拟了另个数;因为它的不可区分物所组成的众就是个ฐ数。

又,我们必须依照这个ฐ理论再研究数是有限抑无限的问题๤。起初似乎有个ฐ众,其本身为ฦ有限,由此"有限之ใ众"与""ิ共同创生有限数的诸单位,而另有个ฐ众则是绝对之ใ众,也๣是无຀限之众;于是试问用那类的众多作为ฦ与元配合的要素?人们也可以相似地询问到"ิ点",那是他们用以创น制几何量体的要素า。因为ฦ这当然不是惟的个ฐ点;无论如何请他们说明其它各个点各由什么เ来制成。当然不是由á"本点"加上些距离来制作其它各点。因为ฦ数是不可区分之ใ所组成,但几何量体则ท不然,所以也不能象由众这个要素的不可区分之ใ诸部分来制ๆ成〈单位〉那ว样,说要由距离的不可区分之诸部ຖ分来制ๆ成点。

于是,这些反对意见以及类此的其它意见显明了数与空间量体不能ม脱离事物而独立。又,关于数论各家立说的分歧,这就是其中ณ必有错误的表征,这些错处引起了混乱。那ว些认为只有数理对象能ม脱离可感觉事物而独立的人,看到通式的虚妄与其所引起的困惑,已经放弃了意式之数而转向于数学之数。然而,那些想同时维持通式与数的人假设了这些原理,却看不到数学数存在于意式数之外,他们把意式数在理论上合于数学数,而实际上则ท消เ除了数学数;因为ฦ他们所建立的些特殊的假设,都与般的数理不符。最初提出通式的人假定数是通式时,也承认有数理对象存在,他是?