奥卡姆剃刀
: k$ ~4 U+ d! Q7 Z6 t1 ]
Phil Gibbs 著 杉原广 补充+ d. B) Q4 w. C5 p8 x/ V
4 p1 }" L! x$ P# `* v柯南 译 4 [6 {! @' b7 _
* p8 q, f" l7 z% `& F, Q8 H
| 奥卡姆剃刀(Occam's Razor, Ockham's Razor)是由14世纪逻辑学家、圣方济各会修士奥卡姆的威廉(William of Occam)提出的一个原理。奥卡姆(Ockham)在英格兰的萨里郡,那是他出生的地方。 |

奥卡姆的威廉 |
4 g D# d8 w; Y# A$ e% ^6 J+ Y) C' s. ]# m8 I8 J$ o
这个原理称为“如无必要,勿增实体”(Entities should
not be multiplied unnecessarily)。有时为了显示其权威性,人们也使用它原始的拉丁文形式:
# j; s0 }* n" t" p+ ]! d4 M
) ?4 P: S8 b/ i4 X! o9 l) {
Pluralitas non est ponenda sine necessitate.
4 E( |" Y6 Y. J- V) k0 e$ U1 Z9 } Frustra fit per plura quod potest fieri per pauciora. q, W. n# {! T2 g+ }) r0 M. t
Entia non sunt multiplicanda praeter necessitatem.! f- `: r0 D% b. B
v8 h+ |* ^+ W y2 ], [
事实上,只有前两种形式见于他现存的著作中,而第三种形式则由后来的一位学者撰写。威廉使用这个原理证明了许多结论,包括“通过思辨不能得出上帝存在的结论”。这使他不受罗马教皇的欢迎。
9 e' h% S( k/ \2 ]. Y* D6 S0 I! [8 ]- b1 P& k% K
许多科学家接受或者(独立的)提出了奥卡姆剃刀原理,例如莱布尼兹的“不可观测事物的同一性原理”和牛顿提出的一个原则:
如果某一原因既真又足以解释自然事物的特性,则我们不应当接受比这更多的原因。" P- b- O+ ~7 ~
4 ^2 Z! R, P! w1 b, d 对于科学家,这一原理最常见的形式是:
+ v/ Z% \# V% C! W0 s
5 U6 j; D! T5 R1 p0 |& O; n5 G; _ 当你有两个处于竞争地位的理论能得出同样的结论,那么简单的那个更好。$ q" n. x6 u; @" I' J1 L9 ~
, M X$ c; m O; y' ? 在物理学中我们使用奥卡姆剃刀切掉形而上学的概念。爱因斯坦的狭义相对论与洛仑兹的理论就是一个范例。洛仑兹的理论认为在以太中运动的尺收缩、钟变慢。爱因斯坦关于空—时变换的方程与洛仑兹方程在钟慢尺短效应上一致,但是爱因斯坦和庞加莱(法国数学家——译注)认为以太不能根据洛仑兹和麦克斯韦方程组检测到。根据奥卡姆剃刀,以太就被排除了。
" l7 A, D/ X9 i3 B7 J+ M! p- E' b
! G: u! ?& T" x- b" ?, O+ \ 这一原理也被用来证明量子力学的不确定性。海森堡从光的量子本性和测量效应中推出了不确定原理。
# S1 y$ s# @& L. W
8 N6 Y) l! ^3 p+ c, Z% j9 ~! j 史蒂芬·霍金在他的《时间简史》中解释说:
我们仍然可以想像,对于一些超自然的生物,存在一组完全地决定事件的定律,它们能够观测宇宙现在的状态而不必干扰它。然而,我们人类对于这样的宇宙模型并没有太大的兴趣。看来,最好是采用称为奥卡姆剃刀的原理,将理论中不能被观测到的所有特征都割除掉。/ b, f; N1 T) X2 ]
$ Y/ U7 v$ U8 @4 K& _/ o
但是“
不能确定以太的存在”和“
以太的不存在”都不能仅仅根据奥卡姆剃刀推出。它可以区分两个能做出同样结论的理论,但是不能区分其他可能做出不同结论的理论。实验的证据仍然是必需的,并且奥卡姆本人
支持经验主义,而不是
反对。
- g% m: I- L/ _" [/ k5 r2 J/ ]/ f- }+ u# k2 I/ V8 w% e" c5 e
厄恩斯特·马赫提倡奥卡姆剃刀的一个版本,他称作“经济原理”,表述为:“
科学家应该使用最简单的手段达到他们的结论,并排除一切不能被认识到的事物”。把它引入
哲学就形成了
实证主义哲学,即认为某物
存在但无法观测与
根本不存在是一码事。马赫影响了爱因斯坦关于时空不是绝对的论述,但是他(马赫)也把实证主义应用到分子的概念。马赫和他的追随者认为分子是形而上学的概念,因为它们太小而不能被直接探测到。这种主张不顾分子论在解释化学反应和热力学上的成功。具有讽刺意味的是,当使用经济原理抛弃了以太和绝对参照系的时候,爱因斯坦几乎同时发表了一篇关于布朗运动的论文,它证实了分子的实在性,这就打击了实证主义的使用。这个故事意味着,我们不能盲目使用奥卡姆剃刀。正如爱因斯坦在他的《自传笔记》中写道:
9 @* R- g- h4 [) J z
, |4 X H0 r1 M3 j- t
即使是大胆而天才的学者也会因为哲学上的偏见而妨碍他认清事实,这是一个很有趣的例子。
7 N9 |" T0 x. A6 }# ]7 b+ x0 G! d7 E: _! Y2 s6 ]# G* r7 Y) B7 _
人们常常引用奥卡姆剃刀的一个强形式,叙述如下:
8 R' A) U2 Z+ g
2 H4 o# P/ j) q u) K: ~ D 如果你有两个原理,它们都能解释观测到的事实,那么你应该使用简单的那个,直到发现更多的证据。' z+ a/ O! b8 N5 V$ _8 B5 _5 Y
对于现象最简单的解释往往比较复杂的解释更正确。/ p7 {$ ?- z) U$ t" u
如果你有两个类似的解决方案,选择最简单的。, k2 G: {) t( B8 S, ]: @
需要最少假设的解释最有可能是正确的。+ l9 x/ S% O2 K. C& A
……或者以这种自我肯定的形式出现:
: ]) V) H. D- f$ Z
5 D2 ?3 F, s; W0 |! b: h ^ 让事情保持简单!% ^, J! q; w0 o! R! L
( M8 O+ J, i0 o8 @8 b* M& D: \ 注意到这个原理是如何在上述形式中被加强的。严格的说,它们应该被称为
吝啬定律,或者称为
朴素原则。最开始的时候我们使用奥卡姆剃刀区分能够做出相似结论的理论。现在我们试图选择做出不同结论的理论。这不是奥卡姆剃刀的本意。我们不用检验这些结论吗?显然最终不是这样,除非我们处于理论的早期阶段,并且还没有为实验做好准备。我们只是为理论的发展寻求一种指导。
}# b4 Y" k" F- }! L* [$ d
+ Y# R* V% {5 Y' i3 ` 这个原理最早至少能追溯到亚里士多德的“自然界选择最短的道路”。亚里士多德在相信实验和观测并无必要上走得太远。朴素原理是一个启发式的经验规则,但是有些人引用它,仿佛它是一条物理学公理。它不是。它在哲学和粒子物理中使用的很好,但是在宇宙学和
心理学中就不是特别好,这些领域中的事务往往比你想象的还要复杂。或许引用莎士比亚的一句话要胜过引用奥卡姆剃刀:“天地之大, 赫瑞修, 比你所能梦想到的多出更多”(出自《哈姆雷特》,第一幕,第五景——译注)
& ~& j6 ]$ Y/ c7 N" B$ j
: I" h4 J3 V/ B' i) c: B U 朴素是主观的,宇宙并不总是像我们认为的那样简单。成功的理论往往涉及到对称、美与简单。1939年保罗·狄拉克写道:
) n! E: a0 W! B! ?* h1 n1 |8 a- G
# Z l# o/ m7 b, D2 f( Q
研究者在把自然法则转变为数学形式的时候,应该为数学的美而努力。对于简单和美的需求往往是等价的,然而当它们发生冲突的时候,后者应该优先。
3 P% r: U) @: t' N, G4 B, @2 m: i
, s: q( H( W5 i( z; t$ f6 Q 吝啬原理不能取代洞察力、逻辑和科学方法。永远也不能依靠它创造或者维护一个理论。作为正确性的判别方法,只有逻辑上的连贯性和实验的证据才是绝对的。狄拉克的理论很成功,他构造了电子的相对论场方程,并用它预言了正电子。但是他并没有主张物理学仅仅应该基于数学的美。他完全赞同实验检验的必要性。
" Y, W+ [: j$ N" a3 V; _# w
" v" c7 j4 C$ O3 e) [. K; `& S8 D 最后的结论来自爱因斯坦,他本身也是一位格言大师。他警告说:
' F- q7 m) T! e* j
* O2 \$ s: y* Y, M$ S “万事万物应该
尽量简单,而不是
更简单。”
+ J' r# @/ i% @( \; R
: E/ J. e+ C' B- X% Q, ?2 r2 \; y/ k6 Y; i2 E- P
/ Y! c1 F6 W/ \3 ^8 e. v$ K' P; i0 o) c9 l* r3 A8 \
oursci