The earliest Egyptian mathematical writing that we know is that of Ahmes (2000 B. C.), but long before this the mural decorations of the temple wall involved many figures, the construction of which involved a certain amount of working knowledge of such operations as may be performed with the aid of a ruler and compa.s.s. The fact that these operations did not earlier lead to geometry, as ruler and compa.s.s work seems to have done in j.a.pan in the nineteenth century (Smith and Mikami, index, "Geometry"), is probably due to the stage at which the development of Egyptian intelligence had arrived, feebly advanced on the road to higher abstract thinking. It is everywhere characteristic of Egyptian genius that little purely intellectual curiosity is shown. Even astronomical knowledge was limited to those determinations which had religious or magically practical significance, and its arithmetic and geometry never escaped these bounds as with the more imaginative Pythagoreans, where mystical interpretation seems to have been a consequence of rather than a stimulus to investigation. An old Egyptian treatise reads (Cantor, p.

63): "I hold the wooden pin (Nebi) and the handle of the mallet (semes), I hold the line in concurrence with the G.o.ddess S[a.]fech. My glance follows the course of the stars. When my eye comes to the constellation of the great bear and the time of the number of the hour determined by me is fulfilled, I place the corner of the temple." This incantation method could hardly advance intelligence; but the methods of practical measuring were more effective. Here the rather happy device of using knotted cords, carried about by the Harpedonapts, or cord stretchers, was of some moment. Especially, the fact that the lengths 3, 4, and 5, brought into triangular form, served for an interesting connection between arithmetic and the right triangle, was not a little gain, later making possible the discovery of the Pythagorean theorem, although in Egypt the theoretical properties of the triangle were never developed.

The triangle obviously must have been practically considered by the decorators of the temple and its builders, but the cord stretchers rendered clear its arithmetical significance. However, Ahmes' "Rules for attaining the knowledge of all dark things ... all secrets that are contained in objects" (Cantor, _loc. cit._, p. 22) contains merely a mixture of all sorts of mathematical information of a practical nature,--"rules for making a round fruit house," "rules for measuring fields," "rules for making an ornament," etc., but hardly a word of arithmetical and geometrical processes in themselves, unless it be certain devices for writing fractions and the like.

II

THE PROGRESS OF SELF-CONSCIOUS THEORY

A characteristic of Greek social life is responsible both for the next phase of the development of mathematical thought and for the misapprehension of its nature by so many moderns. "When Archytas and Menaechmus employed mechanical instruments for solving certain geometrical problems, 'Plato,' says Plutarch, 'inveighed against them with great indignation and persistence as destroying and perverting all the good that there is in geometry; for the method absconds from incorporeal and intellectual or sensible things, and besides employs again such bodies as require much vulgar handicraft: in this way mechanics was dissimilated and expelled from geometry, and being for a long time looked down upon by philosophy, became one of the arts of war.' In fact, manual labor was looked down upon by the Greeks, and a sharp distinction was drawn between the slaves who performed bodily work and really observed nature, and the leisured upper cla.s.ses who speculated, and often only knew nature by hearsay. This explains much of the nave dreamy and hazy character of ancient natural science. Only seldom did the impulse to make experiments for oneself break through; but when it did, a great progress resulted, as was the case of Archytas and Archimedes. Archimedes, like Plato, held that it was undesirable for a philosopher to seek to apply the results of science to any practical use; but, whatever might have been his view of what ought to be in the case, he did actually introduce a large number of new inventions"

(Jourdain, _The Nature of Mathematics_, pp. 18-19). Following the Greek lead, certain empirically minded modern thinkers construe geometry wholly from an intellectual point of view. History is read by them as establishing indubitably the proposition that mathematics is a matter of purely intellectual operations. But by so construing it, they have, in geometry, remembered solely the measuring and forgotten the land, and, in arithmetic, remembered the counting and forgotten the things counted.

