(logic) A process of reasoning that moves from the general to the specific, in which a conclusion follows necessarily from the premises presented, so that the conclusion cannot be false if the premises are true.
“Without it, even a priori deducibility might seem explanatorily less than sufficient, though the need for such a story remains a matter of controversy.”