DEDUCTION. — It can be understood in different ways:
a) In a generic sense, which is also the one immediately suggested by the term, deduction is the process of reasoning by which, from one or more propositions, one arrives at a new proposition formally contained within them, by virtue of a logical connection or bond. Thus understood, deduction encompasses every kind of formal reasoning, that is, reasoning in which the conclusion follows necessarily from the premises by logical consequence.
b) In a narrower and fairly common usage, deduction refers to the process of reasoning that proceeds from universal principles to particular truths; as such, it is contrasted with induction (q.v.), which proceeds from particular facts to universal principles; and it constitutes the principal moment of the synthetic process, just as induction does of the analytic process (q.V. ANALYSIS).
c) Finally, since the most typical form of reasoning from the universal to the particular is the common syllogism, deduction is sometimes identified—though quite inaccurately—with the syllogism (q.v.).
The narrower senses b) and c) take their starting point from Aristotle, for whom ἀπόδειξις (demonstrative syllogism, and sometimes syllogism in general) is universally affirmed as the deduction of the particular from the universal and is contrasted with induction: ἀπόδειξις and ἐπαγωγή are, according to Aristotle, the two essential forms of human learning, proceeding, the former from the universal to the particular, the latter, conversely, from the particular to the universal (Anal. pr., II, 23, 68 b 13; Anal. post., I, 18, 81 a 40). This Aristotelian identification of deduction with demonstrative syllogism is rooted in the metaphysical function he attributes to the universal as the essential principle of the particular and the concrete: the process, therefore, of deducing the particular from the universal is also the path of demonstration, that is, the scientific cognition of the particular as brought back to the universality of the concept. The opposition between deduction and induction in the Aristotelian sense, however, does not have absolute value. The type of mathematical deduction, in fact, can proceed from the particular to the universal, as, for example, when from a property pertaining to a determined case, one derives, by an apodictic logical process, the general formula in which the case is contained.
Kant, starting from the particular meaning of the term in juridical language, calls transcendental deduction the explanation of the way in which a priori concepts or pure forms of the intellect relate to experience and have validity for II. Unlike empirical deduction, which merely shows how a concept is acquired through experience, transcendental deduction is a justification, based on the a priori structure of reason, of the objective use of the categories. It is founded, according to Kant, on the principle that pure concepts must be recognized as the a priori conditions of the possibility of experience and of its very objects (cf. Critique of Pure Reason, Bari 1940, part 1, pp. 119–28).
Deduction, understood as a process of synthetic development from universal principles, has an essential role in the rational sciences (philosophy, mathematics, etc.), and an equally important integrative role in the physical sciences, despite repeated attempts at devaluation by empiricism. While it primarily serves as a method of proof and scientific organization, by which the logical concatenation of concepts and judgments is brought to light, it also claims an intrinsic heuristic and expansive value for knowledge. For if it is true that particular truths are objectively contained within universal principles, they do not reveal themselves to thought except through the fecundity of deductive development (q.V. SYLLOGISM).