萊布尼茨數學思想研究論文

時間:2022-09-06 08:17:00

導語:萊布尼茨數學思想研究論文一文來源于網友上傳,不代表本站觀點,若需要原創文章可咨詢客服老師,歡迎參考。

萊布尼茨數學思想研究論文

一、符號邏輯:“通用數學語言”

萊布尼茨數學問題的最早探索和最初貢獻是試圖沿著笛卡爾和霍布斯的思路建構所謂的“通用語言”。這種語言是一種用來代替自然語言的人工語言,它通過字母和符號進行邏輯分析與綜合,把一般邏輯推理的規則改變為演算規則,以便更精確更敏捷地進行推理。([1],p.8)或者說,“通用語言”是一套表達思想和事物的符號系統,利用這些符號可以進行演算并推出各種知識。在《論組合術》中,二十歲的萊布尼茨曾立志要創設“一個一般的方法,在這個方法中所有推理的真實性都要簡化為一種計算。同時,這會成為一種通用語言或文字,但與那些迄今為止設想出來的全然不同;因為它里面的符號甚至詞匯要指導推理;錯誤,除去那些事實上的錯誤,只會是計算上的錯誤。形成或者發明這種語言或者記號會是非常困難的,但是可以不借助任何詞典就很容易懂得它。”([2],p.123)在1679年9月8日給惠更斯的信中他又寫道,有一個“完全不同于代數的新符號語言,它對于精確而自然地在腦子里再現(不用圖形)依賴于想象的一切有很大的好處。……它的主要效用在于能夠通過記號〔符號〕的運算完成結論和推理,這些記號不經過非常精細的推敲或使用大量的點和線會把它們混淆起來,因而不得不作出無窮多個無用的試驗;另一方面,這個方法會確切而簡單地導向〔所需要的〕結果。我相信力學差不多可以象幾何學一樣用這種方法去處理。”([3],p.151~152)

綜合萊布尼茨零零碎碎的設想,他的宏偉規劃大體旨在創造兩種工具:其一是通用語言,其二是推理演算(calaulusratiocinator)。前者的主要使命是消除現存語言的局限性和不規則性,使新語言變成世界上人人會用的具有簡明符號、合理規則的語言,規定符號的演變規則與運算規則,使邏輯演變依照一條明確的道路進行下去,進而解決所有可用語言表達的問題。

為此,萊布尼茨做了兩方面的努力:一是尋找能夠代表所有概念并可認作最根本的不可分析的符號;二是給出表述諸如斷定、合取、析取、否定、全稱、特殊、條件聯結等形式概念的設計。關于第一方面,萊布尼茨首次設想用數目代表原初概念,而邏輯演算則用如同算術中的乘或除來代替。他認為用這種數字的不同方式排列組合,進行各種運算,就可產生無窮多的復合概念。這一思想后來改進為以素數代表基本概念,而復合詞項即可借分解相應的數字成為它們的素數因子來加以分析。以“人是理智動物”為例,用素數“3”代表“動物”、“5”代表“理智”,則“人”即以“15=3.5”代表。為了更好地構設“通用語言”,萊布尼茨又以設想的“人類概念字母表”為語言詞匯基礎創制了一些邏輯符號,如“∪”(并)、“∩”(交)等,一直沿用下來。

關于第二方面,萊布尼茨的工作大致可以1679、1686、1690三個年代為標志劃分為三個階段。([4],pp.271~273)

第一階段,萊布尼茨改進從數字代替概念以其演算,代之以對普通命題經驗分析為基礎的代數邏輯。他以全稱肯定命題“a是b”的形式開始,提出五條基本演算規則:(1)ab是ba(交換律);(2)a是aa(重言律);(3)a是a(同一原則);(4)ab是a或ab是b(化簡原則);(5)如a是b且b是c,則a是c(傳遞原則)。以此為據,他證明了同一和包含兩個邏輯系詞之間的重要關系,即,如a是b且b是a,則a與b是同一的。進而,他又提出四個定理:(1)如a是b且a是c,則a是bc;(2)如a是bc,則a是b且a是c;(3)如a是b,則ac是bc;(4)如a是b且c是d,則ac是bd。由此可見,萊布尼茨在第一階段的邏輯演算已相當完善和科學化,為邏輯的系統化打下了堅實的基礎。