Arithmetic experienced little immediate gain from its new a.s.sociation with geometry, which was destined to be of momentous import in its latter history, beyond the discovery of irrationals (which, however, were for centuries not accepted as numbers), and the establishment of the problem of root-taking by its a.s.sociation with the square, and interest in negative numbers.

The Greeks had only subtracted smaller numbers from larger, but the Arabs began to generalize the process and had some acquaintance with negative results, but it was difficult for them to see that these results might really have significance. N. Chuquet, in the fifteenth century, seems to have been the first to interpret the negative numbers, but he remained a long time without imitators. Michael Stifel, in the sixteenth century, still calls them "Numeri absurdi" as over against the "Numeri veri." However, their geometrical interpretation was not difficult, and they soon won their way into good standing. But the case of the imaginary is more striking. The need for it was first felt when it was seen that negative numbers have no square roots. Chuquet had dealt with second-degree equations involving the roots of negative numbers in 1484, but says these numbers are "impossible," and Descartes (_Geom._, 1637) first uses the word "imaginary" to denote them. Their introduction is due to the Italian algebrists of the sixteenth century.

They knew that the real roots of certain algebraic equations of the third degree are represented as results of operations effected upon "impossible" numbers of the form _a_ + _b_ sqrt{-1} (where _a_ and _b_ are real numbers) without it being possible in general to find an algebraic expression for the roots containing only real numbers. Cardan calculated with these "impossibles," using them to get real results [(5 + sqrt{-15}) (5 - sqrt{-15}) = 25 - (-15) = 40], but adds that it is a "quant.i.tas quae vere est sophistica" and that the calculus itself "adeo est subtilis ut est inutilis." In 1629, Girard announced the theorem that every complete algebraic equation admits of as many roots, real or imaginary, as there are units in its degree, but Gauss first proved this in 1799, and finally, in his _Theory of Complex Quant.i.ty_, in 1831.

Geometry, however, among the Greeks pa.s.sed into a stage of abstraction in which lines, planes, etc., in the sense in which they are understood in our elementary texts, took the place of actually measured surfaces, and also took on the deductive form of presentation that has served as a model for all mathematical presentation since Euclid. Mensuration smacked too much of the exchange, and before the time of Archimedes is practically wholly absent. Even such theorems as "that the area of a triangle equals half the product of its base and its alt.i.tude" is foreign to Euclid (cf. Cajori, p. 39). Lines were merely directions, and points limitations from which one worked. But there was still dependence upon the things that one measures. Euclid's elements, "when examined in the light of strict mathematical logic, ... has been p.r.o.nounced by C. S.

Peirce to be 'Riddled with fallacies'" (Cajori, p. 37). Not logic, but observation of the figures drawn, that is, concrete symbolization of the processes indicated, saves Euclid from error.

Roman practical geometry seems to have come from the Etruscans, but the Roman here is as little inventive as in his arithmetical ventures, although the latter were stimulated somewhat by problems of inheritance and interest reckoning. Indeed, before the entrance of Arabic learning into Europe and the translation of Euclid from the Arabic in 1120, there is little or no advance over the Egyptian geometry of 600 B. C. Even the universities neglected mathematics. At Paris "in 1336 a rule was introduced that no student should take a degree without attending lectures on mathematics, and from a commentary on the first six books of Euclid, dated 1536, it appears that candidates for the degree of A. M.

had to give an oath that they had attended lectures on these books.

Examinations, when held at all, probably did not extend beyond the first book, as is shown by the nickname 'magister matheseos' applied to the _Theorem of Pythagoras_, the last in the first book.... At Oxford, in the middle of the fifteenth century, the first two books of Euclid were read" (Cajori, _loc. cit._, p. 136). But later geometry dropped out and not till 1619 was a professorship of geometry inst.i.tuted at Oxford.

