Linguistics
- Formal system, an abstract means of generating inferences in a formal language
- Formal language, comprising the symbolic "words" or "sentences" of a formal system
- Formal grammar, a grammar describing a formal language
- Formal proof, a fully rigorous proof as is possible only in a formal system
- Dynamic and formal equivalence word-for-word translation, especially of the Bible
Read more about this topic: Formal