Line 2: |
Line 2: |
| | | |
| A '''formal science''' is the academic study that is predominantly concerned with abstract [[formal systems]], for instance, [[logic]], [[mathematics]], and the theoretical branches of [[computer science]], [[information theory]], and [[statistics]]. | | A '''formal science''' is the academic study that is predominantly concerned with abstract [[formal systems]], for instance, [[logic]], [[mathematics]], and the theoretical branches of [[computer science]], [[information theory]], and [[statistics]]. |
− | | + | ==Is it "Science"?== |
| It is arguable whether formal science is, besides [[natural science]] and [[social science]], the third branch of science and some of the disciplines of formal science like [[mathematics]] and [[statistics]] are often even referred as natural science. For instance, [[Carl Friedrich Gauss]] referred to mathematics as "the Queen of the Sciences". In some notable universities, e.g. [[Imperial College London]] and [[Tokyo University]], their Department of mathematics/statistics run under the faculty of natural science/science. | | It is arguable whether formal science is, besides [[natural science]] and [[social science]], the third branch of science and some of the disciplines of formal science like [[mathematics]] and [[statistics]] are often even referred as natural science. For instance, [[Carl Friedrich Gauss]] referred to mathematics as "the Queen of the Sciences". In some notable universities, e.g. [[Imperial College London]] and [[Tokyo University]], their Department of mathematics/statistics run under the faculty of natural science/science. |
| | | |
Line 12: |
Line 12: |
| | | |
| However, many scholars oppose including formal science as a branch of science. They admit that formal science is a very powerful tool to natural and social science, but it does not mean formal science is science. Most importantly, they define science as the discipline using [[scientific method]] which bases on observation and [[empirical]] study. As [[knowledge]] in formal science is a priori and always constructed by rules of deduction from [[axioms]] and [[definition]] without any empirical study, they refuse to classify formal science as a branch of science. | | However, many scholars oppose including formal science as a branch of science. They admit that formal science is a very powerful tool to natural and social science, but it does not mean formal science is science. Most importantly, they define science as the discipline using [[scientific method]] which bases on observation and [[empirical]] study. As [[knowledge]] in formal science is a priori and always constructed by rules of deduction from [[axioms]] and [[definition]] without any empirical study, they refuse to classify formal science as a branch of science. |
− | | + | ==History== |
− | ----
| |
− | ''History''
| |
− | | |
| The study of formal science began much earlier than natural science and the invention of [[scientific method]], with the most ancient mathematical texts available dates back to 1500BC-500 BC ([[ancient India]]), 1300-1200 BC ([[ancient Egypt]]), and 1800 BC ([[Mesopotamia]]). From then on different cultures such as the [[History of India|Indian]], [[Greeks|Greek]], [[Islamic]] made major contributions to mathematics. | | The study of formal science began much earlier than natural science and the invention of [[scientific method]], with the most ancient mathematical texts available dates back to 1500BC-500 BC ([[ancient India]]), 1300-1200 BC ([[ancient Egypt]]), and 1800 BC ([[Mesopotamia]]). From then on different cultures such as the [[History of India|Indian]], [[Greeks|Greek]], [[Islamic]] made major contributions to mathematics. |
| | | |
Line 23: |
Line 20: |
| | | |
| Study on computer science and information theory did not begin until middle 20th century. | | Study on computer science and information theory did not begin until middle 20th century. |
− | | + | ==See also== |
− | ----
| |
− | | |
− | See also | |
− | | |
| * [[Abstraction]] | | * [[Abstraction]] |
− | ** [[Hypostatic abstraction]]
| |
− | ** [[Prescisive abstraction]]
| |
− | * [[Abstract structure]]
| |
− | * [[Abstraction (mathematics)|Abstraction in mathematics]]
| |
− | * [[Abstraction (computer science)|Abstraction in computer science]]
| |
| * [[Formal]] | | * [[Formal]] |
− | * [[Formal language]]
| |
− | * [[Formal method]]
| |
− | * [[Formal system]]
| |
− |
| |
| ==External links== | | ==External links== |
− |
| |
| * [http://www.math.uni-bonn.de/people/fotfs/ Interdisciplinary conferences — ''Foundations of the Formal Sciences''][http://en.wikipedia.org/w/index.php?title=Formal_science&action=edit] | | * [http://www.math.uni-bonn.de/people/fotfs/ Interdisciplinary conferences — ''Foundations of the Formal Sciences''][http://en.wikipedia.org/w/index.php?title=Formal_science&action=edit] |
| | | |
| [[Category: General Reference]] | | [[Category: General Reference]] |
| [[Category: Formal Sciences]] | | [[Category: Formal Sciences]] |