第二階段,萊布尼茨用等式符號作系詞符號,借公式A=BY表述全稱肯定命題(Y為一未確定的系數,用以修飾B而使B成為A的一部分),同時提出雙重否定之為肯定,即“非非A=A”,并由此演釋出一系列定理。為了進一步發展演算,萊布尼茨還試圖通過與屬性組合的關系,用代數方法來描述四個直言命題,甚至對四個直言命題的表示法提出了九個方案。

第三個階段,萊布尼茨最有價值的工作是羅列了十四個基本命題:(1)A=A+A“+”表示邏輯相乘,下同);(2)如A=B且B=C,則A=C;(3)如A=B且B≠C,則A≠C;(4)如A=B,且B<C,則A<C;(5)如A=B且C<B,則C<A;(6)如A=B且C=D;則A+C=B+D;(7)如A=B,則A+C=B+C;(8)A<B,則A+C<B+C;(9)如A+B=A,則B<A;(10)如B<A,則A+B=A;(11)如A<B且B<C,則A<C;(12)如A<B且B<A,則A=B;(13)如A<C且B<C,則A+B<C;(14)如A<B且C<D,則A+C<B+D。為適應邏輯相除,他又引進邏輯相減運算,定義為:如B包含在A中且C包括除去內容B之外的整個A的內容,則A-B=C。如前例“人=動物+理智”即可推為“人-理智=動物”。

上述符號構設顯示,萊布尼茨的中心思想是致力于以符號表示普遍概念的“通用語言”和以代換法進行數學演算他自稱的“通用數學”。就今天的眼光看來,他實際上已經發現了符號邏輯的若干重要原則和定理,觸及到后由哈米爾頓所闡發的謂項量化問題,認識到在直言與假言命題之間的基本類比(即原因包含它的結果正如主項包含它的謂項),并且把握了邏輯相加的問題,甚至討論過非三段論的關系推理。因此,萊布尼茨實際上已探察到后來為布爾和施羅德所發展的邏輯代數的整個基礎。數理邏輯學家有沒有看過萊氏的著作,知道不知道萊氏的計劃,但所作的研究大體上都是沿著萊氏所期望的方向進行的。”([5],p.10)所以,整個數學界都一致公認他是數理邏輯的首創者和真正奠基人。

萊布尼茨的符號數學研究在生前沒有公布,結果使數理邏輯的發展延遲了一個半世紀。([4],p.119)可他關于微積分的成果卻由于較早發表而惠澤數學界并引發一場爭論持久的歷史公案。

二、微積分:“理性的代數學”

1684年萊布尼茨在萊比錫的《教師學報》(ActaEruditorum)上首次發表了題為《關于求極大、極小和切線的新方法,也能用于分數和無理量的情形及非尋常類型的有關計算》(簡稱《新方法》)的文章。這是他關于微分計算要點的代表作,全文只有六頁。1686年萊布尼茨又在《教師學報》上發表了題為《論一種深邃的幾何學和不可分元分析以及無窮》一文。這是他最早發表的以討論積分學為主的文章,實際可看作《新方法》的續篇。

萊布尼茨把最初的微積分稱為求差的方法與求和的方法。他的基本思想是把一條曲線下的面積分割成許多小矩形與曲線之間微小直角三角形的兩邊分別是曲線上相鄰兩點的縱坐標和橫坐標之差。當這兩無限減小時,曲線上相鄰兩點便無限接近。聯結這樣兩點就得出曲線在該點的切線。這就是求差的方法。求差的反面就是求和。當曲線下面的矩形被分割得無限小時,矩形上面的那個三角形可以忽略不計,此時就用這些矩形之和代表曲線下的面積。

早在1666年,萊布尼茨就發現帕斯卡算術三角形與調合三角形之間存在著有趣的關系。([6],pp.216~217)在帕斯卡三角形中,任意一個元素既等于其上一行左邊各項之和,又等于其下一行相鄰兩項之差;而在調合三角形中,任一元素均是其下一行右邊各項之和,也是緊靠其上兩項之差。

算術三角形調合三角形

萊布尼茨在筆記中寫出了各階的差和微分:

自然數0,1,2,3,4,5,…y

一階差1,1,1,1,1,1,…dy

二階差0,0,0,0,0,…

自然數平方0,1,4,9,16,…y

一階差1,3,5,7,…dy

二階差1,2,2,2,…d(dy)

三階差1,0,0,…

