A System of Logic, Ratiocinative and Inductive

by John Stuart Mill

If, then, a survey of the uniformities which have been ascertained to exist in nature, should point out some which, as far as any human purpose requires certainty, may be considered quite certain and quite universal; then by means of these uniformities we may be able to raise multitudes of other inductions to the same point in the scale. For if we can show, with respect [pg 234] to any inductive inference, that either it must be true, or one of these certain and universal inductions must admit of an exception; the former generalization will attain the same certainty, and indefeasibleness within the bounds assigned to it, which are the attributes of the latter. It will be proved to be a law; and if not a result of other and simpler laws, it will be a law of nature.

There are such certain and universal inductions; and it is because there are such, that a Logic of Induction is possible.

Chapter V.

Of The Law Of Universal Causation.

§ 1. The phenomena of nature exist in two distinct relations to one another; that of simultaneity, and that of succession. Every phenomenon is related, in a uniform manner, to some phenomena that co-exist with it, and to some that have preceded and will follow it.

Of the uniformities which exist among synchronous phenomena, the most important, on every account, are the laws of number; and next to them those of space, or, in other words, of extension and figure. The laws of number are common to synchronous and successive phenomena. That two and two make four, is equally true whether the second two follow the first two or accompany them. It is as true of days and years as of feet and inches. The laws of extension and figure (in other words, the theorems of geometry, from its lowest to its highest branches) are, on the contrary, laws of simultaneous phenomena only. The various parts of space, and of the objects which are said to fill space, co-exist; and the unvarying laws which are the subject of the science of geometry, are an expression of the mode of their co-existence.

This is a class of laws, or in other words, of uniformities, for the comprehension and proof of which it is not necessary to suppose any lapse of time, any variety of facts or events succeeding one another. The propositions of geometry are independent of the succession of events. All things which possess extension, or, in other words, which fill space, are subject to geometrical laws. Possessing extension, they possess figure; possessing figure, they must possess some figure in particular, and have all the properties which geometry assigns to that figure. If one body be a sphere and another a cylinder, of equal height and diameter, the one will be exactly two-thirds of the other, let the nature and quality of the material be what it will. Again, each body, and each point of a body, must occupy some place or position among other bodies; and the position of two bodies relatively to each other, of whatever nature the bodies be, may be unerringly inferred from the position of each of them relatively to any third body.

In the laws of number, then, and in those of space, we recognize in the most unqualified manner, the rigorous universality of which we are in quest. Those laws have been in all ages the type of certainty, the standard of comparison for all inferior degrees of evidence. Their invariability is so perfect, that it renders us unable even to conceive any exception to them; and philosophers have been led, though (as I have endeavored to show) erroneously, to consider their evidence as lying not in experience, but in the original constitution of the intellect. If, therefore, from the laws of space and number, we were able to deduce uniformities of any other description, [pg 235] this would be conclusive evidence to us that those other uniformities possessed the same rigorous certainty. But this we can not do. From laws of space and number alone, nothing can be deduced but laws of space and number.

Of all truths relating to phenomena, the most valuable to us are those which relate to the order of their succession. On a knowledge of these is founded every reasonable anticipation of future facts, and whatever power we possess of influencing those facts to our advantage. Even the laws of geometry are chiefly of practical importance to us as being a portion of the premises from which the order of the succession of phenomena may be inferred. Inasmuch as the motion of bodies, the action of forces, and the propagation of influences of all sorts, take place in certain lines and over definite spaces, the properties of those lines and spaces are an important part of the laws to which those phenomena are themselves subject. Again, motions, forces, or other influences, and times, are numerable quantities; and the properties of number are applicable to them as to all other things. But though the laws of number and space are important elements in the ascertainment of uniformities of succession, they can do nothing toward it when taken by themselves. They can only be made instrumental to that purpose when we combine with them additional premises, expressive of uniformities of succession already known. By taking, for instance, as premises these propositions, that bodies acted upon by an instantaneous force move with uniform velocity in straight lines; that bodies acted upon by a continuous force move with accelerated velocity in straight lines; and that bodies acted upon by two forces in different directions move in the diagonal of a parallelogram, whose sides represent the direction and quantity of those forces; we may by combining these truths with propositions relating to the properties of straight lines and of parallelograms (as that a triangle is half a parallelogram of the same base and altitude), deduce another important uniformity of succession, viz., that a body moving round a centre of force describes areas proportional to the times. But unless there had been laws of succession in our premises, there could have been no truths of succession in our conclusions. A similar remark might be extended to every other class of phenomena really peculiar; and, had it been attended to, would have prevented many chimerical attempts at demonstrations of the indemonstrable, and explanations which do not explain.