These truths, though affirmable of all things whatever, of course apply to them only in respect of their quantity. But if it comes to be discovered that variations of quality in any class of phenomena, correspond regularly to variations of quantity either in those same or in some other phenomena; every formula of mathematics applicable to quantities which vary in that particular manner, becomes a mark of a corresponding general truth, respecting the variations in quality which accompany them: and the science of quantity being (as far as any science can be) altogether deductive, the theory of that particular kind of qualities becomes, to this extent, deductive likewise.
The most striking instance in point which history affords (though not an example of an experimental science rendered deductive, but of an unparalleled extension given to the deductive process in a science which was deductive already), is the revolution in geometry which originated with Descartes, and was completed by Clairaut. These great mathematicians pointed out the importance of the fact, that to every variety of position in points, direction in lines, or form in curves or surfaces (all of which are Qualities), there corresponds a peculiar relation of quantity between either two or three rectilineal co-ordinates; insomuch that if the law were known according to which those co-ordinates vary relatively to one another, every other geometrical property of the line or surface in question, whether relating to quantity or quality, would be capable of being inferred. Hence it followed that every geometrical question could be solved, if the corresponding algebraical one could; and geometry received an accession (actual or potential) of new truths, corresponding to every property of numbers which the progress of the calculus had brought, or might in future bring, to light. In the same general manner, mechanics, astronomy, and in a less degree, every branch of natural philosophy commonly so called, have been made algebraical. The varieties of physical phenomena with which those sciences are conversant, have been found to answer to determinable varieties in the quantity of some circumstance or other; or at least to varieties of form or position, for which corresponding equations of quantity had already been, or were susceptible of being, discovered by geometers.
In these various transformations, the propositions of the science of number do but fulfill the function proper to all propositions forming a train of reasoning, viz., that of enabling us to arrive in an indirect method, by marks of marks, at such of the properties of objects as we can not directly ascertain (or not so conveniently) by experiment. We travel from a given visible or tangible fact, through the truths of numbers, to the facts sought. The given fact is a mark that a certain relation subsists between the quantities of some of the elements concerned; while the fact sought presupposes a certain relation between the quantities of some other elements: now, if these last quantities are dependent in some known manner upon the former, or vicè versa, we can argue from the numerical relation between the one set of quantities, to determine that which subsists between the other set; the theorems of the calculus affording the intermediate links. And thus one of the two physical facts becomes a mark of the other, by being a mark of a mark of a mark of it.
Chapter V.
Of Demonstration, And Necessary Truths.
§ 1. If, as laid down in the two preceding chapters, the foundation of all sciences, even deductive or demonstrative sciences, is Induction; if every step in the ratiocinations even of geometry is an act of induction; and if a train of reasoning is but bringing many inductions to bear upon the same subject of inquiry, and drawing a case within one induction by means of another; wherein lies the peculiar certainty always ascribed to the sciences which are entirely, or almost entirely, deductive? Why are they called the Exact Sciences? Why are mathematical certainty, and the evidence of demonstration, common phrases to express the very highest degree of assurance attainable by reason? Why are mathematics by almost all philosophers, and (by some) even those branches of natural philosophy which, through the medium of mathematics, have been converted into deductive sciences, considered to be independent of the evidence of experience and observation, and characterized as systems of Necessary Truth?
The answer I conceive to be, that this character of necessity, ascribed to the truths of mathematics, and (even with some reservations to be hereafter made) the peculiar certainty attributed to them, is an illusion; in order to sustain which, it is necessary to suppose that those truths relate to, and express the properties of, purely imaginary objects. It is acknowledged that the conclusions of geometry are deduced, partly at least, from the so-called Definitions, and that those definitions are assumed to be correct representations, as far as they go, of the objects with which geometry is conversant. Now we have pointed out that, from a definition as such, no proposition, unless it be one concerning the meaning of a word, can ever follow; and that what apparently follows from a definition, follows in reality from an implied assumption that there exists a real thing conformable thereto. This assumption, in the case of the definitions of geometry, is not strictly true: there exist no real things exactly conformable to the definitions. There exist no points without magnitude; no lines without breadth, nor perfectly straight; no circles with all their radii exactly equal, nor squares with all their angles perfectly right. It will perhaps be said that the assumption does not extend to the actual, but only to the possible, existence of such things. I answer that, according to any test we have of possibility, they are not even possible. Their existence, so far as we can form any judgment, would seem to be inconsistent with the physical constitution of our planet at least, if not of the universe. To get rid of this difficulty, and at the same time to save the credit of the supposed system of necessary truth, it is customary to say that the points, lines, circles, and squares which are the subject of geometry, exist in our conceptions merely, and are part of our minds; which minds, by working on their own materials, construct an a priori science, the evidence of which is purely mental, and has nothing whatever to do with outward experience. By howsoever high authorities this doctrine may have been sanctioned, it appears to me psychologically incorrect. The points, lines, circles, and squares which any one has in his mind, are (I apprehend) simply copies of the points, lines, circles, and squares which he has known in his experience. Our idea of a point, I apprehend to be simply our idea of the minimum visibile, the smallest portion of surface which we can see. A line, as defined by geometers, is wholly inconceivable. We can reason about a line as if it had no breadth; because we have a power, which is the foundation of all the control we can exercise over the operations of our minds; the power, when a perception is present to our senses, or a conception to our intellects, of attending to a part only of that perception or conception, instead of the whole. But we can not conceive a line without breadth; we can form no mental picture of such a line: all the lines which we have in our minds are lines possessing breadth. If any one doubts this, we may refer him to his own experience. I much question if any one who fancies that he can conceive what is called a mathematical line, thinks so from the evidence of his consciousness: I suspect it is rather because he supposes that unless such a conception were possible, mathematics could not exist as a science: a supposition which there will be no difficulty in showing to be entirely groundless.