A System of Logic: Ratiocinative and Inductive, 7th Edition, Vol. II

by John Stuart Mill

It would be inconsistent with the scale of this work, and not necessary to its design, to carry the analysis of the truths and processes of algebra any farther; which is also the less needful, as the task has been, to a very great extent, performed by other writers. Peacock's Algebra, and Dr. Whewell's Doctrine of Limits, are full of instruction on the subject. The profound treatises of a truly philosophical mathematician, Professor De Morgan, should be studied by every one who desires to comprehend the evidence of mathematical truths, and the meaning of the obscurer processes of the calculus; and the speculations of M. Comte, in his Cours de Philosophie Positive, on the philosophy of the higher branches of mathematics, are among the many valuable gifts for which philosophy is indebted to that eminent thinker.

[§ 7.] If the extreme generality, and remoteness not so much from sense as from the visual and tactual imagination, of the laws of number, renders it a somewhat difficult effort of abstraction to conceive those laws as being in reality physical truths obtained by observation; the same difficulty does not exist with regard to the laws of extension. The facts of which those laws are expressions, are of a kind peculiarly accessible to the senses, and suggesting eminently distinct images to the fancy. That geometry is a strictly physical science would doubtless have been recognised in all ages, had it not been for the illusions produced by two circumstances. One of these is the characteristic property, already noticed, of the facts of geometry, that they may be collected from our ideas or mental pictures of objects as effectually as from the objects themselves. The other is, the demonstrative character of geometrical truths; which was at one time supposed to constitute a radical distinction between them and physical truths, the latter, as resting on merely probable evidence, being deemed essentially uncertain and unprecise. The advance of knowledge has, however, made it manifest that physical science, in its better understood branches, is quite as demonstrative as geometry. The task of deducing its details from a few comparatively simple principles is found to be anything but the impossibility it was once supposed to be; and the notion of the superior certainty of geometry is an illusion, arising from the ancient prejudice which, in that science, mistakes the ideal data from which we reason, for a peculiar class of realities, while the corresponding ideal data of any deductive physical science are recognised as what they really are, mere hypotheses.

Every theorem in geometry is a law of external nature, and might have been ascertained by generalizing from observation and experiment, which in this case resolve themselves into comparison and measurement. But it was found practicable, and being practicable, was desirable, to deduce these truths by ratiocination from a small number of general laws of nature, the certainty and universality of which are obvious to the most careless observer, and which compose the first principles and ultimate premises of the science. Among these general laws must be included the same two which we have noticed as ultimate principles of the Science of Number also, and which are applicable to every description of quantity; viz. The sums of equals are equal, and Things which are equal to the same thing are equal to one another; the latter of which may be expressed in a manner more suggestive of the inexhaustible multitude of its consequences, by the following terms: Whatever is equal to any one of a number of equal magnitudes, is equal to any other of them. To these two must be added, in geometry, a third law of equality, namely, that lines, surfaces, or solid spaces, which can be so applied to one another as to coincide, are equal. Some writers have asserted that this law of nature is a mere verbal definition; that the expression "equal magnitudes" means nothing but magnitudes which can be so applied to one another as to coincide. But in this opinion I cannot agree. The equality of two geometrical magnitudes cannot differ fundamentally in its nature from the equality of two weights, two degrees of heat, or two portions of duration, to none of which would this pretended definition of equality be suitable. None of these things can be so applied to one another as to coincide, yet we perfectly understand what we mean when we call them equal. Things are equal in magnitude, as things are equal in weight, when they are felt to be exactly similar in respect of the attribute in which we compare them: and the application of the objects to each other in the one case, like the balancing them with a pair of scales in the other, is but a mode of bringing them into a position in which our senses can recognise deficiencies of exact resemblance that would otherwise escape our notice.

