Block, SkipCaptcha, Automoderated users, Bots, edit
57,719
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: − +
→top: clean up & uniformity
A '''deduction''' in [[formal logic]] is a way of proving a proposition. Specifically, when a conclusion is inferred from premises or facts, it is said to "follow" (''like the water downstream to the spring source''), from previously stated propositions via certain logical rules.
A '''deduction''' in [[formal logic]] is a way of proving a proposition. Specifically, when a conclusion is inferred from premises or facts, it is said to "follow" (''like the water downstream to the spring source''), from previously stated propositions via certain logical rules.
Deduction is used most often in geometry, but also has its place in philosophy and law. Deduction is often un-used in science, as deduction requires that one have certainty of truth of both the major and minor premises--something science is unwilling to make claims about.
Deduction is used most often in geometry, but also has its place in philosophy and law. Deduction is often un-used in science, as deduction requires that one have certainty of truth of both the major and minor premises—something science is unwilling to make claims about.
The normal contrast to deduction is [[induction]], whereby the two are posed as distinct opposites. However, they are not so distinct as to be alien to each other. Rather, induction and deduction have a single common root from which they necessarily are operationally distinguished: the mind. So, in regard to formal logic in this root sense, a merely mechanical or electronic simulator of genuine mental operations does not possess either any actual deductive or actual inductive logic.
The normal contrast to deduction is [[induction]], whereby the two are posed as distinct opposites. However, they are not so distinct as to be alien to each other. Rather, induction and deduction have a single common root from which they necessarily are operationally distinguished: the mind. So, in regard to formal logic in this root sense, a merely mechanical or electronic simulator of genuine mental operations does not possess either any actual deductive or actual inductive logic.