他把這些與微積分聯系起來:一階差相當于dy,它們的和等于y,如1+3+5+7=16。萊布尼茨認為,這種和與差之間的互逆性,與依賴于坐標之差的切線問題及依賴于坐標之和的求積問題的互逆性是一樣的。差別僅在于帕斯卡算術三角形與調合三角形中的兩個元素之差為有限值,而曲線的縱坐標之差是無窮小量。這說明他在考慮無窮小量的和差運算時,已將其與他早些時候關于有限量和差可逆性關系的研究聯系起來。([10],p.392)由此也可看出萊布尼茨研究微積分的代數出發點,而不是幾何出發點。(如[7],p.101)

為解決求積問題,萊布尼茨把流動縱坐標是y的平面曲線下的曲邊梯形的面積用符號y表示。這樣,曲線的縱坐標就與面積變量明顯地聯系起來。過了幾年,他便用“sydx”表示面積,“∫”是“Sum(和)”的第一個字母“S”的拉長。

在求量的差即微分方面,萊布尼茨先是引進了符號“x/d”表示x的微分,意思是求“差”要關系到量的同次的降低,并且他還認為,如果同時出現不同階的微分,則只留下最低階的,而把所有高階的微分舍去。至于這樣做的理由,萊布尼茨雖提供了多種解釋,但都不充分,其實毋寧說他是當作“公理”來使用的。后來,他將“x/d”改為“dx”,一直沿用至今。

從上述思路出發,萊布尼茨給出了微積分的基本公式:

d(x±y)=dx±dy(1)

d(xy)=xdy+ydx(2)

d(x/y)=ydx-xdy/y[2](3)

對于(2),他的推導是,令x、y分別成為x+dx、y+dy,則

(x+dx)(y+dy)=xdy+ydx+dxdy+xy于是d(xy)=(x+dx)(y+dy)-xy=xdy+ydx+dxdy

dxdy是比xdy+ydx高一階的無限小量,可以舍去,所以d(xy)=xdy+ydx

用同樣的方法也可推導出公式(1)和(3)。

有了微分法的基本運算律,對整指數的冪函數x[n]就有dx[n]=nx[n-1]。又由于求和是求差的逆運算,所以還有∫x[n]dx=1/n+1x[n+1](n≠-1)。這兩個公式雖只對n是正整數情況而言,但萊布尼茨卻斷然宣布它們當n取其它數值時仍然成立。接著,萊布尼茨陸續地推導出指數和對數等超越函數的微分公式。

萊布尼茨的微積分算法是在解決幾何和物理問題的過程中建立和完善起來的。他邊建立新算法,邊用這種算法解決當時物理學與幾何學提出的疑難問題,有時還用老方法來解決問題以檢驗新方法的正確性。除了切線問題、極值問題、曲率問題、求積問題等幾何問題,他還曾用新方法證明了光的折射定律。所有這些都顯示了新算法比傳統方法更加優越。

除了以上成果,萊布尼茨在微積分方面的具體研究還有:(1)復合函數的微分法則;(2)弧微分法則ds=根號下dx[,2]+dy[,2];(3)對數函數和指數函數的微分法則;(4)在積分號下對參變量求微分的方法;(5)曲線繞x軸旋轉所成的旋轉體體積公式V=π∫y[2]dx;(6)求切線、求最大值最小值以及求拐點的方法;(7)討論曲率,密切圓和包絡理論。([8],pp.394~395)

