章一

我们先已在"物学"论文中陈述了可感觉事物的本体与物质，以后又讨论过具有实现存在的本体。如今，我们研究的问题是：在可感觉本体之外，有无不动变而永恒的本体，若说有此本体，则又当研究这是什么本体。我们应该考虑到各家的主张，倘彼诚立说有误，吾人当求免于同样的瑕疵，如吾人之用意与诸家不无相通而可互为印证之处，则吾人亦可无憾于自己的议论；人欲推陈出新，以鸣其道于当世，良愿于古人所已言及者有所裨益，如其未必胜于昔贤，亦愿不至甚愧于旧说而已。

对这问题有两种意见：或谓数理对象——如数，线等——

为本体；或谓意式是本体。因为（一）有些人认为意式与数学之数属于不同的两级，（二）有些人认为两者性质相同，而（三）另一些人则认为只有数理本体才是本体，我们必须先研究数理对象是否存在，如其存在，则研究其如何存在，至于这些是否实际上即为意式，是否能为现成事物的原理与本体以及其它的特质，均暂置不论。以后，我们再照一般的要求分别对意式作一般的讨论；许多论点，在我们院外讨论中便已为大家所熟悉，我们这里大部分的研究，该当于现存事物的诸本体与原理是否为数与意式这一问题，确切有所阐明；在讨论了意式以后，这就剩下为第三个论题。

假如数理诸对象存在，它们必须象有些人所说存在于可感觉对象之中，或是存在于可感觉事物以外（这个也有些人说过）；若说这两处都不存在，那么它们或是实不存在，或是它们另有特殊意义的存在。所以我们的论题不是它们的存在问题，而是它们怎样存在。

章二

说"数理对象独立存在于可感觉事物之中"是一个矫揉造作的教义，这我们已在讨论疑难问题时说过，实际上是不可能的。我们已指出两个实体不可能同占一个空间，并依照同样的论点，指出了其它的潜能与特质也只能涵存于可感觉事物之中，而不能公开来独在。这个我们已说过。按照这理论，这也是明显的，任何实体均不可能分开；因为实体之分必在面，面必在线，线必在点，若是者，如点为不可分割，则线、面、体亦逐依次为不能分开。这类实是为可感觉对象，或者本身不是可感觉对象，却参加于可感觉对象之中，这又有何分别？结果是一样的；如可感觉对象被区分，参加于其中的对象亦必被区分，如其不然，则可感觉实是便不能区分之使另成独立的数理实是。

但，又，这样的实是不可能独立存在。如在可感觉立体以外另有与之分离而且先于它们的一些立体，则在面以外也得有其它分离的面，点线亦复如此；这样才能讲得通。但，这些倘获得存在，则在数理立体的面线点以外又必更有分离的面线点。（因为单体必先于组合体，如在可感觉立体之先有无感觉立体，按照同样论点，自由存在的面必然先于那固定了的诸立体。所以这些面线将是那些思想家们所拟数理立体身上的数理面线之外的另一套面线；数理立体身上的面线与此立体同在，而那另一套则将先于数理立体面存在。）于是，按照同样论点，在这些先天面线之外，又得有先于它们的线点；

在这些先天线点之外，又有先于它们的点，到这先于而又先于之点以外，才更无别点。现在（一）这里积已颇为荒谬；因为我们在可感觉立体之外招致了另一套立体；三套面，——

脱离可感觉立体的一套，在数理立体身上的一套，还有脱离数理立体而自由存在的一套；四套线，与五套的点。于是数学应研究那一套呢？当然不是那存在于固定立体身上的面线点；因为学术常研究先于诸事物。（二）同样的道理也将应用于数；在每一套的点以外可以有另一套单位，在每套现存事物之外可有另一套可感觉数，在可感觉数之外，另一套理想数；依此不断的增益，这就将有无尽的不同级别之数系。

再者，这又怎样来解答我们前已列举的疑难问题？因为天文对象也将象几何对象一样，独立存在于可感觉事物之外；

但是一个宇宙与其各部分——或任何其它具有运动的事物——怎能脱离原在的一切而独立自存？相似地，光学〈景象〉与声学〈音乐〉对象也得各有其独立存在；这就得在可视听的个别声音与光影以外别有声光。于是，显然，其它感觉上亦应如此，而其它感觉对象也各得别有其独立的一套；何能在这一感觉是如此，而在另一感觉却不如此呢？然而若真如此，则更将有能够另自存在的诸动物，因为那里也有诸感觉。

又，某数学普遍定理的发展已逾越这些本体。这里我们又将在意式与间体之外，另有一套中间本体——这一本体既非数，亦非点，亦非空间度量，亦非时间。若说这是不可能的，则前所建立的那些脱离可感觉事物的实是，便显然皆不可能存在。

如人们可将数理对象当作这样的独立实是，而承认其存在，一般地说，这就引致相反于真理与常习的结论。这些若然存在，它们必须先于可感觉的空间量度，但事实上它们却必须后于；因为未完成的空间量度在创生过程上是先于，但在本体次序上则应是后于，有如无生命事物之应后于有生命事物。

又，数理量度将何时而成一，由何而得统于一？在我们可感觉世界中，诸事物每由灵魂而成一，或由灵魂的一部分，或其它具有理性的事物而成一；当这些未在之时，事物为一个各各析离而又互相混杂的众多。但数理事物本为可区分的度量，又该由何原因为之持合而得以成一？

又，数理对象的创造方式证明我们的论点是真确的。量度先创长再创阔，最后为深，于是完成了这创造过程。假如后于创造过程的应该先于本体次序，则立本将先于面和线。

这样，体也是较完整的，因为体能够成为活物。反之，一条线或一个面怎能发活？这样的假想超出于我们的官感能力。

又，立体是一类本体；因为这已可称为"完全"。然而线怎能称为本体？线既不能象灵魂那样被看作是形式或状貌，也不能象立体那样被当作物质；因为我们没有将线或面或点凑起来造成任何事物的经验；假使这些都是一类物质本体，那我们就会看到事物由它们凑合起来。

