Editing Formal (section)

==Logic and mathematics==
*[[Formal logic]], or symbolic logic
** [[Informal logic]], the complement, whose definition and scope is contentious
*[[Formal fallacy]], reasoning of invalid structure
** [[Informal fallacy]], the complement
*[[Informal mathematics]], also called naïve mathematics
*[[Formal cause]], Aristotle's intrinsic, determining cause
*[[Formal power series]], a generalization of power series without requiring convergence, used in combinatorics
*[[Formal calculation]], a calculation which is systematic, but without a rigorous justification
*Formal [[set theory]], as opposed to [[Naive set theory]]<!--second blue link appropriate here to explain "formal" in this context -->
*[[Formal derivative]], an operation on elements of a polynomial ring which mimics the form of the derivative from calculus