按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
叫味系恼胬硪簿褪侵兜钠毡楸厝恍问降某橄蟊硎尽Ｕ庑┱胬淼恼嬲莶荒苡衷谝恍┏橄竺庵校荒茉冢嗣牵Ф杂诒硐笏叩男问降闹苯右馐吨校谝远先坏摹⑽蘼欠床档南妊槁鄱媳沓鲎约旱囊馐吨小Ｈ绻嗣腔挂司俪鲆桓鲋っ鳎蔷椭荒苁钦庋桓鲋っ鳎喝嗣切胫赋鲈谌魏我桓鑫蘅苫骋傻恼胬碇幸寻糯さ亩鳎蚴亲魑ё槌桑Р糠郑蚴亲魑疤幔┤缥以赋鲆磺芯榈闹惫劬桶乓蚬傻挠τ茫匀鲜兑蚬墒且磺芯榈奶跫捍佣荒苁侨缧菽髡诺模狄蚬墒怯删椴模且跃槲疤岬摹！涫担肫渌抵っ魇俏切┮暗娜硕璧模隳蹈俏切┮鄣娜硕璧摹Ｕ庑┤斯讨吹胤袢夏切┯兄苯痈莸募狻Ｈ欢挥姓胬聿攀窃谝磺蟹矫娑记昂笠还岬模晕颐且庑┤酥赋鏊窃谝恢中翁屑浣映腥系囊簿褪撬窃诹硪恍翁兄苯臃袢系模簿褪侵赋鏊撬袢系暮退腥系牧秸咧涞穆呒厝还亓�
此外，科学的形式，也就是特殊统属于普遍之下、以次递进不已的形式，还带来了这样一种后果，即是说许多命题的真实性只有由于依附于其他命题，也就是通过一些同时又作为证明而出现的推论，才有逻辑的根据。但是人们决不可忘记，整个主一形式只是知识简易化的手段，而不是取得更高度的真确性的法门。从一个动物所属的“种”，递进到属、科、纲、目，来识别一个动物的生性，这比个别研究每次遇到的动物要容易些＇这是事实＇。但是一切由推沦引伸出来的命题，它的真实性最后总是决定于，有赖于某一个不是推论出来的，而是以直观为根据的真理。如果直观经常和推论是同样的近便，那就肯定的宁可采用直观。因为来自概念的一切引伸，由于前文指出的含义圈相互错综交叉和内容上出入无常的规定，都难免不为迷误所乘；各种各样的邪说诡辩就是证明这一点的例子。从形式上说，推论是完全正确的；然而由于它的材料，亦即由于概念，推论就很不可靠了。一面是含义圈的规定不够严格，一面是含义圈又多方交叉，以至一个含义圈的各个部分又可包含在许多其他含义圈内；这样，如前文已阐明了的，人们便可从前者任意过渡到后者的这一个或那一个，然后再如法炮制，继续下去。换句话说，就是小词以及中词都可以随便隶属于不同的概念，人们在这些概念中就任意选择大词和中词，由是结论亦随之而各异其趣。因此，无论在那里，由证明得来的真理远远抵不上直接自明的依据；只有后者远不可及时，才采用前者；而不是在两者同样近便，或后者更为近便时，也采用前者。所以我们在前面已经看到，在逻辑上，每一个别场合，如果直接的知识比演绎而来的科学知识对于我们更为近便的话，我们事实114上总是按自己对于思维法则的直接知识来指导思维而把逻辑放在一边不用。
§15
我们既已确信直观是一切证据的最高源泉，只有直接或间接以直观为依据才有绝对的真理，并且确信最近的途径也就是最可靠的途径，因为一有概念介于其间，就难免不为迷误所乘；那么，在我们以这种信念来看数学，来看欧几里德作为一门科学来建立的，大体上流传至今的数学时，我说，我们无法回避不认为数学走的路既是奇特的，又是颠倒的。我们要求的是把一个逻辑的根据还原为一个直观的根据，数学则相反，它偏要费尽心机来作难而弃却它专有的，随时近在眼前的，直观的依据，以便代之以逻辑的证据。我们不能不认为这种做法，就好比一个人锯下两腿以便用拐杖走路一样，又好比是《善感的胜利》一书中的太子从真实的自然美景中逃了出来，以便欣赏摹仿这处风景的舞台布景。这里我不能不回忆到我在《根据律》第六章中所已说过的，并且假定读者对此也是记忆犹新，宛在目前的。这样，我这里的陈述就可以和那里说的挂上钩，而无庸重新指出一个数学真理的单纯认识根据和它的存在根据之间的区别是在于前者可由逻辑途径获得，后者则是空间、时间各个局部间直接的，卑由直观途径认识的关联。唯有理解这种关联才能真正令人满意，才能提供透彻的知识；如果单是认识根据，那就永远停留在事物的表面上，虽然也能给人知道事物是如此的知识，但不能给人知道＇事物＇ 何以是如此的知识。欧几里德就是走的后面这条路，显然是不利于科学的路。譬如说，他应该一开始就要一劳永逸地指出在三角形之中，角与边是如何互为规定的，是如何互为因果的；并且在他指出这些时，还应该按照根据律在纯空间上所有的形式；应指出这一形式在三角形角和边的关系上，和在任何地方一样，都要产生这样一种必然性，即一事物之是如此，乃是由于完全不同的另一事物之是如彼。他不这样让人们对于三角形的本质有彻底的理解，却提出有关三角形一些片段的，任意选择的命题，并经由逻辑地，按矛盾律获得的艰涩证明而为这些命题提出逻辑的认识根据，人们不是对于这种空间关系获得了应有尽有的知识，人们得到的只是这些关系中任意传达出来的一些结果；这就好比把一部精巧的机器指给一个人看时，只告诉他一些不同的作用，而不把这机器的内在结构和运转原理告诉他一样。欧几里德所证明的一切如此如彼，都是人们为矛盾津所迫不得不承认的，但是何以如此如彼，那就无法得知了。所以人们几乎是好象看过魔术表演一样，有一种不太舒服的感受，事实上，欧几里德大多数的证明都显著地象魔术。真理几乎经常是从后门溜进来的，因为它是由于偶然从某一附带情况中产生的。一种间接的反证常常一扇又一扇把门都给关了，只留下了一扇不关，这也就是人们无可奈何，不得不由此而进的一扇门。通常在几何学中，例如在毕达戈拉斯定理中，须要作出一些直线，却不明白为什么要这样做；往后才发现这些原来都是圈套，出其不意地收紧这圈套的口，就俘虏了学习人的信服，学习人只得拜倒而承认一些他完全不懂个中情况的东西。事实竟至于此，学习人可以从头至尾研读欧几里德的著作，然而仍不能对空间关系的规律有任何真正的理解，代之而有的只是背诵一些来自此等规律的结果。这种原属经验的，非科学的知识就如一个医生，他虽知道什么病要用什么药，却不认识两者间的关系一样。这一切都是由于人们异想天开，拒绝一个认识类型自有的求证求据的方式，而横蛮地代之以一种与这类型格格不入的方式。同时，在别的方面欧几里德用以贯彻他这主张的方法却还值得赞美，这是好多世纪以来便是如此的，以至于人们竟宣称他这种治数学的方法是一切科学论述的模范，所有其他科学莫不争起效尤；不过人们后来自己也不知其所以然，又从这里回过头来了。在我的眼光看起来，欧几里德在数学上使用的方法只能算作一种很“辉煌的”错误。凡是一种大规模的，故意有计划地造成而后来又普遍地被称许的迷误，既可以涉及生活也可以涉及科学；大致总可以在当时有权威的哲学中找到他的根据。最早是厄利亚学派发现了直观中的事物和思维中的事物两者间的区别，更常发现两者间的冲突，并且在他们的哲学警句中，诡辩中广泛地利用过这种区别。继厄利亚学派，往后有麦珈利学派，辩证学派，诡辩派，新学院派和怀疑论者；他们指出要注意的是假象，也就是感官的迷误，或者更可说是悟性的迷误。悟性把感官的材料变为直观，常使我们看见一些事物，其非真实是理性一望而知的；例如水影中显为破折的直杆等等。人们已知道感性的直观不是绝对可靠的，就作出了过早的结论，以为只有理性的，逻辑的思维才能建立真理；其实柏拉图（在《巴门尼德斯》），麦珈利学派，毕隆（Pyrrhon）和新学院溅已在一些例子（如后来塞克司都斯、恩比瑞古靳所用的那类例子）中指出在另一方面，推论和概念也导致错误，甚至造成背理的推论和诡辩，说这些东西比感性直观中的假象更容易产生，却更难于解释。那时，与经验主义对立而产生的唯理主义占着上风，欧几里德就是遵循唯理主义来处理数学的，所以他只将公理，无可奈何地，建立于直观证明上，其他一切则建立在推论上。在＇过去的＇一切世纪中，他的方法一直是有权威的；并且一天不把先验的纯粹直观从经验的直观区别开来，这种情况也必然会延续下去。虽有欧几里德的注释家普洛克罗斯似乎已经看到这种区别，譬如克卜勒在他那部《世界的谐律》中译成拉丁文的一段，就是这位注释家的原作在这方面的表现；不过普洛克罗斯不够重视这件事，他是把它孤立地提出来的，他未被人注意，自己也没有贯彻到底。所以直到两千年以后，康德的学说既命定要在欧洲各民族的知识、思想、行为上产生这样重大的变化，才会在数学领域里促成同样的变化。因为只有我们从这位伟大哲人那里懂得空间和时间的直观完全不同于经验的直观，完全无待于一切感官上的印象，决定感官而不为感官所决定，即是说空间和时间的直观是先验的，从而也是根本不容感官的迷误入侵的；只有学得了这些，然后我们才能理解欧几里德在数学上使用的逻辑方法只是多余的谨慎，有如健全的腿上再加拐杖似的；有如行人在夜间把白色的干路当作水，唯恐踏入水中，宁可在路边高一步，低一步，走过一段又一段，还自以为得计没有碰到这原不存在的水。直到现在，我们才能有确实把握说：在我们直接观察一个几何图形时，那必然是显现于我们之前的，既不来自划在纸上不很精确的图形，也不来自我们边看边设想的抽象概念。而是来自我们意识中一切先验的认识的形式。这形式，无论在什么地方，都是根据律；在这里、作为直观的形式，也即是空间，则是存在的根据律。存在根据律的自明性、妥当性，和认识根据律的自明性、妥当性，亦即是和逻辑的真确性，是同样大小，同样直接的。所以我们不用，也不可为了单独相信后者，就离开数学自有的领域而在二个和数学不相干的领域，概念的领域里求取数学的证明。如果我们坚守数学自有的园地，我们便可获得一个＇很＇大的优点，就是在数学中所知道的“有这么回事”与其“何以如此”现在成为一件事了，而不再是欧几里德把它完全割裂为两事，只许知道前者，不许知道后者的办法了。其实，亚里士多德在《后分析篇》第一篇第27节中说得非常中肯：“同时告诉我们‘有一事物’及其‘何以如此’的知识比分别讲述事物之有及其所以然的知识要准确些，优越些。”在物理学中我们要得到满足，只有事物之如此与其何以如此两种知识统一起来，才有可能。单是知道托瑞切利管中的水银柱高过二十八英寸，如果不同时知道其所以如此是由于空气的压力，那是一种不够的知识。然则在数学园里的隐秘属性，譬如＇知道＇ 圆形中两两交叉的弦的线段总是构成同样的矩形，就能满足我们吗？这里的“是如此”，欧几里德固然已在第三卷第三十五