natural deduction


Also found in: Encyclopedia, Wikipedia.

natural deduction

n
(Logic) a system of formal logic that has no axioms but permits the assumption of premises of an argument. Such a system uses sequents to record which assumptions are operative at any stage. Compare axiomatic3
Mentioned in ?
References in periodicals archive ?
For example, a mathematical or philosophical argument may be made completely inferentially rigorous (atomized) by decomposing its inferential steps into the type of step found in a natural deduction system.
Topics include overlapping as a basic concept of subset spaces, representing public transport schedules as repeating trips, a heuristic approach to order events in narrative texts, and labeled natural deduction systems for a family of tense logics.
He works through informal logic, including meanings and definition of language and fallacies, formal logic, including categorical propositions and syllogisms, propositional logic, natural deduction in propositional logic and predicate logic, inductive logic, including analogies, legal and moral reasoning, causality and Mill's methods, probability, statistical reasoning, and hypothetical and scientific reasoning.
This system, called ETPS, consists primarily of the interactive facilities for natural deduction reasoning from TPS.
Numerous practice problems use arguments related to issues of diversity and social theory, and the book introduces methods of proving validity that include Venn diagrams, natural deduction, and the method of tableaux.
Although his methods, rules and structures have lead to verification programs essential to computer science, and his work on natural deduction, the sequent calculus and ordinal proof theory are still considered advanced, his life eventually ran contrary to the passions of his nation.