【摘要】

1734年，愛爾蘭喬治·貝克萊主教發(fā)表《分析學家》一書，對牛頓和萊布尼茨創(chuàng)立的微積分方法進行了深刻批判。貝克萊的核心目標并非否定微積分作為數(shù)學分析工具的有效性，而是指出其在概念和邏輯上的結(jié)構(gòu)矛盾即不嚴密性。

何新1980年代數(shù)學史讀書札記（5）
【貝克萊危機】
英國喬治·貝克萊（George Berkeley）主教于1734年匿名發(fā)表《分析學家》（The Analyst）一書。這是一部針對牛頓和萊布尼茨創(chuàng)立的微積分——數(shù)學分析方法之哲學基礎(chǔ)的批判性著作。

在此書中，貝克萊對微積分中“無窮小量”進行了剖析和批評，指出其存在內(nèi)在矛盾。這一批評撼動了微分分析的概念和邏輯基礎(chǔ)，史稱“貝克萊悖論”（Berkeley's paradox）。

一、貝克萊悖論的數(shù)學意義
1/微積分中的無窮小量
微分分析中的關(guān)鍵概念是“無窮小量”。
微分方法，又稱數(shù)學分析。所謂“分析”，指把變化量分解為流動性的無窮小的部分量（瞬間量）來研究其變化規(guī)律（求其變化率即求導數(shù)）。
貝克萊針對這個無窮小概念指出，微分分析在推導過程中存在不可調(diào)和的邏輯矛盾。
他指出，在微分推導過程中，無窮小量，無論分解到多么小，始終是一個可以確定的非零量，但是最后尋求計算結(jié)果時，這個非零量卻必須被當作零，這在概念和邏輯上是自相矛盾的。

2/微積分悖論的數(shù)學意義：
矛盾在于：Δx≠0與Δx=0，
因此貝克萊質(zhì)疑牛頓所謂流數(shù)法，關(guān)于瞬量的概念——
第一語義模糊：Δx到底是什么？一個很小很小的數(shù)？一個趨近于零的過程？還是純粹的工具性符號？
第二操作合法性缺失：為什么作為實存量先除，而后卻作為零量被拋棄？
[附注：
在早期微積分算法中，導數(shù)被視為兩個無窮小量的比。例如，對于函數(shù)f(x)=x2，其導數(shù)的計算步驟為：
第一步：計算增量
(x + Δx)2 ? x2 = 2xΔx + (Δx)2
第二步：除以Δx
[2xΔx + (Δx)2] / Δx = 2x + Δx
第三步：令Δx=0
導數(shù)=2x
在這一過程中，Δx的角色發(fā)生了變化：它在除法中必須是作為一種非零量，而在最終結(jié)果中又必須被當作零。]

3/貝克萊的質(zhì)疑
貝克萊指出，Δx在同一推理過程中被賦予了相互矛盾的屬性：
? 非零（以便允許除法）
? 零（為了得到最終結(jié)果）
這種矛盾直接違反了邏輯中的矛盾律。
也就是說，在邏輯結(jié)構(gòu)上：一個對象在同一論證過程中的同一時刻，被賦予了不相容的屬性。（矛盾律）

因此貝克萊將這種動態(tài)量（牛頓所謂流數(shù)或者瞬時量）諷刺地稱為“又死又活的幽靈數(shù)”，并質(zhì)疑其本體論地位——Δx究竟是一個極小的量、一個趨近過程，還是一個純粹的符號？
貝克萊的批判深刻揭示了早期微積分理論存在的明顯邏輯漏洞，構(gòu)成了“貝克萊悖論”。

二、悖論的邏輯結(jié)構(gòu)分析
貝克萊悖論的本質(zhì)是語義歧義。
Δx在不同步驟中具有不同的語義：
? 在除法步驟中，Δx表示非零量
? 在最終步驟中，Δx表示零量
? 在某些解釋中，Δx表示趨近于零的過程
由于這些語義在同一推理中被混用，導致邏輯不一致。

從現(xiàn)代邏輯角度看，貝克萊悖論屬于“歧義謬誤”：同一符號在同一論證中被賦予不同含義，從而導致推理錯誤。

三、貝克萊悖論引發(fā)的數(shù)學危機
貝克萊的批判直接引發(fā)了數(shù)學史上的第二次數(shù)學危機。

盡管在實際應用方面，微積分在物理和工程中取得巨大成功，但其邏輯基礎(chǔ)卻被證明是不牢固的。

數(shù)學家們意識到，必須為微積分建立嚴格的基礎(chǔ)，否則其結(jié)論只能被視為經(jīng)驗性的技術(shù)工具。

貝克萊悖論被數(shù)學家希爾伯特稱為第二次數(shù)學危機，這一危機持續(xù)了約150年，直到19世紀末極限理論的建立才表面上似乎得到解決。

四、解決方案的演進

1、柯西-魏爾斯特拉斯極限論（19世紀末）
通過ε-δ語言，改變語詞說法和描述，將"無窮小"變量這個說法驅(qū)逐出數(shù)學本體論：
——不再說"Δx是無窮小"，而是說"對于任意ε>0，存在δ>0，當0<|Δx| <δ時..."< pan>
導數(shù)不是"最終比值"，而是比值的極限。
核心策略：將動態(tài)過程轉(zhuǎn)化為靜態(tài)的、可驗證的不等式關(guān)系。

2、非標準分析（羅賓遜，1960年代）
反柯西方法，承認變量的流動性將無窮小合法化：
——構(gòu)建超實數(shù)系統(tǒng)*R，包含真正的無窮小量，
證明：在嚴格的邏輯框架內(nèi)（模型論），可以存在Δx≠0且其標準部分為0，
某種意義上" vindicates"了牛頓、萊布尼茲的直覺。

3、光滑無窮小分析（約翰貝爾，1970年代）
采用直覺主義邏輯，放棄排中律：
——無窮小量Δ滿足Δ2=0，但Δ≠0，
通過弱化邏輯系統(tǒng)（引進可兼容性多值邏輯）避免矛盾。

五、貝克萊微積分批評的真實意圖：
事實上，貝克萊主教的攻擊并非純粹數(shù)學上的嚴謹性考量，而是具有神學論戰(zhàn)目的：
? 他想證明：以牛頓、萊布尼茲為代表的"自然哲學"（科學主義）基礎(chǔ)并不比宗教信仰更可靠。

? 如果微積分這個最輝煌的智力成就都建立在邏輯矛盾之上，那么無神論者嘲笑宗教"神秘"性就是虛偽的。
? 著名的貝克萊諷刺是："無神論者的信仰比基督徒的信仰更不合理性"。

結(jié)語：更深層的哲學啟示：
實際上，"貝克萊危機"最終沒有被"解決"，而只是被轉(zhuǎn)化為不同的數(shù)學框架，使用不同的邏輯語言解釋，但是每個框架都有不同的本體論承諾和邏輯代價。