 | ||
In informal logic, an inference objection is an objection to an argument based not on any of its stated premises, but rather on the relationship between premise and contention. For a given simple argument, if the assumption is made that its premises are correct, fault may be found in the progression from these to the conclusion of the argument. This can often take the form of an unstated co-premise, as in Begging the question. In other words, it may be necessary to make an assumption in order to conclude anything from a set of true statements. This assumption must also be true in order that the conclusion follow logically from the initial statements.
Example
In the example to the left, the objector can't find anything contentious in the stated premises of the argument supporting the conclusion that "There is no danger in NASA's Stardust Mission bringing material from the Wild 2 comet back to Earth", but still disagrees with the conclusion. The objection is therefore placed beside the main premise and exactly corresponds to an unstated or 'hidden' co-premise. This is demonstrated by the argument map to the right in which the full pattern of reasoning relating to the contention is set out.