§ 2. To begin with the conditions of direct Induction.—An Induction is an universal real proposition, based on observation, in reliance on the uniformity of Nature: when well ascertained, it is called a Law. Thus, that all life depends on the presence of oxygen is (1) an universal proposition; (2) a real one, since the 'presence of oxygen' is not connoted by 'life'; (3) it is based on observation; (4) it relies on the uniformity of Nature, since all cases of life have not been examined.
Such a proposition is here called 'an induction,' when it is inductively proved; that is, proved by facts, not merely deduced from more general premises (except the premise of Nature's uniformity): and by the 'process of induction' is meant the method of inductive proof. The phrase 'process of induction' is often used in another sense, namely for the inference or judgment by which such propositions are arrived at. But it is better to call this 'the process of hypothesis,' and to regard it as a preliminary to the process of induction (that is, proof), as furnishing the hypothesis which, if it can stand the proper tests, becomes an induction or law.
§ 3. Inductive proofs are usually classed as Perfect and Imperfect. They are said to be perfect when all the instances within the scope of the given proposition have been severally examined, and the proposition has been found true in each case. But we have seen ([chap. xiii. § 2]) that the instances included in universal propositions concerning Causes and Kinds cannot be exhaustively examined: we do not know all planets, all heat, all liquids, all life, etc.; and we never can, since a man's life is never long enough. It is only where the conditions of time, place, etc., are arbitrarily limited that examination can be exhaustive. Perfect induction might show (say) that every member of the present House of Commons has two Christian names. Such an argument is sometimes exhibited as a Syllogism in Darapti with a Minor premise in U., which legitimates a Conclusion in A., thus:
A.B. to Z have two Christian names;
A.B. to Z are all the present M.P.'s:
∴ All the present M.P.'s have two Christian names.
But in such an investigation there is no need of logical method to find the major premise; it is mere counting: and to carry out the syllogism is a hollow formality. Accordingly, our definition of Induction excludes the kind unfortunately called Perfect, by including in the notion of Induction a reliance on the uniformity of Nature; for this would be superfluous if every instance in question had been severally examined. Imperfect Induction, then, is what we have to deal with: the method of showing the credibility of an universal real proposition by an examination of some of the instances it includes, generally a small fraction of them.
§ 4. Imperfect Induction is either Methodical or Immethodical. Now, Method is procedure upon a principle; and if the method is to be precise and conclusive, the principle must be clear and definite.
There is a Geometrical Method, because the axioms of Geometry are clear and definite, and by their means, with the aid of definitions, laws are deduced of the equality of lines and angles and other relations of position and magnitude in space. The process of proof is purely Deductive (the axioms and definitions being granted). Diagrams are used not as facts for observation, but merely to fix our attention in following the general argument; so that it matters little how badly they are drawn, as long as their divergence from the conditions of the proposition to be proved is not distracting. Even the appeal to "superposition" to prove the equality of magnitudes (as in Euclid I. 4), is not an appeal to observation, but to our judgment of what is implied in the foregoing conditions. Hence no inference is required from the special case to all similar ones; for they are all proved at once.
There is also, as we have seen, a method of Deductive Logic resting on the Principles of Consistency and the Dictum de omni et nullo. And we shall find that there is a method of Inductive Logic, resting on the principle of Causation.
But there are a good many general propositions, more or less trustworthy within a certain range of conditions, which cannot be methodically proved for want of a precise principle by which they may be tested; and they, therefore, depend upon Immethodical Induction, that is, upon the examination of as many instances as can be found, relying for the rest upon the undefinable principle of the Uniformity of Nature, since we are not able to connect them with any of its definite modes enumerated in [chap. xiii. § 7]. To this subject we shall return in [chap. xix.], after treating of Methodical Induction, or the means of determining that a relation of events is of the nature of cause and effect, because the relation can be shown to have the marks of causation, or some of them.
§ 5. Observations and Experiments are the material grounds of Induction. An experiment is an observation made under prepared, and therefore known, conditions; and, when obtainable, it is much to be preferred. Simple observation shows that the burning of the fire depends, for one thing, on the supply of air; but it cannot show us that it depends on oxygen. To prove this we must make experiments as by obtaining pure oxygen and pure nitrogen (which, mixed in the proportion of one to four, form the air) in separate vessels, and then plunging a burning taper into the oxygen—when it will blaze fiercely; and again plunging it into the nitrogen—when it will be extinguished. This shows that the greater part of the air does nothing to keep the fire alight, except by diminishing its intensity and so making it last longer. Experiments are more perfect the more carefully they are prepared, and the more completely the conditions are known under which the given phenomenon is to be observed. Therefore, they become possible only when some knowledge has already been gained by observation; for else the preparation which they require could not be made.