第一原理
出典: Wikipedio
|
|
第一原理（だいいちげんり、First principles）とは、他のものから推論することができない命題である。
目次 |
形而上学における第一原理
互いに無矛盾な命題からなる形式論理系では、別の文を次々と推論（演繹）してゆくことができる。たとえば三段論法の有名な例として、「すべての人間は死ぬものである。ソクラテスは人間である。ゆえにソクラテスも死ぬものである。」というのがあるが、三つ目の文は前の二つから演繹されたものである。
ユークリッド幾何学では、いくつかの定義、そして公理（自明と思われる命題）がはじめに与えられる。これらが第一原理で、これから何百もの命題が演繹される。アリストテレスはこのような原理が数学のみならず、世界そのものを記述しているということを証明しようとした。それはやがて形而上学と呼ばれるようになった。
形而上学は手を尽くして第一原理を見つけ出そうと試みた。考える人は自分の知識がちゃんと理にかなっているということを知りたがり、そのためには一般に認知される第一原理が必要だったのである。
バートランド・ラッセルはすべての数学的事実を線形論理の中に含めようと試みた。しかしクルト・ゲーデルが、無矛盾の論理系は不完全で、完全な系は自己無矛盾ではありえないことを証明した（ゲーデルの不完全性定理）。つまり第一原理は第一原理であることを論理の内部では証明できず、外から与えるしかないのである。
自然科学における第一原理
自然科学での第一原理（first principles）の解釈は人により様々で、「既存の実験結果（事実）を含めて経験的パラメーター等を一切用いない」という強いものから、「実験結果に依らない」とする比較的緩い解釈まである。
バンド計算における第一原理
バンド計算においても、“第一原理”の意味は、何ら実験結果に依らないことが前提である。つまり計算対象となる系の各構成元素の原子番号と、その構造（対称性）のみを入力パラメータとし、それ以外の一切のパラメーター調整や、実験結果を参照しないで、その系の電子状態を求められることを意味する。実はこれは厳密には正しくない（実情に即していない）。現在の第一原理バンド計算手法では少なくとも、計算対象となる系を構成する各元素の平衡格子定数が正しく求められるかを、実験結果を参照することによって検証している。バンド計算を使った研究による論文では、ほとんど例外なく系（またはその構成元素）の理論計算による平衡格子定数と、実験によって求められた平衡格子定数とを比較する表が載っている。
一方、局所密度近似 (LDA) やGGAのような近似の導入が、果たして第一原理の枠内であるかどうかに対しても異論がある（普通、物理学者の多くは、LDA、GGAは第一原理の範疇の中に収まると思っている）。
現実の第一原理バンド計算では、ゴーストバンドの問題や、基底関数の展開数の収束依存性、擬ポテンシャルにおけるトランスフェラビリティーの問題、局所密度近似の関数形の選択による結果への影響の差など、“恣意的”な調整と取られかねない部分が少なからず存在する。しかし、平衡格子定数のように実験としても既に“データブック”化したようなものでなく、実際に今行われている実験結果に合わせるようなパラメーター調整を、少なくとも第一原理バンド計算では行わない。
しかしながら、バンド計算を行うのも人であり、過去に実験側で非常に興味深い結果が発表された後に、その実験結果を支持する第一原理バンド計算の結果が複数発表される中、その拠って立つべき実験結果が実は誤りであったという例が存在する。
関連項目
en:First principle es:Primeros principios ko:제일원리 no:Grunnprinsipp pl:Pojęcie pierwotne
