| シリーズの一部 |
| 科学 |
|---|
 |
| 一般 |
| 分野 |
| 社会の中で |
形式科学は、論理学、数学、統計学、理論計算機科学、人工知能、情報理論、ゲーム理論、システム理論、意思決定理論、理論言語学など、形式体系によって記述される抽象的な構造に関する分野を研究する科学の一分野です。自然科学と社会科学は、それぞれ理論的および経験的手法を用いて物理システムと社会システムを特徴づけようとしますが、形式科学は、形式体系によって記述される抽象的な構造と、そこから得られる演繹を特徴づけることに関係する言語ツールを使用します。形式科学は、物理世界を記述するために使用される構造と、それらについてどのような推論ができるかに関する情報を提供することで、自然科学と社会科学を支援します。[1]
分野
他の科学との違い
数学が他のすべての科学よりも特別に評価される理由の 1 つは、数学の法則が絶対的に確実で議論の余地がないのに対し、他の科学の法則はある程度議論の余地があり、新たに発見された事実によって常に覆される危険があるからです。
— アルバート・アインシュタイン[2]
形式科学は非経験的性質を有するため、公理と定義の集合を概説し、そこから他の命題（定理）を導き出すことによって解釈される。このため、ルドルフ・カルナップの科学認識論における論理実証主義的概念では、形式科学に属する理論は総合的命題を含まず、分析的命題のみを含むと理解されている。[3] [4]
参照
- 哲学 - 一般的かつ根本的な問題の研究
- 科学 – 知識を得るための体系的な努力
- 合理主義 – 理性を中心とした認識論的見解
- 抽象構造 – 科学、数学、哲学における抽象化の種類
- 数学における抽象化 – 数学的概念の根底にある本質を抽出するプロセス
- コンピュータサイエンスにおける抽象化 - 詳細を隠してアクセスを提供するソフトウェア
- 認知科学 – 認知プロセスの学際的な科学的研究
- 形式主義（数学の哲学） - 数学は必ずしも現実を表現するものではなく、むしろゲームに近いものであるという考え方
- 形式文法 – 形式言語の構造
- 形式言語 – 特定の規則によって形成された単語の並び
- 形式手法 - 数学的プログラム仕様
- 形式体系 – 演繹や証明システムのための数学モデル
- 形式と内容 – 芸術作品の明確な側面
- 数学モデル – 数学的概念と言語を用いたシステムの記述
- 数理科学 – 主に数学的な研究分野のグループ
- 数学科目分類 – 数学の分類体系
- 記号学 – 記号の研究
- 形相論 – プラトンに帰せられる哲学理論
参考文献
- ^ ラムー、ディネシュ（2024）『批判的思考』トンプソン・リバーズ大学オープン・プレス
- ^ アルバート・アインシュタイン(1923). 「幾何学と経験」.相対性理論の考察. クーリエ・ドーバー出版. p. 27.ドーバー社（2010年）より再版、ISBN 978-0-486-24511-9。
- ^ ルドルフ・カルナップ（1938年）「科学の統一性の論理的基礎」国際統一科学百科事典第1巻。シカゴ：シカゴ大学出版局
- ^ ビル・トンプソン（2007年）「2.4 形式科学と応用数学」『統計的証拠の性質』統計学講義ノート第189巻（第1版）、シュプリンガー、15ページ
さらに詳しい参考文献
- マリオ・ブンゲ（1985年）『科学技術の哲学』シュプリンガー
- マリオ・ブンゲ (1998). 『科学哲学』改訂版. 『科学研究』 . ベルリン, ニューヨーク: Springer-Verlag, 1967.
- C. ウェスト・チャーチマン(1940). 『論理と形式科学の要素』 , JBリッピンコット社, ニューヨーク.
- ジェームズ・フランクリン(1994). 形式科学は賢者の石を発見する. 『科学史哲学研究』第25巻第4号, pp. 513–533, 1994
- スティーブン・リーコック（1906年）『政治科学の要素』ホートン、ミフリン社、417頁。
- ポパー、カール・R. (2002) [1959]. 『科学的発見の論理』 ニューヨーク、ニューヨーク州: ラウトレッジ・クラシックス. ISBN 0-415-27844-9 OCLC 59377149
- バーント・P・スティガム（1990年）『経済学の形式科学に向けて』MITプレス
- マーカス・トマリン（2006年）『言語学と形式科学』ケンブリッジ大学出版局
- ウィリアム・L・トワイニング（1997年）『文脈の中の法：学問分野の拡大』 365頁。
外部リンク
