オッカムの剃刀

出典: フリー百科事典『ウィキペディア(Wikipedia)』

これはこのページの過去の版です。NXA90D (会話 | 投稿記録) による 2016年1月9日 (土) 19:13個人設定で未設定ならUTC)時点の版であり、現在の版とは大きく異なる場合があります。

三浦俊彦が描いたオッカムの剃刀の説明図[1]。三浦はオッカムの剃刀について「ある事実Pを同様に説明できるのであれば仮説の数(または措定される実体の数は)少ないほうが良い」とするものだと説明した。

オッカムの剃刀(オッカムのかみそり、: Occam's razorOckham's razor)とは、「ある事柄を説明するためには、必要以上に多くを仮定するべきでない」とする指針。もともとスコラ哲学にあり、14世紀哲学者神学者オッカムが多用したことで有名になった。様々なバリエーションがあるが、20世紀にはその妥当性を巡って科学界で議論が生じた。「剃刀」という言葉は、説明に不要な存在を切り落とすことを比喩しており、そのためオッカムの剃刀は思考節約の原理[2]思考節約の法則思考経済の法則とも呼ばれる。またケチの原理と呼ばれることもある。

指針

原文

オッカムのウィリアム
必要が無いなら多くのものを定立してはならない。少数の論理でよい場合は多数の論理を定立してはならない。[3] — オッカム

類似の表現

「自然物に関しては、事実で かつ充分な原因だけを認めるべきだ。同じ自然的影響については、できるかぎり、同じ原因を用いて説明すべきなのだ。」[4]アイザック・ニュートン
可能ならいつでも、知られていないエンティティを推定するかわりに、知られているエンティティでの構成を用いるべし。[5]バートランド・ラッセル
同様のデータを説明する仮説が二つある場合、より単純な方の仮説を選択せよ[要出典]カール・セーガン

英語では次のように表現されることがある。

Entities should not be multiplied beyond necessity.[要出典][注 1]

伊勢田哲治は次のように説明した[6]。例えば、等速直線運動に対する次のような説明があったとする。

外から力がかからない物体は、神が等速でまっすぐに動かし続けている。

この場合、「神が」という部分が説明に不要である、として切り落としてしまうのがオッカムの剃刀だとし、すると次のような説明が得られるとした。

外から力がかからない物体は、等速で直進する。

注意点

説明に不必要であることは、存在の否定ではない

オッカムの剃刀は単純化の手段に過ぎないのであって、説明に不要な存在を否定するものではない[7]。上述の例では、説明には不要な存在として「神」が切り落とされているが、これは「神が存在しない」ということを意味するものではない。あくまで神の存在、不在は別の議題となる。

真偽の判定則となるか

オッカムの剃刀は、既にある理論や仮説等に対して、新たな仮説等を追加すべきかどうかを選ぶひとつの立場に過ぎないのであって、オッカムの剃刀によって追加することを選択しても、「その仮説が正しい」ということにはならない。同様に、オッカムの剃刀によって切り捨てられたからといって、「その仮説が間違っていた」ということにはならない。何故なら、オッカムの剃刀は真偽の判定則ではないからである。

何が説明に必要であるかは自明ではない

オッカムの剃刀を適用するにあたっては、慎重な検討が必要である。一見不要に見える仮説でも、実は見落とした事柄によって必要とされていることもあり、適用すべきでないことにまで適用してしまう危険性があるので、必要性は慎重に判断しなければならない。さもなくば過剰に適用して必要な仮説まで切り落としてしまう危険性がある。これを考慮して、ウォルター・オブ・チャットン[注 2]は次のような言葉を考案した。

ある事柄が、3つの要素で説明できないのならば、4つ目の要素を加えよ

これはオッカムの剃刀が、その前提条件「必要が無いなら」においてのみ成り立ち、その前提条件から外れる場合、すなわち、「必要がある」場合には成り立たないことに注意せよという指摘である。[注 3]

マッハは「誰も見たことも触れたこともない『原子』や『分子』なんてものは物理の説明には不要だ」「科学というのはそういうもの抜きで説明することなのだ」とした。

例えば、エルンスト・マッハG.R.キルヒホフは、「運動の説明に『力』などという得体の知れない概念を持ち込んでいる」と批判し、『力』という概念を一切排除した物理学を自分たちで構築した[8]。たしかに説明に必要か不要かという点で言えば、『力』という概念は必ずしも必要なものではなく、位置・長さなど観察できる要素だけで物理理論は構築可能だったのである。だがその後の歴史をたどると、マッハらの物理学体系は科学界で主流になれず、現在の科学者の間に流布している物理学では、あいかわらず『力』という、「説明に不要な」ものを組み込んだ理論が標準的なもの(正統なもの)として、通常の教育機関では教えられている。

