Home > Work > The Principles of Mathematics
1 " The only logical meaning of necessity seems to be derived from implication. A proposition is more or less necessary according as the class of propositions for which it is a premiss is greater or smaller.* In this sense the propositions of logic have the greatest necessity, and those of geometry have a high degree of necessity. But this sense of necessity yields no valid argument from our inability to imagine holes in space to the conclusion that there cannot really be any space at all except in our imaginations. "
― Bertrand Russell , The Principles of Mathematics
2 " There is no reason, therefore, so far as I am able to perceive, to deny the ultimate and absolute philosophical validity of a theory of geometry which regards space as composed of points, and not as a mere assemblage of relations between non-spatial terms. "
3 " The question as to which of these two theories applies to the actual world is, like all questions concerning the actual world, in itself irrelevant to pure mathematics.* But the argument against absolute position usually takes the form of maintaining that a space composed of points is logically inadmissible, and hence issues are raised which a philosophy of mathematics must discuss. In what follows, I am concerned only with the question: Is a space composed of points self-contradictory? It is true that, if this question be answered in the negative, the sole ground for denying that such a space exists in the actual world is removed; but this is a further point, which, being irrelevant to our subject, will be left entirely to the sagacity of the reader. "
4 " Every proposition, true or false—so the present theory contends—ascribes a predicate to a subject, and—what is a corollary from the above—there is only one subject. The consequences of this doctrine are so strange, that I cannot believe they have been realized by those who maintain it. The theory is in fact self-contradictory. "
5 " For if the Absolute has predicates, then there are predicates; but the proposition “there are predicates” is not one which the present theory can admit. We cannot escape by saying that the predicates merely qualify the Absolute; for the Absolute cannot be qualified by nothing, so that the proposition “there are predicates” is logically prior to the proposition “the Absolute has predicates”. Thus the theory itself demands, as its logical prius, a proposition without a subject and a predicate; moreover this proposition involves diversity, for even if there be only one predicate, this must be different from the one subject. Again, since there is a predicate, the predicate is an entity, and its predicability of the Absolute is a relation between it and the Absolute. Thus the very proposition which was to be non-relational turns out to be, after all, relational, and to express a relation which current philosophical language would describe as purely external. "
6 " The notion that a term can be modified arises from neglect to observe the eternal self-identity of all terms and all logical concepts, which alone form the constituents of propositions.* What is called modification consists merely in having at one time, but not at another, some specific relation to some other specific term; but the term which sometimes has and sometimes has not the relation in question must be unchanged, otherwise it would not be that term which had ceased to have the relation. "
7 " But the whole theory rests, if I am not mistaken, upon neglect of the fundamental distinction between an idea and its object. Misled by neglect of being, people have supposed that what does not exist is nothing. Seeing that numbers, relations, and many other objects of thought, do not exist outside the mind, they have supposed that the thoughts in which we think of these entities actually create their own objects. Every one except a philosopher can see the difference between a post and my idea of a post, but few see the difference between the number 2 and my idea of the number 2. Yet the distinction is as necessary in one case as in the other. The argument that 2 is mental requires that 2 should be essentially an existent. But in that case it would be particular, and it would be impossible for 2 to be in two minds, or in one mind at two times. Thus 2 must be in any case an entity, which will have being even if it is in no mind.* But further, there are reasons for denying that 2 is created by the thought which thinks it. For, in this case, there could never be two thoughts until some one thought so; hence what the person so thinking supposed to be two thoughts would not have been two, and the opinion, when it did arise, would be erroneous. And applying the same doctrine to 1; there cannot be one thought until some one thinks so. Hence Adam’s first thought must have been concerned with the number 1; for not a single thought could precede this thought. In short, all knowledge must be recognition, on pain of being mere delusion; Arithmetic must be discovered in just the same sense in which Columbus discovered the West Indies, and we no more create numbers than he created the Indians. The number 2 is not purely mental, but is an entity which may be thought of. Whatever can be thought of has being, and its being is a precondition, not a result, of its being thought of. "
8 " If the law of gravitation be regarded as universal, the point may be stated as follows. The laws of motion require to be stated by reference to what have been called kinetic axes: these are in reality axes having no absolute acceleration and no absolute rotation. It is asserted, for example, when the third law is combined with the notion of mass, that, if m, m' be the masses of two particles between which there is a force, the component accelerations of the two particles due to this force are in the ratio m2 : m1. But this will only be true if the accelerations are measured relative to axes which themselves have no acceleration. We cannot here introduce the centre of mass, for, according to the principle that dynamical facts must be, or be derived from, observable data, the masses, and therefore the centre of mass, must be obtained from the acceleration, and not vice versâ. Hence any dynamical motion, if it is to obey the laws of motion, must be referred to axes which are not subject to any forces. But, if the law of gravitation be accepted, no material axes will satisfy this condition. Hence we shall have to take spatial axes, and motions relative to these are of course absolute motions. 465. In order to avoid this conclusion, C. Neumann* assumes as an essential part of the laws of motion the existence, somewhere, of an absolutely rigid “Body Alpha”, by reference to which all motions are to be estimated. This suggestion misses the essence of the discussion, which is (or should be) as to the logical meaning of dynamical propositions, not as to the way in which they are discovered. It seems sufficiently evident that, if it is necessary to invent a fixed body, purely hypothetical and serving no purpose except to be fixed, the reason is that what is really relevant is a fixed place, and that the body occupying it is irrelevant. It is true that Neumann does not incur the vicious circle which would be involved in saying that the Body Alpha is fixed, while all motions are relative to it; he asserts that it is rigid, but rightly avoids any statement as to its rest or motion, which, in his theory, would be wholly unmeaning. Nevertheless, it seems evident that the question whether one body is at rest or in motion must have as good a meaning as the same question concerning any other body; and this seems sufficient to condemn Neumann’s suggested escape from absolute motion. "