 Finocchiaro distinguishes six ways in which arguments can be fallacious. (1) Formal fallaciousness is simply the case where the conclusion does not follow validly from the premises; this type of error can be demonstrated by producing a suitable analogous counter-example in which the premises are true and the conclusion is false. (2) Explanatory fallaciousness occurs when a specified conclusion follows with no more certainty from the given premises than does a rival conclusion; it occurs most often in the context of proposing explanatory hypotheses. (3) Presuppositional fallaciousness occurs in those cases where an argument depends on a false presupposition; this kind of fallaciousness is demonstrated by making a sound argument showing the presupposition to be false. (4) Positive fallaciousness occurs when the given premises, complemented by other propositions taken as true, are shown to support a conclusion inconsistent with the given conclusion. (5) Semantical fallaciousness results from the ambiguity of terms; the conclusion will follow if the sense given to the term in the premises makes the premises false, but if the other sense is ascribed to the term, making the premises true, the conclusion does not follow (it becomes an instance of formal fallaciousness). (6) Finally, Finocchiaro singles out persuasive fallaciousness, in which the conclusion does not follow from the premises because it is the same as one of the premises. As a test of completeness of this six-fold division of fallaciousness, Finocchiaro (1987) observes that it is adequate to classify all the kinds of errors which Galileo found in the arguments of the defenders of the geocentric view of the solar system.