于是，试让它们在定义上作为先于。这仍然不能说一切先于定义的均应先于本体。凡事物之在本体上为先于者，应该在它们从别事物分离后，其独立存在的能力超过别事物；至于事物之在定义上为先于别事物者，其故却在别事物的定义〈公式〉由它们的定义〈公式〉所组合；这两性质并不是必须一致的。属性如一个"动的"或一个"白的"，若不脱离本体，"白的"，将在定义上为先于"白人"，而在本体上则为后于。

因为"白的"这属性只能与我所指"白人"这综合实体同在，不能与之脱离而独立存在。所以这是明白了，抽象所得事物并不能先于，而增加着一个决定性名词所得的事物也未必后于；我们所说"白人"就是以一决定性名词〈人〉加之于"白的"。

于是，这已充分指明了数理对象比之实体并非更高级的本体，它们作为实是而论只在定义上为先，而并不先于可感觉事物，它们也不能在任何处所独立存在。但这些既于可感觉事物之内外两不存在，这就明白了，它们该是全无存在，或只是在某一特殊涵义上存在；"存在"原有多种命意。所以它们并非全称存在。

章三

恰如数理的普遍命题不研究那些脱离实际延伸着的量度与数，以为独立存在的对象，两所研究的却正还是量度与数，只是这量度与数已不复是作为那具有量性与可区分性的原事物，明显地，这也可能有某些可感觉量度的命题和实证，这些并不在原事物的感觉性上着意，而是在某些其它特质上着意。有好多命题，是专研运动的，不管那事物本身是什么，其偶然诸属性又如何，这些命题就专研这些事物的运动，这里没有必要先将前运动从可感觉事物中分离，或在可感觉事物中另建立一个运动实是，就这样，在运动方面将事物当作实体，或竟当作面，或为线，或为可区分，或为不可区分而具有位置，或仅作为不可区分物，可是并不另创为一级可运动对象，这也建立了若干命题，获得许多知识。于是，既然可以说这些全然是真实的，不仅可分离的事物存在，不可分离的（例如运动）也存在，那么这就可以说，数学家所赋予某些特质的数理对象也全然应该存在。而这也可以无条件地说，其它学术无不如是，各研究其如此如彼的主题——而不问其偶然属性，（例如以健康为主题的医学，若其有关健康的事物病人〉是"白的"，它就不问其白不白，只管其健康为如何，）各门学术就只管各自的主题——研究健康的就将事物可作为健康论的那部分为之研究，研究人的，就将事物之可作为人论的那部分为之研究——几何亦然；如其主题恰遇到了可感觉事物，虽则几何不是为它们的可感觉性进行研究，数理也不至于因此之故而被误为可感觉事物之学术。另一方面，在那些分离于感觉事物的诸事物上作研究也不至于被误会。

许多特质之见于事物，往往出于事物之由己属性；例如动物有雌雄之辩这样一个特殊秉赋；（世上并无一个可脱离动物而存在的"雌"与"雄"）长度或面等之见于事物者其为属性毋乃类是。与此相仿，我们研究事物之较简纯而先于定义者，我们的知识就较为精确，亦即较为单纯。所以，抽象学术之脱离于空间量度者当较混含于空间量度者为精确，脱离于运动者当较混含于运动者为精确；但这学术若所研究者为运动，则当以研究基本运动方式者为较精确；因为这是最单纯的运动；而于基本运动方式中，又以均匀、同式、等速运动为最单纯。

同样的道理，也可应用于光学〈绘画〉与声学〈音乐〉；

这两门学术都不是以其对象当作视象与声响来研究而是当作数与线来研究的；然而数与线恰正是光与声的特殊秉赋。力学的研究也如此进行。

所以，我们若将事物的诸属性互相分开，而对它们作各别的研究，另有些人则在地上划一条并非一脚长的线，而把它作一脚〈尺〉标准，我们这样做比之于那些人并不更为错误；因为其间的错误不包括在假设前提之内。

每一问题最好是由这个方式来考察——象算术家与几何学家所为，将不分离的事物姑为分离。人作为一个人是一件不可区分的事物；算术就考虑这人作为不可区分而可以计数的事物时，它具有那些属性。几何学家看待这人则既不当作一个人，也不当作不可区分物，却当它作一个立体。因为明显地，即便他有时亦复成为并非不可区分，在这些属性〈不可区分性与人性〉之外，凡是该属于他的特质〈立体性〉总得系属于他。这么，几何学家说他是一个立体就该是正确的了；他们所谈论也确乎是现存事物，他们所说的主题实际存在；因为实是有两式——这个人不仅有完全实现的存在，还有物质的存在。

又，因为善与美是不同的（善常以行为为主，而美则在不活动的事物身上也可见到），那些人认为数理诸学全不涉及美或善是错误的。因为数理于美与善说得好多，也为之做过不少实证；它们倘未直接提到这些，可是它们若曾为美善有关的定义或其影响所及的事情作过实证，这就不能说数理全没涉及美与善了。美的主要形式"秩序，匀称与明确"，这些惟有数理诸学优于为之作证。又因为这些（例如秩序与明确）显然是许多事物的原因，数理诸学自然也必须研究到以美为因的这一类因果原理。关于这些问题我们将另作较详明讨论。

章四

关于数理对象已讲得不少；我们已说明数理对象是存在的，以及它们凭何命意而存在，又凭何命意而为先于，凭何命意而不为先于。现在，论及意式，我们应先考察意式论本身，绝不去牵连数的性质，而专主于意式论的创始者们所设想的原义。意式论的拥护者是因追求事物的真实而引到意式上的，他们接受了赫拉克利特的教义，将一切可感觉事物描写为"永在消逝之中"，于是认识或思想若须要有一对象，这惟有求之于可感觉事物以外的其它永恒实是。万物既如流水般没有一瞬的止息，欲求于此有所认识是不可能的。当时苏格拉底专心于伦理道德的析辩，他最先提出了有关伦理诸品德的普遍定义问题。早先的自然学家德谟克利特只在物理学上为热与冷作了些浮浅的界说，于定义问题仅偶有所接触；至于毕达哥拉斯学派在以前研究过少数事物——例如机会，道德或婚姻——的定义，他们尽将这些事物连结于数。