萊布尼茨微積分研究的背景與當時整個西歐的數學家們是一致的,他的工作基礎也是建立在對無窮小的分析上。因此,此后很長一段時間,人們一直把微積分叫無窮小分析。由于萊布尼茨從有限差值開始無窮小的運算,因而他最初曾試圖將實無窮小代之以與其成比例的有限數量,即不用dx、dy本身,而用它們的比值dy/dx。他以為把dx、dy看成有限量,問題就解決了。但是,比值dy/dx的獲得同樣需要說清dx、dy兩個量本身的實際情況,而不能有半點含糊。于是,萊布尼茨提出用“充分大”和“充分小”去代替無窮大和無窮小。他解釋說:“我們可以不用無窮大、無窮小,而用充分大和充分小的量,使得誤差小于給定的誤差限度,所以我們和阿基米德方式的不同之處僅僅在于表達方面,而我們的表達更為直接,更適合于發明家的藝術。”([8],p.401)為了更好地說明這一點,他不得不訴諸于感性的直觀——物理或幾何模型,用現實事物中量的不同層次的相對性解釋無窮大和無窮小。所以有人說,萊布尼茨其實是半個理性主義,因為他在理性困厄之時,不得不借助經驗。([9],p.130)例如,他認為點同直線不能相比,所以點加到直線上從直線上去掉等于不加也不減。于是,“當我們談到有不同階的無窮大與無窮小時,就象對恒星的距離而言,把太陽看成一個點;對地球半徑而言,把普通的球看做一個點。這樣,恒星的距離對于普通球的半徑而言是無窮的無窮大,或無窮倍的無窮大。”[10]而“如果你不承認無限長、無限短線段具有形而上學的嚴密性,也不承認它們是實在的東西,那么你一定可以把它們當作一種能夠縮短論證的思想的東西來使用,正如在普通分析中使用虛根一樣,……老實說,我不十分相信除了把無限大、無限小看作理想的東西,看作有根據的假設,還有什么必要去考察他們,”甚至“我不相信確有無限大量和無限小量存在,它們只是虛構,但是對于縮短論證和在一般敘述中是有用的虛構。”[(10)]可見,萊布尼茨主要是把微積分當作了求得正確結果的一種方法,只要按這個方法去做,就能得出正確的結果,而不必關心基本概念怎樣。事實上,萊布尼茨對于微積分基礎的這種看似冒失的大膽相信態度,反倒可能促進了微積分及其應用的迅速發展。([11],p.359)

三、單子論:理性的僭越

萊布尼茨是古往今來唯一的一位馳騁于數學思想的兩個寬廣的、對偶的領域——分析與組合或連續和離散領域的數學大師,而且在每個領域都表現了人類的最高能力。([2],p.119)這除了他的已為人所周知的天賦和勤勉以外,就數學內部而言,最合理的解釋應該是萊布尼茨數學研究的代數出發點和哲學研究方式。他的“通用語言”工作,今天看來實際上是在創立一種普遍適用的邏輯代數(數學)。而在微積分上,盡管他贊同那種認為無窮小需要一個幾何學基礎的偏見,但是他達到微積分的途徑卻是代數的和哲學的,而不是幾何的。萊布尼茨的發現起因于尋找一個無限聚斂數列或交錯級數1/1-1/3+1/5-1/7+……之和(=π/4)的方法(最后萊布尼茨給出了自己滿意的最一般的公式:arctgx=x=x[,3]/3+x[,5]/5+x[,7]/c+……)。在萊布尼茨看來:微分學就是確定這種數列極限的一種方法,所以他才習慣于將無窮小等視作有限量;積分學則是發現數列總和的一種方法,因而他的積分總是今天所說的定積分,而不是牛頓的不定積分。([6],p.219)在萊布尼茨時代,幾何學由于笛卡爾和費爾馬杰出的工作而倍受數學界歡迎,萊布尼茨抱著“通用數學”的信念,企圖運用幾何方法解決代數問題,結果卻將自己代數的觀點導入幾何學,從而做出了對“天地間通用的微積分”的發現。([12],p.170)因此,為了深入追索萊布尼茨數學創造的思想淵藪,必須訴諸他的數學觀及所接受的研究傳統。

萊布尼茨最早的思想活動是在哲學領域,這與其父作為一個道德哲學教授的影響有關。少年萊布尼茨讀了不少古典哲學著作,入大學后又首先接受了雅可布·托馬修斯教授嚴格的經院哲學訓練。他的畢業論文Deprincipioindividui(《論個體原則》)就是維護經院哲學中唯名論派觀點的。盡管萊布尼茨后來到巴黎去認真學習和研究數學,并且首先在數學上有了劃時代的貢獻,但作為其全部科學研究起點的思維觀念與思想傳統卻是在早年打下的,而且一生基本沒有什么大的變化。([13],p.164)這在他的著作《新系統》(1695)中有明確表述。

雖然萊布尼茨生前沒有留下一部令自己滿意的哲學著作,他在哲學方面的所有主要著作都是為了某個人而寫,但他卻是第一個創立獨立哲學體系的德國人。這體系的“拱心石”通常稱為“單子論”,他自己則稱之為“前定和諧系統”。

