In Brief
A formal system is a closed structure of rules for transforming symbols.
It is a system that operates at the level of form (syntax), not at the level of meaning.
What a Formal System Consists Of
- Alphabet: a set of permitted symbols.
- Rules for constructing formulas: how to produce well-formed expressions from symbols.
- Axioms: initial formulas accepted without proof within the system.
- Rules of inference: how to derive some formulas from others.
Why It Is a System
A formal system is called a system because:
- its elements are connected by strict rules;
- it has structure and order;
- it makes it possible to generate new expressions and proofs;
- its operation is reproducible: the same rules produce the same result.
How a Formal System Differs from Other Systems
A formal system is syntactic.
It does not, by itself, check “truth in reality,” but merely applies rules to symbols.
Example (inference scheme):
AA → B- therefore,
B
Here, the system does not ask whether A corresponds to the world; it performs a permitted transformation.
What “Formal” Means
The qualification “formal” is needed to distinguish such systems from other types:
- physical,
- biological,
- social,
- ontological.
In all of these cases, the properties of objects and their content matter.
In a formal system, what matters primarily is the form of notation and the rule of transformation.
An Important Conclusion
A formal system does not have to describe reality.
It can:
- model part of reality well;
- be used as a tool for reasoning;
- be an entirely autonomous construction without direct reference to the world.
A Separate Philosophical Question
Can reality be understood as a formal system?
Yes, as a philosophical hypothesis, it can.
But that is no longer the definition of a formal system; it is a separate worldview position.
