[EDITOR'S NOTE]

THOSE who, relying on the distinction between Mathematical Philosophy and the Philosophy of Mathematics, think that this book is out of place in the present Library, may be referred to what the author himself says on this head in the Preface. It is not necessary to agree with what he there suggests as to the readjustment of the field of philosophy by the transference from it to mathematics of such problems as those of class, continuity, infinity, in order to perceive the bearing of the definitions and discussions that follow on the work of "traditional philosophy." If philosophers cannot consent to relegate the criticism of these categories to any of the special sciences, it is essential, at any rate, that they should know the precise meaning that the science of mathematics, in which these concepts play so large a part, assigns to them. If, on the other hand, there be mathematicians to whom these definitions and discussions seem to be an elaboration and complication of the simple, it may be well to remind them from the side of philosophy that here, as elsewhere, apparent simplicity may conceal a complexity which it is the business of somebody, whether philosopher or mathematician, or, like the author of this volume, both in one, to unravel.

CONTENTS

CHAP.
[PREFACE]
[EDITOR'S NOTE]
1. [THE SERIES OF NATURAL NUMBERS]
2. [DEFINITION OF NUMBER]
3. [FINITUDE AND MATHEMATICAL INDUCTION]
4. [THE DEFINITION OF ORDER]
5. [KINDS OF RELATIONS]
6. [SIMILARITY OF RELATIONS]
7. [RATIONAL, REAL, AND COMPLEX NUMBERS]
8. [INFINITE CARDINAL NUMBERS]
9. [INFINITE SERIES AND ORDINALS]
10. [LIMITS AND CONTINUITY]
11. [LIMITS AND CONTINUITY OF FUNCTIONS]
12. [SELECTIONS AND THE MULTIPLICATIVE AXIOM]
13. [THE AXIOM OF INFINITY AND LOGICAL TYPES]
14. [INCOMPATIBILITY AND THE THEORY OF DEDUCTION]
15. [PROPOSITIONAL FUNCTIONS]
16. [DESCRIPTIONS]
17. [CLASSES]
18. [MATHEMATICS AND LOGIC]
[INDEX]

INTRODUCTION TO MATHEMATICAL PHILOSOPHY

CHAPTER I
THE SERIES OF NATURAL NUMBERS

MATHEMATICS is a study which, when we start from its most familiar portions, may be pursued in either of two opposite directions. The more familiar direction is constructive, towards gradually increasing complexity: from integers to fractions, real numbers, complex numbers; from addition and multiplication to differentiation and integration, and on to higher mathematics. The other direction, which is less familiar, proceeds, by analysing, to greater and greater abstractness and logical simplicity; instead of asking what can be defined and deduced from what is assumed to begin with, we ask instead what more general ideas and principles can be found, in terms of which what was our starting-point can be defined or deduced. It is the fact of pursuing this opposite direction that characterises mathematical philosophy as opposed to ordinary mathematics. But it should be understood that the distinction is one, not in the subject matter, but in the state of mind of the investigator. Early Greek geometers, passing from the empirical rules of Egyptian land-surveying to the general propositions by which those rules were found to be justifiable, and thence to Euclid's axioms and postulates, were engaged in mathematical philosophy, according to the above definition; but when once the axioms and postulates had been reached, their deductive employment, as we find it in Euclid, belonged to mathematics in the ordinary sense. The distinction between mathematics and mathematical philosophy is one which depends upon the interest inspiring the research, and upon the stage which the research has reached; not upon the propositions with which the research is concerned.

We may state the same distinction in another way. The most obvious and easy things in mathematics are not those that come logically at the beginning; they are things that, from the point of view of logical deduction, come somewhere in the middle. Just as the easiest bodies to see are those that are neither very near nor very far, neither very small nor very great, so the easiest conceptions to grasp are those that are neither very complex nor very simple (using "simple" in a logical sense). And as we need two sorts of instruments, the telescope and the microscope, for the enlargement of our visual powers, so we need two sorts of instruments for the enlargement of our logical powers, one to take us forward to the higher mathematics, the other to take us backward to the logical foundations of the things that we are inclined to take for granted in mathematics. We shall find that by analysing our ordinary mathematical notions we acquire fresh insight, new powers, and the means of reaching whole new mathematical subjects by adopting fresh lines of advance after our backward journey. It is the purpose of this book to explain mathematical philosophy simply and untechnically, without enlarging upon those portions which are so doubtful or difficult that an elementary treatment is scarcely possible. A full treatment will be found in Principia Mathematica;[1] the treatment in the present volume is intended merely as an introduction.

[1]Cambridge University Press, vol. I., 1910; vol. II., 1911; vol. III., 1913. By Whitehead and Russell.

To the average educated person of the present day, the obvious starting-point of mathematics would be the series of whole numbers,