Roger Bacon speaks of Euclid's fifth proposition as "elefuga," and it also gets the name of "pons asinorum" from its point of transition to higher learning. As late as the fourteenth century an English ma.n.u.script begins "Nowe sues here a Tretis of Geometri whereby you may knowe the hegte, depnes, and the brede of most what erthely thynges."

The first significant turning-point lies in the geometry of Descartes.

Viete (1540-1603) and others had already applied algebra to geometry, but Descartes, by means of coordinate representation, established the idea of motion in geometry in a fashion destined to react most fruitfully on algebra, and through this, on arithmetic, as well as enormously to increase the scope of geometry. These discoveries are not, however, of first moment for our problem, for the ideas of mathematical ent.i.ties remain throughout them the generalized processes that had appeared in Greece. It is worth noting, however, that in England mechanics has always been taught as an experimental science, while on the Continent it has been expanded deductively, as a development of _a priori_ principles.

III

CONTEMPORARY THOUGHT IN ARITHMETIC AND GEOMETRY

To develop the complete history of arithmetic and geometry would be a task quite beyond the limits of this paper, and of the writer's knowledge. In arithmetic we were able to observe a stage in which spontaneous behavior led to the invention of number names and methods of counting. Then, by certain speculative and "play" impulses, there arose elementary arithmetical problems which began to be of interest in themselves. Geometry here also comes into consideration, and, in connection with positional number symbols, begin those interactions between arithmetic and geometry that result in the forms of our contemporary mathematics. The complex quant.i.ties represented by number symbols are no longer merely the necessary results of a.n.a.lyzing commercial relations or practical measurements, and geometry is no longer directly based upon the intuitively given line, point, and plane.

If number relations are to be expressed in terms of empirical spatial positions, it is necessary to construct many imaginary surfaces, as is done by Riemann in his theory of functions, a construction representing the type of imagination which Poincare has called the intuitional in contradistinction to the logical (_Value of Science_, Ch. I). And geometry has not only been led to the construction of many non-Euclidian s.p.a.ces, but has even, with Peano and his school, been freed from the bonds of any necessary spatial interpretation whatsoever.

To trace in concrete detail the attainment of modern refinements of number theory would likewise exhibit nothing new in the building up of mathematical intelligence. We should find, here, a process carried out without thought of the consequences, there, an a.n.a.logy suggesting an operation that might lead us beyond a difficulty that had blocked progress; here, a play interest leading to a combination of symbols out of which a new idea has sprung; there, a painstaking and methodical effort to overcome a difficulty recognized from the start. It is rather for us now to ask what it is that has been attained by these means, to inquire finally what are those things called "number" and "line" in the broad sense in which the terms are now used.

In so far as the cardinal number at least is concerned, the answer generally accepted by Dedekind, Peano, Russell, and such writers is this: the number is a "cla.s.s of similar cla.s.ses" (Whitehead and Russell, _Prin. Math._, Vol. II, p. 4). To the interpretation of this answer, Mr.

Russell, the most self-consciously philosophical of these mathematicians, has devoted his full dialectic skill. The definition has at least the merit of being free from certain arbitrary psychologizing that has vitiated many earlier attempts at the problem. Mr. Russell claims for it "(1) that the formal properties which we expect cardinal numbers to have result from it; (2) that unless we adopt this definition or some more complicated and practically equivalent definition, it is necessary to regard the cardinal number of a cla.s.s as indefinable"

(_loc. cit._, p. 4). That the definition's terms, however, are not without obscurity appears in Mr. Russell's struggles with the zigzag theory, the no-cla.s.s theory, etc., and finally in his taking refuge in the theory of "logical types" (_loc. cit._, Vol. III, Part V. E.), whereby the contradiction that subverted Frege and drove Mr. Russell from the standpoint of the _Principles of Mathematics_ is finally overcome.

