File:Stylised_atom_with_three_Bohr_model_orbits_and_stylised_nucleus.svg · Wikimedia Commons · See Wikimedia Commons
formal science
Sign in to saveset of disciplines concerned with formal systems, such as logic, mathematics, and game theory
Formal science is the study of abstract systems like logic, mathematics, and game theory that rely on precise rules and reasoning rather than observations of the physical world. It matters because these disciplines provide the foundations and tools that other sciences use to model problems, prove theories, and make predictions.
AI-generated from the Wikipedia summary — may contain errors.
Wikidata facts
- Instance of
- branch of science
- Subclass of
- exact science
- Has part
- science
Show 1 more fact
- topic's main category
- Category:Formal sciences
via Wikidata · CC0
~4 min read
Encyclopedic overview
Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems.
Whereas the natural sciences and social sciences seek to characterize physical systems and social systems, respectively, using theoretical and empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems and the deductions that can be made from them.
Excerpted from Wikipedia’s “formal science” article, available under the CC BY-SA 4.0 licence.