作為單子論核心范疇的單子是一種沒有部分的只是組成復合物的單純實體。([14],p.483)萊布尼茨認為單子具有六種規定性:(1)單子是最小的精神實體,它是能動的而又不具有廣延(可分)性,因而是世界的實(主)體;(2)單子是上帝創造的,因其不能通過組合而生,只能憑創造而生,憑毀滅而亡;(3)單子是徹底孤立的實體,絕對封閉,各自獨立;(4)每個單子各具不同的質,因其沒有量的規定性,所以實際上存在著無限多樣的單子;(5)單子運動變化的原因在自身,每個單子都是一個“力的中心”;(6)單子的基本屬性是知覺,知覺反映自身和他物,因此每一個單子都是宇宙的一面永恒的鏡子。從單子的規定出發,萊布尼茨提出了他的本體論原則:第一,連續性原則,認為宇宙是一個從低級到高級的發展過程;第二,前定和諧原則,認為各自獨立的單子能同時一致行動的原因來自前定和諧;第三,普遍聯系原則,認為整個宇宙中的單子和事物均處于普遍的相互聯系之中。以上三個原則,連續性是用來調和事物質的對立的,前定和諧是用來調和“不可分點”(間斷)與“連續性”的矛盾的,普遍聯系則為了調合有限與無限、個別與一般、部分與整體的矛盾。[15]

上述本體論承諾決定了萊布尼茨的認識論必然是一種主張能動性然而卻是唯心的先驗論體系。它最終注定萊布尼茨的方法論只能是一種以邏輯為主干的多元方法論,既相信直覺,又看重形式。[15]他不僅承繼了笛卡爾、斯賓諾莎一貫的唯理論傳統,而且將理性主義原則擴展到在前者的哲學中遭拒斥的許多領域。他從哲學出發去理解科學活動及其本質,數學也僅是其哲學探索的一種智力模型。譬如,他的微分就是“原形先蘊”,通過形而上學的解釋假定的。萊布尼茨注重運算的過程和探究結果。他在對待作為微積分邏輯基礎的無窮小時,既不怯懦回避,也不輕易神秘化,而是從有限差開始,充滿自信地大膽使用無窮小量及其階,就如他自己所說,僅僅訴諸智力,更注重這種方法的運算性質。[16]他相信,假如他清楚地給出了適當的運算法則,并且把它們應用得恰當,就一定會得到某種合理的、正確的結果。他似乎覺得,根據充足理由(前定和諧)律,他就可以在這方面來實現從可能性到現實性的轉變。([6],p.222)為此,他特別強調理論內容的形式化問題。他所建立的“通用數學”及無窮小量運算都是符號和術語體系的極好范例,是真正的現代意義形式化的始祖。

于是,我們不難理解,萊布尼茨為什么在離散與連續或組合與分析兩個不同數學領域都表現出了同樣的研究方式和最高創造力,因為它們在“理性”上是一致的。接續以“離散”為基礎,是“離散”的連續,就如同“認識”不過是單子的活動而已。所以,萊布尼茨一直以代數的、有限的方法研究分析的、無限性的問題。這種研究在觀念上從屬于按照準確本體論原則建構起來的認識目的,它試圖“在理智活動的各個領域內的那些早期傳統間的看起來不可調和的矛盾沖突中創造出一個新的綜合。”([17],p.4)

當然,萊布尼茨這種近于偏執和幻想式的理性主義傳統,也使其數學研究遇到了許多困難。首先是在微積分的基本概念上,作為研究基礎的無窮小量始終不明確,要么看作要多小有多小,要么看作理想之物,要么看作是純粹然而有用的虛構,將科學基礎概念的界定最終留給了信仰。其次是他的數學研究在邏輯上是不嚴謹的,盡管他發展了邏輯學,但其推導是不嚴格的,有主觀臆造成分。特別是其微積分表示法的優越性更強烈地掩蔽了這一學科的邏輯基礎,使之在嚴格論述方面走上了歧途。([12],p.234)至于他的理論推導中有時包含邏輯錯誤,如曾認為d(uv)=dudv、d(u/v)=du/dv(1675),這已屬情理之中的事。他的零亂的工作如果不經Bernoulli兄弟整理加工,就很難有后來的局面。此外,英國科學家牛頓關于微積分嚴謹而扎實的工作更表明,對數學的發明與創造而言,理性主義方法也并不是唯一有效和可靠的途徑。

四、流數術:數學需要兩種傳統

