In mathematical logic, a **formal calculation** is a calculation which is *systematic, but without a rigorous justification*. This means that we are manipulating the symbols in an expression using a generic substitution, without proving that the necessary conditions hold. Essentially, we are interested in the **form** of an expression, and not necessarily its underlying meaning. This reasoning can either serve as positive evidence that some statement is true, when it is difficult or unnecessary to provide a proof, or as an inspiration for the creation of new (completely rigorous) definitions.

However, this interpretation of the term formal is not universally accepted, and some consider it to mean quite the opposite: A completely rigorous argument, as in formal mathematical logic.

### Other articles related to "formal calculation":

**Formal Calculation**- Examples - Symbol Manipulation

... sides Now we take a simple antiderivative Because this is a

**formal calculation**, we can also allow ourselves to let and obtain another solution If we have any doubts about our argument, we can ...

**Formal Calculation**- Chained Vs Non-chained Calculations

... Nonetheless, note that, when chain indices are in use, the numbers cannot be said to be "in period " prices. ...

### Famous quotes containing the words calculation and/or formal:

““To my thinking” boomed the Professor, begging the question as usual, “the greatest triumph of the human mind was the *calculation* of Neptune from the observed vagaries of the orbit of Uranus.”

“And yours,” said the P.B.”

—Samuel Beckett (1906–1989)

“The manifestation of poetry in external life is *formal* perfection. True sentiment grows within, and art must represent internal phenomena externally.”

—Franz Grillparzer (1791–1872)