Formal Science

A Formal Science is a scientific discipline that investigates formal systems.

• Example(s):
  • Mathematics.
  • Statistics.
  • Logic.
  • Theoretical Physics.
  • Theoretical Computing Science.
  • …
• Counter-Example(s):
  • Natural Science, like Biology,
  • Applied Science, like Engineering, Data Mining, ...
  • Social Science, like Political Science, Psychology, ...
• See: Theory, Formal Proof.

---

---

References

2009

• (Wikipedia, 2009) ⇒ http://en.wikipedia.org/wiki/Formal_sciences
  • A formal science is a branch of knowledge that is concerned with formal systems, for instance, logic, mathematics, systems theory and the theoretical aspects of computer science, information theory, microeconomics, decision theory, statistics, and linguistics.

---