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**- Chained Vs Non-chained Calculations

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

**Formal Calculation**- Examples - Symbol Manipulation

... of both 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 ...

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

“Common sense is the measure of the possible; it is composed of experience and prevision; it is *calculation* appled to life.”

—Henri-Frédéric Amiel (1821–1881)

“The *formal* Washington dinner party has all the spontaneity of a Japanese imperial funeral.”

—Simon Hoggart (b. 1946)