A System of Logic, Ratiocinative and Inductive

by John Stuart Mill

Classification Of Fallacies.

§ 1. In attempting to establish certain general distinctions which shall mark out from one another the various kinds of Fallacious Evidence, we propose to ourselves an altogether different aim from that of several eminent thinkers, who have given, under the name of Political or other Fallacies, a mere enumeration of a certain number of erroneous opinions; false general propositions which happen to be often met with; loci communes of bad arguments on some particular subject. Logic is not concerned with the false opinions which people happen to entertain, but with the manner in which they come to entertain them. The question is not, what facts have at any time been erroneously supposed to be proof of certain other facts, but what property in the facts it was which led any one to this mistaken supposition.

When a fact is supposed, though incorrectly, to be evidentiary of, or a mark of, some other fact, there must be a cause of the error; the supposed evidentiary fact must be connected in some particular manner with the fact of which it is deemed evidentiary—must stand in some particular relation to it, without which relation it would not be regarded in that light. The relation may either be one resulting from the simple contemplation of the two facts side by side with one another, or it may depend on some [pg 516] process of mind, by which a previous association has been established between them. Some peculiarity of relation, however, there must be; the fact which can, even by the wildest aberration, be supposed to prove another fact, must stand in some special position with regard to it; and if we could ascertain and define that special position, we should perceive the origin of the error.

We can not regard one fact as evidentiary of another, unless we believe that the two are always, or in the majority of cases, conjoined. If we believe A to be evidentiary of B, if when we see A we are inclined to infer B from it, the reason is because we believe that wherever A is, B also either always or for the most part exists, either as an antecedent, a consequent, or a concomitant. If when we see A we are inclined not to expect B—if we believe A to be evidentiary of the absence of B—it is because we believe that where A is, B either is never, or at least seldom, found. Erroneous conclusions, in short, no less than correct conclusions, have an invariable relation to a general formula, either expressed or tacitly implied. When we infer some fact from some other fact which does not really prove it, we either have admitted, or, if we maintained consistency, ought to admit, some groundless general proposition respecting the conjunction of the two phenomena.

For every property, therefore, in facts, or in our mode of considering facts, which leads us to believe that they are habitually conjoined when they are not, or that they are not when in reality they are, there is a corresponding kind of Fallacy; and an enumeration of fallacies would consist in a specification of those properties in facts, and those peculiarities in our mode of considering them, which give rise to this erroneous opinion.

§ 2. To begin, then; the supposed connection, or repugnance, between the two facts, may either be a conclusion from evidence (that is, from some other proposition or propositions), or may be admitted without any such ground; admitted, as the phrase is, on its own evidence; embraced as self-evident, as an axiomatic truth. This gives rise to the first great distinction, that between Fallacies of Inference and Fallacies of Simple Inspection. In the latter division must be included not only all cases in which a proposition is believed and held for true, literally without any extrinsic evidence, either of specific experience or general reasoning; but those more frequent cases in which simple inspection creates a presumption in favor of a proposition; not sufficient for belief, but sufficient to cause the strict principles of a regular induction to be dispensed with, and creating a predisposition to believe it on evidence which would be seen to be insufficient if no such presumption existed. This class, comprehending the whole of what may be termed Natural Prejudices, and which I shall call indiscriminately Fallacies of Simple Inspection or Fallacies a priori, shall be placed at the head of our list.

Fallacies of Inference, or erroneous conclusions from supposed evidence, must be subdivided according to the nature of the apparent evidence from which the conclusions are drawn; or (what is the same thing) according to the particular kind of sound argument which the fallacy in question simulates. But there is a distinction to be first drawn, which does not answer to any of the divisions of sound arguments, but arises out of the nature of bad ones. We may know exactly what our evidence is, and yet draw a false conclusion from it; we may conceive precisely what our premises are, what alleged matters of fact, or general principles, are the [pg 517] foundation of our inference; and yet, because the premises are false, or because we have inferred from them what they will not support, our conclusion may be erroneous. But a case, perhaps even more frequent, is that in which the error arises from not conceiving our premises with due clearness, that is (as shown in the preceding Book[229]), with due fixity: forming one conception of our evidence when we collect or receive it, and another when we make use of it; or unadvisedly, and in general unconsciously, substituting, as we proceed, different premises in the place of those with which we set out, or a different conclusion for that which we undertook to prove. This gives existence to a class of fallacies which may be justly termed (in a phrase borrowed from Bentham) Fallacies of Confusion; comprehending, among others, all those which have their source in language, whether arising from the vagueness or ambiguity of our terms, or from casual associations with them.

When the fallacy is not one of Confusion, that is, when the proposition believed, and the evidence on which it is believed, are steadily apprehended and unambiguously expressed, there remain to be made two cross divisions. The Apparent Evidence may be either particular facts, or foregone generalizations; that is, the process may simulate either simple Induction or Deduction; and again, the evidence, whether consisting of supposed facts or of general propositions, may be false in itself, or, being true, may fail to bear out the conclusion attempted to be founded on it. This gives us first, Fallacies of Induction and Fallacies of Deduction, and then a subdivision of each of these, according as the supposed evidence is false, or true but inconclusive.

Fallacies of Induction, where the facts on which the induction proceeds are erroneous, may be termed Fallacies of Observation. The term is not strictly accurate, or, rather, not accurately co-extensive with the class of fallacies which I propose to designate by it. Induction is not always grounded on facts immediately observed, but sometimes on facts inferred; and when these last are erroneous, the error may not be, in the literal sense of the term, an instance of bad observation, but of bad inference. It will be convenient, however, to make only one class of all the inductions of which the error lies in not sufficiently ascertaining the facts on which the theory is grounded; whether the cause of failure be malobservation, or simple non-observation, and whether the malobservation be direct, or by means of intermediate marks which do not prove what they are supposed to prove. And in the absence of any comprehensive term to denote the ascertainment, by whatever means, of the facts on which an induction is grounded, I will venture to retain for this class of fallacies, under the explanation now given, the title of Fallacies of Observation.

The other class of inductive fallacies, in which the facts are correct, but the conclusion not warranted by them, are properly denominated Fallacies of Generalization; and these, again, fall into various subordinate classes or natural groups, some of which will be enumerated in their proper place.