哲学科学常识-第28部分
按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
从伽利略和牛顿开始，越来越多的自然现象得以用数学语言来成功地加以描述。一两个世纪以后，物理学整体上数学化了，从伽利略起直到今天，“‘数学物理学’与‘理论物理学’这两个用语是可以替换使用的”。克莱因表达了相同的看法：“任何近代物理理论实质上是一个数学方程体系，”对于这一点，“那些没有进入到〔数学〕这座现代德尔菲神秘之城的门外汉是不满意的，但是现在科学家已经学会接受了。的确，面对如此众多的自然界的神秘，科学家非常高兴把自己隐藏在数学符号之中。”
今人回顾科学革命时代，不会不谈到数学在力学中的巨大成功，而同样明显的是，那时的人们曾普遍希望运用数学推理来通达一切知识领域。知识的整体观念在发生转变。斯宾诺莎要把整个人的研究都并入数学：“我将要考察人类的行为和欲望，如同我考察点、线、面和体积一样。”物理学成为科学的典范。其他学科一一跟进。康德的这句话被引用了无数次，让我再增加一次：“我断定，在所有关于自然的特定理论中，我们能够发现多少数学，就能发现多少真正的科学。” 哈维把定量研究引入生理学，据科恩说，这也是哈维最初能获得支持的唯一理由。达尔文理论仍是定性理论，但且不说生物学中有相当一部分逐渐变为应用物理学和化学的一个分支，从孟德尔开始的遗传学最初就是由数量分析引导的，到二十世纪，与遗传学相合并的“新达尔文综合”引进概率论，到了今天，已是一种高度数学化的理论。例如，关于群体中的基因频率在世代交替过程中保持不变的哈迪…温伯格原理就是通过纯粹数学方法得出的。乔治·威廉姆斯说：“在最终意义上，自然选择涉及的是一个控制论意义上的抽象概念即基因，以及一个统计学意义上的抽象概念即平均表现型适合度。”若对音乐进行科学研究，音乐学就是数学的一个分支。把音乐分析为音高、音色、音量、节奏，就可以清楚地看到，“音乐实质上是用数字来表示的”。
有多少数学，就有多少科学。数学构成了科学的硬核。物理学是“硬科学”的典范，用斯蒂芬·科里尼的话说，物理学一向被视作“硬科学”中的最硬者。生理学和生物学仍然不像物理学那样硬。我们用同样的眼光看待社会科学，在社会科学里，经济学是最硬的科学，社会学之属努力把数学引入自身，但其“科学性”还远远不如经济学。
自然由深藏在现象/事物背后的数的运行或数的规律指挥，这是一个古老的信念。不过，在那个古老的时代，数这个概念还夹杂着大量感应因素。利用纯数学来描述我们实际身处其中的现象/事物，这在古代的成功应用是很有限的。这些描述远不能提供整体的自然图景，它们毋宁是用来加固这个信念的一些例证。而近代以数学为原理的思想，则要求全面地使用数字来描述每一自然现象。数学在近代科学中的应用不仅远为广泛，而且远为深刻。经过数百次连续演绎推理得出的一个定理，在应用中竟被证明是完全正确的，这似乎只能给出一个结论：自然界是按照一个合乎理性的计划设计的。数学成了理性的代名词。在新进的思想家看来，要坚持理性态度，就等于用数学来考虑问题。理性由合情合理转变为数学理性。
为什么是数学？（1）
为什么是数学？
我们勾画了近代科学数学化的轮廓。但我们最关心的是这个问题：为什么数学或数学化能够成就科学革命？能够让物理学家们深入外部宇宙的机制，获得哲学…科学无法企及的巨大成果？这是问题把我们引向一片人迹罕至的林野，本节尝试迈出几步粗拙的探索。
数学的优点常被人称道：数学概念的准确性、论证过程的严格性、数学真理的确定性和普遍性。
数学是精确的，因此近代科学中成熟的部分得名为“精确科学”。数字可以描述极小或极大的量，我们平常说长短、很长、很短，这些说法是不精确的，身高1。88米和1。90米都是个子很高，但1。88米和1。90这两个数字却说出了两者的细微不同。不过这种意义上的精确是乏味不足道的，在这个意义上，“数学是精确的”这话没说出什么特别的东西，无非是说数学语言是专门用来处理量的，所以它特别适合处理包括量上的细微区别在内的各种与量有关的事情。羡慕和仰慕有细微的区别，准确和精确这两个词有细微区别，但这些区别并不适合用数学来处理。有时我们会说，我爱你甚于你爱我，但我们不会说，你对我的爱是我对你的爱的78％。在这些事情上，我们不知道精确量化是什么意思。有各种各样的准确性，我说丁丁你到我这里来一下，丁丁不会问：到东经多少度北纬多少度。“到这里来一下”不准确吗？在这里够准确了。维特根斯坦举了个好玩的例子，他叫他的仆人把切面包的刀拿来，他的仆人拿来了一个刮胡刀，他说我要的是切面包的刀，仆人说，我给你的是一把更精确的刀。
自然语言原本是包含数字的，如果需要，我们也能够用自然语言来表示各种量上的差别。然而，如亚里士多德的十范畴所提示的，量只是我们平常所关心的种种范畴中的一个，我们平常更多关心的是质，自然语言在表示极细微的量上的差别相当笨拙就是可理解的了。
“数学是精确的”这一说法的远为重要的意义是说：数学是明确无歧义的，数学描述和数学推理具有唯一性。笛卡尔赞美数学的明确性，就是着眼于数学推理的唯一性。从人皆自利可以推出母亲在和女儿利益冲突时将保护她本人的利益，也可以推出她将保护女儿的利益，这是因为自利概念或自我概念包含着丰富的或曰芜杂的〔视你的立场而定〕内容。而从2＋2只能推出4。所谓数学论证的严格性及其结论的确定性，也就由此而来。
与精确性和唯一性相关的是全等的概念。2＋2＝4，完完全全相等。自然概念中也有些“同义词语”，例如快乐和愉快，例如张三打了李四和李四被张三打了，但它们之间几乎总是有点儿细微差异的，而87＋133=110＋110却是完全相等。
但这样来比较数学中的全等和自然表达式之间的近似是不妥当的。数学中能够出现全等，不是由于数字精确，而仍然是由于数学是描述量的语言。羡慕和仰慕有细微的区别，这种区别不是量上的区别。而量之间的可比与质之间的可比不是一回事。质在某种意义上也是可比的，这一红色比那一红色更红，这一曲子比那一曲子更悦耳，这人比那人更善良。但是，大的量是由小的量相加而成，较强的质却不是由较弱的质相加而成。在一个笑话里，张三说：今天真热，32度；李四应道：是啊，昨夜才16度，今天白天比昨天夜里整整热了一倍。如迪昂所指出，把很多暗红色的布头缝在一起并不会得到一块鲜红的布，很多平庸的数学家聚在一起不会成为拉格朗日。“质的每一强度都具有它自己的个性特征。”
量上的可比性是为计算服务的。为了能够计算，我们就需要把质的强度转换为量的大小。例如，我们用温度计里水银柱的高低来标示冷热的变化。两个较热不能相加为更热，但水银柱标度的数是可以加减的。进一步，我们还要努力把不同的质转换为可以换算的量，例如把红黄这些颜色转换为波长。“为了使数学家把具体的实验境况引进他的公式，就必须以测量为中介把这些境况翻译为数。”物理学从量上来看待自然，描述自然，因此，它要求把各种质还原为量，从而纳入可计算的范围。笛卡儿要求把一切性质都还原为长宽高，用意在此。
从伽利略以来，圆锥曲线运动就被视作两个直线运动的综合。我们不妨说，从数学的角度来看，存在着两个运动。不过，这里的“看”是看的衍生意义，严格说，数学并不看，而是分析和计算。较少误解的说法是，采用数学语言，圆锥曲线运动就可以被描述为两种运动之合成。伽利略为什么要多此一举呢？因为把圆锥曲线还原为两条直线我们就能去除曲线和直线之间的以及不同种类曲线之间的质的区别，使得不同的性质的轨迹可以互相比较和换算，可以充分用数学来处理。
因此，全等并不是从数学的精确性中产生出来的，而是数学语法的基本设置――数学语言本来就是用来进行计算的，或者说，是用来进行计算式推理的。数学中的等式是量之间换算的主要工具。自然概念则首先是质的，我们关心的是羡慕和仰慕在质上的区别，量上的区别是第二位的。所以，全等在自然语言中并无用武之地，因为自然语言的用途不在于计算。
数学的真正独特力量来自它的普遍性或普适性。巴伊说，“数学解释的优势在于它们具有普遍性。”这代表了很多论者的看法。尽管人们经常称说数学的普遍有效性，但人们是在什么意义上谈论普遍的，并不很清楚。数学普遍性的深层含义是：在一切现象下面，都有物理结构，而这个物理结构只能用数学来表示。这种迂回的普遍性是还原论的一部分，这里无法深谈。通常，数学的普遍性被理解为数学可以直接应用于万事万物。这显然颇有疑问。一方面，哲学不也具有普遍性吗？古希腊的原子论、决定论、一分为二，都说是普遍规律或一般世界结构。另一方面，两个相濡以沫共同生活了多年的夫妇感情破裂，我们很难用数学来解释破裂的原因，也很难用数学计算出其间的谁是谁非。
为什么是数学？（2）
要理解数学的“普遍性”，关键在于认识到并牢记：数学是一种语言，“大自然这部书是用数学文字写成的”这句箴言已经明白说出了这一点。数学不是和物理学并列的一门科学，数学家的工作不同于物理学家的工作，纯数学家研究数学，很像语言学家研究语言，用齐曼的话说：“纯数学并不是普通的科学……纯数学家是语法和句法的专家。”数学不是一门“自然科学”，这虽众所周知，但在反省科学的性质之时却经常遗忘。
数学是一种语言，所谓数学的普遍性无非是说：数学是一种通用的语言，而不像英语、汉语、斯瓦西里语那样是一个语族所使用的语言。只有通用语言才能提供普适理论。
哲学曾希望找到世界的客观的本质结构。然而，即使找到了，我们的表述也会因为语言的限制而受到歪曲。也许是德国人最先发现了世界的因果机制，发现了人生的终极目的，这时，我们能用汉语来表述这些吗？显然，如果原因不恰恰等同于Ursache，幸福不恰恰等同于Gluecklichkeit，那么，在用汉语表述这一结构时就会走样。当然，困难远不止于表述。哲学家们最初出发去寻找的是原因吗？还是去寻找Ursache？还是cause？还是aitia或别的什么？希腊人对这里的麻烦不敏感，他们只承认一种语言。中国古人对此也不敏感。这个麻烦后来却越来越困扰近代的欧洲思想家。发明或发现一种普遍语言成为近代思想家的持续不懈的努力，从培根和莱布尼茨到柴门霍夫，从弗雷格到乔姆斯基和S。平克。莱布尼茨希望构造一种普遍语言，以使我们的论证变得和计算一样。然而，何必另外构造一种，数学就是现成的普遍语言。在数学语言之外，我们无法找到这种语言；要让论证变得和计算一下，就不得不让语言变成数学语言。
为什么数学语言会成为普遍语言呢？简言之，数学的普遍性来自量的外在性。数学是描述量的语言，而量是互相外在的。亚理士多德说，量是具有相互外在的部分的东西。迪昂评论说这一说法过于简单，在我看，简单固然简单，这个说法却委实道出了量的本质。很多哲学家都见到量的根本规定是外在性，亚里士多德如是观，黑格尔也如是观。
纯量的语言把一切关系转变为外在关系。数字没有概念内容，它是一个纯形式符号，其“意义”完全由它与其他同族符号的〔外部〕关系规定。数学成为普遍语言，这不是说，数学语言比到处泛滥的英语更加普遍，它也不是像世界语那样的建制，数学之成为普遍语言，因为它是另外一类语言，它由不具内涵的符号组成，这些由外在关系所连接的符号组成一个数学系统，“一个没有经验内容的庞大而精巧的概念结构”。按照希尔伯特的说法，去除了概念内容之后，“我们最后得到的不是用普通语言传达的实质数学知识，而只是含有按照确定规则逐次生成的数学符号和逻辑符号的一组公式而已。……于是实质演绎就被一个由规则支配的形式程序替换了”。迪昂从一个稍有不同的角度概括了这个转变过程，他说，科学家不去单独研究所涉的概念，而是把它们转化为维度概念，以便用数来表示它们。接下来，“他们不是把这些概念的性质本身联系起来，而是把测量所提供的数交付按照固定的代数法则进行的处理。他们用运算代替演绎。”
由规则支配的形式程序替换了实质演绎，从而能进行漫长的推理而不失真。数学推理的长程有效性给笛卡儿以最深刻的印象：“几何学家通常总是运用一长串十分简易的推理完成最艰难的证明。这些推理使我想象到，人所能认识到的东西也能是像这样一个接着一个的，只要我们不把假的当成真的接受，并且一贯遵守由此推彼的必然次序，就决不会有什么东西遥远到根本无法达到，隐藏到根本发现不了。” 用费曼使用过的一个比喻来说，数学推论就像晶体阵列，晶体一端的原子的位置决定了晶体另一端的原子的位置，即使相隔上百万个原子，这种决定关系仍然有效。
数学推理无疑和概念演绎有亲缘，但数学推理自有其特点。我们的自然语言是我们的经验培育起来的，它受到我们的感性和经验的约束。自然语言也含有逻辑，我们能依循其中的逻辑通达我们不能直接感知的事物，我们多多少少能够理智地谈论神明、物自体、月上天球的互相作用方式，然而这些谈论始终受到可感的特殊事物的约束。上节说到，由于自利概念包含着多维的内容，含有自利概念的自�
![(科学的超电磁炮同人)[黑琴]末世之我一直在封面](http://www.baxi2.com/cover/noimg.jpg)