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. Informal logic is the study of arguments as presented in ordinary language, as contrasted with the presentations of arguments in an artificial (technical) or formal language (see formal logic). ... A co-premise is a premise in reasoning and informal logic which is not the main supporting reason for a contention or a lemma, but is logically necessary to ensure the validity of an argument. ... In logic, begging the question, also known as circular reasoning and by the Latin name petitio principii, is an informal fallacy found in many attempts at logical arguments. ...
The same argument with the originally unstated co-premise included.
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. NASA Insignia Listen to this article · (info) This audio file was created from an article revision dated 2005-09-01, and does not reflect subsequent edits to the article. ...