What, then, is expressed in the proposition: two circumferences, having the same radius, are equal? The fundamental idea is, that the value of the circumference depends upon the radius, and the proposition here enunciated is simply an application of this property to the case of the equality of radii. The circumferences, then, conceived by us as distinct, are only examples which we inwardly consider in order to render the truth of the application apparent; but in what is purely intellectual, we find only the decomposition of the idea of circumference, or its relation to the radius applied to the case of equality. Then there are not two circumferences in the purely ideal order, but one only, whose properties we know under different conceptions, and express in various ways.
If in all judgments there is affirmation of identity, or non-identity, and all our cognitions either begin or end in a judgment, it would seem that they all ought to be reduced to a simple perception of identity. The general formula of our cognitions will then be: A is A, or, a thing is itself. This result strikes one as an extravagant paradox, and is so, or not, according to the sense in which it is understood; but if rightly explained, it may be admitted as a truth, and a very simple one. From what has been said in the preceding paragraphs, the meaning of this opinion may be discerned: but the importance of the present matter requires still further explanation.
CHAPTER XXVII.
CONTINUATION OF THE SAME SUBJECT.
269. It is even ridiculous to say that the cognitions of the sublimest philosophers may be reduced to this equation: A is A. This, absolutely speaking, is not only false, but contrary to common sense; but it is neither contrary to common sense nor false to say that all cognitions of mathematicians are perceptions of identity, which, presented under different conceptions, undergoes infinite variations of form, and so fecundates the intellect and constitutes science. For the sake of greater clearness we will take an example, and follow one idea through all its transformations.
270. The equation circle = circle (1) is very true, but not very lucid, since it serves no purpose, because there is identity not only of ideas but likewise of conceptions and expression. To have a true progress in science we must not only change the expression, but also vary in some way the conception under which the identical thing is presented. Thus, if we abbreviate the above equation in this form: C = circle (2), we make no progress, unless with respect to the purely material expression. The only possible advantage of this is to assist the memory, as instead of expressing the circle by a word, we express it by its initial letter, C. Why is this? Because the variety is in the expression, not in the conception. If, instead of considering the identity in all its simplicity in both members of the equation, we give the value of the circle with reference to the circumference, we shall have C = circumference × ½ R (3), that is, the value of the circle is equal to the circumference multiplied by one-half the radius. In the equation (3) there is identity as in (1) and (2), because it is affirmed in it that the value expressed by C is the same as that expressed by circumference × ½ R; just as in the other two it is expressed that the value of the circle is the value of the circle. But is this equation different from the other two? It is very different. What is the difference? The first two simply express the identity conceived under the same point of view; the circle expressed in the second member excites no idea not already excited by the first; but in the last, the second member expresses the same circle indeed, but in its relations with the circumference and radius; and, consequently, besides containing a sort of analysis of the circle, it records the analysis previously made of the idea of the circumference in relation to the idea of radius. The difference is not, then, solely in the material expression, but in the variety of conceptions under which the same thing is presented.
Calling the value of the relation of the circumference with the diameter N, and the circle C, the equation becomes: C = NR2 (4). Here, also, there is identity of value; but we discover a notable progress in the expression of the second member, in which the value of the circle is given, freed from its relations with the value of the circumference, and dependent solely on a numerical value, N, and a right line, which is the radius. Without losing the identity, and only by a succession of perceptions of identity, we have advanced in science, and starting from so sterile a proposition as circle = circle, we have obtained another, by means of which we may at once determine the value of any circle from its radius.
Leaving elemental geometry, and considering the circle as a curve referred to two axes, with respect to which its points are determined, we shall have Z = 2Bx-x2(5); Z expressing the value of the ordinate; B the constant part of the axis of abscissas; and x the abscissa corresponding to Z. We have here a still more notable progress of ideas: in both members we now express the value, not of the circle, but of lines, by which we may determine all points of the curve; and we easily conceive that this curve, which was contained in the figure whose properties we determined in elemental geometry, may be conceived under such a form as belongs to a genus of curves, whereof it constitutes a species by the particular relations of the quantities 2x and B; thus modifying the expression by adding a new quantity, combined in this or that manner, we may obtain a curve of another species. If, therefore, we would determine the value of the surface contained in this circle, we may consider it, not solely with respect to the radius, but to the areas comprised between the various perpendiculars the extremities of which determine points of the curve and are called ordinates. It results from this, that the same value of the circle may be determined under various conceptions, although this value is at all times identical; the transition from one conception to another is the succession of the perceptions of identity presented under different forms.
Let us now consider the value of the circle dependent on the radius: this will give us C = function x (6). This equation enables us to conceive the circle under the general idea of a function of its radius, or of x, and consequently authorizes us to subject it to all the laws to which a function is subject, and leads us to the properties of their differentials, limits, and relations. By this equation we enter into infinitesimal calculus, the expressions of which present identity under a form which records a series of conceptions of long and profound analysis. Thus, expressing the differential of the circle by dc, and its integral by S. dc, we shall have C = S. dc, (7), an equation in which are expressed the same values as in circle = circle, but with this difference, that the equation (7) records immense analytical labors: it results from a long succession of conceptions of integral calculus, of differentials, and limits of the differentials of the functions, of the application of algebra to geometry, and of a multitude of elementary geometrical notions, algebraical rules and combinations, and of whatever else was needed to arrive at this result. Therefore, when we find the integral of the differential, and obtain by integration the value of the circle, it would clearly be most extravagant to affirm that the integral equation is nothing more than the equation circle = circle; but it is not so to say that at bottom there is identity, and that the diversity of expression to which we have come, is the result of a succession of perceptions of the same identity presented under different aspects. Supposing the conceptions, through which it has been necessary to pass, to be A, B, C, D, E, M, the law of their scientific connection may be thus expressed: A = B, B = C, C = D, D = E, E = M; therefore A = M.
271. What we have just explained cannot be well understood unless we recall some characteristics of our intellect, in which is found the reason of so great anomalies. Our intellect is so weak as to perceive things only successively: only after much study does it see what is contained in the clearest ideas. Hence a necessity, to which corresponds with admirable harmony a faculty that satisfies it: the necessity is of conceiving under various, and different, as well as distinct, forms, even the simplest things: the faculty is that of decomposing