But may it not be that though abstract and concrete mathematics took their rise at the same time, the one afterwards developed more rapidly than the other; and has ever since remained in advance of it? No: and again we call M. Comte himself as witness. Fortunately for his argument he has said nothing respecting the early stages of the concrete and abstract divisions after their divergence from a common root; otherwise the advent of Algebra long after the Greek geometry had reached a high development, would have been an inconvenient fact for him to deal with. But passing over this, and limiting ourselves to his own statements, we find, at the opening of the next chapter, the admission, that "the historical development of the abstract portion of mathematical science has, since the time of Descartes, been for the most part _determined_ by that of the concrete." Further on we read respecting algebraic functions that "most functions were concrete in their origin--even those which are at present the most purely abstract; and the ancients discovered only through geometrical definitions elementary algebraic properties of functions to which a numerical value was not attached till long afterwards, rendering abstract to us what was concrete to the old geometers." How do these statements tally with his doctrine? Again, having divided the calculus into algebraic and arithmetical, M. Comte admits, as perforce he must, that the algebraic is more general than the arithmetical; yet he will not say that algebra preceded arithmetic in point of time. And again, having divided the calculus of functions into the calculus of direct functions (common algebra) and the calculus of indirect functions (transcendental analysis), he is obliged to speak of this last as possessing a higher generality than the first; yet it is far more modern. Indeed, by implication, M. Comte himself confesses this incongruity; for he says:--"It might seem that the transcendental analysis ought to be studied before the ordinary, as it provides the equations which the other has to resolve; but though the transcendental _is logically independent of the ordinary_, it is best to follow the usual method of study, taking the ordinary first." In all these cases, then, as well as at the close of the section where he predicts that mathematicians will in time "create procedures of _a wider generality_", M. Comte makes admissions that are diametrically opposed to the alleged law.
In the succeeding chapters treating of the concrete department of mathematics, we find similar contradictions M. Comte himself names the geometry of the ancients _special_ geometry, and that of moderns the _general_ geometry. He admits that while "the ancients studied geometry with reference to the bodies under notice, or specially; the moderns study it with reference to the _phenomena_ to be considered, or generally." He admits that while "the ancients extracted all they could out of one line or surface before passing to another," "the moderns, since Descartes, employ themselves on questions which relate to any figure whatever." These facts are the reverse of what, according to his theory, they should be. So, too, in mechanics. Before dividing it into statics and dynamics, M. Comte treats of the three laws of _motion_, and is obliged to do so; for statics, the more _general_ of the two divisions, though it does not involve motion, is impossible as a science until the laws of motion are ascertained. Yet the laws of motion pertain to dynamics, the more _special_ of the divisions. Further on he points out that after Archimedes, who discovered the law of equilibrium of the lever, statics made no progress until the establishment of dynamics enabled us to seek "the conditions of equilibrium through the laws of the composition of forces." And he adds--"At this day _this is the method universally employed_. At the first glance it does not appear the most rational--dynamics being more complicated than statics, and precedence being natural to the simpler. It would, in fact, be more philosophical to refer dynamics to statics, as has since been done." Sundry discoveries are afterwards detailed, showing how completely the development of statics has been achieved by considering its problems dynamically; and before the close of the section M. Comte remarks that "before hydrostatics could be comprehended under statics, it was necessary that the abstract theory of equilibrium should be made so general as to apply directly to fluids as well as solids. This was accomplished when Lagrange supplied, as the basis of the whole of rational mechanics, the single principle of virtual velocities." In which statement we have two facts directly at variance: with M. Comte's doctrine; first, that the simpler science, statics, reached its present development only by the aid of the principle of virtual velocities, which belongs to the more complex science, dynamics; and that this "single principle" underlying all rational mechanics--this _most general form_ which includes alike the relations of statical, hydro-statical, and dynamical forces--was reached so late as the time of Lagrange.
Thus it is _not_ true that the historical succession of the divisions of mathematics has corresponded with the order of decreasing generality. It is _not_ true that abstract mathematics was evolved antecedently to, and independently of concrete mathematics. It is _not_ true that of the subdivisions of abstract mathematics, the more general came before the more special. And it is _not_ true that concrete mathematics, in either of its two sections, began with the most abstract and advanced to the less abstract truths.
It may be well to mention, parenthetically, that in defending his alleged law of progression from the general to the special, M. Comte somewhere comments upon the two meanings of the word _general_, and the resulting liability to confusion. Without now discussing whether the asserted distinction can be maintained in other cases, it is manifest that it does not exist here. In sundry of the instances above quoted, the endeavours made by M. Comte himself to disguise, or to explain away, the precedence of the special over the general, clearly indicate that the generality spoken of is of the kind meant by his formula. And it needs but a brief consideration of the matter to show that, even did he attempt it, he could not distinguish this generality, which, as above proved, frequently comes last, from the generality which he says always comes first. For what is the nature of that mental process by which objects, dimensions, weights, times, and the rest, are found capable of having their relations expressed numerically? It is the formation of certain abstract conceptions of unity, duality and multiplicity, which are applicable to all things alike. It is the invention of general symbols serving to express the numerical relations of entities, whatever be their special characters. And what is the nature of the mental process by which numbers are found capable of having their relations expressed algebraically? It is just the same. It is the formation of certain abstract conceptions of numerical functions which are the same whatever be the magnitudes of the numbers. It is the invention of general symbols serving to express the relations between numbers, as numbers express the relations between things. And transcendental analysis stands to algebra in the same position that algebra stands in to arithmetic.
To briefly illustrate their respective powers--arithmetic can express in one formula the value of a _particular_ tangent to a _particular_ curve; algebra can express in one formula the values of _all_ tangents to a _particular_ curve; transcendental analysis can express in one formula the values of _all_ tangents to _all_ curves. Just as arithmetic deals with the common properties of lines, areas, bulks, forces, periods; so does algebra deal with the common properties of the numbers which arithmetic presents; so does transcendental analysis deal with the common properties of the equations exhibited by algebra. Thus, the generality of the higher branches of the calculus, when compared with the lower, is the same kind of generality as that of the lower branches when compared with geometry or mechanics. And on examination it will be found that the like relation exists in the various other cases above given.
Having shown that M. Comte's alleged law of progression does not hold among the several parts of the same science, let us see how it agrees with the facts when applied to separate sciences. "Astronomy," says M. Comte, at the opening of Book III., "was a positive science, in its geometrical aspect, from the earliest days of the school of Alexandria; but Physics, which we are now to consider, had no positive character at all till Galileo made his great discoveries on the fall of heavy bodies." On this, our comment is simply that it is a misrepresentation based upon an arbitrary misuse of words--a mere verbal artifice. By choosing to exclude from terrestrial physics those laws of magnitude, motion, and position, which he includes in celestial physics, M. Comte makes it appear that the one owes nothing to the other. Not only is this altogether unwarrantable, but it is radically inconsistent with his own scheme of divisions. At the outset he says--and as the point is important we quote from the original--"Pour la _physique inorganique_ nous voyons d'abord, en nous conformant toujours a l'ordre de generalite et de dependance des phenomenes, qu'elle doit etre partagee en deux sections distinctes, suivant qu'elle considere les phenomenes generaux de l'univers, ou, en particulier, ceux que presentent les corps terrestres. D'ou la physique celeste, ou l'astronomie, soit geometrique, soit mechanique; et la physique terrestre."
Here then we have _inorganic physics_ clearly divided into _celestial physics_ and _terrestrial physics_--the phenomena presented by the universe, and the phenomena presented by earthly bodies. If now celestial bodies and terrestrial bodies exhibit sundry leading phenomena in common, as they do, how can the generalisation of these common phenomena be considered as pertaining to the one class rather than to the other? If inorganic physics includes geometry (which M. Comte has made it do by comprehending _geometrical_ astronomy in its sub-section--celestial physics); and if its sub-section--terrestrial physics, treats of things having geometrical properties; how can the laws of geometrical relations be excluded from terrestrial physics? Clearly if celestial physics includes the geometry of objects in the heavens, terrestrial physics includes the geometry of objects on the earth. And if terrestrial physics includes terrestrial geometry, while celestial physics includes celestial geometry, then the geometrical part of terrestrial physics precedes the geometrical part of celestial physics; seeing that geometry gained its first ideas from surrounding objects. Until men had learnt geometrical relations from bodies on the earth, it was impossible for them to understand the geometrical relations of bodies in the heavens.
So, too, with celestial mechanics, which had terrestrial mechanics for its parent. The very conception of _force_, which underlies the whole of mechanical astronomy, is borrowed from our earthly experiences; and the leading laws of mechanical action as exhibited in scales, levers, projectiles, etc., had to be ascertained before the dynamics of the solar system could be entered upon. What were the laws made use of by Newton in working out his grand discovery? The law of falling bodies disclosed by Galileo; that of the composition of forces also disclosed by Galileo; and that of centrifugal force found out by Huyghens--all of them generalisations of terrestrial physics. Yet, with facts like these before him, M. Comte places astronomy before physics in order of evolution! He does not compare the geometrical parts of the two together, and the mechanical parts of the two together; for this would by no means suit his hypothesis. But he compares the geometrical part of the one with the mechanical part of the other, and so gives a semblance of truth to his position. He is led away by a verbal delusion. Had he confined his attention to the things and disregarded the words, he would have seen that before mankind scientifically co-ordinated _any one class of phenomena_ displayed in the heavens, they had previously co-ordinated _a parallel class of phenomena_ displayed upon the surface of the earth.
Were it needful we could fill a score pages with the incongruities of M. Comte's scheme. But the foregoing samples will suffice. So far is his law of evolution of the sciences from being tenable, that, by following his example, and arbitrarily ignoring one class of facts, it would be possible to present, with great plausibility, just the opposite generalisation to that which he enunciates. While he asserts that the rational order of the sciences, like the order of their historic development, "is determined by the degree of simplicity, or, what comes to the same thing, of generality of their phenomena;" it might contrariwise be asserted, that, commencing with the complex and the special, mankind have progressed step by step to a knowledge of greater simplicity and wider generality. So much evidence is there of this as to have drawn from Whewell, in his _History of the Inductive Sciences_, the general remark that "the reader has already seen repeatedly in the course of this history, complex and derivative principles presenting themselves to men's minds before simple and elementary ones."
Even from M. Comte's own work, numerous facts, admissions, and arguments, might be picked out, tending to show this. We have already quoted his words in proof that both abstract and concrete mathematics have progressed towards a higher degree of generality, and that he looks forward to a higher generality still. Just to strengthen this adverse hypothesis, let us take a further instance. From the _particular_ case of the scales, the law of equilibrium of which was familiar to the earliest nations known, Archimedes advanced to the more _general_ case of the unequal lever with unequal weights; the law of equilibrium of which _includes_ that of the scales. By the help of Galileo's discovery concerning the composition of forces, D'Alembert "established, for the first time, the equations of equilibrium of _any_ system of forces applied to the different points of a solid body"--equations which include all cases of levers and an infinity of cases besides. Clearly this is progress towards a higher generality--towards a knowledge more independent of special circumstances--towards a study of phenomena "the most disengaged from the incidents of particular cases;" which is M. Comte's definition of "the most simple phenomena." Does it not indeed follow from the familiarly admitted fact, that mental advance is from the concrete to the abstract, from the particular to the general, that the universal and therefore most simple truths are the last to be discovered? Is not the government of the solar system by a force varying inversely as the square of the distance, a simpler conception than any that preceded it? Should we ever succeed in reducing all orders of phenomena to some single law--say of atomic action, as M. Comte suggests--must not that law answer to his test of being _independent_ of all others, and therefore most simple? And would not such a law generalise the phenomena of gravity, cohesion, atomic affinity, and electric repulsion, just as the laws of number generalise the quantitative phenomena of space, time, and force?
The possibility of saying so much in support of an hypothesis the very reverse of M. Comte's, at once proves that his generalisation is only a half-truth. The fact is, that neither proposition is correct by itself; and the actuality is expressed only by putting the two together. The progress of science is duplex: it is at once from the special to the general, and from the general to the special: it is analytical and synthetical at the same time.
M. Comte himself observes that the evolution of science has been accomplished by the division of labour; but he quite misstates the mode in which this division of labour has operated. As he describes it, it has simply been an arrangement of phenomena into classes, and the study of each class by itself. He does not recognise the constant effect of progress in each class upon _all_ other classes; but only on the class succeeding it in his hierarchical scale. Or if he occasionally admits collateral influences and intercommunications, he does it so grudgingly, and so quickly puts the admissions out of sight and forgets them, as to leave the impression that, with but trifling exceptions, the sciences aid each other only in the order of their alleged succession. The fact is, however, that the division of labour in science, like the division of labour in society, and like the "physiological division of labour" in individual organisms, has been not only a specialisation of functions, but a continuous helping of each division by all the others, and of all by each. Every particular class of inquirers has, as it were, secreted its own particular order of truths from the general mass of material which observation accumulates; and all other classes of inquirers have made use of these truths as fast as they were elaborated, with the effect of enabling them the better to elaborate each its own order of truths.
It was thus in sundry of the cases we have quoted as at variance with M. Comte's doctrine. It was thus with the application of Huyghens's optical discovery to astronomical observation by Galileo. It was thus with the application of the isochronism of the pendulum to the making of instruments for measuring intervals, astronomical and other. It was thus when the discovery that the refraction and dispersion of light did not follow the same law of variation, affected both astronomy and physiology by giving us achromatic telescopes and microscopes. It was thus when Bradley's discovery of the aberration of light enabled him to make the first step towards ascertaining the motions of the stars. It was thus when Cavendish's torsion-balance experiment determined the specific gravity of the earth, and so gave a datum for calculating the specific gravities of the sun and planets. It was thus when tables of atmospheric refraction enabled observers to write down the real places of the heavenly bodies instead of their apparent places. It was thus when the discovery of the different expansibilities of metals by heat, gave us the means of correcting our chronometrical measurements of astronomical periods. It was thus when the lines of the prismatic spectrum were used to distinguish the heavenly bodies that are of like nature with the sun from those which are not. It was thus when, as recently, an electro-telegraphic instrument was invented for the more accurate registration of meridional transits. It was thus when the difference in the rates of a clock at the equator, and nearer the poles, gave data for calculating the oblateness of the earth, and accounting for the precession of the equinoxes. It was thus--but it is needless to continue.
Here, within our own limited knowledge of its history, we have named ten additional cases in which the single science of astronomy has owed its advance to sciences coming _after_ it in M. Comte's series. Not only its secondary steps, but its greatest revolutions have been thus determined. Kepler could not have discovered his celebrated laws had it not been for Tycho Brahe's accurate observations; and it was only after some progress in physical and chemical science that the improved instruments with which those observations were made, became possible. The heliocentric theory of the solar system had to wait until the invention of the telescope before it could be finally established. Nay, even the grand discovery of all--the law of gravitation--depended for its proof upon an operation of physical science, the measurement of a degree on the Earth's surface. So completely indeed did it thus depend, that Newton _had actually abandoned his hypothesis_ because the length of a degree, as then stated, brought out wrong results; and it was only after Picart's more exact measurement was published, that he returned to his calculations and proved his great generalisation. Now this constant intercommunion, which, for brevity's sake, we have illustrated in the case of one science only, has been taking place with all the sciences. Throughout the whole course of their evolution there has been a continuous _consensus_ of the sciences--a _consensus_ exhibiting a general correspondence with the _consensus_ of faculties in each phase of mental development; the one being an objective registry of the subjective state of the other.
From our present point of view, then, it becomes obvious that the conception of a _serial_ arrangement of the sciences is a vicious one. It is not simply that the schemes we have examined are untenable; but it is that the sciences cannot be rightly placed in any linear order whatever. It is not simply that, as M. Comte admits, a classification "will always involve something, if not arbitrary, at least artificial;" it is not, as he would have us believe, that, neglecting minor imperfections a classification may be substantially true; but it is that any grouping of the sciences in a succession gives a radically erroneous idea of their genesis and their dependencies. There is no "one _rational_ order among a host of possible systems." There is no "true _filiation_ of the sciences." The whole hypothesis is fundamentally false. Indeed, it needs but a glance at its origin to see at once how baseless it is. Why a _series_? What reason have we to suppose that the sciences admit of a _linear_ arrangement? Where is our warrant for assuming that there is some _succession_ in which they can be placed? There is no reason; no warrant. Whence then has arisen the supposition? To use M. Comte's own phraseology, we should say, it is a metaphysical conception. It adds another to the cases constantly occurring, of the human mind being made the measure of Nature. We are obliged to think in sequence; it is the law of our minds that we must consider subjects separately, one after another: _therefore_ Nature must be serial--_therefore_ the sciences must be classifiable in a succession. See here the birth of the notion, and the sole evidence of its truth. Men have been obliged when arranging in books their schemes of education and systems of knowledge, to choose _some_ order or other. And from inquiring what is the best order, have naturally fallen into the belief that there is an order which truly represents the facts--have persevered in seeking such an order; quite overlooking the previous question whether it is likely that Nature has consulted the convenience of book-making.
For German philosophers, who hold that Nature is "petrified intelligence," and that logical forms are the foundations of all things, it is a consistent hypothesis that as thought is serial, Nature is serial; but that M. Comte, who is so bitter an opponent of all anthropomorphism, even in its most evanescent shapes, should have committed the mistake of imposing upon the external world an arrangement which so obviously springs from a limitation of the human consciousness, is somewhat strange. And it is the more strange when we call to mind how, at the outset, M. Comte remarks that in the beginning "_toutes les sciences sont cultivees simultanement par les memes esprits_;" that this is "_inevitable et meme indispensable_;" and how he further remarks that the different sciences are "_comme les diverses branches d'un tronc unique_." Were it not accounted for by the distorting influence of a cherished hypothesis, it would be scarcely possible to understand how, after recognising truths like these, M. Comte should have persisted in attempting to construct "_une echelle encyclopedique_."
The metaphor which M. Comte has here so inconsistently used to express the relations of the sciences--branches of one trunk--is an approximation to the truth, though not the truth itself. It suggests the facts that the sciences had a common origin; that they have been developing simultaneously; and that they have been from time to time dividing and subdividing. But it does not suggest the yet more important fact, that the divisions and subdivisions thus arising do not remain separate, but now and again reunite in direct and indirect ways. They inosculate; they severally send off and receive connecting growths; and the intercommunion has been ever becoming more frequent, more intricate, more widely ramified. There has all along been higher specialisation, that there might be a larger generalisation; and a deeper analysis, that there might be a better synthesis. Each larger generalisation has lifted sundry specialisations still higher; and each better synthesis has prepared the way for still deeper analysis.
And here we may fitly enter upon the task awhile since indicated--a sketch of the Genesis of Science, regarded as a gradual outgrowth from common knowledge--an extension of the perceptions by the aid of the reason. We propose to treat it as a psychological process historically displayed; tracing at the same time the advance from qualitative to quantitative prevision; the progress from concrete facts to abstract facts, and the application of such abstract facts to the analysis of new orders of concrete facts; the simultaneous advance in generalisation and specialisation; the continually increasing subdivision and reunion of the sciences; and their constantly improving _consensus_.
To trace out scientific evolution from its deepest roots would, of course, involve a complete analysis of the mind. For as science is a development of that common knowledge acquired by the unaided senses and uncultured reason, so is that common knowledge itself gradually built up out of the simplest perceptions. We must, therefore, begin somewhere abruptly; and the most appropriate stage to take for our point of departure will be the adult mind of the savage.
Commencing thus, without a proper preliminary analysis, we are naturally somewhat at a loss how to present, in a satisfactory manner, those fundamental processes of thought out of which science ultimately originates. Perhaps our argument may be best initiated by the proposition, that all intelligent action whatever depends upon the discerning of distinctions among surrounding things. The condition under which only it is possible for any creature to obtain food and avoid danger is, that it shall be differently affected by different objects--that it shall be led to act in one way by one object, and in another way by another. In the lower orders of creatures this condition is fulfilled by means of an apparatus which acts automatically. In the higher orders the actions are partly automatic, partly conscious. And in man they are almost wholly conscious.
Throughout, however, there must necessarily exist a certain classification of things according to their properties--a classification which is either organically registered in the system, as in the inferior creation, or is formed by experience, as in ourselves. And it may be further remarked, that the extent to which this classification is carried, roughly indicates the height of intelligence--that while the lowest organisms are able to do little more than discriminate organic from inorganic matter; while the generality of animals carry their classifications no further than to a limited number of plants or creatures serving for food, a limited number of beasts of prey, and a limited number of places and materials; the most degraded of the human race possess a knowledge of the distinctive natures of a great variety of substances, plants, animals, tools, persons, etc., not only as classes but as individuals.
What now is the mental process by which classification is effected? Manifestly it is a recognition of the _likeness_ or _unlikeness_ of things, either in respect of their sizes, colours, forms, weights, textures, tastes, etc., or in respect of their modes of action. By some special mark, sound, or motion, the savage identifies a certain four-legged creature he sees, as one that is good for food, and to be caught in a particular way; or as one that is dangerous; and acts accordingly. He has classed together all the creatures that are _alike_ in this particular. And manifestly in choosing the wood out of which to form his bow, the plant with which to poison his arrows, the bone from which to make his fish-hooks, he identifies them through their chief sensible properties as belonging to the general classes, wood, plant, and bone, but distinguishes them as belonging to sub-classes by virtue of certain properties in which they are _unlike_ the rest of the general classes they belong to; and so forms genera and species.
And here it becomes manifest that not only is classification carried on by grouping together in the mind things that are _like_; but that classes and sub-classes are formed and arranged according to the _degrees of unlikeness_. Things widely contrasted are alone distinguished in the lower stages of mental evolution; as may be any day observed in an infant. And gradually as the powers of discrimination increase, the widely contrasted classes at first distinguished, come to be each divided into sub-classes, differing from each other less than the classes differ; and these sub-classes are again divided after the same manner. By the continuance of which process, things are gradually arranged into groups, the members of which are less and less _unlike_; ending, finally, in groups whose members differ only as individuals, and not specifically. And thus there tends ultimately to arise the notion of _complete likeness_. For, manifestly, it is impossible that groups should continue to be subdivided in virtue of smaller and smaller differences, without there being a simultaneous approximation to the notion of _no difference_.