An interesting controversy regarding deduction:
Note: The following definition for deduction is preferred
by many who teach logic and critical thinking:
"Any argument where the intent is for the premises
to lead to the conclusion with certainty."
Intention is very important in this definition, because
it includes certain argument forms which the first definition
excludes (see Formal Fallacies). These additional forms are
fallacious (i.e., the premises do not actually lead to the
conclusion with certainty, but the author erroneously believes
that they do). We call these fallacious forms "deductively
invalid."
This author prefers the first definition because it does
not require one to ascertain intention, but rather focuses
on the actual logical structure of the argument. Either it
is actually valid (hence deductive) or it is invalid (hence
inductive). This is consistent with the definition given
in A Dictionary of Philosophy by Antony Flew:
"A valid argument in which it is impossible to assert
the premises and to deny the conclusion without thereby contradicting
oneself.
Notice that the first definition makes the words "deductive" and "valid" synonyms,
where the second definition requires the addition of "valid" or "invalid" to
indicate the quality of the argument."