这是自然的，苏格拉底竭诚于综合辩证，他以"这是什么"为一切论理〈综合论法〉的起点，进而探求事物之怎是；因为直到这时期，人们还没有具备这样的对勘能力，可不必凭依本体知识而揣测诸对反，并研询诸对反之是否属于同一学术；

两件大事尽可归之于苏格拉底——归纳思辩与普遍定义，两者均有关一切学术的基础。但苏格拉底并没有使普遍性或定义与事物相分离，可是他们〈意式论者〉却予以分离而使之独立，这个就是他们所称为意式的一类事物。凭大略相同的论点，这当然会引致这样的结论，一切普遍地讲述的事物都得有意式，这几乎好象一个人要点数事物，觉得事物还少，不好点数，他就故使事物增加，然后再来点数。通式实际已多于个别可感觉事物，但在寻取事物的原因时，他们却越出事物而进向通式上追求。对于某一事物必须另有一个脱离本体的同名实是，（其它各组列也如此，必须各有一个"以一统多"〈通式〉，）不管这些"多"是现世的或超现世事物。

又，所用以证明通式存在的各个方法，没有一个足以令人信服；因为有些论据并不必引出这样的结论，有些则于我们常认为无通式的事物上也引出了通式。依照这个原则，一切事物归于多少门学术，这就将有多少类通式；依照这个"以一统多"的论点，虽是否定〈"无物"或"非是"〉亦将有其通式；依照事物灭坏后对于此事物的思念并不随之灭坏这原则，我们又将有已灭坏事物的通式；因为我们留有已灭坏事物的遗象。在某些颇为高明的辩论中，有些人又把那些不成为独立级类的事物引到了"关系"的意式，另有些论辩则引致了"第三人"。

一般而论，通式的诸论点消灭了事物，这些事物的存在，较之意式的存在却应为相信通式的人所更予关心；因为相应而来的将是数〈二〉为第一，而不是两〈未定之二〉为第一，将是相关数先于数，而更先于绝对数。——此外，还有其它的结论，人们紧跟着意式思想的展开，总不免要与先所执持的诸原理发生冲突。

又，依据我们所由建立意式的诸假定，不但该有本体的通式，其它许多事物都该有；（这些观念不独应用于诸本体，亦得应用于非本体，这也就得有非本体事物的学术；数以千计的相似诸疑难将跟着发生。）但依据通式的主张与事例的要求，假如它们能被参与，这就只该有本体的意式，因为它们的被参与并不是在属性上被参与，而正是参与了不可云谓的本体。（举例来说明我的意思，譬如一事物参加于"绝对之倍"，也就参加于"永恒之倍"，但这是附带的；因为这倍只在属性上可成为"永恒"。）所以通式将是本体。但这相同的名词指个别本体，也指意式世界中的本体。（如其不然，则那个在个别事物以外的，所谓"一以统多"的意式世界中的本体，其真义究又何如？）意式与参与意式的个别事物若形式相同，它们将必有某些共通特质。（"２"在可灭坏的诸"２"中，或在永恒的"２"中均为相同，何以在"绝对２"〈本２〉与"个别２"中却就不是一样相同？）然而它们若没有相同的形式，那它们就只是名称相同而已，这好象人们称加里亚为"人"，也称呼一块木片为"人"，而并未注意两者之间的共通性一样。

但，我们倘在别方而假设普通定义应用于通式，例如"平面圆形"与其它部分的定义应用之于"本圆"〈意式圆〉再等待着加上"这实际上是什么"〈这通式之所以为通式者是什么〉，我们必须询问这个是否全无意义。这一补充将增加到原定义的那一要素上面？补充到"中心"或"平面"或定义的其它各部分？因为所有〈在意式人中〉怎是之各要素均为意式，例如"动物"与"两脚"。又，这里举出了"平面"的意式，"作为意式"就必须符合于作为科属的涵义，作为科属便当是一切品种所共通的某些性质。

章五

最后大家可以讨论这问题，通式对于世上可感觉事物（无论是永恒的或随时生灭的），发生了什么作用。因为它们既不能使事物动，也不使事物变。它们对于认识也不曾有所帮助（因为它们并不是这些事物的本体，若为本体，它们就得存在于事物之中），它们如不存在于所参与的个别事物之中，它们可以被认为是原因，如"白"进入于事物的组成，使一白物得以成其为白〈白性〉。但这论点先是阿那克萨哥拉用过，以后是欧多克索在他答辩疑难时，以及其他某些人也用过，这论点是很容易攻破的；对于这观念不难提出好多无可辩解的反对论点。

又，说一切事物"由"通式演化，这"由"就不能是平常的字意。说通式是模型，其它事物参与其中，这不过是诗喻与虚文而已。试看意式，它究属在制造什么？没有意式作蓝本让事物照抄，事物也会有，也会生成，不管有无苏格拉底其人，象苏格拉底那样的一个人总会出现。即使苏格拉底是超世永恒的，世上也会有那样的人。同一事物又可以有几个模型，所以也得有几个通式；例如"动物"与"两脚"与"人"都是人的通式。又通式不仅是可感觉事物的模型，而且也是通式本身的模型，好象科属本是各品种所系的科属，却又成为科属所系的科属，这样同一事物将又是蓝本又是抄本了。

又，本体与本体的所在两离，似乎是不可能的；那么意式既是事物的本体怎能离事物而独立？

在"斐多"中，问题这样陈述——通式是"现是"〈现成事物〉与"将是"〈生成事物〉的原因；可是通式虽存在，除了另有一些事物为之动变，参与通式的事物就不会生成；然而许多其它事物（如一幢房屋或一个指环）他们说它并无通式的却也生成了。那么，明显地，产生上述事物那样的原因，正也可能是他们所说具有意式诸事物之存在〈"现是"〉与其生成〈"将是"〉的原因，而事物也就可以不靠通式而靠这些原因以获得其存在。关于意式，这可能照这样，或用更抽象而精确的观点，汇集许多类此的反驳。

章六

