By science, then, I understand the consideration of all subjects, whether of a pure or mixed nature, capable of being reduced to measurement and calculation. All things comprehended under the categories of space, time and number properly belong to our investigations; and all phenomena capable of being brought under the semblance of a law are legitimate objects of our inquiries.

It is a test of true theories not only to account for but to predict phenomena.

The Greeks in the first vigour of their pursuit of mathematical truth, at the time of Plato and soon after, had by no means confined themselves to those propositions which had a visible bearing on the phenomena of nature; but had followed out many beautiful trains of research concerning various kinds of figures, for the sake of their beauty alone; as for instance in their doctrine of Conic Sections, of which curves they had discovered all the principal properties. But it is curious to remark, that these investigations, thus pursued at first as mere matters of curiosity and intellectual gratification, were destined, two thousand years later, to play a very important part in establishing that system of celestial motions which succeeded the Platonic scheme of cycles and epicycles. If the properties of conic sections had not been demonstrated by the Greeks and thus rendered familiar to the mathematicians of succeeding ages, Kepler would probably not have been able to discover those laws respecting the orbits and motions of planets which were the occasion of the greatest revolution that ever happened in the history of science.

The hypotheses which we accept ought to explain phenomena which we have observed. But they ought to do more than this; our hypotheses ought to foretell phenomena which have not yet been observed; ... because if the rule prevails, it includes all cases; and will determine them all, if we can only calculate its real consequences. Hence it will predict the results of new combinations, as well as explain the appearances which have occurred in old ones. And that it does this with certainty and correctness, is one mode in which the hypothesis is to be verified as right and useful.

The ideas which these sciences, Geometry, Theoretical Arithmetic and Algebra involve extend to all objects and changes which we observe in the external world; and hence the consideration of mathematical relations forms a large portion of many of the sciences which treat of the phenomena and laws of external nature, as Astronomy, Optics, and Mechanics. Such sciences are hence often termed Mixed Mathematics, the relations of space and number being, in these branches of knowledge, combined with principles collected from special observation; while Geometry, Algebra, and the like subjects, which involve no result of experience, are called Pure Mathematics.

The persons who have been employed on these problems of applying the properties of matter and the laws of motion to the explanation of the phenomena of the world, and who have brought to them the high and admirable qualities which such an office requires, have justly excited in a very eminent degree the admiration which mankind feels for great intellectual powers. Their names occupy a distinguished place in literary history; and probably there are no scientific reputations of the last century higher, and none more merited, than those earned by great mathematicians who have laboured with such wonderful success in unfolding the mechanism of the heavens; such for instance as D ’Alembert, Clairaut, Euler, Lagrange, Laplace.

Time, inexhaustible and ever accumulating his efficacy, can undoubtedly do much for the theorist in geology; but Force, whose limits we cannot measure, and whose nature we cannot fathom, is also a power never to be slighted: and to call in the one to protect us from the other, is equally presumptuous, to whichever of the two our superstition leans. To invoke Time, with ten thousand earthquakes, to overturn and set on edge a mountain-chain, should the phenomena indicate the change to have been sudden and not successive, would be ill excused by pleading the obligation of first appealing to known causes.

We have here spoken of the prediction of facts of the same kind as those from which our rule was collected. But the evidence in favour of our induction is of a much higher and more forcible character when it enables us to explain and determine cases of a kind different from those which were contemplated in the formation of our hypothesis. The instances in which this has occurred, indeed, impress us with a conviction that the truth of our hypothesis is certain. No accident could give rise to such an extraordinary coincidence. No false supposition could, after being adjusted to one class of phenomena, so exactly represent a different class, when the agreement was unforeseen and contemplated. That rules springing from remote and unconnected quarters should thus leap to the same point, can only arise from that being where truth resides.