(Cross-posted at M-Phi)
It is fair to say that the ‘received view’ about deductive inference, and about inference in general, is that it proceeds from premises to conclusion so as to produce new information (the conclusion) from previously available information (the premises). It is this conception of deductive inference that gives rise to the so-called ‘scandal of deduction’, which concerns the apparent lack of usefulness of a deductive inference, given that in a valid deductive inference the conclusion is already ‘contained’, in some sense or another, in the premises. This is also the conception of inference underpinning e.g. Frege’s logicist project, and much (if not all) of the discussions in the philosophy of logic of the last many decades. (In fact, it is also the conception of deduction of the most famous ‘deducer’ of all times, Sherlock Holmes.)
That an inference, and a deductive inference in particular, proceeds from premises to conclusion may appear to be such an obvious truism that no one in their sane mind would want to question it. But is this really how it works when an agent is formulating a deductive argument, say a mathematical demonstration?