The second of Mr. Russell's claims for his definition adds nothing to the first, for it merely a.s.serts that unless we adopt some definition of the cardinal number from which its formal properties result, number is undefined. Any such definition would be, _ipso facto_, a practical equivalent of the first. We need only consider whether or not the formal properties of numbers clearly follow from this definition.

Mr. Russell's own experience makes us hesitate. When he first adopted this definition from Frege, he was led to make the inference that the cla.s.s of all possible cla.s.ses might furnish a type for a greatest cardinal number. But this led to nothing but paradox and contradiction.

The obvious conclusion was that something was wrong with the concept of cla.s.s, and the obvious way out was to deny the possibility of any such all-inclusive cla.s.s. Just why there should be such limitation, except that it enables one to escape the contradiction, is not clear from Mr.

Russell's a.n.a.lysis (cf. Brown, "The Logic of Mr. Russell," _Journ. of Phil., Psych., and Sci. Meth._, Vol. VIII, No. 4, pp. 85-89).

Furthermore, to pa.s.s to the theory of types on this ground is to give up the value of the first claim for the definition (quoted above), since the formal properties of numbers now merely follow from the definition because the terms of the definition are reinterpreted from the properties of number, so that these properties will follow from it. The definition has become circular.

The real difficulty lies in the concept of the cla.s.s. Dogmatic realism is p.r.o.ne to find here an ent.i.ty for which, as it is obviously not a physical thing, a home must be provided in some region of "being." Hence arises the realm of subsistence, as for Plato the world of facts duplicated itself in a world of ideas. But the subsistent realm of the mathematician is even more astounding than the ideal realm of Plato, for the latter world is a prototype of the world of things, while the world of the mathematician is peopled by all sorts of ent.i.ties that never were on land or sea. The transfinite numbers of Cantor have, without doubt, a definite mathematical meaning, but they have no known representatives in the world of things, nor in the imagination of man, and in spite of the efforts of philosophers it may even be doubted whether an ent.i.ty correlative to the mathematical infinite has ever been or can ever be specified.

Mr. Russell now teaches that "cla.s.ses are merely symbolic" (_Sci. Meth.

in Phil._, p. 208), but this expression still needs elucidation. It does, to be sure, avoid the earlier difficulty of admitting "new and mysterious metaphysical ent.i.ties" (_loc. cit._, p. 204), but the "feeling of oddity" that accompanies it seems not without significance.

What can be meant by a merely symbolic cla.s.s of similar cla.s.ses themselves merely symbolical? I do not know, unless it is that we are to throw overboard the effort aimed at arbitrary and creative definition and proceed in simple inductive and interpretative fashion. With cla.s.ses as ent.i.ties abandoned, we are left, until we have pa.s.sed to a new point of view as to arithmetical ent.i.ties, in the position of the intelligent ignoramus who defined a stock market operation as buying what you can't get with money you never had, and selling what you never owned for more than it was ever worth.

The situation seems to be that we are now face to face with new generalizations. Just as number symbols arose to denote operations gone through in counting things when attention is diverted from the particular characteristics of the things counted, and remained a symbol for those operations with things, so now we are becoming self-conscious of the character of the operations we have been performing and are developing new symbols to express possible operations with operations.

The infinity of the number series expresses the fact that it is possible to continue the enumerating process indefinitely, and when we are asked by certain mathematicians to practise ourselves in such thoughts as that for infinite series a proper part can be the equal of the whole, where equality is defined through the establishment of one-one correspondence, we are really merely informed that among the group of symbols used to denote the concrete steps of an ever open counting process are groups of symbols that can be used to indicate operations that are of the same type as the given one in so far as the characteristic of being an open series is concerned. If there were anywhere an infinity of things to count, an unintelligible supposition, it would by no means be true that any selection of things from that series would be the equivalent of all things in the series, except in so far as equivalence meant that they could be arranged in the same type of series as that from which they were drawn.

Similarly the mathematical conception of the continuum is nothing but a formulation of the manner in which the cuts of a line or the numbers of a continuous series must be chosen so that there shall remain no possible cut or number of which the choice is not indicated.