1705年《教師學報》上發表了一篇評述牛頓《求積術》的論文。文中說到,在那本書里只不過是把萊布尼茨的微分換成了流數。言下之意,兩者實質上不外是同一樣東西。這在那個極重個人榮譽的時代,無疑于擲出一枚重磅炸彈,立刻激起軒然大波,引發了究竟牛頓和萊布尼茨誰先發明了微積分的長時間爭論。為此,英國皇家學會還于1712年在其《通訊》上公布了評判結果:“微分法和流數法是一回事,只是名稱和記法不同而已;牛頓先生稱之為瞬或流數的那些量,萊布尼茨先生稱為微積分,并用牛頓先生不曾用過的記法,記作字母d。”([6],p.235)顯然,上述兩種看法是截然對立的。由于這種爭論只是涉及發明的優先權問題,所以對微積分的進步沒有任何益處。但爭論也反映出一個問題,即當時的人們(包括牛頓和萊布尼茨本人)除了發覺兩種微積分在概念和記法上不同外,并沒有看出二者質的聯系與差別。關于微積分的基礎工作,是兩個人去世后很久的事。

眾所周知,就牛頓而言,他首先是個物理學家或主要是力學家。這不僅可以從其科學成就看出,而且在其對待微積分的方式上也表露得十分清楚。他稱自己的微積分為流數術,即表明主要是為解決流體力學等問題而探討和使用的新方法。牛頓關于微積分的主要著述有三部:《運用無窮多項方程的分析學》(1669)、《流數法和無窮級數》(1671)、《曲線求積術》(1690)。此外,他的代表作《自然哲學的數學原理》(1687)中也有不少論述。這些成果大致反映了牛頓對微積分的研究和認識的三個主要階段。第一個階段是靜態的無窮小量方法階段,他象費爾馬等人一樣把變量看作是無窮小元素的集合;第二個階段是變量流動生成法階段,認為變量是由點、線或面的連續運動產生的,因此把變量叫作流量,把變量的變化率叫流數;第三個階段是最初比和最終比方法階段,這種方法是牛頓對第一個階段無窮小量方法的排除,轉向極限觀點。牛頓的微積分(流數術)中有三個重要概念:流量、流數和瞬。其中“瞬”是剛剛產生的一種無窮小量。這幾個概念的提出,不僅使一切與變化率有關的問題有了統一認識和表述,而且直接揭示了原函數與導函數之間的可逆關系。由此可見,盡管牛頓后來用幾何形式表述了微積分基本定理及其它一系列重要命題,但其把物理學作為出發點的做法卻是十分明顯的。就如他自己所說:“這里,流數術賴以建立的主要原理,及是取自理論力學中的一個非常簡單的原理,這就是:數學量,特別是外延量,就可以看成是由連續軌跡運動產生的;而且所有不管什么量,都可以認為是在同樣方式之下產生的,至少經過類比和調整后可以如此。因此在產生這些具有固定的、可確定的關系的量時,其相對速度一定有增減,因而也就可以作為一個問題提出如何去求它們。”([18],p.Ⅺ)所以,“甚至最草率的牛頓研究者也明顯看到,牛頓是一位徹底的經驗主義者。”([19],p.198)

從物理經驗出發,牛頓把速度、距離、加速度等作為中心概念,以變量x和y的無窮小增量作為求流數(導數)的手段(當增量越來越小時,流數實際上就是增量比的極限);牛頓更多關心微積分的實際內容和基本方法,一些法則沒有充分推廣,對普通的討論較少;他從變化率出發解決面積和體積問題,微分是其基礎,通過微分及其逆來解決微積分問題。因此,作為自然科學家的牛頓處理問題十分嚴謹小心,講究實在具體。人們認為他遲遲不發表微積分研究成果的原因,可能是因為沒有為其基礎找到合理的解釋所致。德摩根甚至認為牛頓是由“一種病態的害怕別人反對的心理統治了他的一生。”([20],p.67)這和萊布尼茨那種從幾何出發,整體求和的、注重推廣和演繹的理性化方式大為不同。由此直接導致了他們所發明的微積分的基本差別:(1)萊布尼茨的微積分是由人工符號語言表述的法則與公式系統,他花了很多時間選擇富有提示性的符號;牛頓的微積分主要是用自然語言進行敘述的數學體系,很少涉及符號,他基本認為符號無關緊要。(2)萊布尼茨的研究是從“整體”到“部分”,他首先討論“和”即積分,用和來得到面積、體積或重心,其出發點是反微分;牛頓的研究是由“部分”到“整體”其基礎是微分,他從變化率出發來解決面積和體積問題。(3)萊布尼茨的微分是高階的,其積分是定積分;牛頓的微分是一階的,其積分是不定積分。