また例えば、19世紀末から20世紀初頭ごろには、分子を仮定する「分子論」が化学反応や熱力学を見事に説明するようになっていたにもかかわらず、マッハおよびマッハの後継者たちは、「分子なるものはそれを直接検出した例もなく、原子や分子は思弁的なモデルに過ぎない」と分子論の必要性を否定した上でオッカムの剃刀を適用し[注 4]、分子論の立場に立つルートヴィッヒ・ボルツマン [注 5]たちを執拗に攻撃し、ボルツマンが後に自殺する遠因を作ったとされている。このようなマッハらに対し、アルベルト・アインシュタイン1905年ブラウン運動に関する論文を提出することで分子の実在を確定してみせ、次のように警告した[要出典]

理論はできるだけ単純にせよ、だが限度というものはある。[9][出典無効]

様々な適用

心理学

心理学の分野においては「ある行動がより低次の心的能力によるものと解釈できる場合は、その行動をより高次の心的能力によるものと解釈するべきではない」とするモーガンの公準が知られている。

統計学

統計学機械学習の分野では、モデルの複雑さとデータへの適合度とのバランスを取るために、オッカムの剃刀的な発想を利用する。

ある測定データが与えられたとき、一般に、統計モデルを複雑にすればするほど、その測定データをうまく説明できる。 しかし、そのようなモデルは、不必要に複雑なモデルであり、計算することが困難であるばかりでなく、 過去のデータに過剰に適合してしまい、未来のデータを説明できなくなってしまう(過適合)。

以上のような問題を避けるために、統計モデルの良さの指標として、 測定データをうまく説明しつつなるべく単純なモデルが是となるような規準が提案されている。 代表的なものは、赤池情報量規準ベイズ情報量規準である。 同様に、機械学習の問題では、過適合を防ぐために正則化と呼ばれるテクニックが使われている。

いささか異なった指針

ポール・ディラックは、自然の基本法則を数式に表現するときは、簡潔さよりも美しさを優先すべきだ、と述べた。次のように述べたのである。

研究者は自然の基本法則を数式に表現しようとするとき、数学的な美しさを追究するべきだ。単純さを求めると、美しさを求めるのと同じ結果になることが多い。ただ、どちらかを取るとすれば、美しさの方を優先するべきだ[10]

参考文献

  • 清水哲郎 「元祖《オッカムの剃刀》-性能と使用法の分析」『哲学』11号、哲学書房、1990年、8-23頁、ISBN 4-88679-040-2
  • 西藤洋 「ジョージ・バークリーにみる『オッカムの剃刀』」『科学基礎論研究 Vol.26, No.2』 (1999)所収、pp.77-84 PDF -日本語のオープンアクセス文献

脚注・出典

脚注

  1. ^ 「多く」を「多くの実体」として、「実体」は「前提」と解釈してもよい。[要出典]
  2. ^ オッカムと同時代の人物。
  3. ^ 同様の指摘はチャットン以外の人々によってもいくつかなされたが、オリジナルのオッカムの剃刀ほどには注目されることはなかった。
  4. ^ 現象を説明するのに必要のない仮定をすべきではないということであって、現象を十分に説明できない仮説は、仮定が少なくても無意味である。オッカムの剃刀の誤用といえる。
  5. ^ 気体運動論統計力学の開拓者。

出典

  1. ^ 三浦俊彦『論理学が分かる事典』 ISBN 4534037104 pp.204-205 「5.14 説明はスリム化すべきである? オッカムの剃刀」
  2. ^ : principle of parsimony
  3. ^ : "Pluralitas non est ponenda sine neccesitate. Frustra fit per plura quod potest fieri per pauciora."
  4. ^ We are to admit no more causes of natural things than such as are both true and sufficient to explain their appearances. Therefore, to the same natural effects we must, so far as possible, assign the same causes.Hawking (2003). On the Shoulders of Giants. Running Press. p. 731. ISBN 0-7624-1698-X. http://books.google.com/?id=0eRZr_HK0LgC&pg=PA731 
  5. ^ Whenever possible, substitute constructions out of known entities for inferences to unknown entities.Stanford Encyclopedia of Philosophy、「Logical Construction
  6. ^ 伊勢田哲治『科学と疑似科学の哲学』p86 名古屋大学出版会 ISBN 4-8158-0453-2
  7. ^ William of Ockham (Stanford Encyclopedia of Philosophy) 4.1 Ockham's Razor、第二段落
  8. ^ 『改定版物理学辞典』 培風館
  9. ^ http://research.kek.jp/people/morita/phys-faq/ockham.html
  10. ^ Paul Adrian Maurice DiracThe relation between mathematics and physics (James Scott Prize Lecture)Proc. Roy. Soc. (Edinburgh)Vol. 59, pp. 122-129, 1939.

関連項目

外部リンク