我们既已讨论过有关意式诸问题，这该可以再度考虑到那些人主张以数为可分离本体，并为事物之第一原因所发生的后果。假如数为一个实是，按照有些人的主张其本体就只是数而没有别的，跟着就应得有〈这样的各数系〉，（甲）数可以或是（子）第一，第二，一个挨次于一个的实是，每一数各异其品种——这样的数全无例外地，每一数各不能相通，或是（丑）它们一个一个是无例外地挨次的数，而任何的数象他们所说的数学〈算术〉之数一样，都可与任何它数相通；在数学之数中，各数的单位互不相异。或是（寅）其中有些单位可相通，有些不能相通；例如２，假设为第一个挨次于１，于是挨次为３，以及其余，每一数中的单位均可互通，例如第一个２中的各单位可互通，第一个３中的以及其余各数中的各单位也如此；但那"绝对２"〈本二〉中的单位就不能与绝对３〈本三〉中的单位互通，其余的顺序各数也相似。

数学之数是这么计点的——１，２（这由另一个１接上前一个１组成），与３（这由再一个１，接上前两个１组成），余数相似；而意式之数则是这么计点的——在１以后跟着一个分明的２，这不包括前一个数在内，再跟着的３也不包括上一个２，余数相似。或是这样，（乙）数的一类象我们最先说明的那一类，另一是象数学家所说的那一类，我们最后所说的当是第三类。

又，各类数系，必须或是可分离于事物，或不可分离而存在于视觉对象之中，（可是这不象我们先曾考虑过的方式，而只是这样的意义，视觉对象由存在其中的数所组成）——或是其一类如是，另一类不如是，或是各类都如是或都不如是。

这些必然是列数所仅可有的方式。数论派以一为万物之原始，万物之本体，万物之要素，而列数皆由一与另一些事物所合成，他们所述数系悉不出于上述各类别；只是其中一切数全都不能互通的那一类数系还没有人主张过。这样宜属合理；除了上述可能诸方式外，不得再有旁的数系。有些人说两类数系都有，其中先后各数为品种有别者同于意式，数学之数则异于意式亦异于可感觉事物，而两类数系均可由可感觉事物分离；另一些人说只有数学之数存在，而这数离于可感觉事物，为诸实是之原始。毕达哥拉斯学派也相信数系只数学之数这一类；但他们认为数不脱离可感觉事物，而可感觉事物则为数所组成。他们用数构成了全宇宙，他们所应用的数并非抽象单位；他们假定数有空间量度。但是第一个１如何能构成量度，这个他们似乎没法说明。

另一个思想家说，只有通式之数即第一类数系存在，另一些又说通式之数便是数学之数，两者相同。

线，面，体的例相似。有些人意谓事物作为数理对象与其作为意式相异；在意见与此相反的各家中，有些人只以数学方式谈数理对象——这些人不以意式为数，也未言及意式存在；另有些人不照数学方式说数学对象，他们说并不是每一空间量度均可区分为计度，也不能任意取两个单位来造成２，所有主张万物原理与元素皆出于"１"的人，除了毕达哥拉斯学派以外，都认为数是抽象的单位所组成；但如上曾述及，他们认为数是量度。数有多少类方式这该已叙述清楚，别无遗漏了；所有这些主张均非切实，而其中有些想法比别一些更为虚幻。

章七

于是让我们先研究诸单位可否相通，倘可相通，则在我们前曾辩析的两方式中应取那一方式。⑦这可能任何单位均不与任何单位相通，这也可能"本２"与"本３"中的各单位不相通，一般地在每一意式数中各单位是不相通于其它意式数中各单位的。现在（一）假如所有单位均无异而可相通，我们所得为数学之数——数就只一个系列，意式不能是这样的数。"人意式"与"动物意式"或其它任何意式怎能成为这样的数？每一事物各有一个意式，例如人有"人本"，动物有"动物本"；但相似而未分化的数无限的众多，任何个别的３都得象其它诸３一样作为"人本"。然而意式若不能是数，它就全不能存在。意式将由何原理衍生？由１与未定之２衍生数，这些就只是数的原理与要素，意式之于数不能列为先于或后于。但，（二）假如诸单位为不相通，任何数均不相通于任何数，这样的数不能成为数学之数；因为数学之数由未分化的诸单位组成，这性质也证明为切于实际。这也不能成为意式数。这样的数系，２不会是"一与未定之两"所生成的第一个数，其它各数也不能有"２，３，４……"的串联顺序，因为不管是否象意式论的初创者所说，意式２中的诸单位从"不等"中同时衍生（"不等"在被平衡时列数就因而生成）或从别的方式衍生，——若其中之一为先于另一，这便将先于由所组合的２；倘有某一物先于另一物，则两者之综和将是先于另一而后于某一。

又，因为"本１"为第一，于是在"本１"之后有一个个别之１先于其它诸１，再一个个别之１，紧接于那前一个１之数中各单位的。现在（一）假如所有单位均无异而可相通，我们所得为数学之数——数就只一个系列，意式不能是这样的数。"人意式"与"动物意式"或其它任何意式怎能成为这样的数？每一事物各有一个意式，例如人有"人本"，动物有"动物本"；但相似而未分化的数无限的众多，任何个别的３都得象其它诸３一样作为"人本"。然而意式若不能是数，它就全不能存在。意式将由何原理衍生？由１与未定之２衍生数，这些就只是数的原理与要素，意式之于数不能列为先于或后于。但，（二）假如诸单位为不相通，任何数均不相通于任何数，这样的数不能成为数学之数；因为数学之数由未分化的诸单位组成，这性质也证明为切于实际。这也不能成为意式数。这样的数系，２不会是"一与未定之两"所生成的第一个数，其它各数也不能有"２，３，４……"的串联顺序，因为不管是否象意式论的初创者所说，意式２中的诸单位从"不等"中同时衍生（"不等"在被平衡时列数就因而生成）或从别的方式衍生，——若其中之一为先于另一，这便将先于由所组合的２；倘有某一物先于另一物，则两者之综和将是先于另一而后于某一。