但是,盡管在出發點、研究方式和表述形式上有巨大的差別,兩人仍然創立了同一個微積分,并且彼此互補。經過他們的工作,微積分再不象希臘時期所有數學都是幾何學的分支那樣,被束縛在幾何框架內,而是成為一個嶄新的既不同于幾何也不同于代數的獨立的分析數學。并且,二人都不象他們的先驅那樣僅限于解決某些實際問題,而是把微積分建立在一般問題和運算基礎上,使之成為具有普遍性的通用方法。他們不再把微分問題和積分問題看作互不相干,而是找到了彼此的互逆關系,建立起微積分基本定理,使面積、體積及以往作為求和來處理的各種問題都歸并為反微分,為求積運算開辟了一條新的便捷途徑。這樣,經過二人不懈的努力,微積分作為“天地間通用”的學科終于獲得了資格證書。

在科學史上,幾個人同時創造一項科學成就的事例并不少見。但是,牛頓和萊布尼茨各自從不同的研究傳統出發發明了微積分,對數學的進步有著特別的意義。原因在于,微積分處于古代數學向近代數學轉折的關節點上。經過微積分,近代以來的數學觀及其方法論已大為改觀,所以許多討論近代數學的書往往稱“微積分以來的數學”。([21],p.51)牛頓的工作無疑再一次表明了數學與經驗的不可分割性,而萊布尼茨則以自己的探索證明了理性要素在近代數學發展中的增長。300年后的今天,數學哲學關于數學真理的實在性與非實在性問題的討論進一步印證了兩種數學傳統對現代數學的發展都是必不可少的。

同樣,萊布尼茨關于通用數學語言的構想,由于過份浪漫和理性化,也只是在200年后才找到自己數學的“經驗”基礎,從而經過皮亞諾、羅素等人的工作部分地成為現實。其思想為后來的邏輯經驗主義者特別是卡爾納普等人所繼承和推廣,開啟了人工語言學的先河。這種狀況與其說是歷史造成的,毋寧說是數學和科學自身的特性使然。

數學的發展再一次證明了經驗主義傳統和理性主義傳統同為科學進步的思想源泉,它們之間的一定的張力狀態是數學能夠順利發展的思維基礎,而牛頓治學的嚴肅審慎與萊布尼茨運思的浪漫機警同為科學工作者的必備素養。

參考文獻

[1]《萊布尼茨自然哲學著作選》,祖慶年譯,中國社會科學出版社,1985年4月第1版。

[2]E.T.Bell.MANOFMATHEMATICS,DoverPublicationsNewYork1963.

[3]G.T.Kneebone,MATHMATICALLOGICANDFOUNDATIONSOFMATHEMATICS.

[4]馬玉珂主編:《西方邏輯史》,中國人民大學出版社,1985年6月第1版。

[5]莫紹揆:《數理邏輯初步》,上海人民出版社,1980年8月第1版。

[6]卡爾·B.波耶:《微積分概念史》,上海人民出版社,1977年9月第1版。

[7]周述歧:《微積分思想簡史》,中國人民大學出版社,1987年8月第1版。

[8]朱學志等:《數學的歷史、思想和方法》,哈爾濱出版社,1990年12月第1版。

[9]陳宣良:《理性主義》,四川人民出版社,1988年5月第1版。

[10]J.M.Child,TheEarlyMathematicalManuscriptsofLeibniz,OpenCourt,1920.

[11]C.H.愛德華:《微積分發展史》,北京出版社,1987年12月第1版。

[12]E.克拉默:《大學數學》(原名“TheNatureandProgressofModernMathematics”—現代數學的本質與成長》,復旦大學出版社,1987年6月第1版。

[13]黑格爾:《哲學史講演錄》第四卷,商務印書館,1978年12月第1版。

[14]《十六——十八世紀西歐各國哲學》,商務印書館,1975年版。

[15]劉嘯霆:“萊布尼茨哲學體系論”,河南師范大學學報,1995年第2期。

[16]劉嘯霆:“萊布尼茲:微積分學中的理性傾向”,自然辯證法研究,1991年第12期