Correspondence is reached between elements of such series when the corresponding elements can be reached by an identical process. It seems to me, however, a mistake to _identify_ the number continuum with the linear continuum, for the latter must include the irrational numbers, whereas the irrational number can never represent a spatial position in a series. For example, the sqrt{2} is by nature a decimal involving an infinite, i.e., an ever increasing, number of digits to express it and, by virtue of the infinity of these digits, they can never be looked upon as all given. It is then truly a number, for it expresses a genuine numerical operation, but it is not a position, for it cannot be a determinate magnitude but merely a quant.i.ty approaching a determinate magnitude as closely as one may please. That is, without its complete expression, which would be a.n.a.logous to the self-contradictory task of finding a greatest cardinal number, there can be no cut in the line which is symbolized by it. But the operations of translating algebraic expressions into geometrical ones and vice versa (operations which are so important in physical investigations) are facilitated by the notion of a one to one correspondence between number and s.p.a.ce.

When we pa.s.s to the transfinite numbers, we have nothing in the Alephs but the symbols of certain groupings of operations expressible in ordinary number series. And the many forms of numbers are all simply the result of recognizing value in naming definite groups of operations of a lower level, which may itself be a complication of processes indicated by the simple numerical signs. To create such symbols is by no means illegitimate and no paradox results in any forms as long as we remember that our numbers are not things but are signs of operations that may be performed directly upon things or upon other operations.

For example, let us consider such a symbol as sqrt{-5}. -5 signifies the totality of a counting process carried on in an opposite sense from that denoted by +5. To take the square root is to symbolize a number, the totality of an operation, such that when the operation denoted by multiplying it by itself is performed the result is 5. Consequently the sqrt{-5} is merely the symbol of these processes combined in such a way that the whole operation is to be considered as opposite in some sense to that denoted by sqrt{5}. Hence, an easy method for the representation of such imaginaries is based on the principle of a.n.a.lytic geometry and a system of co-ordinates.

The nature of this last generalization of mathematics is well shown by Mr. Whitehead in his monumental _Universal Algebra_. The work begins with the definition of a calculus as "The art of manipulating subst.i.tutive signs according to fixed rules, and the deduction therefrom of true propositions" (_loc. cit._, p. 4). The deduction itself is really a manipulation according to rules, and the truth consists essentially in the results being actually derived from the premises according to rule. Following Stout, subst.i.tutive signs are characterized thus: "a word is an instrument for thinking about the meaning which it expresses; a subst.i.tutive sign is a means of not thinking about the meaning which it symbolizes." Mathematical symbols have, then, become subst.i.tutive signs. But this is only possible because they were at an early stage of their history expressive signs, and the laws which connected them were derived from the relations of the things for which they stood. First it became possible to forget the things in their concreteness, and now they have become mere terms for the relations that had been generalized between them. Consequently, the things forgotten and the terms treated as mere elements of a relational complex, it is possible to state such relational complexes with the utmost freedom. But this does not mean that mathematics can be created in a purely arbitrary fashion. The mark of its origin is upon it in the need of exhibiting some existing situation through which the non-contradictory character of its postulates can be verified. The real advantage of the generalization is that of all generalizations in science, namely, that by looking away from practical applications (as appears in a historical survey) results are frequently obtained that would never have been attained if our labor had been consciously limited merely to those problems where the advantages of a solution were obvious. So the most fantastic forms of mathematics, which themselves seem to bear no relation to actual phenomena, just because the relations involved in them are the relations that have been derived from dealing with an actual world, may contribute to the solutions of problems in other forms of calculus, or even to the creation of new forms of mathematics. And these new forms may stand in a more intimate connection with aspects of the real world than the original mathematics.

