 is often made in this connection is to
call deduction a &quot;demonstrative&quot; form of inference, while abduction
and induction are classed as &quot;non-demonstrative&quot; forms of reasoning.
Strictly speaking, the latter two modes of reasoning are not properly
called inferences at all.  They are more like controlled associations
of words or ideas that just happen to be successful often enough to be
preserved as useful heuristic strategies in the repertoire of the agent.
But non-demonstrative ways of t