We use rules to think.
Rules help us find patterns.
They help us count things.
They help us learn.
Math is one of these ways.
It helps us know more.
Can you find a pattern?
Some science looks at ideas.
These ideas do not use things you touch.
They use rules to find patterns.
One part is called math.
Another part is logic.
Logic helps us think well.
Math helps us count and measure.
These rules help other scientists.
They help us learn about the world.
They also help us study people.
It is a way to use tools.
These tools are made of words and ideas.
Some science studies things we can touch. Other science studies ideas. We call this formal science. It does not look at the physical world. Instead, it looks at abstract structures. These are patterns made of rules.
Formal science uses special tools. These tools are made of language. One branch is logic. Logic is a way to think clearly. Another branch is mathematics. Math uses numbers and shapes. There is also statistics. This is the study of data.
Other parts include computer science. This helps us make smart machines. There is also information theory. This studies how we share facts. Formal science helps other scientists too. It gives them tools to describe the world. It helps them make good guesses. Scientists use these rules to find new truths. They start with basic facts called axioms. They use these to find new ideas. We call these new ideas theorems. Formal science helps us understand how rules work.
Science helps us understand our world. Some scientists study living things or stars. These are called natural sciences. Other scientists study how people act in groups. These are called social sciences. But there is another kind of science too. It is called formal science. Formal science does not look at physical objects. Instead, it studies abstract structures. These structures are made of rules and patterns.
Formal science works in a special way. It does not use experiments to find truths. Instead, it uses language tools and systems. Scientists start with a set of rules called axioms. They also use clear definitions. From these starting points, they find new ideas. These new ideas are called theorems. This way of thinking is called deduction. It is like following a path of rules.
Many different subjects belong to formal science. One big branch is mathematics. Another branch is logic, which is also part of philosophy. Statistics is a way to study data. Computer science and artificial intelligence are also included. You might also study information theory or game theory. Some people study systems science or decision theory. Even linguistics can use these formal tools.
History shows us how these ideas grew. Philosophers like Rudolf Carnap thought about these sciences. He looked at how we know things. He said formal sciences use analytic statements. This means the truths come from the rules themselves. Other thinkers like Mario Bunge wrote about science. C. West Churchman wrote about logic in 1940. James Franklin wrote about these ideas in 1994. These people helped us understand formal rules.
Formal science is very helpful to other scientists. It provides the tools to describe the world. It helps natural scientists build better models. It also helps social scientists make good guesses. This is called making an inference. It is like using a map to find a way. Without formal science, describing patterns would be hard. It gives us the language for all science.
Formal science is a unique branch of scientific study. It focuses on abstract structures rather than physical objects. Most scientists study things we can touch or see. Natural scientists study the physical world through empirical methods. Social scientists study how people act within social systems. Formal scientists take a different approach. They study disciplines that use formal systems to describe patterns. These systems are not made of matter or energy. Instead, they are made of rules, symbols, and logic.
The mechanism of formal science relies on a specific process. It is a non-empirical way of finding truth. This means scientists do not use experiments to prove their ideas. Instead, they start with a set of axioms. Axioms are basic rules or starting points that are accepted as true. They also use very clear definitions to set the stage. From these starting points, they use a process called deduction. Deduction is the act of following rules to reach new conclusions. These new conclusions are known as theorems.
There are many distinct branches within the formal sciences. Mathematics is one of the most fundamental branches. Logic is another major branch, and it is also a part of philosophy. Statistics provides tools for analyzing data and uncertainty. Computer science and artificial intelligence study how information is processed. Information theory looks at how data is sent and received. Other specialized branches include game theory and decision theory. You can also find systems science and theoretical linguistics here.
History and philosophy have helped shape our understanding of these rules. Rudolf Carnap was a thinker who studied the epistemology of science. Epistemology is the study of how we know what we know. Carnap had a logical-positivist view of these sciences. He believed formal sciences contain only analytic statements. An analytic statement is a truth that comes from the meaning of the words or rules. He argued they contain no synthetic statements. Synthetic statements are truths that require observation of the physical world.
Many scholars have contributed to the development of these ideas. C. West Churchman wrote about the elements of logic and formal science in 1940. Mario Bunge wrote about the philosophy of science and technology in 1985. He also wrote a revised edition of his work on scientific research. Other researchers like James Franklin have explored how formal sciences function. In 1994, Franklin wrote about how these sciences act as a "philosophers' stone." Even experts like Bernt P. Stigum have worked on formalizing economics.
The significance of formal science lies in its relationship to other fields. It acts as a support system for the natural and social sciences. It provides the essential structures used to describe the physical world. Formal science helps scientists understand what inferences they can make. An inference is a logical conclusion drawn from available information. By providing these tools, formal science helps build better models. It allows scientists to organize their observations into clear, logical patterns.
Formal science connects deeply to the modern digital world. Fields like cryptography use these abstract rules to protect information. Cryptography is the study of secure communication. Data science and computer science also rely on formal structures. These disciplines help us manage the vast amounts of information in our society. By studying the rules of logic and mathematics, we can build complex systems. These systems allow for everything from advanced computing to complex economic models.
Where will your curiosity go next?
More to explore
✨ What else?
Related topics you might enjoy
🔬 Go deeper
More advanced topics to explore
🪜 Step back
Simpler topics to build understanding
What is Nepedia?
A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.