For
me, a formal science is the utilizable version of a formal system. Science is
the way we gain technology out of a system of concepts.
A
formal system is “A system of abstract thought based on the model of mathematics”
but that doesn’t cause a formal system
to be able of containing numerical or quantitative concepts only and limitedly,
such as Spinoza’s Ethics Imitating the form of Euclid’s Elements.
The
materials which construct a formal system are 4:
1. A
countable set of symbols/alphabet to construct formulas, just like a sentence
is constructed by letters in a language.
2. A
grammar as a reference on the method of setting a well-formed formula (wff).
3. A set
of axioms (statements or propositions that are regarded as being established)
which are of course Grammarly correct/well-formed formulas.
4. A set
of inference rules, such as “if statements” with premises and conclusions.
As
there are 4 steps for finding those 4 materials.
Logical Diagrams
Diagram of Family Trees
Logical Diagrams
Diagram of Family Trees
