“There _is_ an abstract science of astronomy, namely, the theory of gravitation, which would equally agree with and explain the facts of a totally different solar system from the one of which our earth forms a part. The actual facts of our own system, the dimensions, distances, velocities, temperatures, physical constitution, etc., of the sun, earth, and planets, are properly the subject of a concrete science, similar to natural history; but the concrete is more inseparably united to the abstract science than in any other case, since the few celestial facts really accessible to us are nearly all required for discovering and proving the law of gravitation as an universal property of bodies, and have therefore an indispensable place in the abstract science as its fundamental data.”—_Auguste Comte and_ _Positivism_, p. 43. In this explanation, Mr. Mill recognizes the fundamental distinction between the Concrete Science of Astronomy, dealing with the bodies actually distributed in space, and a science dealing with hypothetical bodies hypothetically distributed in space. Nevertheless, he regards these sciences as not separable; because the second derives from the first the data whence the law of inter-action is derived. But the truth of this premiss, and the legitimacy of this inference, may alike be questioned. The discovery of the law of inter-action was not due primarily, but only secondarily, to observation of the heavenly bodies. The conception of an inter-acting force that varies inversely as the square of the distance, is an _à priori_ conception rationally deducible from mechanical and geometrical considerations. Though unlike in derivation to the many empirical hypotheses of Kepler respecting planetary orbits and planetary motions, yet it was {115} like the successful among these in its relation to astronomical phenomena: it was one of many possible hypotheses, which admitted of having their consequences worked out and tested; and one which, on having its implications compared with the results of observation, was found to explain them. In short, the theory of gravitation grew out of experiences of terrestrial phenomena; but the verification of it was reached through experiences of celestial phenomena. Passing now from premiss to inference, I do not see that, even were the alleged parentage substantiated, it would necessitate the supposed inseparability; any more than the descent of Geometry from land-measuring necessitates a persistent union of the two. In the case of Algebra, as above indicated, the disclosed laws of quantitative relations hold throughout multitudinous orders of phenomena that are extremely heterogeneous; and this makes conspicuous the distinction between the theory and its applications. Here the laws of quantitative relations among masses, distances, velocities, and momenta, being applied mainly (though not exclusively) to the concrete cases presented