又，因为"本１"为第一，于是在"本１"之后有一个个别之１先于其它诸１，再一个个别之１，紧接于那前一个１之后实为第三个１，而后于原１者两个顺次，——这样诸单位必是先于照它们所点到的数序；例如在２中，已有第三单位先３而存在，第四第五单位已在３中，先于４与５两数而存在。现在这些思想家固然都没有说过诸单位是这样的完全不相通，但照他们的原理推演起来，情况便是这样，虽则实际上这是不可能的。因为这是合理的，假如有第一单位或第一个１，诸单位应有先于与后于之分，假如有一个第一个２，则诸２也应有先于与后于之分；在第一之后这必须会有第二也是合理的，如有第二，也就得有第三，其余顺序相接，（同时作两样叙述，以意式之１为第一，将另一单位次之其后为第一个１，又说２是次于意式之１以后为第一个２，这是不可能的），但他们制造了第一单位或第一个１，却不再有第二个１与第三个１，他们制造了第一个２，却不再制造第二个２与第三个２。

假如所有单位均不相通，这也清楚地不可能有"本２"与"本３"；它数亦然。因为无论单位是未分化的或是每个都各不相同，数必须以加法来点计，例如２是在１上加１，３由２上加１，４亦相似。这样，数不能依照他们制数的方式由"两"与"一"来创造；〈依照加法〉２成为３的部分，３成为４的部分，挨次各数亦然，然而他们却说４由第一个２与那未定之２生成，——这样两个２的产物有别于本２；如其不然，本２将为４的一个部分，而加上另一个２。相似地２将由"本１"加上另一个１组成；若然如此，则其另一要素就不能是"未定之２"；因为这另一要素应创造另一个单位，而不该象未定之二那样创造一个已定之２。

又，在本３与本２之外怎能有别的诸３与诸２？它们又怎样由先于与后于的诸单位来组成？所有这些都是荒唐的寓言，"原２"〈第一个２〉与"本３"〈绝对３〉均不能成立。可是，若以"一与未定之两"为之要素，则这些就都该存在。这样的结果倘是不可能的，那么要将这些作为创造原理就也不可能。

于是，假如诸单位品种各各不同，这些和类乎这些的结果必然跟着发生。但（三）假如只是每一数中的各单位为未分化而互通，各数中的各单位则是互已分化而品种各不相同，这样疑难照样存在。例如在本１０〈意式之１０〉之中有十个单位，１０可以由十个１组成，也可以由两个５组成。但"本１０"既非任何偶然的单位所组成，——在１０中的各单位必须相异。因为，它们若不相异，那么组成１０的两５也不会相异；但因为两５应为相异，各单位也将相异。然而，假如它们相异，是否１０之中除了两５以外没有其它别异的５呢？假如那里没有别的５，这就成为悖解；若然是另有其它种类的５，这样的５所组成的１０，又将是那一类的１０？因为在１０中就只有自己这本１０，另无它１０。

照他们的主张，４确乎必不是任何偶然的诸２所可组成；

他们说那未定之２接受了那已定之２，造成两个２；因为未定之２的性质１５就在使其所受之数成倍。

又，把２脱离其两个单位而当作一实是，把３脱离其三个单位而当作一实是，这怎么才可能？或是由于一个参与在别个之中，象"白人"一样遂成为不同于"白"与"人"（因为白人参与于两者），或是由于一个为别个的差异，象"人"之不同于"动物"和"两脚"一样。

又，有些事物因接触而成一，有些因混和而成一，有些因位置而成一；这些命意均不能应用那组成这２或这３的诸单位，恰象两个人在一起不是使之各解脱其个人而别成为整一事物，各单位之组成列数者意必同然。它们之原为不可区分，于它们作为数而论无关重要；诸点也不可区分，可是一对的点不殊于那两个单点。但，我们也不能忽忘这个后果，跟着还有"先于之２"与"后于之２"，它数亦然。就算４中的两个２是同时的；这些在８之中就得是"先于之２"了，象２创生它们一样，它们创生"本８"中的两４。因此，第一个２若为一意式，这些２也得是某类的意式。同样的道理适用于诸１；因为"第一个２"中的诸１，跟着第一个２创生４而入于本４之中，所以一切１都成意式，而一个意式将是若干意式所组成。所以清楚地，照这样的意式之出于组合，若说有动物的诸意式时，人们将可说动物是诸动物所组成。

总之，分化单位使成不同品种之任何方式均为一荒唐之寓言；我所说寓言的意义，就是为配合一个假设而杜撰的说明。我们所见的一〈单位〉无论在量上和在质上不异于别个一〈单位〉，而数必须是或等或不等——一切数均应如此，而抽象〈单位〉所组成的数更应如此——所以，凡一数若既不大于亦不小于另一数，便应与之相等；但在数上所说的相等，于两事物而言，若品种不异而相等者则谓之相同。倘品种有异，虽"本１０"中之诸２，即便它们相等，也不能不被分化，谁要说它们并不分化，又能提出怎样的理由？

又，假如每个１加另１为２，从"本２"中来的１和从"本３"中来的１亦将成２。现在（甲）这个２将是相异的１所组成；（乙）这１０个２对于３应属先于抑为后于？似乎这必是先于；因为其中的一个单位与３为同时，另一个则与２为同时。于我们讲来，一般１与１若合在一起就是２，无论事物是否相等或不等，例如这个善一和这个恶一，或是一个人和一匹马，总都是"２"。

假如"本３"为数不大于２，这是可诧异的；假如这是较大，那么清楚地其中必有一个与２相等的数，而这数便应与"本２"不相异。但是，若说有品种相异的第一类数与第二类数这就不可能了。

意式也不能是数。因为在这特点上论，倘真以数为意式，那么主张单位应各不同的人就该是正确的了；这在先曾已讲过。通式是整一的；但"诸１"若不异，"诸２"与"诸３"亦应不异。所以当我们这样计点——"１，２"……他们就必得说这个并不是１个加于前一个数；因为照我们的做法，数就不是从未定之２制成，而一个数也不能成为一个意式；因为这样一个意式将先另一个意式存在着而所有诸通式将成为一个通式的诸部分。这样，由他们的假设来看，他们的推论都是对的，但从全局来看，他们是错的；他们的观念为害匪浅，他们也得承认这种主张本身引致某些疑难，——当我们计点时说"１，２，３"究属是在一个加一个点各数呢，还是在点各个部分呢。但是我们两项都做了；所以从这问题肇致这样重大的分歧，殊为荒唐。