In 1836-39 there appeared in the _Gelehrte Schriften der Universitat Kasan_, Lobatchewsky's epoch-making "New Elements of Geometry, with a Complete Theory of Parallels." After proving that "if a straight line falling on two other straight lines make the alternate angles equal to one another, the two straight lines shall be parallel to one another,"

Euclid, finding himself unable to prove that in every other case they were not parallel, a.s.sumed it in an axiom. But it had never seemed obvious. Lobatchewsky's system amounted merely to developing a geometry on the basis of the contradictory axiom, that through a point outside a line an indefinite number of lines can be drawn, no one of which shall cut a given line in that plane. In 1832-33, similar results were attained by Johann Bolyai in an appendix to his father's "_Tentamen juventutem studiosam in elementa matheseosos purae ... introducendi_"

ent.i.tled "The Science of Absolute s.p.a.ce." In 1824 the dissertation of Riemann, under Gauss, introduced the idea of an _n_-ply extended magnitude, or a study of _n_-dimensional manifolds and a new road was opened for mathematical intelligence.

At first this new knowledge suggested all sorts of metaphysical hypotheses. If it is possible to build geometries of _n_-dimensions or geometries in which the axiom of parallels is no longer true, why may it not be that the s.p.a.ce in which we make our measurements and on which we base our mechanics is some one of these "non-Euclidian" s.p.a.ces? And indeed many experiments were conducted in search of some clue that this might be the case. Such experiments in relation to "curved s.p.a.ces"

seemed particularly alluring, but all have turned out to be fruitless in results. Failure leads to investigation of the causes of failure. If our s.p.a.ce had been some one of these s.p.a.ces how would it have been possible for us to know this fact? The traditional definition of a straight line has never been satisfactory from a physical point of view. To define it as the shortest distance between two points is to introduce the idea of distance, and the idea of distance itself has no meaning without the idea of straight line, and so the definition moves in a vicious circle.

On the metaphysical side, Lotze (_Metaphysik_, p. 249) and others (Merz, _History of European Thought in the Nineteenth Century_, Vol. II, p.

716) criticized these attempts, on the whole justly, but the best interpretation of the situation has been given by Poincare.

Two lines of thought now lead to a recasting of our conceptions of the fundamental notions of geometry. On the one hand, that very investigation of postulates that had led to the discovery of the apparently strange non-Euclidian geometries was easily continued to an investigation of the simplest basis on which a geometry could be founded. Then by reaction it was continued with similar methods in dealing with algebra, and other forms of a.n.a.lysis, with the result that conceptions of mathematical ent.i.ties have gradually emerged that represent a new stage of abstraction in the evolution of mathematics, soon to be discussed as the dominating conceptions in contemporary thought. On the other hand, there also developed the problem of the relations of these geometrical worlds to one another, which has been primarily significant in helping to clear up the relations of mathematics in its "pure" and "applied" forms.

Geometry pa.s.sed through a stage of abstraction like that examined in connection with arithmetic. Beginning with the discovery of non-Euclidian geometry, it has been becoming more and more evident that a line need not be a name for an aspect of a physical object such as the ridge-pole line of a house and the like, nor even for the more abstract mechanical characteristic of direction of movement;--although the persistency with which intuitionally minded geometers have sought to adapt such ill.u.s.trations to their needs has somewhat obscured this fact.

However, even a cursory examination of a modern treatise on geometry makes clear what has taken place. For example, Professor Hilbert begins his _Grundlagen der Geometrie_, not with definition of points, lines, and planes, but with the a.s.sumption of three different systems of things (Dinge) of which the first, called points, are denoted A, B, C, etc., second, called straight lines (Gerade), are denoted a, b, c, etc., and the third, called planes, are denoted by [Greek: alpha], [Greek: beta], [Greek: gamma], etc. The relations between these things then receive "genaue und vollstandige Beschreibung" through the axioms of the geometry. And the fact that these "things" are called points, lines, and planes is not to give to them any of the connotations ordinarily a.s.sociated with these words further than are determined by the axiom groups that follow. Indeed, other geometers are even more explicit on this point. Thus for Peano (_I Principii di Geometria_, 1889) the line is a mere cla.s.s of ent.i.ties, the relations amongst which are no longer concrete relations but types of relations. The plane is a cla.s.s of cla.s.ses of ent.i.ties, etc. And an almost unlimited number of examples, about which the theorems of the geometry will express truths, can be exhibited, not one of which has any close resemblance to spatial facts in the ordinary sense.

