Formal Science
What are formal sciences?
Think about the difference between studying rocks and studying numbers. When you study rocks, you pick them up, weigh them, examine them under a microscope—you interact with real, physical objects. But when you study numbers, you’re not handling physical things. You’re working with ideas, patterns, and logical relationships. This distinction gets at the heart of what formal sciences are all about.
Formal sciences include mathematics, logic, statistics, computer science theory, and systems theory. What makes them “formal” is that they study abstract ideas—concepts that exist independent of any physical form—rather than the material world around us. While a biologist might study how plants grow or a physicist might measure the speed of light, a mathematician studies relationships between numbers and shapes that exist purely as concepts.
Starting from the ground up
All formal sciences begin with abstraction, which simply means focusing on the essential features of something while ignoring the irrelevant details. For example, when you think about the concept of “three,” you’re not thinking about three specific apples or three particular people. You’re thinking about “three-ness” itself—the abstract quality that all groups of three things share.
From this abstraction, formal sciences build what we call formal systems. Think of a formal system like a game with well-defined rules. It has:
- Symbols (like numbers, letters, or logical symbols—similar to game pieces)
- Rules for how you can manipulate those symbols (like how chess pieces can move)
- Starting assumptions, called axioms, that everyone agrees to accept as true (like agreeing on the starting position in chess)
The key principle that makes formal science different from other sciences is how truth gets established. In biology or chemistry, you prove something is true by doing experiments and observing what happens in the real world. In formal sciences, you establish truth through logical reasoning—if you accept the starting assumptions and follow the rules correctly, certain conclusions must follow. It’s not about what you can see or measure; it’s about what must be true based on logic alone.
What makes formal sciences unique
Formal sciences have several special characteristics that set them apart.
Precision: Every term has an exact, specific meaning. There’s no room for vagueness. When a mathematician uses the word “triangle,” everyone knows precisely what that means—not “sort of three-sided” but exactly three sides, no more, no less.
Logical rigor: Each step in reasoning follows necessarily from the previous steps. You can’t skip steps or make intuitive leaps. Every conclusion must be justified by the established rules.
Consistency: The system can’t contradict itself. If you can prove that statement A is true, you can’t also prove that the opposite of statement A is true. The system has to hang together logically.
Universal application: Once something is proven true in mathematics, it’s true everywhere and always. The Pythagorean theorem worked in ancient Greece, works today, and will work on Mars. It doesn’t depend on time, place, or circumstances.
These characteristics mean that formal sciences offer a special kind of certainty. If your reasoning is sound and your starting assumptions are accepted, your conclusions are unassailable.
How formal sciences support other fields
Here’s where formal sciences become incredibly powerful: they provide the tools and language that all other sciences use. Think of formal sciences as the instruction manual that makes other sciences possible.
Biologists use statistics to determine whether a new drug really works or if the results happened by chance. Physicists use advanced mathematics to describe how planets orbit or how atoms behave. Economists use mathematical models to predict how markets will respond to changes. Psychologists use logical frameworks to develop theories about human behavior.
Without formal sciences, these fields would be stuck making vague statements and rough guesses. Formal sciences give them the precision needed to make exact predictions, measure their accuracy, and build reliable theories.
Why this matters in everyday life
You might think this all sounds very theoretical, but formal sciences shape your daily life in countless ways. Every time you use your smartphone, you’re benefiting from computer science—which uses formal logic and mathematical structures to design the software that makes your phone work. When you drive over a bridge, you’re trusting that engineers used mathematical models to ensure it won’t collapse. When you check the weather forecast, you’re relying on statistical methods that predict future conditions based on current data.
Even in fields like medicine, formal methods are crucial. When doctors determine which treatment is most effective, they rely on statistics to analyze clinical trial data. When researchers develop new medications, they use mathematical models to understand how drugs will interact with the body.
The big picture
Formal science represents humanity’s systematic way of understanding abstract relationships and logical structures. By starting with basic ideas and reasoning carefully from those foundations, formal sciences create the intellectual tools that enable clear thinking and problem-solving across every field of human knowledge.
What makes these disciplines so powerful is their universality and precision. While our observations of the physical world can be limited by our instruments or perspectives, logical truths transcend these limitations. A mathematical proof is equally valid whether you’re on Earth or across the galaxy, whether it’s the Stone Age or the Space Age.
In essence, formal sciences provide the scaffolding upon which all other systematic knowledge is built. They give us a common language for describing patterns, making predictions, and testing ideas—making them among the most fundamental and powerful tools in humanity’s intellectual toolkit.