Along with these three general principles or axioms, the remainder of the premises of geometry consists of the so-called definitions, that is to say, propositions asserting the real existence of the various objects therein designated, together with some one property of each. In some cases more than one property is commonly assumed, but in no case is more than one necessary. It is assumed that there are such things in nature as straight lines, and that any two of them setting out from the same point, diverge more and more without limit. This assumption, (which includes and goes beyond Euclid's axiom that two straight lines cannot inclose a space,) is as indispensable in geometry, and as evident, resting on as simple, familiar, and universal observation, as any of the other axioms. It is also assumed that straight lines diverge from one another in different degrees; in other words, that there are such things as angles, and that they are capable of being equal or unequal. It is assumed that there is such a thing as a circle, and that all its radii are equal; such things as ellipses, and that the sums of the focal distances are equal for every point in an ellipse; such things as parallel lines, and that those lines are everywhere equally distant.[39]

[§ 8.] It is a matter of more than curiosity to consider, to what peculiarity of the physical truths which are the subject of geometry, it is owing that they can all be deduced from so small a number of original premises: why it is that we can set out from only one characteristic property of each kind of phenomenon, and with that and two or three general truths relating to equality, can travel from mark to mark until we obtain a vast body of derivative truths, to all appearance extremely unlike those elementary ones.

The explanation of this remarkable fact seems to lie in the following circumstances. In the first place, all questions of position and figure may be resolved into questions of magnitude. The position and figure of any object are determined, by determining the position of a sufficient number of points in it; and the position of any point may be determined by the magnitude of three rectangular co-ordinates, that is, of the perpendiculars drawn from the point to three planes at right angles to one another, arbitrarily selected. By this transformation of all questions of quality into questions only of quantity, geometry is reduced to the single problem of the measurement of magnitudes, that is, the ascertainment of the equalities which exist between them. Now when we consider that by one of the general axioms, any equality, when ascertained, is proof of as many other equalities as there are other things equal to either of the two equals; and that by another of those axioms, any ascertained equality is proof of the equality of as many pairs of magnitudes as can be formed by the numerous operations which resolve themselves into the addition of the equals to themselves or to other equals; we cease to wonder that in proportion as a science is conversant about equality, it should afford a more copious supply of marks of marks; and that the sciences of number and extension, which are conversant with little else than equality, should be the most deductive of all the sciences.

There are also two or three of the principal laws of space or extension which are unusually fitted for rendering one position or magnitude a mark of another, and thereby contributing to render the science largely deductive. First; the magnitudes of inclosed spaces, whether superficial or solid, are completely determined by the magnitudes of the lines and angles which bound them. Secondly, the length of any line, whether straight or curve, is measured (certain other things being given) by the angle which it subtends, and vice versâ. Lastly, the angle which any two straight lines make with each other at an inaccessible point, is measured by the angles they severally make with any third line we choose to select. By means of these general laws, the measurement of all lines, angles, and spaces whatsoever might be accomplished by measuring a single straight line and a sufficient number of angles; which is the plan actually pursued in the trigonometrical survey of a country; and fortunate it is that this is practicable, the exact measurement of long straight lines being always difficult, and often impossible, but that of angles very easy. Three such generalizations as the foregoing afford such facilities for the indirect measurement of magnitudes, (by supplying us with known lines or angles which are marks of the magnitude of unknown ones, and thereby of the spaces which they inclose,) that it is easily intelligible how from a few data we can go on to ascertain the magnitude of an indefinite multitude of lines, angles, and spaces, which we could not easily, or could not at all, measure by any more direct process.

[§ 9.] Such are the few remarks which it seemed necessary to make in this place, respecting the laws of nature which are the peculiar subject of the sciences of number and extension. The immense part which those laws take in giving a deductive character to the other departments of physical science, is well known; and is not surprising, when we consider that all causes operate according to mathematical laws. The effect is always dependent on, or is a function of, the quantity of the agent; and generally of its position also. We cannot, therefore, reason respecting causation, without introducing considerations of quantity and extension at every step; and if the nature of the phenomena admits of our obtaining numerical data of sufficient accuracy, the laws of quantity become the grand instrument for calculating forward to an effect, or backward to a cause. That in all other sciences, as well as in geometry, questions of quality are scarcely ever independent of questions of quantity, may be seen from the most familiar phenomena. Even when several colours are mixed on a painter's palette, the comparative quantity of each entirely determines the colour of the mixture.

With this mere suggestion of the general causes which render mathematical principles and processes so predominant in those deductive sciences which afford precise numerical data, I must, on the present occasion, content myself: referring the reader who desires a more thorough acquaintance with the subject, to the first two volumes of M. Comte's systematic work.

In the same work, and more particularly in the third volume, are also fully discussed the limits of the applicability of mathematical principles to the improvement of other sciences. Such principles are manifestly inapplicable, where the causes on which any class of phenomena depend are so imperfectly accessible to our observation, that we cannot ascertain, by a proper induction, their numerical laws; or where the causes are so numerous, and intermixed in so complex a manner with one another, that even supposing their laws known, the computation of the aggregate effect transcends the powers of the calculus as it is, or is likely to be; or lastly, where the causes themselves are in a state of perpetual fluctuation; as in physiology, and still more, if possible, in the social science. The mathematical solutions of physical questions become progressively more difficult and imperfect, in proportion as the questions divest themselves of their abstract and hypothetical character, and approach nearer to the degree of complication actually existing in nature; insomuch that beyond the limits of astronomical phenomena, and of those most nearly analogous to them, mathematical accuracy is generally obtained "at the expense of the reality of the inquiry:" while even in astronomical questions, "notwithstanding the admirable simplicity of their mathematical elements, our feeble intelligence becomes incapable of following out effectually the logical combinations of the laws on which the phenomena are dependent, as soon as we attempt to take into simultaneous consideration more than two or three essential influences."[40] Of this, the problem of the Three Bodies has already been cited, more than once, as a remarkable instance; the complete solution of so comparatively simple a question having vainly tried the skill of the most profound mathematicians. We may conceive, then, how chimerical would be the hope that mathematical principles could be advantageously applied to phenomena dependent on the mutual action of the innumerable minute particles of bodies, as those of chemistry, and still more, of physiology; and for similar reasons those principles remain inapplicable to the still more complex inquiries, the subjects of which are phenomena of society and government.