Technical Report Number
There are three theses here: • Non-computationally conceived inference merely expands notation. This includes induction as well as deduction, and thus both deserve the adjective non-ampliative. Deriving entailments merely expands shorthand. All of the familiar formalisms for reasoning do just this. • There now exist examples of formalism for reasoning that do something else. They are deliberative, and to say in what way they are deliberative requires reference to the process through which they compute their entailments. • The original ampliative/non-ampliative terminology best survives as referring to this new distinction. Viewed formally, all other attempted distinctions either presume deduction to be privileged, or else fail to separate inference that actually tells us something new from inference that simple rehashes what has already been represented.
Loui, R. P., "Ampliative Inference, Computation, and Dialectic" Report Number: WUCS-89-41 (1989). All Computer Science and Engineering Research.