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 ?
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.
Nevertheless, I would like to have seen natural deduction (or sequent calculi) included.
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.