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๑〉均不能成立。可是,若以"与未定之ใ两ä"为之要素,则ท这些就都该存在。这样的结果倘是不可能的,那么要将这些作为创造原理就也不可能。

于是,假如诸单位品种各各不同,这些和类乎这些的结果必然跟着发生。但三假如只是每数中的各单位为未分化而互通,各数中ณ的各单位则是互已๐分化而品种各不相同,这样疑难照样存在。例如在本1้0〈意式之1้0〉之中有十个单位,10่可以由十个1้组成,也可以由两ä个5组成。但"本10่"既ຂ非任何偶然的单位所组成,——在10中的各单位必须相异。因为,它们若不相异,那ว么组成10่的两5也不会相异;但因为两5应为相异,各单位也将相异。然而,假如它们相异,是否10่之中除了两5以外没有其它别异的5๓呢?假如那里没有别的5,这就成为ฦ悖解;若然是另有其它种类的5,这样的5所组成的1้0,又将是那类的10?因为在10่中就只有自己这本10,另无它10่。

照ั他们的主ว张,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都成意式,而个意式将是若干意式所组成。所以清楚地,照这样的意式之出于组合,若说有动物的诸意式时,人们将可说动物是诸动物所组成。

总之,分化单位使成不同品种之ใ任何方แ式均为荒唐之寓言;我所说寓言的意义แ,就是为配合个假设而杜撰的说明。我们所见的〈单位〉无论在量上和在质上不异于别ี个〈单位〉,而数必须ี是或等或不等——切数均应如此,而抽象〈单位〉所组成的数更应如此——所以,凡数若既ຂ不大于亦不小于另数,便应与之ใ相等;但在数上所说的相等,于两事物而言,若品种不异而相等者则谓之ใ相同。倘品种有异,虽"本10"中ณ之ใ诸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๑为"人本",又以何数为"马本"?作为事物之本的若干数列遂终于10่。这必须ี是在这限度内的个ฐ数,因为ฦ只有这些数才是本体,才是意式。可是这些数目很快就用尽了;动物形式的种类着实超过这些数目。同时,这是清楚的,如依此而以意式之"3"ิ为"ิ人本",其它诸3亦当如兹在同数内的诸亦当相似,这样将是无限数的人众;假如每个ฐ3均为个ฐ意式,则ท诸3将悉成"人本",如其不然,诸3也๣得是般人众。又,假如小数为大数的部分姑以同数内的诸单位为可相通,于是倘以"本4๒"为"马"或"ิ白"或其它任何事物的意式,则ท若人为2时,便当以人为马的个部分。这也是悖解的,可有10的意式,而不得有11้与以下各数的意式。又,某些事物碰巧是,或也实际是没有通式的;何以这些没有通式?我们认为ฦ通式不是事物之原因。又,说是由1至1้0的数系较之本10更应作为实物与通式,这也๣悖解。本10่是作为整体而生成的,至于1至1้0的数系,则未见其作为整体而生成。他们却先假定了1้至10为ฦ个完整的数系。至少,他们曾在10่限以内创น造了好些衍生物——例如虚空,比例,奇数以及类此的其它各项ำ。他们将动静,善恶类事物列为肇始原理,而将其它事物归之于数。所以他们把奇性合之于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也有许多不合理处;因为甲每部ຖ分必须是不可区分的否则所取的这部ຖ分将仍还是众,而这将是可区分的,而"ิ单与众"ิ就不成其为两ä要素了;因为ฦ各个单位不是从"单与众"创生的。乙执持这种主ว张的人不做旁的事,却预拟了另个数;因为它的不可区分物所组成的众就是个数。

又,我们必须ี依照这个ฐ理论再研究数是有限抑无限的问题。起初似乎有个众,其本身为ฦ有限,由á此"ิ有限之众"与""共同创生有限数的诸单位,而另有个众则是绝对之ใ众,也是无限之众;于是试问用那类的众多作为与元配合的要素?人们也๣可以相似地询问到เ"点",那是他们用以创制ๆ几何量体的要素。因为这当然不是惟的个点;无຀论如何请他们说明其它各个点各由á什么เ来制ๆ成。当然不是由"ิ本点"加上些距离来制作其它各点。因为数是不可区分之所组成,但几何量体则不然,所以也不能象由众这个要素的不可区分之诸部分来制成〈单位〉那样,说要由á距离的不可区分之ใ诸部分来制成点。

于是,这些反对意见以及类此的其它意见显明了数与空间量体不能脱๳离事物而独立。又,关于数论各家立说的分歧,这就是其中必有错误的表征,这些错处引起了混乱。那些认为只有数理对象能脱离可感觉事物而独立的人,看到เ通式的虚妄与其所引起的困惑,已经放弃了意式之ใ数而转向于数学之ใ数。然而,那些想同时维持通式与数的人假设了这些原理,却看不到数学数存在于意式数之ใ外,他们把意式数在理论上合于数学数,而实际上则消เ除了数学数;因为ฦ他们所建立的些特殊的假设,都与般的数理不符。最初ม提出通式的人假定数是通式时,也承认有数理对象存在,他是?๣