この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "第一原理"
第一原理(だいいちげんり、英語:first principles)とは、最初におかれる原理。他のものから推論することができない命題である。 アリストテレスは第一原因(不動の動者)という概念を用いた。これが後世の哲学にさまざまな影響を及ぼしている。 アリストテレスの第一原因という概念は、18世紀のドイツの哲学者イマヌエル・カントの哲学にも形を変えて継承され、アプリオリという概念として現れ、アポステリオリと対比される。アプリオリのほうは最初に置かれている命題や論理であり、アポステリオリはそれから導かれる命題や論理である。(英語版記事 en:A priori and a posteriori
哲学における第一原理
@media screen{.mw-parser-output .fix-domain{border-bottom:dashed 1px}}形而上学は手を尽くして第一原理を見つけ出そうと試みた。考える人は自分の知識がちゃんと理にかなっているということを知りたがり、そのためには一般に認知される第一原理が必要だったのである。[要出典] 論理学、幾何学、数学など形式科学における第一原理について解説すると、ユークリッド幾何学では、いくつかの定義、そして公理(自明と思われる命題)がはじめに与えられる。これらが第一原理で、これから何百もの命題が演繹される。アリストテレスはこのような原理が数学のみならず、世界そのものを記述しているということを証明しようとした。それはやがて形而上学と呼ばれるようになった。 バートランド・ラッセルはすべての数学的事実を論理の中に含めようと試みた。しかしクルト・ゲーデルが、無矛盾の論理系は不完全で、完全な系は自己無矛盾ではありえないことを証明した[要出典](ゲーデルの不完全性定理)。つまり第一原理は第一原理であることを論理の内部では証明できず、外から与えるしかないのである[要出典]。ただし実際の不完全性定理が示したものは、数学用語の意味での「特定の形式体系Pにおいて決定不能な命題の存在」であり、一般的な意味での「不完全性」とは無関係である[1]。すなわち不完全性定理以降の時代にも、数学上の意味で「完全」な理論は存在し続けているが[1]、“不完全性定理は数学や理論の「不完全性」を証明した”というような誤解が一般社会・哲学・宗教・神学等によって広まり、誤用されている[2]。「不完全性定理が成立しない体系」および「ゲーデルの完全性定理」も参照 互いに無矛盾な命題からなる形式論理系では、別の文を次々と推論(演繹)してゆくことができる。たとえば三段論法の有名な例として、「すべての人間は死ぬものである。ソクラテスは人間である。ゆえにソクラテスも死ぬものである。」というのがあるが、三つ目の文は前の二つから演繹されたものである[要出典]。 自然科学での第一原理(first principles)は、近似や経験的なパラメータ等を含まない最も根本となる基本法則をさし[要出典]、そのことを前提にすると自然現象を説明することができるものである。第一原理には運動量の保存や物質の二重性など様々なものがある。理論計算の分野における第一原理の解釈は人により様々で、「既存の実験結果(事実)を含めて経験的パラメーター等を一切用いない」という強いものから、「実験結果に依らない」とする比較的緩い解釈まである。代表的第一原理は、ニュートン力学のような決定論と、確率論の根源をなす等確率の原理や熱力学に大別されその中間的性質として以下のような量子論的方法論が展開される。 バンド計算においても、“第一原理”の意味は、何ら実験結果に依らないことが前提である。つまり計算対象となる系の各構成元素の原子番号と、その構造(対称性)のみを入力パラメータとし、それ以外の一切のパラメーター調整や、実験結果を参照しないで、その系の電子状態を求められることを意味する。実はこれは厳密には正しくない(実情に即していない)。現在の第一原理バンド計算手法では少なくとも、計算対象となる系を構成する各元素の平衡格子定数が正しく求められるかを、実験結果を参照することによって検証している。バンド計算を使った研究による論文では、ほとんど例外なく系(またはその構成元素)の理論計算による平衡格子定数と、実験によって求められた平衡格子定数とを比較する表が載っている。 一方、局所密度近似 (LDA) やGGAのような近似の導入が、果たして第一原理の枠内であるかどうかに対しても異論がある(普通、物理学者の多くは、LDA、GGAは第一原理の範疇の中に収まると思っている)。 現実の第一原理バンド計算では、ゴーストバンドの問題や、基底関数の展開数の収束依存性、擬ポテンシャルにおけるトランスフェラビリティーの問題、局所密度近似の関数形の選択による結果への影響の差など、“恣意的 しかしながら、バンド計算を行うのも人であり、過去に実験側で非常に興味深い結果が発表された後に、その実験結果を支持する第一原理バンド計算の結果が複数発表される中、その拠って立つべき実験結果が実は誤りであったという例が存在する。 出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(2023年4月)
形式科学における第一原理
自然科学における第一原理
バンド計算における第一原理
脚注^ a b フランセーン 2011, p. 230.
^ フランセーン 2011, p. 4, 7, 126.
参考文献
フランセーン, トルケル 著、田中一之 訳『ゲーデルの定理:利用と誤用の不完全ガイド』みすず書房、2011年3月25日。.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 978-4-622-07569-1。
Size:15 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef