正式な科学
ウィキペディアから、無料の百科事典
形式科学は、 論理 、 数学 、 統計 、 理論コンピュータ科学 、 情報理論 、 ゲーム理論 、 システム理論 、 決定理論 、 理論 的 言語 学などの正式なシステムに関係する言語 学問です。 自然科学と社会科学は経験的方法を使ってそれぞれ物理的システムと社会システムを特徴づけようとしているが、正式科学は記号システムによって記述された抽象的な構造の特徴づけに関係する言語ツールである。 正式な科学は、世界を記述するために後者が使用する構造についての情報を提供し、それらについて何が推測されるかによって、自然科学を助ける。
内容
1歴史
2他の形態の科学との違い
3も参照
4参考文献
5さらに読む
6外部リンク
7参考文献
歴史
正式な科学は、1800年前（ バビロニアの数学 ）、1600年前（ エジプトの数学 ）、1000年前（ インドの数学 ）にまでさかのぼる古代の数学的テキストを持つ、 科学的方法の定式化の前に始まった。 それ以来、インド、 ギリシャ 、 イスラムの数学者など数々の文化が数学に大きな貢献をしていますが、 中国や日本人は遠い文化とは無関係に独自の数学的伝統を発展させました。
数学のほかに、 論理は正式科学の分野で最も古い科目の一つの別の例です。 推論の方法を明示的に分析すると、ロジックは元々6世紀のインド 、5世紀の中国 、4世紀と1世紀のギリシャの3ヶ所で持続的に発展しました。 現代論理の形式的に洗練された扱いは、ギリシャの伝統から引き継がれ、 アリストテレス論理の伝達から知らされ、その後イスラム 論理学者によってさらに発展された。 インドの伝統も近世初期に続きました。 インドの論理は後に中世の中国で採用されたが、ネイティブの中国の伝統は古さを超えて生き残れなかった。
正式科学の他の多くの学問分野は数学に大きく依存しているので、数学が比較的高度なレベルにまで発展していなければ存在しませんでした。 Pierre de FermatとBlaise Pascal （1654）、 Christiaan Huygens （1657）は、 確率論の初期の研究を開始しました。 1800年代初頭、 ガウスとラプラスは統計学の数学理論を発展させました 。これは、保険と政府会計における統計の使用についても説明しました。 数学的統計は、20世紀初頭の数学的規律として認識されました。
20世紀半ば、数学はオペレーションズリサーチやシステムエンジニアリングのような新しい数理科学と工学分野の台頭により広がり、豊かになりました。 これらの科学は、電気工学の基礎研究の後、 情報理論 、 数値解析 （ 科学計算 ）、 理論コンピュータ科学を刺激する電気コンピューティングの発展によって恩恵を受けました 。 理論計算科学は、計算理論を含む数学論理の訓練からも利益を得る 。
他の形の科学との違い
数学が他の科学よりも特別な尊敬を享受する理由の1つは、他の科学者がある程度議論の余地があり、新たに発見された事実によって打ち倒される絶えず危険にさらされている一方で、
経験科学（自然と社会）とは対照的に、正式科学は経験的手続きを伴わない。 彼らはまた、偶発事実の知識を前提にしていないか、現実の世界を記述していません。 この意味で、正式な科学は論理的にも方法論的にも先験的であり、その内容と有効性は経験的な手順とは無関係であるからです。
正式科学は概念的なシステムで経験的な内容が欠けていますが、実際の世界とは関係がないわけではありません。 しかし、この関係は、それらの正式な陳述が考えられるすべての可能な世界（ 有効な公式を参照）を保持するようなものである - 一方、 一般相対性理論や進化生物学のような経験的理論に基づく記述は、結局のところ、この世界でも保持されないことが分かります。 そういうわけで、正式な科学はすべての領域に適用可能であり、すべての経験科学で有用です。
彼らの非経験的性質のために、正式な科学は、他の記述（ 定理 ）が導かれる一連の公理および定義を概説することによって解釈される。 言い換えれば、正式科学の理論には合成声明は含まれていない。 すべてのステートメントは分析的です。
また、
 |
参考文献
アルバート・アインシュタイン （1923年）。 "幾何学と経験"。 相対性理論の側面 クーリエドーバー出版物。 p。 27。Dover（2010）、 ISBN 978-0-486-24511-9によって転載 。
Carnap、Rudolf （1938）。 "科学の一致の論理的基礎"。 統一科学の国際百科事典 。 私 。 シカゴ：シカゴ：シカゴプレスの大学。
Bill、Thompson（2007）、「2.4正式科学と応用数学」、 統計的証拠の性質、統計学における講義ノート、 189 （1st ed。）、Springer、p。 15
さらに読む
Mario Bunge （1985）。 科学技術の哲学 Springer。
Mario Bunge（1998）。 科学の哲学 Rev. の： 科学的研究 。 ベルリン、ニューヨーク：Springer-Verlag、1967年。
C. West Churchman （1940）。 ロジックとフォーマルサイエンスの要素 、JB Lippincott Co.、New York。
James Franklin （1994）。 正式な科学は哲学者の石を発見する 。 科学の歴史と哲学の研究 。 Vol。 25、No.4、pp。513-533、1994
スティーブン・リーコック（1906年）。 政治学の要素 。 Houghton、Mifflin Co、417 pp。
Bernt P. Stigum（1990）。 正式な経済学に向けて 。 MIT Press
マルクス・トマリン （2006年）、 言語学とフォーマル・サイエンス 。 ケンブリッジ大学出版
William L. Twining（1997）を参照されたい。 文脈における法則：規律の拡大 。 365 pp。
Michael M. Nikoletseas（2014年）。 "パメニデス：世界の様式コギタンディ"。 ISBN 978-1492283584 "に記載されている。
外部リンク
参考文献
- Popper、Karl R.（2002）[1959]。 科学的発見の論理 。 ニューヨーク、NY：Routledge Classics。 ISBN 0-415-27844-9 。 OCLC 59377149 。
カテゴリー ：