In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with the axiomatic systems which instead use axioms as much as possible to express the logical laws of deductive reasoning.
Read more about Natural Deduction: Motivation, Judgments and Propositions, Introduction and Elimination, Hypothetical Derivations, Consistency, Completeness, and Normal Forms, First and Higher-order Extensions, Proofs and Type-theory, Classical and Modal Logics
Famous quotes containing the word natural:
“Knowledge has two extremes. The first is the pure natural ignorance in which all men find themselves at birth. The other extreme is that reached by great minds, who, having run through all that men can know, find they know nothing, and come back again to that same natural ignorance from which they set out; this is a learned ignorance which is conscious of itself.”
—Blaise Pascal (1623–1662)