オッカムの剃刀

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

オッカムの剃刀(オッカムのかみそり、: Occam's razor; Ockham's razor)とは、「ある事柄を説明するためには、必要以上に多くを仮定するべきでない」とする指針。

もともとスコラ哲学にあり、14世紀哲学者神学者オッカムが多用したことで有名になった。様々なバリエーションがあるが、20世紀にはその妥当性を巡って科学界で議論が生じた。

「剃刀」という言葉は、説明に不要な存在を切り落とすことを比喩しており、そのためオッカムの剃刀は別名「思考節約の原理」(Principle of Parsimony)や思考節約の法則思考経済の法則とも呼ばれる。またケチの原理と呼ばれることもある。

目次

指針そのもの [編集]

オッカムによる表現 [編集]

オッカムの著作にある言葉

必要が無いなら多くのものを定立してはならない。 (: "Pluralitas non est ponenda sine neccesitate.")
少数の論理でよい場合は多数の論理を定立してはならない。 (: "Frustra fit per plura quod potest fieri per pauciora.")

言い換え、類似の表現、図示 [編集]

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

アイザック・ニュートン  「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."[2] 自然物に関しては、事実で かつ充分な原因だけを認めるべきだ。同じ自然的影響については、できるかぎり、同じ原因を用いて説明すべきなのだ。」

バートランド・ラッセル 「Whenever possible, substitute constructions out of known entities for inferences to unknown entities.[3] 可能ならいつでも、知られていないエンティティを推定するかわりに、知られているエンティティでの構成を用いるべし」

カール・セーガン)「同様のデータを説明する仮説が二つある場合、より単純な方の仮説を選択せよ[要出典]

英語では次のような言い換えがされることがある。英語: Entities should not be multiplied beyond necessity.[4][要出典]

具体的な適用例 [編集]

伊勢田哲治は次のように説明した。例えば、物質の運動に関する次のような説明があったとする。

外から力がかからない物体は神が等速でまっすぐに動かす[5]

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

外から力がかからない物体は等速でまっすぐに動く(等速直線運動をする)[5]

伊勢田はオッカムの剃刀とはこのようなものだと説明したのである。

問題点 [編集]

説明に不必要であることは、存在しないことを含意しない [編集]

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

この節は執筆の途中です この節は執筆中です。加筆、訂正して下さる協力者を求めています

真偽の判定則となるか? [編集]

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

それにもかかわらず、一部の人はオッカムの剃刀を「並立する幾つかの仮説の中から、ある一つの仮説を選択する」方法として拡大解釈し、真偽の判定に関してきっと有効なのだろう、すなわち「いかなる場合にも、より単純な仮説のほうがより優れている」という認識を有しているが、この認識には混同がまぎれこんでいる。すなわち、真偽がまだ判明していない状態における思考の指針と、真偽を判明させるための科学的証明とが、混同されがちなのである。

とはいえ歴史的に見て、真偽の判定則としての用法が妥当だった、と後に判明した事例もある。つまり、真偽の判定則としてオッカムの剃刀を使えばあらかじめ切り捨てることが出来たであろう仮説は、のちに無駄に複雑であるとして放棄された仮説であることが判明したという例がいくつかある。たとえば、地球中心説(天動説)における周転円は、初期の太陽中心説(地動説)よりも正しく惑星の軌道を予測できたが、理論があまりに複雑になり、より単純に予測を提示する地動説に取って代わられた。

この節は執筆の途中です この節は執筆中です。加筆、訂正して下さる協力者を求めています

何が説明に必要であるかは必ずしも明確ではない[6] [編集]

オッカムの剃刀を適用するにあたっては、慎重な検討が必要である。一見不要に見える仮説でも、実は見落とした事柄によって必要とされていることもあり、適用すべきでないことにまで適用してしまう危険性があるので、必要性は慎重に判断しなければならない。さもなくば過剰に適用して必要な仮説まで切り落としてしまう危険性がある。

これを考慮して、ウォルター・オブ・チャットン[7]は次のような言葉を考案した。

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

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

マッハ
マッハ
ボルツマン
ボルツマン
マッハは「誰も見たことも触れたこともない“原子”や“分子”なんてものは物理の説明には不要だ」「科学というのはそういうもの抜きで説明することなのだ」などとしてボルツマンを苦しめた。

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

また例えば、19世紀末から20世紀初頭ごろには、分子を仮定する「分子論」が化学反応や熱力学を見事に説明するようになっていたにもかかわらず、エルンスト・マッハおよびマッハの後継者たちは、「分子なるものはそれを直接検出した例もなく、原子や分子は思弁的なモデルに過ぎない」と分子論の必要性を否定した上でオッカムの剃刀を適用し[9]、分子論の立場に立つルートヴィッヒ・ボルツマン [10]たちを執拗に攻撃し、ボルツマンが後に自殺する遠因を作った、とされている。

このようなマッハらに対し、アルベルト・アインシュタイン1905年ブラウン運動に関する論文を提出することで分子の実在を確定してみせ、次のように警告した

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




様々な適用 [編集]

心理学 [編集]

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

統計学 [編集]

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

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

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

いささか異なった指針 [編集]

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

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

参考文献 [編集]

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

脚注・出典 [編集]

[ヘルプ]

脚注 [編集]

  1. ^ 同様の指摘はチャットン以外の人々によってもいくつかなされたが、オリジナルのオッカムの剃刀ほどには注目されることはなかった。

出典 [編集]

  1. ^ 三浦俊彦『論理学が分かる事典』 ISBN 4534037104 pp.204-205 「5.14 説明はスリム化すべきである? オッカムの剃刀」
  2. ^ 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. 
  3. ^ Stanford Encyclopedia of Philosophy, 'Logical Construction'
  4. ^ (「多く」を「多くの実体」として)「実体」は「前提」と解釈してもよい。[要出典]
  5. ^ a b 伊勢田哲治『科学と疑似科学の哲学』p86 名古屋大学出版会 ISBN 4-8158-0453-2
  6. ^ a b William of Ockham (Stanford Encyclopedia of Philosophy) 4.1 Ockham's Razor 第二段落
  7. ^ オッカムと同時代の人物。
  8. ^ 『改定版物理学辞典』 培風館。【力】
  9. ^ 現象を説明するのに必要のない仮定をすべきではない,ということであって,現象を十分に説明できない仮説は,仮定が少なくても無意味である。オッカムの剃刀の誤用といえる。
  10. ^ 気体運動論統計力学の開拓者。
  11. ^ http://research.kek.jp/people/morita/phys-faq/ockham.html
  12. ^ Paul Adrian Maurice Dirac, "The relation between mathematics and physics (James Scott Prize Lecture)," Proc. Roy. Soc. (Edinburgh), Vol. 59, pp. 122-129, 1939.

関連項目 [編集]

外部リンク [編集]