形式科学

形式科学は、論理、数学、統計、理論計算機科学、人工知能、情報理論、ゲーム理論、システム理論、意思決定理論、理論言語学など、形式システムによって記述される抽象構造に関する分野を研究する科学の一分野です。自然科学と社会科学は、経験的方法を使用して、それぞれ物理システムと社会システムの特徴付けを試みますが、形式科学は、形式システムによって記述される抽象構造の特徴付けに関係する言語ツールを使用します。形式科学は、物理世界を記述するために使用される構造に関する情報と、それらについてどのような推論を行うことができるかを提供することで、自然科学と社会科学を支援します。^[^要出典^]

支店

数学が他のすべての科学よりも特別に評価されている理由の 1 つは、数学の法則が絶対的に確実で議論の余地がないのに対し、他の科学の法則はある程度議論の余地があり、新たに発見された事実によって常に覆される危険があるからです。
— アルバート・アインシュタイン^[1]

形式科学は非経験的性質のため、一連の公理と定義を概説し、そこから他のステートメント（定理）を演繹することによって解釈される。このため、ルドルフ・カルナップの科学認識論の論理実証主義的概念では、形式科学に属する理論は総合的なステートメントを含まず、分析的なステートメントのみを含むと理解されている。^[2]^[3]

^ アルバート・アインシュタイン(1923)。「幾何学と経験」。相対性理論の側面。クーリエ・ドーバー出版。27 ページ。Dover (2010) より再版、ISBN 978-0-486-24511-9。
^ カルナップ、ルドルフ(1938)。「科学の統一の論理的基礎」。国際統一科学百科事典。第 1 巻。シカゴ: シカゴ大学出版局。
^ ビル・トンプソン (2007)、「2.4 形式科学と応用数学」、統計的証拠の性質、統計学講義ノート、第 189 巻 (第 1 版)、Springer、p. 15

マリオ・ブンゲ（1985年）。科学技術の哲学。シュプリンガー。
マリオ・ブンゲ (1998)。『科学の哲学』。改訂版：科学研究。ベルリン、ニューヨーク：シュプリンガー・フェアラーク、1967年。
C. ウェストチャーチマン(1940)。『論理と形式科学の要素』、JB リッピンコット社、ニューヨーク。
ジェームズ・フランクリン(1994)。形式科学は賢者の石を発見する。『科学史と科学哲学の研究』第 25 巻、第 4 号、513 ～ 533 ページ、1994 年
スティーブン・リーコック（1906年）『政治科学の要素』ホートン、ミフリン社、417頁。
ポッパー、カール・R. (2002) [1959].科学的発見の論理. ニューヨーク、NY: Routledge Classics. ISBN 0-415-27844-9. OCLC 59377149.
ベルント・P・スティガム（1990年）。経済学の形式科学に向けて。MITプレス
マーカス・トマリン（2006年）『言語学と形式科学』ケンブリッジ大学出版局
ウィリアム・L・トワイニング（1997年）「文脈の中の法：規律の拡大」 365頁。