章八

最好首先决定什么是数的差异，假如一也有差异，则一的差异又是什么。单位的差异必须求之于量或质上；单位在这些上面似乎均有差异。但数作为数论，则在量上各有差异。

假如单位真有量差，则虽是有一样多单位的两数也将有量差。

又在这些具有量差的单位中是那第一单位为较大或较小，抑是第二单位在或增或减？所有这些都是不合理的拟议。它们也不能在质上相异。因为对于诸单位不能系以属性；即便对于列数，质也只能是跟从量而为之系属。又，１与未定之２均不能使数发生质别，因为１本无质而未定之２只有量性；这一实是只具有使事物成为多的性能。假如事实诚不若是，他们该早在论题开始时就有说明，并决定何以单位的差异必须存在，他们既未能先为说明，则他们所谓差异究将何所指呢？

于是明显地，假如意式是数，诸单位就并非全可相通，在〈前述〉两个方式中也不能说它们全不相通。但其他某些人关于数的议论方式也未为正确。那些不主于意式，也不以意式为某些数列的人，他们认为世上存在有数理对象而列数为现存万物中的基本实是，"本１"又为列数之起点。这是悖解的：照他们的说法，在诸１中有一"原１"〈第一个１〉，却在诸２中并不建立"原２"〈第一个２〉，诸３中也没有"原３"〈第一个３〉。同样的理由应该适用于所有各数。关于数，假使事实正是这样，人们就会得想到惟有数学之数实际存在，而１并非起点（因这样一类的１将异于其它诸１；而２，也将援例存在有第一个２与诸２另作一类，以下顺序各数也相似）。

但，假令１正为万物起点，则关于数理之实义，毋宁以柏拉图之说为近真，"原２"与"原３"便或当为理所必有，而各数亦必互不相通。反之，人苟欲依从此说，则又不能免于吾人上所述若干不符事实之结论。但，两说必据其一，若两不可据，则数便不能脱离于事物而存在。

这也是明显的，这观念的第三翻版最为拙劣——这就是意式之数与数学之数为相同之说。这一说合有两个错误。

（一）数学之数不能是这一类的数，只有持此主张的人杜撰了某些特殊的线索才能纺织起来。（二）主张意式数的人们所面对着的一切后果他也得接受。

毕达哥拉斯学派的数论，较之上述各家较少迷惑，但他们也颇自立异。他们不把数当作独立自在的事物，自然解除了许多疑难的后果；但他们又以实体为列数所成而且实体便是列数，这却是不可能的。这样来说明不可区分的空间量度是不真确的；这类量度无论怎么多怎么少，诸１是没有量度的；一个量度怎能由不可区分物来组成？算术之数终当由抽象诸１来组成。但，这些思想家把数合同于实物；至少他们是把实物当作列数所组成，于是就把数学命题按上去。

于是，数若为一自存的实物，这就必需在前述诸方式中的一式上存在，如果不能在前述的任何一式上存在，数就显然不会具有那样的性质，那些性质是主张数为独立事物的人替它按上去的。

又，是否每个单位都得之于"平衡了的大与小"抑或一个由"小"来另一个由"大"来？（甲）若为后一式，每一事物既不尽备所有的要素，其中各单位也不会没有差异；因为其中有一为大，另一为与大相对反的小。在"本３"中的诸单位又如何安排？其中有一畸另单位。但也许正是这缘由，他们以"本一"为诸奇数中的中间单位。（乙）但两单位若都是平衡了的大与小，那作为整个一件事物的２又怎样由大与小组成？或是如何与其单位相异？又，单位是先于２；因为这消失，２也随之消失。于是１将是一个意式的意式，这在２以前先生成。那么，这从何生成？不是从"未定之２"，因为"未定之２"的作用是在使"倍"。

再者，数必须是无限或是有限（因为这些思想家认为数能独立存在，并就应该在两老中确定其一）。清楚地，这不能是无限；因为无限数是既非奇数又非偶数，而列数生成非奇必偶，非偶必奇。其一法，当１加之于一个偶数时，则生成一个奇数；另一法，当１被２连乘时，就生成２的倍增数；

又一法当２的倍增数，被奇数所乘时就产生其它的偶数。

又，假如每一意式是某些事物的意式，而数为意式，无限数本身将是某事物（或是可感觉事物或是其它事物）的一个意式。可是这个本身就不合理，而照他们的理论也未必可能，至少是照他们的意式安排应为不可能。

但，数若为有限，则其极限在那里？关于这个，不仅该举出事实，还得说明理由。倘照有些人所说数以１０为终，则通式之为数，也就仅止于１０了；例如３为"人本"，又以何数为"马本"？作为事物之本的若干数列遂终于１０。这必须是在这限度内的一个数，因为只有这些数才是本体，才是意式。可是这些数目很快就用尽了；动物形式的种类着实超过这些数目。同时，这是清楚的，如依此而以意式之"３"为"人本"，其它诸３亦当如兹（在同数内的诸）亦当相似），这样将是无限数的人众；假如每个３均为一个意式，则诸３将悉成"人本"，如其不然，诸３也得是一般人众。又，假如小数为大数的一部分（姑以同数内的诸单位为可相通），于是倘以"本４"为"马"或"白"或其它任何事物的意式，则若人为２时，便当以人为马的一个部分。这也是悖解的，可有１０的意式，而不得有１１与以下各数的意式。又，某些事物碰巧是，或也实际是没有通式的；何以这些没有通式？我们认为通式不是事物之原因。又，说是由１至１０的数系较之本１０更应作为实物与通式，这也悖解。本１０是作为整体而生成的，至于１至１０的数系，则未见其作为整体而生成。他们却先假定了１至１０为一个完整的数系。至少，他们曾在１０限以内创造了好些衍生物——例如虚空，比例，奇数以及类此的其它各项。他们将动静，善恶一类事物列为肇始原理，而将其它事物归之于数。所以他们把奇性合之于１；因为如以３作奇数之本性则５又何如？