Philosophers, it seems to me, have been slow to recognize the significance of the step involved in this last phase of mathematical thought. We have been so schooled in an arbitrary distinction between relations and concepts, that while long familiar with general ideas of concepts, we are not familiar with generalized ideas of relations. Yet this is exactly what mathematics is everywhere presenting. A transition has been made from relations to types of relations, so that instead of speaking in terms of quant.i.tative, spatial and temporal relations, mathematicians can now talk in terms of symmetrical, asymmetrical, transitive, intransitive relational types and the like. These present, however, nothing but the empirical character that is common to such relations as that of father and son; debtor and creditor; master and servant; a is to the left of b, b of c; c of d; a is older than b, b than c, c than d, etc. Hence this is not abandonment of experience but a generalization of it, which results in a calculus potentially applicable not only to it but also to other subject-matter of thought. Indeed, if it were not for the possibility of this generalization, the almost unlimited applicability of diagrams, so useful in the cla.s.sroom, to ill.u.s.trate everything from the nature of reality to the categorical imperative, as well as to the more technical usages of the psychological and social sciences, would not be understandable.

It would be a paradox, however, if starting out from processes of counting and measuring, generalizations had been attained that no longer had significance for counting or measuring, and the non-Euclidian hyper-dimensional geometries seem at first to present this paradox. But, as the outcome of our second line of thought proves, this is not the case. The investigation of the relations of different geometrical systems to each other has shown (cf. Brown, "The Work of H. Poincare,"

_Journ. of Phil., Psy., and Sci. Meth._, Vol. XI, No. 9, p. 229) that these different systems have a correspondence with one another so that for any theorem stated in one of them there is a corresponding theorem that can be stated in another. In other words, given any factual situation that can be stated in Euclidian geometry, the aspect treated as a straight line in the Euclidian exposition will be treated as a curve in the non-Euclidian, and a situation treated as three-dimensional by Euclid's methods can be treated as of any number of dimensions when the proper fundamental element is chosen, and vice versa, although of course the element will not be the line or plane in our empirical usage of the term. This is what Poincare means by saying that our geometry is a free choice, but not arbitrary (_The Value of Science_, Pt. III, Ch.

X, Sec. 3), for there are many limitations imposed by fact upon the choice, and usually there is some clear indication of convenience as to the system chosen, based on the fundamental ideal of simplicity.

It is evident, then, that geometry and arithmetic have been drawing closer together, and that to-day the distinction between them is somewhat hard to maintain. The older arithmetic had limited itself largely to the study of the relations involved in serial orders as suggested by counting, whereas geometry had concerned itself primarily with the relations of groups of such series to each other when the series, or groups of series, are represented as lines or planes. But partly by interaction in a.n.a.lytic geometry, and partly in the generalization of their own methods, both have come to recognize the fundamental character of the relations involved in their thought, and arithmetic, through the complex number and the algebraic unknown quant.i.ties, has come to consider more complex serial types, while geometry has approached the a.n.a.lysis of its series through interaction with number theory. For both, the content of their ent.i.ties and the relations involved have been brought to a minimum. And this is true even of such apparently essentially intuitional fields as projective geometry, where ent.i.ties can be subst.i.tuted for directional lines and the axioms be turned into relational postulates governing their configurations.

