A Formal System
In general, in mathematics a formal system or "formal theory" consists of "objects" in a structure:
- The symbols to be concatenated (adjoined),
- The formation-rules (completely specified, i.e. formal rules of syntax) that dictate how the symbols and the assemblies of symbols are to be formed into assemblies (e.g. sequences) of symbols (called terms, formulas, sentences, propositions, theorems, etc.) so that they are in "well-formed" patterns (e.g. can a symbol be concatenated at its left end only, at its right end only, or both ends simultaneously? Can a collection of symbols be substituted for (put in place of) one or more symbols that may appear anywhere in the target symbol-string?),
- Well-formed "propositions" (called "theorems" or assertions or sentences) assembled per the formation rules,
- A few axioms that are stated up front and may include "undefinable notions" (examples: "set", "element", "belonging" in set theory; "0" and " ' " (successor) in number theory),
- At least one rule of deductive inference (e.g. modus ponens) that allow one to pass from one or more of the axioms and/or propositions to another proposition.
Read more about this topic: Object Theory
Famous quotes containing the words formal and/or system:
“This is no argument against teaching manners to the young. On the contrary, it is a fine old tradition that ought to be resurrected from its current mothballs and put to work...In fact, children are much more comfortable when they know the guide rules for handling the social amenities. It’s no more fun for a child to be introduced to a strange adult and have no idea what to say or do than it is for a grownup to go to a formal dinner and have no idea what fork to use.”
—Leontine Young (20th century)
“The genius of any slave system is found in the dynamics which isolate slaves from each other, obscure the reality of a common condition, and make united rebellion against the oppressor inconceivable.”
—Andrea Dworkin (b. 1946)