又，对于空间量体及类此的事物，他们都用有定限的数来说明；例如，第一，不可分线，其次２，以及其它；这些都进到１０而终止。

再者，假如数能独立自存，人们可以请问那一数目为先，——１或３或２？假如数是组合的，自当以１为先于，但普遍性与形式若为先于，那么列数便当为先于；因为诸１只是列数的物质材料，而数才是为之作用的形式。在某一涵义上，直角为先于锐角，因为直角有定限，而锐角犹未定，故于定义上为先；在另一涵义上，则锐角为先于，因为锐角是直角部分，直角被区分则成诸锐角。作为物质，则锐角元素与单位为先于；但于形式与由定义所昭示的本体而论，则直角与"物质和形式结合起来的整体"应为先于；因为综合实体虽在生成过程上为后，却是较接近于形式与定义。那么，１安得为起点？他们答复说，因为１是不可区分的；但普遍性与个别性或元素均不可区分。而作为起点则有"始于定义"与"在时间上为始"的分别。那么，１在那一方面为起点？上曾言及，直角可被认为先于锐角，锐角也可说是先于直角，那么直角与锐角均可当作１看。他们使１在两方面都成为起点。

但这是不可能的。因为普遍性是由形式或本体以成一，而元素则由物质以成一，或由部分以成一。两者（数与单位）各可为一——实际上两个单位均各潜在（至少，照他们所说不同的数由不同种类的单位组成，亦就是说数不是一堆，而各自一个整体，这就该是这样），而不是完全的实现。他们所以陷入错误的原因是他们同时由数理立场又由普遍定义出发，进行研究，这样（甲）从数理出发，他们以１为点，当作第一原理；因为单位是一个没有位置的点。（他们象旁的人也曾做过的那样，把最小的部分按装成为事物。）于是"１"成为数的物质要素，同时也就先于２；而在２当作一个整数，当作一个形式时，则１又为后于。然而，（乙）因为他们正在探索普遍性，遂又把"１"表现为列数形式涵义的一个部分。但这些特性不能在同时属之同一事物。

假如"本１"必须是无定位的单元（因为这除了是原理外，并不异于它１），２是可区分的，但１则不可区分，１之于"本１"较之于２将更为相切近，但，１如切近于"本１"，"本１"之于１也将较之于２为相切近；那么２中的各单位必然先于２。然而他们否认这个；至少，他们曾说是２先创生。

又，假如"本２"是一个整体，"本３"也是一个整体，两者合成为２〈两个整体〉。于是，这个"２"所从产生的那两者又当是何物呢？

章九

因为列数间不是接触而是串联，例如在２与３中的各单位之间什么都没有，人们可以请问这些于本１是否也如此紧跟着，紧跟着本１的应是２抑或２中的某一个单位。

在后于数的各级事物——线，面，体——也会遭遇相似的迷难。有些人由"大与小"的各品种构制这些，例如由长短制线，由阔狭制面，由深浅制体；那些都是大与小的各个品种。这类几何事物之肇始原理〈第一原理〉，相当于列数之肇始原理，各家所说不同。在这些问题上面，常见有许多不切实的寓言与理当引起的矛盾。（一）若非阔狭也成为长短，几何各级事物便将互相分离。（但阔狭若合于长短，面将合于线，而体合于面；还有角度与图形以及类此诸事物又怎样能解释？）又（二）在数这方面同样的情形也得遭遇；因为"长短"等是量度的诸属性，而量度并不由这些组成，正象线不由"曲直"组成或体不由平滑与粗糙组成一样。

所有这些观点所遇的困难与科属内的品种在论及普遍性时所遇的困难是共通的，例如这参于个别动物之中的是否为"意式动物"抑其它"动物"。假如普遍性不脱离于可感觉事物，这原不会有何困难；若照有些人的主张一与列数皆相分离，困难就不易解决；这所谓"不易"便是"不可能"。因为当我们想到２中之一或一般数目中的一，我们所想的正是意式之一抑或其它的一？

于是，有些人由这类物质创制几何量体，另有些人由点来创制，——他们认为点不是１而是与１相似的事物——

也由其它材料如与"１"不同的"众"来创制；这些原理也得遭遇同样严重的困难。因为这些物质若相同，则线，面，体将相同；由同样元素所成事物亦必相同。若说物质不止一样，其一为线之物质，另一为面，又一为体，那么这些物质或为互涵，或不互涵，同样的结果还得产生；因为这样，面就当或含有线或便自己成了线。

再者，数何能由"单与众"组成，他们并未试作解释；可是不管他们作何解释，那些主张"由１与未定之２"来制数的人所面对着的诸驳议，他们也得接受。其一说是由普遍地云谓着的"众"而不由某一特殊的"众"来制数，另一说则由某一特殊的众即第一个众来制数；照后一说，２为第一个众。所以两说实际上并无重要差别，相同的困难跟踪着这些理论——由这些来制数，其方法为如何，搀杂或排列或混和或生殖？以及其它诸问题。在各种疑难之中，人们可以独执这一问题，"假如每一单位为１，１从何来？"当然，并非每个１都是"本１"。于是诸１必须是从"本１"与"众"或众的一部分来。要说单位是出于众多，这不可能，因为这是不可区分的；由众的一部分来制造１也有许多不合理处；因为（甲）每一部分必须是不可区分的（否则所取的这一部分将仍还是众，而这将是可区分的），而"单与众"就不成其为两要素了；因为各个单位不是从"单与众"创生的。（乙）执持这种主张的人不做旁的事，却预拟了另一个数；因为它的不可区分物所组成的众就是一个数。