Nevertheless, geometry like arithmetic, has remained true to the need that gave it initial impulse. As in the beginning it was only a method of dealing with a concrete situation, so in the end it is nothing but such a method, although, as in the case of arithmetic, from ever closer contact with the situation in question, it has been led, by refinements that thoughtful and continual contact bring, to dissect that situation and give heed to aspects of it which were undreamed of at the initial moment. In a sense, then, there are no such things as mathematical ent.i.ties, as scholastic realism would conceive them. And yet, mathematics is not dealing with unrealities, for it is everywhere concerned with real rational types and systems where such types may be exemplified. Or we can say in a purely practical way that mathematical ent.i.ties are const.i.tuted by their relations, but this phrase cannot here be interpreted in the Hegelian ontological sense in which it has played so great and so pernicious a part in contemporary philosophy. Such metaphysical interpretation and its consequences are the basis of paradoxical absolutisms, such as that arrived at by Professor Royce (_World and the Individual_, Vol. II, Supplementary Essay). The peculiar character of abstract or pure mathematics seems to be that its own operations on a lower level const.i.tute material which serves for the subject-matter with which its later investigations deal. But mathematics is, after all, not fundamentally different from the other sciences. The concepts of all sciences alike const.i.tute a special language peculiarly adapted for dealing with certain experience adjustments, and the differences in the development of the different sciences merely express different degrees of success with which such languages have been formulated with respect to making it possible to predict concerning not yet realized situations. Some sciences are still seeking their terms and fundamental concepts, others are formulating their first "grammar," and mathematics, still inadequate, yearly gains both in vocabulary and flexibility.

But if we are to conceive mathematical ent.i.ties as mere terminal points in a relational system, it is necessary that we should become clear as to just what is meant by relation, and what is the connection between relations and quant.i.ties. Modern thought has shown a strong tendency to insist, somewhat arbitrarily, on the "internal" or "external" character of relations. The former emphasis has been primarily a.s.sociated with idealistic ontology, and has often brought with it complex dialectic questions as to the ident.i.ty of an individual thing in pa.s.sing from one relational situation to another. The latter insistence has meant primarily that things do not change with changing relations to other things. It has, however, often implied the independent existence, in some curiously metaphysical state, of relations that are not relating anything, and is hardly less paradoxical than the older view. In the field of physical phenomena, it seems to triumph, while the facts of social life, on the other hand, lend some countenance to the view of the "internalists." Like many such discussions, the best way around them is to forget their arguments, and turn to a fresh and independent investigation of the facts in question.

IV

THINGS, RELATIONS, AND QUANt.i.tIES

As I write, the way is paved for me by Professor Cohen (_Journ. of Phil., Psy., and Sci. Meth._, Vol. XI, No. 23, Nov. 5, 1914, pp.

623-24), who outlines a theory of relations closely allied to that which I have in mind. Professor Cohen writes: "Like the distinction between primary and secondary qualities, the distinction between qualities and relations seems to me a shifting one because the 'nature' of a thing changes as the thing shifts from one context to another.... To Professors Montague and Lovejoy the 'thing' is like an old-fashioned landowner and the qualities are its immemorial private possessions. A thing may enter into commercial relations with others, but these relations are extrinsic. It never parts with its patrimony. To me, the 'nature' of a thing seems not to be so private or fixed. It may consist entirely of bonds, stocks, franchises, and other ways in which public credit or the right to certain transactions is represented.... At any rate, relations or transactions may be regarded as wider or more primary than qualities or possessions. The latter may be defined as internal relations, that is, relations _within_ the system that const.i.tutes the 'thing.' The nature of a thing contains an essence, i.e., a group of characteristics which, in any given system or context, remain invariant, so that if these are changed the things drop out of our system ... but the same thing may present different essences in different contexts. As a thing shifts from one context to another, it acquires new relations and drops old ones, and in all transformations there is a change or readjustment of the line between the internal relations which const.i.tute the essence and the external relations which are outside the inner circle...."