什么是形式科學(Formal Sciences)？

"形式科學"是一門用形式系統產生知識的研究領域。數學是典型的例子。其他包括邏輯、統計學、信息論，和理論計算機科學。盡管有時有人質疑這些學科是否是真正的"科學"——考慮到缺乏真實世界的實驗，這些學科通常被歸為科...

"形式科學"是一門用形式系統產生知識的研究領域。數學是典型的例子。其他包括邏輯、統計學、信息論，和理論計算機科學。盡管有時有人質疑這些學科是否是真正的"科學"——考慮到缺乏真實世界的實驗，這些學科通常被歸為科學。盡管它們缺乏經驗基礎，但一般認為形式科學極其重要，而且事實上，所有的定量科學都依賴于它們。關于形式科學是否是真正的科學，這是一個持續不斷的爭論。

荷蘭天文學家克里斯蒂安·惠更斯（Christiaan Huygens）幫助推動了現代數學的發展。數學文本出現在公元前1800年左右的美索不達米亞的古代歷史中，巴比倫，當時地球上最大的城市巴比倫的位置。最初的目的是量化商品，如奴隸或谷物。大約在公元前600年中國和希臘在公元前400年是邏輯的初步發展，對推理方法的明確分析。在希臘有古希臘偉大的哲學家，如畢達哥拉斯、蘇格拉底，亞里士多德，他對邏輯和科學的直覺和信仰一直統治著西方世界直到現代，直到17世紀的杰出人物，如皮埃爾·德·費馬、布萊斯·帕斯卡，克里斯蒂安·惠更斯開創了現代數學的發展。

法國數學家布萊斯·帕斯卡開始了現代形式數學的發展，現代（貝葉斯）統計可以追溯到20世紀中葉的克勞德·香農和喬恩·馮·諾依曼，艾倫·圖靈也做出了重要貢獻有關計算機、無線電信號和天線設計的理論都依賴于這些思想家所取得的里程碑。這些領域都是形式科學的重要組成部分。

數學文本出現在古代歷史中，大約在公元前1800年，在現代伊拉克所在的美索不達米亞，經過幾十年的混亂之后最近，在實驗科學、社會科學等領域，已經有了更多的"實驗科學"和"社會科學"的方法，而這些結果中的許多正在掃除弗洛伊德等老思想家的傳統智慧。實驗心理學通常屬于"認知心理學"的旗號。理論物理似乎高度依賴于數學的發展來取得進步。理論物理學通常使用最先進的數學古希臘哲學家蘇格拉底關于邏輯和科學的信仰一直統治著西方世界直到現代。

發表于 2020-09-06 16:48
閱讀 ( 4332 )
分類：科學教育

什么是形式科學(Formal Sciences)？

你可能感興趣的文章

相關問題

0 條評論

作家榜 ?

推薦文章