又，我们必须依照这个理论再研究数是有限抑无限的问题。起初似乎有一个众，其本身为有限，由此"有限之众"与"一"共同创生有限数的诸单位，而另有一个众则是绝对之众，也是无限之众；于是试问用那一类的众多作为与元一配合的要素？人们也可以相似地询问到"点"，那是他们用以创制几何量体的要素。因为这当然不是惟一的一个点；无论如何请他们说明其它各个点各由什么来制成。当然不是由"本点"加上一些距离来制作其它各点。因为数是不可区分之一所组成，但几何量体则不然，所以也不能象由众这个要素的不可区分之诸部分来制成一〈单位〉那样，说要由距离的不可区分之诸部分来制成点。

于是，这些反对意见以及类此的其它意见显明了数与空间量体不能脱离事物而独立。又，关于数论各家立说的分歧，这就是其中必有错误的表征，这些错处引起了混乱。那些认为只有数理对象能脱离可感觉事物而独立的人，看到通式的虚妄与其所引起的困惑，已经放弃了意式之数而转向于数学之数。然而，那些想同时维持通式与数的人假设了这些原理，却看不到数学数存在于意式数之外，他们把意式数在理论上合一于数学数，而实际上则消除了数学数；因为他们所建立的一些特殊的假设，都与一般的数理不符。最初提出通式的人假定数是通式时，也承认有数理对象存在，他是自然地将两者分开的。所以他们都有某些方面是真确的，但全部而论都不免于错误。他们的立论不相符合而相冲突，这就证实了其中必有不是之处。错误就在他们的假设与原理。坏木料总难制成好家具，爱比卡包谟⑥说过，"才出口，人就知道此言有误"。

关于数，我们所提出的问题和所得的结论已足够（那些已信服了的人，可在后更为之详解而益坚其所信，至于尚不信服的人也就再不会有所信服）。关于第一原理与第一原因与元素，那些专谈可感觉本体的各家之说，一部分已在我们的物学著述中说过，一部分也不属于我们现在的研究范围；

但于那些认为在可感觉物体以外，还有其它本体的诸家之说，这必需在讨论过上述各家以后，接着予以考虑。因为有些人说意式与数就是这类〈超感觉〉本体，而这些要素就是实在事物的要素与原理，关于这些我们必须研究他们说了些什么，所说的内容器实义又如何。

那些专主于数而于数又主于数学之数的人，必须在后另论；但是关于那些相信意式的人，大家可以同时观测他们思想的途径和他们所投入的困惑。他们把意式制成为"普遍"，同时又把意式当作可分离的"个别"来处理。这样是不可能的，这曾已为之辩明。那些人既以本体外离于可感觉事物，他们就不得不使那作为普遍的本体又自备有个体的特性。他们想到了可感觉世界的形形色色，尽在消逝之中，惟其普遍理念离异了万物，然后可得保存于人间意识之中。我们先已说过苏格拉底曾用定义〈以求在万变中探取其不变之真理，〉启发了这样的理论，但是他所始创的"普遍"并不与"个别"相分离；在这里他的思想是正确的。结果是已明白的了，若无普遍性则事物必莫得而认取，世上亦无以积累其知识，关于意式只在它脱离事物这一点上，引起驳议。可是，他的继承者却认为若要在流行不息的感觉本体以外建立任何本体，就必需把普遍理念脱出感觉事物而使这些以普遍性为之云谓的本体独立存在，这也就使它们"既成为普遍而又还是个别"。照我们上述的看法，这就是意式论本身的惩结。

章十

让我们对于相信意式的人提出一个共有的疑难，这一疑难在我们先时列举诸问题时曾已说明。我们若不象个别事物那样假定诸本体为可分离而独立存在，那么我们就消灭了我们自己所意想的"本体"；但，我们若将本体形成为可分离的，则它们的要素与它们的原理该又如何？

假如诸本体不是普遍而是个别的，（甲）实物与其要素将为数相同，（乙）要素也就不可能得其认识。因为（甲）试使言语中的音节为诸本体，而使它们的字母作为本体的要素；既然诸音节不是形式相同的普遍，不是一个类名，而各自成为一个个体，则βα就只能有一个，其它音节也只能各有一个（又他们〈柏拉图学派〉于每一意式实是也认为各成一个整体）。倘诸音节皆为唯一个体，则组成它们的各部分也将是唯一的；于是α不能超过一个，依据同样的论点，也不能有多数的相同音节存在，而其它诸字母也各只能有一个。然而若说这样是对的，那么字母以外就没有别的了，所有的仅为字母而已。（乙）又，要素也将无从取得其认识，因为它们不是普遍的，而知识却在于认取事物之普遍性。知识必须依凭于实证和定义，这就是知识具有普遍性的说明；若不是每一个三角的诸内角均等于两直角，我们就不作这个"三角的诸内角等于两直角"的论断，若不是"凡人均为动物"，我们也不作这个人是一个动物的论断。但，诸原理若均为普遍，则由此原理所组成的诸本体亦当均为普遍，或是非本体将先于本体；

因为普遍不是一个本体，而要素或原理却是普遍的，要素或原理先于其所主的事物。

当他们正由要素组成意式的同时，又宣称意式脱离那与之形式相同的本体而为一个独立实是，所有这些疑难就自然地跟着发生。

但是，如以言语要素为例，若这并不必需要有一个"本α"与一个"本β"而尽可以有许多α许多β，则由此就可以有无数相似的音节。

依据一切知识悉属普遍之说，事物之诸原理亦当为普遍性而不是各个独立本体，而实际引致了我们上所述各论点中最大困惑者，便是此说，然此说虽则在某一涵义上为不合，在另一涵义上讲还是真实的。"知识"类于动字"知"，具有两项命意，其一为潜能另一为实现。作为潜能，这就是普遍而未定限的物质，所相涉者皆为无所专指的普遍；迨其实现则既为一有定的"这个"，这就只能是"这个"已经确定的个体了。视觉所见各个颜色就是颜色而已，视觉忽然见到了那普遍颜色，这只是出于偶然。文法家所考察的这个个别的α就是一个α而已。假如诸原理必须是普遍的，则由普遍原理所推演的诸事物，例如在论理实证中，亦必为普遍；若然如此，则一切事物将悉无可分离的独立存在〈自性〉——亦即一切均无本体。但明显地，知识之一义为普遍，另一义则非普遍。