are five terms, no matter what.
We may make a "map" of this relation by taking five points on a plane and connecting them by arrows, as in the accompanying figure. What is revealed by the map is what we call the "structure" of the relation.
It is clear that the "structure" of the relation does not depend upon the particular terms that make up the field of the relation. The field may be changed without changing the structure, and the structure may be changed without changing the field—for example, if we were to add the couple
in the above illustration we should alter the structure but not the field. Two relations have the same "structure," we shall say, when the same map will do for both—or, what comes to the same thing, when either can be a map for the other (since every relation can be its own map). And that, as a moment's reflection shows, is the very same thing as what we have called "likeness." That is to say, two relations have the same structure when they have likeness, i.e. when they have the same relation-number. Thus what we defined as the "relation-number" is the very same thing as is obscurely intended by the word "structure"—a word which, important as it is, is never (so far as we know) defined in precise terms by those who use it.
There has been a great deal of speculation in traditional philosophy which might have been avoided if the importance of structure, and the difficulty of getting behind it, had been realised. For example, it is often said that space and time are subjective, but they have objective counterparts; or that phenomena are subjective, but are caused by things in themselves, which must have differences inter se corresponding with the differences in the phenomena to which they give rise. Where such hypotheses are made, it is generally supposed that we can know very little about the objective counterparts. In actual fact, however, if the hypotheses as stated were correct, the objective counterparts would form a world having the same structure as the phenomenal world, and allowing us to infer from phenomena the truth of all propositions that can be stated in abstract terms and are known to be true of phenomena. If the phenomenal world has three dimensions, so must the world behind phenomena; if the phenomenal world is Euclidean, so must the other be; and so on. In short, every proposition having a communicable significance must be true of both worlds or of neither: the only difference must lie in just that essence of individuality which always eludes words and baffles description, but which, for that very reason, is irrelevant to science. Now the only purpose that philosophers have in view in condemning phenomena is in order to persuade themselves and others that the real world is very different from the world of appearance. We can all sympathise with their wish to prove such a very desirable proposition, but we cannot congratulate them on their success. It is true that many of them do not assert objective counterparts to phenomena, and these escape from the above argument. Those who do assert counterparts are, as a rule, very reticent on the subject, probably because they feel instinctively that, if pursued, it will bring about too much of a rapprochement between the real and the phenomenal world. If they were to pursue the topic, they could hardly avoid the conclusions which we have been suggesting. In such ways, as well as in many others, the notion of structure or relation-number is important.
CHAPTER VII
RATIONAL, REAL, AND COMPLEX NUMBERS
WE have now seen how to define cardinal numbers, and also relation-numbers, of which what are commonly called ordinal numbers are a particular species. It will be found that each of these kinds of number may be infinite just as well as finite. But neither is capable, as it stands, of the more familiar extensions of the idea of number, namely, the extensions to negative, fractional, irrational, and complex numbers. In the present chapter we shall briefly supply logical definitions of these various extensions.