, are
properties
of groups with constituents of the same kind, which t-:roups or sets are called numbers.
Gottlob-Frege-Posthumous-Writings
Then there must be several ones after all, and our earlier conjecture that one is a vague idea is possibly false.
At this stage the most obvious thing seems to be to regard 'one' as a title. We have conferred this title on Laocoon, his sons and the serpent, and we uow assign a new term to the Laocoon group. Very well, but which? We must not imagine for one moment that there is no need for a new term, since we could simply call our group the Laocoon group. That would clearly not he the right term to assign to it. Biermann knows best what term we need to use here. Perhaps he would fix on the term 'four'. Others would perhaps prefer 'one'; but why should the same thing not have different titles?
Now Biermann says 'Number is the idea of the groups of elements designated by those terms'. Fine! We designate the group itself-so here the Luocoon group-by the term 'four' or 'one' or by both; but the number is not the group itself which we designate by the number word, it is the idea of 11. Is the idea of the Laocoon group the number one or the number four or what number? Why not one and four at the same time, as the whim takes us'! But we must have made a mistake! The whole group consists of molecules of calcium carbonate. Here we have elements of our group that nrc of the same kind. Possibly it would have been better if we had designated 0111. :h of these molecules by the term one. Well, we go ahead and do this and ? o ure able to designate the Laocoon group by a new term. The number is now the idea of the group designated by this term (our old Laocoon group uvcr again). It is only at this point that we begin to see how subtle the term 'idea' is. To be sure, the Laocoon group is the same; but now we have a dill"crcnt idea of it. That is why we now have a different number. If our idea uf a plurality composed of things of the same kind, e. g. a heap of sand,
? ? 76 On the Concept ofNumber
changes, the number changes as well; for the number is simply the idea of the heap of sand. If, for instance, we spread the heap of sand out, the idea of the heap of sand when spread out is clearly a different idea from that of the original heap. These ideas are numbers and they are different; this means that they are different numbers. To arrive at this result there is no need to add or take away a grain of sand.
Let us assume a child and a painter are looking at a group, consisting of an apple, a pear and a nut. Following Biermann's instructions they may both have reached the point of designating this group by the new term three. Suppose now a cloth be spread over this plurality composed of things of the same kind; what ideas of them are left behind in the minds of the observers? Evidently quite different ones. In the case of the child ideas of taste will predominate, in the case of the painter ideas of the colours and how they shade off, of the shadows and outlines, etc. , so that the two of them, if Biermann's definition were correct, would have quite different numbers, that is, different ideas of the group of elements designated by the word three. But I suppose Biermann would say that all this is psychology, that these considerations have nothing to do with arithmetic. Just so! But how did we get here? Via the term 'idea' which Biermann uses and which simply does belong to psychology. Any attempt to exclude psychological considerations from mathematics has my full approval. But let us do the job properly. Away with the word idea! To be sure, we must then dispense with such interesting psychological propositions as 'Through number we possess the idea of a plurality or set of similar things'. 1 The full implications of this proposition can only be realized when it is applied to examples; thus we possess the idea of a heap of sand through the idea of a heap of sand; we possess the idea of the constellation of Orion through the idea of the constellation of Orion; we possess the idea of the Laocoon group through
the idea of the Laocoon group. But let us not make an issue of whether arithmetic is the proper place for this psychological truth. Let us rather rejoice over truths wherever we find them. And let us look to see whether Biermann's book does not yield yet more meat for psychology. Sure enough! We learn something about the composition of ideas:
'Two numbers formed from an indeterminate basic element e or the abstract unit 1 . . . ', etc. 2
If only we knew what an 'indeterminate basic element' is! Perhaps we shall glean it by comparing this with a later passage:
? We construct a number containing all the elements oftwo numbers a and bformedfrom the same basic element. '3
1 Cf. Biermaqn, p. I.
2 Ibid. 3 Ibid.
? ? On the Concept ofNumber 77
Thus we have, say, two heaps of peas,* and we make a single heap with them. What is the basic element the heap is made up of? A pea? A single pea? Which pea? An indeterminate pea. I confess that I have not yet seen an indeterminate pea, but I can well imagine that Biermann has the concept pea in mind; or would it be an idea of a pea? I trust I do Biermann no injustice if I assume that he has never broached this question. Though we cannot, to be sure, say that a heap of peas is composed of an indeterminate pea, or of the concept pea, or of an idea of a pea, we can say that it is composed of peas, i. e. of objects falling under the concept pea. Therefore, in view of the fact that Biermann's terminology is somewhat imprecise, we may assume that his phrase 'number formed from an indeterminate basic clement' is intended to mean: 'number whose components fall under one concept' and that is only another term for something that has already given us food for thought-elements of the same kind; evidently, Biermann is fond of presenting us with the same thing in different guises so that we do not find it too easy to achieve clarity. But we are forgetting, and perhaps Biermann is, too, that it is not the heap of peas that is a number, but the idea of the heap. The number, i. e. the idea, is not, however, made up of peas. What is an element of a number? After what has just been said everyone must think: an element of the group whose idea is the number. Let us consider Biermann's formulation once more: 'We construct a number containing all the elements of two numbers a and b formed from the same basic element. ' That is to say: we form the idea of a group, which idea contains all the elements of two numbers. In our example we had to take the peas as the elements of the numbers. Thus we formed a leguminous idea which may possibly be of some use as a nitrogenous food. But I think it would be better if we left aside the question of forming this idea: the feat is beyond us. By element of a number should we perhaps understand: idea of a component of the group whose idea is the number? The elements of the number in our example would then not be the peas, but the ideas of the peas. True, Biermann had previously spoken only of elements of the group whose idea is the number; but that may well have slipped his mind, which would be only human after all; or possibly he wants to catch a superficial critic off his
? No doubt Biermann is thinking 'How vulgar to talk about peas, apples und the like when we are supposedly dealing with scientific issues. It sounds for all the world like someone talking to little children! ' Well, I am indeed trying to show that we are only left with puerilities once we go to the core of his argument and strip off the semblance of learning he is able to create by using terms like 'element', 'group', 'idea', 'assign', and so on. There is no hetter place to hide the most childish confusions than in the most learned- NilUnding terms. That is why the cruder the examples we use to throw light on these terms, the more pitifully apparent it becomes how utterly obscure they are. Biermann's account is able to retain its aura of learning only hccause he forbears applying it to particular cases. It would be out of place to he too serious here.
? ? 78 On the Concept ofNumber
guard, for such a reader might well be beguiled by the use of the same word 'element' into thinking that we are still dealing here with elements of the group. We may surely allow that the idea of a heap of peas contains ideas of peas. At all events it will contain, in addition, the idea of a certain proximity which we indicate, of course, by the word 'heap'. True, Biermann nowhere says that the idea we are to form should contain only the elements of the numbers a and b; if we took him at his word, we could go on adding as many ideas as we liked not containing elements of the numbers a and b; but that would hardly measure up to his view. But is there any need at all for a new heap or an idea of it? * We simply form an idea containing the ideas of the two original heaps, that is, the idea of a group of the two heaps whose ideas are the numbers a and b. Unfortunately, this idea would also contain an element that does not occur in a and b-an idea of the spatial relationship of the two heaps-and here, of course, we may choose any one of many such relationships. Or are the two numbers a and b, which are ideas after all, supposed to merge into one idea, in keeping with the psychological principle of the fusing of likes, much as, say, the ideas [images] of two similar faces merge together? Unfortunately, the result would turn out somewhat blurred. ** Yet I hear Biermann crying out in despair 'This eternal psychologizing! If only I had not used the word "idea"! I did not mean it as seriously as all that! ' But Biermann also says things like 'we become aware', 'we arrive at the concept of a set', 'we abstract'. And this is already quite enough to lead us off into psychological irrelevancies. 'We' is not an object of mathematics at all, just as little as our ideas are. Truths in mathematics are eternal and not dependent on whether we are alive or dead or become aware of them.
I can well imagine that Biermann has used the word 'idea' in much the same way as we use 'Esteemed Sir' and 'Honoured Sir', to make what he says sound weightier and more impressive without actually changing its sense. There is more than one circle of society in which people do not feel fully clothed if they lack a title. And likewise it is possible that a certain modesty-which, incidentally, redounds to his credit-has prevented Biermann from taking the peas with all their adventitious little wrinkles and introducing them into mathematics without dressing them up. For my part, I am more for things in their raw and natural state and prefer the following to Biermann's formulation: Number is a plurality composed of things of the same kind, or numbers are groups of elements. I concede that this sounds somewhat less impressive; the first formulation, in particular, has a touch of
*That [i. e. that we need an idea of a new heap] would even be wrong, for the ideas of proximity which are elements of the ideas ofthe original heaps of peas would be quite missing from the idea of a new heap of peas. Yet the idea we are to form is supposed to contain all the elements of the numbers a and b.
** As we know, this process may be emulated by photographic means.
? On the Concept ofNumber 79
tautology about it and might make you suspect the hand of a girl at a finishing school; but that is the very reason I prefer it. And if the word 'idea' is really intended to serve as nothing more than an ornament, I shall be able to adopt my formulation without departing in essentials from what Biermann thinks. Granted, the statement that the Laocoon group may bear the title one as well as the title four now sadly reduces to nothing: But this is offset by the fact that from this point on mathematics really has something to get its teeth into.
As is well known, this discipline is concerned with numbers. Now heaps of peas, of sand, and other heaps are numbers; herds of sheep, of cows and of other animals are numbers, too. Consequently, all these heaps and herds are objects of mathematics. Indeed, we may perhaps say that mathematics is concerned with all possible things; a window is one, a house with many windows is one, the country in which there are many houses is one. * Now if every such one is a number, then the window is a number, etc. No doubt Biermann will say 'Just so! Mathematics is concerned with all possible things in respect of what is number about them. ' The striking thing, however, is that herds of sheep are seldom mentioned in this discipline. I helieve they do not even appear in Biermann's book at all. Does my memory deceive me, or have I really only read about herds of sheep-if I have read about them at all in mathematical books-in the sets of examples given to illustrate the application of mathematical propositions? But I am probably putting words into Biermann's mouth that he has never thought of uttering. Number is not something attaching to the herds; the herds themselves just as they are, skin and bone and dirt, are numbers. It looks as though I have got confused here with J. S. Mill's view according to which a number is a property of an aggregate-that is, the way an aggregate is put together. I must confess that there were times, as I was struggling through Biermann's obscurities, when this view seemed to me full of insight. But it appears that light is now beginning to penetrate these regions of darkness. Let us take
Biermann's formula: 'Two numbers formed from an indeterminate basic clement or the abstract unit 1 are equal, when to each element of the one there belongs an element of the other'1 and apply it e. g. to herds of sheep. llow clear everything now becomes! Two herds of sheep are equal when to each sheep of one herd there belongs a sheep of the other. Admittedly, when a sheep A belongs to a sheep B is something we are not told. Let us turn to the difficult question of whether it is conceivable that a herd of sheep is equal
*'Omnia una sunt', a Latinist would say, if not deterred by his feeling for the language, which would here be confirmed by the nature of things as well. Apparently, Biermann has not yet got round to asking himself what underlies this phenomenon of language; for he can say 'units' as though it were the same thing.
1 Hiermann, p. I.
? ? 80 On the Concept ofNumber
to a constellation of stars. The one thing we do at least know is that both are numbers. The only question we still have to settle is whether they are formed from the same basic element. * I believe we have already worked out what Biermann means: when he says that a number is formed from an indeterminate basic element, he means that a number is formed from objects falling under one concept, and the 'indeterminate basic element' then corresponds to the concept. In this case we can point to such a concept: heavy, inert body. Both the sheep and the stars fall under this concept. There can, therefore, presumably be no doubt that the herd of sheep and the constellation are formed from 'the same indeterminate basic element'. Now it is surely conceivable that every star in the constellation belongs to a sheep in the herd, and so it is also conceivable that a herd of sheep should be equal to a constellation. We must not say here that they may of course be equal in respect of the number of solid inert bodies out of which they are made up; for the herd of sheep is itself one of the numbers and the constellation itself is the other. We have already established that according to Biermann number is not a property in respect of which the herd is interchangeable with the constellation. True, we may say, this beetle and the bark of this tree
are equal' so far as their colour is concerned; but here neither the beetle nor the bark are a colour; moreover we do not have two colours, but one and the same. So according to Biermann this case is quite different from that of the numbers; for even if the phrase 'idea of a group' were to mean something quite different from the group itself, it still would not mean a property of the group. And even if, quite contrary to normal usage, Biermann were to use the term 'idea' in such a way that the idea of a group was a property of it, the proposition 'a number is the idea of a group' would amount to the same as 'a number is the number of a group': that is to say, a number is that property of a group which we call idea or number.
We still need to emphasize that according to Biermann's definition the word 'equal' does not mean complete coincidence: a number may be equal to another without being the same; a herd of sheep may be equal to a constellation without being the constellation itself. The question now arises what the number words mean: the most obvious answer would be that the number word 'two', for example, designates one (and only one) number, so that we may say: two is a number, three is a number, and so on. Two and three would be related to the concept of number in the same way as, say, Archimedes, Euclid and Diophantus are related to the concept of mathematician. If we say this, however, we should certainly get into difficulties. Let us again imagine a group consisting of a lion standing and a
*It is not clear from Biermann's wording whether or not this condition must be fulfilled; what we have is only: 'from a', and not 'from the same'. To be on the safe side, we will assume that it must.
1 Here English idiom requires 'alike' rather than 'equal', but in German the same word-'g/eich'-does duty for both (trans. ).
? On the Concept ofNumber 81
lioness lying on the ground. This group is a number. Let us assign to it the number word 'two' as its proper name. Then in future we shall mean our group of lions when we say 'two'. Let us now think of the Goethe-Schiller memorial in Weimar. We surely cannot give the Goethe-Schiller group the same name as the group of lions. To do this could lead to some singularly unfortunate mistakes in identity! We do not seem able to manage with the number words alone. But Biermann has a simple way of getting round this difficulty; as we call Homer, Virgil and Goethe poets, so we might with equal justification call both the Goethe-Schiller group and the group oflions lwo. If we call something two, that shows we want to allocate it to a certain species: we want to say that it has a certain property or properties. In just 1he same way by calling someone a poet I acknowledge he has certain properties characteristic of being a poet,* or by calling a thing blue I attribute a certain property to it or assign it to some species or other. I-ikewise by calling a group three I would be saying that it has a certain property. As we call the properties green, blue, yellow colours, so we could rail two and three numbers. But wait! Here we are again on the same false ! rack as before. We cannot repeat often enough: number is a group or plurality composed of things of the same kind; therefore numbers are the subjects of the properties expressed by the number words. We are no more JUstified in asserting that two is a number than we are in counting green as a u1loured object instead of a colour. Thus we are now able to say: two, three, four, etc.
, are properties of groups with constituents of the same kind, which t-:roups or sets are called numbers. A somewhat more elevated way of putting the same thing is to say: two, three, four, etc. , are properties of ideas or groups with constituents of the same kind, and these ideas are called numbers. The most remarkable thing for the layman, for me myself and perhaps even for Biermann in all this, and the most astonishing, is that the number words do not designate numbers but properties of numbers. The equation 2 = 1 + 1 is generally considered to be true. Biermann's definition of a = b is not applicable here, since it relates to numbers, i. e. groups, whereas for us the sign '2' on the left does not mean a number here but a property of a number. Let us see whether we fare any better with the plus Nign. Biermann says: 'We construct a number containing all the elements of 1wo numbers a and b formed from the same basic element' . . . 'The resultant number we designate by a+ b . . . '1
We do not learn from this what 2 + 3 and 2 + 1 mean, for 1, 2 and 3 are not numbers at all. But perhaps we learn something else which merits our nttention. As we have seen, the constellation Orion is a number, the belt in this constellation is likewise a number and, moreover, a different one. If we understand Biermann correctly, both numbers are formed from 'the same
* We need not ask here whether one or more than one property is involved in the word 'two'.
1 Hiermann, p. I.
? ? ? 82 On the Concept ofNumber
basic element', for the elements of the belt are also the elements of Orion. Let us then form a number containing all the elements of Orion and of its belt. What could be simpler! We do not even have to bother constructing this number: it is already there. The constellation of Orion is itself this number. So let us designate Orion by a and its belt by b; then we have a+ b = a, whilst at the same time we have remained happily in accord with Biermann's definitions of the plus sign and the equals sign. But that's enough of pretending to be more stupid than we are! After all, Biermann is writing for people already familiar with these matters who will read the right thing into his words even when they are false or devoid of sense! * After all, the words are there so that the reader may understand what is meant, despite them. We have to bear in mind the condition that no element may be common to both numbers. It follows that no number may ever be added to itself: presumably we should have to say that a + a is devoid of sense; yet a little further on Biermann's text reads: a + a + a . . . (b-times). Let us see how that comes about. Biermann says: 'If we substitute the number a for each of the elements of a number b we obtain the sum a + a + a . . . (b-times), which we designate in short by a x b or ab. '1 The sense of this definition is not easy to grasp; let us take an example to clarify what is at stake: let b be the Goethe-Schiller group in the square in front of the theatre in Weimar, which according to Biermann is indubitably a number. Let a be the constel- lation of Orion. Now let us first of all substitute Orion for the figure of Goethe. It is no easy thing that Biermann is asking of us; his arithmetic would seem to be designed for gods. For him personally all this is child's play; we shall witness still greater feats. F o r the figure o f Schiller let us now substitute-well, what? Why, Orion, too! ** And what do we get then?
Orion + Orion + Orion (Goethe-Schiller-group times).
Who would have thought it! A little later Biermann says: 'In a+ a+ . . . +a (b-times) we may pick one out of each group of a elements and their combination yields b'. If Biermann had not said it, I would not have believed
*It would have been more to the purpose, in my view, if ? 1 had been left unwritten. That would have spared the author a certain amount of effort, if only a modicum, and reduce the cost of printing, without imposing any further labour upon the reader.
** This seems a difficult thing to conceive of, let alone to carry out in practice. But we can see what is involved if we take one of the commercial photographs of the said memorial and with a penknife cut out the piece with the figure of Goethe on it, and do the same with the figure of Schiller. We then cut two pieces of cardboard with exactly the same outlines as the pieces removed and draw the constellation of Orion on each of them. Finally, we place these pieces of cardboard in the holes made in the photograph: Seein& is believing!
1 Biermann, p. 3.
? On the Concept ofNumber 83
it. What is a group of a elements? For a is itself a group! And in our example it just is the constellation of Orion. What is a group of Orion- elements? And here there is even more than one! Has the word 'Orion' suddenly become an adjective? In the Chinese language there is indeed no distinction between a substantive and adjective. Has this usage been smuggled in here? Is an Orion-element an Orionic element, a star of the constellation of stars? What groups of these stars are we talking about here? Well, no matter! Presumably, what is meant by an Orion-element is a star. So if we combine certain stars, what do we get then? The Goethe-Schiller group in Wiemar! It is possibly not quite clear to everyone how this comes about. Perhaps we may be able to throw further light on the matter by taking into consideration a few words in Biermann's account which we have so far skipped over. For Biermann talks about the 'abstract unit 1', from which a number may be formed. To go by the definite article, there is only one abstract unit and this is designated by '1'. Units have been mentioned before: 'counting the elements or units'. According to this, 'unit' should mean the same as 'element'. In that case, 'the abstract unit' should mean: the abstract element. Admittedly, this has not got us any further. The meaning of the word 'element' surely seems abstract enough already. From what are we to abstract further? What is the relationship of the meanings of the words 'unit', 'one' and the 'abstract unit'? Biermann's way of putting it seems to imply that there are many units, and perhaps many ones as well, hut only the one abstract unit 1. But isn't it very foolish of us to ask so many 4uestions? The same might happen to us as happened to the schoolboy who asked his teacher in religious instruction to explain something further and was told 'But that is just the divine mystery in all its profundity! ' Obscurity often has the greatest effect. If we established precisely what we understand by words like 'number', 'unit', 'one', 'the abstract unit 1', 'element', 'indeterminate basic element', we should forfeit the possibility of using a word now in one sense now in another, and as an end result the whole force of Biermann's account would be dissipated. Let us rather rejoice that we at last appear to have found, in the 'abstract unit 1', something that I have long been looking out for-one of those numbers with which mathematics is concerned; for when you come down to it, the heaps of sand and peas, the Goethe-Schiller statue and the Laocoon group did, after all, look somewhat incongruous in a discussion of arithmetic. Let us also hope that in the course of Biermann's account the abstract 2 and the abstract 3 will delight us by turning up just as unexpectedly as 1 has done. We might be somewhat at a loss, if we had not experienced so many extraordinary things already, to image how it is possible to form something out of the unique 'abstract unit
I'; or is perhaps 1 not the only component? We already met a similar case when a number had to be formed from the 'indeterminate basic element'. We attempted to explain this by a sort of miracle, but this explanation hardly 1cems to suit the present case; for what would here be the concept corresponding to the concept pea in our earlier example, and what objects,
? ? 84 On the Concept ofNumber
e. g. , would fall under this concept? But we are asking too many quesuons again. I suppose it would be unwise to expect an answer from Biermann; for we have probably carried his thought much further than he did himself, expending, as he did, so little thought on ? 1, possibly to avoid becoming entangled in the dreaded profundities of metaphysics; yet all that is needed is a pinch of logic. True, the way things have now fallen out, there is nothing in ? 1 to warm the heart of the logician or mathematician. * In this paragraph, and in some of the later ones, we might well find further material to improve our minds. For instance, is it not touching to see with what ingenuousness the word 'number'1 is introduced in ? 2, p. 10: 'Two numerical magnitudes of the new kind are equal when they can be transformed in such a way that both contain the same elements with the same number in each'? It should, of course, have been stated with what meaning 'number' is being used here. That was the problem to be solved! Biermann probably imagines that he has solved it, when he has, on the contrary, done all he could to dodge this crucial point. He has shown the most consummate skill in missing the very point that is at stake. But let us put all that aside now. I find it nauseating to have to clean out the same old stable over and over again, solely in order that others may join Biermann in writing even more paragraphs like his ? 1. I can well understand someone despairing of ever giving an accurate definition of number or even thinking that such a definition would be unfruitful and pointless and so beginning his book with a few principles concerning number, whilst simply assuming that everyone will know in any given case how to distinguish a number (natural number) from anything else and will recognize these principles as true without proof. But what I find difficult to understand is that anyone should recognize it to be necessary or at any rate useful to discuss the concept of number and then conduct this discussion so superficially and without availing himself of what has already been achieved in this field, with the result that he skirts the issue and does not even notice that he has done so. This is a procedure which deserves academic recognition, even if it does make one or two things seem axiomatic which could be proved if probed more deeply. What we do in such a case is to leave certain questions to look after themselves and simply take up the argument at a later stage. If
someone proceeds in the way Biermann does, he merely deludes himself,
* It is proof of the obstacles we have to contend with in order to make any common progress that writers of our day, including even historians of philosophy like K. Fischer (cf. my Grundlagen, p. Ill), behave just as if the human race, as far as these questions are concerned, had been asleep until now and had only just awoken from its slumber, and this after thinkers of acknowledged stature like Spinoza long ago conveyed illuminating thoughts about number. But who would think of consulting Spinoza about such childishly simple matters!
1 Here again we have 'Anzah/', the word for natural number (trans. ).
? On the Concept ofNumber 85
and possibly his readers as well, into thinking he has achieved something when he has uttered a few incomprehensible and barren phrases. This is just window-dressing and downright unscientific. Either certain questions should be left aside altogether, or we should really go deeply into them and not just make a parade of doing so. *
I cannot repeat the substance of my Grundlagen here. It is bad enough that I have been obliged to expend so many extra words on issues that have been essentially resolved. ** Here we can do no more than make the following brief remarks: there is only one number called 0, there is only one number called 1, only one number called 2, and so on. There are various designations for any one number. It is the same number which is designated by '1 + 1' and '2'. Nothing can be asserted of 2 which cannot also be asserted of 1 + 1; where there appears to be an exception, the explanation is that the signs '2' and '1 + 1' are being discussed and not their content. It is inevitable that various signs should be used for the same thing, since there are different possible ways of arriving at it, and then we first have to ascertain that it really is the same thing we have reached. *** 2 = 1 + 1 does
* Biermann may find my attack has become too personal when I take the liberty of surmising what he has been thinking, and on occasion surmising that he has not been thinking at all. Of course, I shall be more than willing to acknowledge my conjectures mistaken if Biermann will communicate what he was actually thinking. It would be a source of special pleasure to me if his thoughts should turn out to have more sense in them that I suspected. Of course, I could have saved myself the effort of trying to penetrate the workings of his mind by simply adhering to the text of his argument. I could then have briefly shown the mistakes in his logic. But this way of proceeding might easily have prompted a charge of unfairness. Someone might then have said, for instance: he sticks to the letter of the argument, which admittedly, is not quite happy in places; he pontificates on matters of style and makes no attempt at all to deal with the thoughts themselves. I did not just want to show that there are faults of expression; I wanted to show that the thought itself is sometimes incorrect and sometimes impossible to locate. I found myself in the same position as a judge who sometimes has to have recourse to the legislator's intentions when the text of the law proves inadequate: in such a case you could not get by without making conjectures.
** Biermann ought really to apologise to me for having put me to so much trouble simply because he has made so little effort himself.
*** It is wrong when a distinction is made in school or textbooks between v'(i2 and v(-a)2? We have to decide once and for all which of the numbers whose square is b we want to understand by Jb. T o designate first one, then another, by ? ygis reprehensible. Each sign may have only one meaning so that we run no risk of drawing wrong conclusions. We should not talk about the different ways in which a number comes into being. Numbers do not come into being, they are eternal. There is not a 4 resulting from 22, and another resulting from (-2)2; '4', '22', '(-2)2, are simply different signs for the same thing and their differences simply indicate the different ways in which it is possible for us to arrive at the same thing.
? 86 On the Concept ofNumber
not mean that the contents of '2' and '1 + 1' agree in one respect, though they are otherwise different; for what is the special property in which they are supposed to be alike? Is it in respect of number? But two is a number through and through and nothing else but a number. This agreement with respect to number is therefore the same here as complete coincidence, identity. What a wilderness of numbers there would be if we were to regard 2, 1 + 1, 3 - 1, etc. , all as different numbers which agree only in one property. The chaos would be even greater if we were to recognize many noughts, ones, twos, and so on. Every whole number would have infinitely many factors, every equation infinitely many solutions, even if all these were equal to one another. In that event we should, of course, be compelled by the nature of the case to regard all these solutions that are equal to one another as one and the same solution. Thus the equals sign in arithmetic expresses complete coincidence, identity.
Numerical signs, whether they are simple or built up by using arithmetical signs, are proper names of numbers. Therefore, we cannot use the names of numbers either with the indefinite article, e. g. this is a one, or in the plural-many twos. The plus sign does not mean the same as 'and'. In the sentences '3 and 5 are odd', '3 and 5 are factors of 15 other than 1' we cannot substitute '2 and 6' or '8' for '3 and 5'. On the other hand, '2 + 6' or '8' are always substitutable for '3 + 5'. It is therefore incorrect to say' 1 and 1 is 2' instead of 'the sum of 1 and 1 is 2'. It is wrong to say 'number is just so many ones'; and if we say 'units' for 'ones', if anything we magnify the error by confusing units with one, even though verbally there is a gain in smoothness. Our feeling for language warns us against the form 'ones' for good reason. If we say 'units' instead, we merely get round the prohibition.
? ? ~
On Concept and Object
In a series of articles in this Quar- terly on intuition and its psychical elaboration, Benno Kerry has several times referred to my Grundlagen der Arithmetik and other works of mine, sometimes agreeing and sometimes disagreeing with me. I cannot but be pleased at this, and I think the best way I can show my appreciation is to take up the discussion of the points he contests. This seems to me all the more necessary, because his op- position is at least partly based on a misunderstanding, which might be
1 Until his death in 1889 Benno Kerry was Privatdozent in Philosophy at the University of Strasburg.
The dispute with Kerry relates to Kerry's eight articles Uber Anschauung und ihre psychische Verarbeitung in the Vierteijahrsschrift fiir wissenschaftliche Philosophie:" (1885), pp. 433-493, 10 (1886), pp. 419-467, 11 (1887), pp. 53-
116, 11 (1887), pp. 249-307, l3 (1889), pp. 71-124, l3 (1889), pp. 392-419, 14 (1890), pp. 317-353, 15 (1891), pp. 127-167. In the second and fourth articles Kerry had gone into Frege's views in particular detail. -The piece for the NachlajJ is obviously a preliminary draft of the article Ober Begriff und Gegenstand, which nppeared in 1892.
At this stage the most obvious thing seems to be to regard 'one' as a title. We have conferred this title on Laocoon, his sons and the serpent, and we uow assign a new term to the Laocoon group. Very well, but which? We must not imagine for one moment that there is no need for a new term, since we could simply call our group the Laocoon group. That would clearly not he the right term to assign to it. Biermann knows best what term we need to use here. Perhaps he would fix on the term 'four'. Others would perhaps prefer 'one'; but why should the same thing not have different titles?
Now Biermann says 'Number is the idea of the groups of elements designated by those terms'. Fine! We designate the group itself-so here the Luocoon group-by the term 'four' or 'one' or by both; but the number is not the group itself which we designate by the number word, it is the idea of 11. Is the idea of the Laocoon group the number one or the number four or what number? Why not one and four at the same time, as the whim takes us'! But we must have made a mistake! The whole group consists of molecules of calcium carbonate. Here we have elements of our group that nrc of the same kind. Possibly it would have been better if we had designated 0111. :h of these molecules by the term one. Well, we go ahead and do this and ? o ure able to designate the Laocoon group by a new term. The number is now the idea of the group designated by this term (our old Laocoon group uvcr again). It is only at this point that we begin to see how subtle the term 'idea' is. To be sure, the Laocoon group is the same; but now we have a dill"crcnt idea of it. That is why we now have a different number. If our idea uf a plurality composed of things of the same kind, e. g. a heap of sand,
? ? 76 On the Concept ofNumber
changes, the number changes as well; for the number is simply the idea of the heap of sand. If, for instance, we spread the heap of sand out, the idea of the heap of sand when spread out is clearly a different idea from that of the original heap. These ideas are numbers and they are different; this means that they are different numbers. To arrive at this result there is no need to add or take away a grain of sand.
Let us assume a child and a painter are looking at a group, consisting of an apple, a pear and a nut. Following Biermann's instructions they may both have reached the point of designating this group by the new term three. Suppose now a cloth be spread over this plurality composed of things of the same kind; what ideas of them are left behind in the minds of the observers? Evidently quite different ones. In the case of the child ideas of taste will predominate, in the case of the painter ideas of the colours and how they shade off, of the shadows and outlines, etc. , so that the two of them, if Biermann's definition were correct, would have quite different numbers, that is, different ideas of the group of elements designated by the word three. But I suppose Biermann would say that all this is psychology, that these considerations have nothing to do with arithmetic. Just so! But how did we get here? Via the term 'idea' which Biermann uses and which simply does belong to psychology. Any attempt to exclude psychological considerations from mathematics has my full approval. But let us do the job properly. Away with the word idea! To be sure, we must then dispense with such interesting psychological propositions as 'Through number we possess the idea of a plurality or set of similar things'. 1 The full implications of this proposition can only be realized when it is applied to examples; thus we possess the idea of a heap of sand through the idea of a heap of sand; we possess the idea of the constellation of Orion through the idea of the constellation of Orion; we possess the idea of the Laocoon group through
the idea of the Laocoon group. But let us not make an issue of whether arithmetic is the proper place for this psychological truth. Let us rather rejoice over truths wherever we find them. And let us look to see whether Biermann's book does not yield yet more meat for psychology. Sure enough! We learn something about the composition of ideas:
'Two numbers formed from an indeterminate basic element e or the abstract unit 1 . . . ', etc. 2
If only we knew what an 'indeterminate basic element' is! Perhaps we shall glean it by comparing this with a later passage:
? We construct a number containing all the elements oftwo numbers a and bformedfrom the same basic element. '3
1 Cf. Biermaqn, p. I.
2 Ibid. 3 Ibid.
? ? On the Concept ofNumber 77
Thus we have, say, two heaps of peas,* and we make a single heap with them. What is the basic element the heap is made up of? A pea? A single pea? Which pea? An indeterminate pea. I confess that I have not yet seen an indeterminate pea, but I can well imagine that Biermann has the concept pea in mind; or would it be an idea of a pea? I trust I do Biermann no injustice if I assume that he has never broached this question. Though we cannot, to be sure, say that a heap of peas is composed of an indeterminate pea, or of the concept pea, or of an idea of a pea, we can say that it is composed of peas, i. e. of objects falling under the concept pea. Therefore, in view of the fact that Biermann's terminology is somewhat imprecise, we may assume that his phrase 'number formed from an indeterminate basic clement' is intended to mean: 'number whose components fall under one concept' and that is only another term for something that has already given us food for thought-elements of the same kind; evidently, Biermann is fond of presenting us with the same thing in different guises so that we do not find it too easy to achieve clarity. But we are forgetting, and perhaps Biermann is, too, that it is not the heap of peas that is a number, but the idea of the heap. The number, i. e. the idea, is not, however, made up of peas. What is an element of a number? After what has just been said everyone must think: an element of the group whose idea is the number. Let us consider Biermann's formulation once more: 'We construct a number containing all the elements of two numbers a and b formed from the same basic element. ' That is to say: we form the idea of a group, which idea contains all the elements of two numbers. In our example we had to take the peas as the elements of the numbers. Thus we formed a leguminous idea which may possibly be of some use as a nitrogenous food. But I think it would be better if we left aside the question of forming this idea: the feat is beyond us. By element of a number should we perhaps understand: idea of a component of the group whose idea is the number? The elements of the number in our example would then not be the peas, but the ideas of the peas. True, Biermann had previously spoken only of elements of the group whose idea is the number; but that may well have slipped his mind, which would be only human after all; or possibly he wants to catch a superficial critic off his
? No doubt Biermann is thinking 'How vulgar to talk about peas, apples und the like when we are supposedly dealing with scientific issues. It sounds for all the world like someone talking to little children! ' Well, I am indeed trying to show that we are only left with puerilities once we go to the core of his argument and strip off the semblance of learning he is able to create by using terms like 'element', 'group', 'idea', 'assign', and so on. There is no hetter place to hide the most childish confusions than in the most learned- NilUnding terms. That is why the cruder the examples we use to throw light on these terms, the more pitifully apparent it becomes how utterly obscure they are. Biermann's account is able to retain its aura of learning only hccause he forbears applying it to particular cases. It would be out of place to he too serious here.
? ? 78 On the Concept ofNumber
guard, for such a reader might well be beguiled by the use of the same word 'element' into thinking that we are still dealing here with elements of the group. We may surely allow that the idea of a heap of peas contains ideas of peas. At all events it will contain, in addition, the idea of a certain proximity which we indicate, of course, by the word 'heap'. True, Biermann nowhere says that the idea we are to form should contain only the elements of the numbers a and b; if we took him at his word, we could go on adding as many ideas as we liked not containing elements of the numbers a and b; but that would hardly measure up to his view. But is there any need at all for a new heap or an idea of it? * We simply form an idea containing the ideas of the two original heaps, that is, the idea of a group of the two heaps whose ideas are the numbers a and b. Unfortunately, this idea would also contain an element that does not occur in a and b-an idea of the spatial relationship of the two heaps-and here, of course, we may choose any one of many such relationships. Or are the two numbers a and b, which are ideas after all, supposed to merge into one idea, in keeping with the psychological principle of the fusing of likes, much as, say, the ideas [images] of two similar faces merge together? Unfortunately, the result would turn out somewhat blurred. ** Yet I hear Biermann crying out in despair 'This eternal psychologizing! If only I had not used the word "idea"! I did not mean it as seriously as all that! ' But Biermann also says things like 'we become aware', 'we arrive at the concept of a set', 'we abstract'. And this is already quite enough to lead us off into psychological irrelevancies. 'We' is not an object of mathematics at all, just as little as our ideas are. Truths in mathematics are eternal and not dependent on whether we are alive or dead or become aware of them.
I can well imagine that Biermann has used the word 'idea' in much the same way as we use 'Esteemed Sir' and 'Honoured Sir', to make what he says sound weightier and more impressive without actually changing its sense. There is more than one circle of society in which people do not feel fully clothed if they lack a title. And likewise it is possible that a certain modesty-which, incidentally, redounds to his credit-has prevented Biermann from taking the peas with all their adventitious little wrinkles and introducing them into mathematics without dressing them up. For my part, I am more for things in their raw and natural state and prefer the following to Biermann's formulation: Number is a plurality composed of things of the same kind, or numbers are groups of elements. I concede that this sounds somewhat less impressive; the first formulation, in particular, has a touch of
*That [i. e. that we need an idea of a new heap] would even be wrong, for the ideas of proximity which are elements of the ideas ofthe original heaps of peas would be quite missing from the idea of a new heap of peas. Yet the idea we are to form is supposed to contain all the elements of the numbers a and b.
** As we know, this process may be emulated by photographic means.
? On the Concept ofNumber 79
tautology about it and might make you suspect the hand of a girl at a finishing school; but that is the very reason I prefer it. And if the word 'idea' is really intended to serve as nothing more than an ornament, I shall be able to adopt my formulation without departing in essentials from what Biermann thinks. Granted, the statement that the Laocoon group may bear the title one as well as the title four now sadly reduces to nothing: But this is offset by the fact that from this point on mathematics really has something to get its teeth into.
As is well known, this discipline is concerned with numbers. Now heaps of peas, of sand, and other heaps are numbers; herds of sheep, of cows and of other animals are numbers, too. Consequently, all these heaps and herds are objects of mathematics. Indeed, we may perhaps say that mathematics is concerned with all possible things; a window is one, a house with many windows is one, the country in which there are many houses is one. * Now if every such one is a number, then the window is a number, etc. No doubt Biermann will say 'Just so! Mathematics is concerned with all possible things in respect of what is number about them. ' The striking thing, however, is that herds of sheep are seldom mentioned in this discipline. I helieve they do not even appear in Biermann's book at all. Does my memory deceive me, or have I really only read about herds of sheep-if I have read about them at all in mathematical books-in the sets of examples given to illustrate the application of mathematical propositions? But I am probably putting words into Biermann's mouth that he has never thought of uttering. Number is not something attaching to the herds; the herds themselves just as they are, skin and bone and dirt, are numbers. It looks as though I have got confused here with J. S. Mill's view according to which a number is a property of an aggregate-that is, the way an aggregate is put together. I must confess that there were times, as I was struggling through Biermann's obscurities, when this view seemed to me full of insight. But it appears that light is now beginning to penetrate these regions of darkness. Let us take
Biermann's formula: 'Two numbers formed from an indeterminate basic clement or the abstract unit 1 are equal, when to each element of the one there belongs an element of the other'1 and apply it e. g. to herds of sheep. llow clear everything now becomes! Two herds of sheep are equal when to each sheep of one herd there belongs a sheep of the other. Admittedly, when a sheep A belongs to a sheep B is something we are not told. Let us turn to the difficult question of whether it is conceivable that a herd of sheep is equal
*'Omnia una sunt', a Latinist would say, if not deterred by his feeling for the language, which would here be confirmed by the nature of things as well. Apparently, Biermann has not yet got round to asking himself what underlies this phenomenon of language; for he can say 'units' as though it were the same thing.
1 Hiermann, p. I.
? ? 80 On the Concept ofNumber
to a constellation of stars. The one thing we do at least know is that both are numbers. The only question we still have to settle is whether they are formed from the same basic element. * I believe we have already worked out what Biermann means: when he says that a number is formed from an indeterminate basic element, he means that a number is formed from objects falling under one concept, and the 'indeterminate basic element' then corresponds to the concept. In this case we can point to such a concept: heavy, inert body. Both the sheep and the stars fall under this concept. There can, therefore, presumably be no doubt that the herd of sheep and the constellation are formed from 'the same indeterminate basic element'. Now it is surely conceivable that every star in the constellation belongs to a sheep in the herd, and so it is also conceivable that a herd of sheep should be equal to a constellation. We must not say here that they may of course be equal in respect of the number of solid inert bodies out of which they are made up; for the herd of sheep is itself one of the numbers and the constellation itself is the other. We have already established that according to Biermann number is not a property in respect of which the herd is interchangeable with the constellation. True, we may say, this beetle and the bark of this tree
are equal' so far as their colour is concerned; but here neither the beetle nor the bark are a colour; moreover we do not have two colours, but one and the same. So according to Biermann this case is quite different from that of the numbers; for even if the phrase 'idea of a group' were to mean something quite different from the group itself, it still would not mean a property of the group. And even if, quite contrary to normal usage, Biermann were to use the term 'idea' in such a way that the idea of a group was a property of it, the proposition 'a number is the idea of a group' would amount to the same as 'a number is the number of a group': that is to say, a number is that property of a group which we call idea or number.
We still need to emphasize that according to Biermann's definition the word 'equal' does not mean complete coincidence: a number may be equal to another without being the same; a herd of sheep may be equal to a constellation without being the constellation itself. The question now arises what the number words mean: the most obvious answer would be that the number word 'two', for example, designates one (and only one) number, so that we may say: two is a number, three is a number, and so on. Two and three would be related to the concept of number in the same way as, say, Archimedes, Euclid and Diophantus are related to the concept of mathematician. If we say this, however, we should certainly get into difficulties. Let us again imagine a group consisting of a lion standing and a
*It is not clear from Biermann's wording whether or not this condition must be fulfilled; what we have is only: 'from a', and not 'from the same'. To be on the safe side, we will assume that it must.
1 Here English idiom requires 'alike' rather than 'equal', but in German the same word-'g/eich'-does duty for both (trans. ).
? On the Concept ofNumber 81
lioness lying on the ground. This group is a number. Let us assign to it the number word 'two' as its proper name. Then in future we shall mean our group of lions when we say 'two'. Let us now think of the Goethe-Schiller memorial in Weimar. We surely cannot give the Goethe-Schiller group the same name as the group of lions. To do this could lead to some singularly unfortunate mistakes in identity! We do not seem able to manage with the number words alone. But Biermann has a simple way of getting round this difficulty; as we call Homer, Virgil and Goethe poets, so we might with equal justification call both the Goethe-Schiller group and the group oflions lwo. If we call something two, that shows we want to allocate it to a certain species: we want to say that it has a certain property or properties. In just 1he same way by calling someone a poet I acknowledge he has certain properties characteristic of being a poet,* or by calling a thing blue I attribute a certain property to it or assign it to some species or other. I-ikewise by calling a group three I would be saying that it has a certain property. As we call the properties green, blue, yellow colours, so we could rail two and three numbers. But wait! Here we are again on the same false ! rack as before. We cannot repeat often enough: number is a group or plurality composed of things of the same kind; therefore numbers are the subjects of the properties expressed by the number words. We are no more JUstified in asserting that two is a number than we are in counting green as a u1loured object instead of a colour. Thus we are now able to say: two, three, four, etc.
, are properties of groups with constituents of the same kind, which t-:roups or sets are called numbers. A somewhat more elevated way of putting the same thing is to say: two, three, four, etc. , are properties of ideas or groups with constituents of the same kind, and these ideas are called numbers. The most remarkable thing for the layman, for me myself and perhaps even for Biermann in all this, and the most astonishing, is that the number words do not designate numbers but properties of numbers. The equation 2 = 1 + 1 is generally considered to be true. Biermann's definition of a = b is not applicable here, since it relates to numbers, i. e. groups, whereas for us the sign '2' on the left does not mean a number here but a property of a number. Let us see whether we fare any better with the plus Nign. Biermann says: 'We construct a number containing all the elements of 1wo numbers a and b formed from the same basic element' . . . 'The resultant number we designate by a+ b . . . '1
We do not learn from this what 2 + 3 and 2 + 1 mean, for 1, 2 and 3 are not numbers at all. But perhaps we learn something else which merits our nttention. As we have seen, the constellation Orion is a number, the belt in this constellation is likewise a number and, moreover, a different one. If we understand Biermann correctly, both numbers are formed from 'the same
* We need not ask here whether one or more than one property is involved in the word 'two'.
1 Hiermann, p. I.
? ? ? 82 On the Concept ofNumber
basic element', for the elements of the belt are also the elements of Orion. Let us then form a number containing all the elements of Orion and of its belt. What could be simpler! We do not even have to bother constructing this number: it is already there. The constellation of Orion is itself this number. So let us designate Orion by a and its belt by b; then we have a+ b = a, whilst at the same time we have remained happily in accord with Biermann's definitions of the plus sign and the equals sign. But that's enough of pretending to be more stupid than we are! After all, Biermann is writing for people already familiar with these matters who will read the right thing into his words even when they are false or devoid of sense! * After all, the words are there so that the reader may understand what is meant, despite them. We have to bear in mind the condition that no element may be common to both numbers. It follows that no number may ever be added to itself: presumably we should have to say that a + a is devoid of sense; yet a little further on Biermann's text reads: a + a + a . . . (b-times). Let us see how that comes about. Biermann says: 'If we substitute the number a for each of the elements of a number b we obtain the sum a + a + a . . . (b-times), which we designate in short by a x b or ab. '1 The sense of this definition is not easy to grasp; let us take an example to clarify what is at stake: let b be the Goethe-Schiller group in the square in front of the theatre in Weimar, which according to Biermann is indubitably a number. Let a be the constel- lation of Orion. Now let us first of all substitute Orion for the figure of Goethe. It is no easy thing that Biermann is asking of us; his arithmetic would seem to be designed for gods. For him personally all this is child's play; we shall witness still greater feats. F o r the figure o f Schiller let us now substitute-well, what? Why, Orion, too! ** And what do we get then?
Orion + Orion + Orion (Goethe-Schiller-group times).
Who would have thought it! A little later Biermann says: 'In a+ a+ . . . +a (b-times) we may pick one out of each group of a elements and their combination yields b'. If Biermann had not said it, I would not have believed
*It would have been more to the purpose, in my view, if ? 1 had been left unwritten. That would have spared the author a certain amount of effort, if only a modicum, and reduce the cost of printing, without imposing any further labour upon the reader.
** This seems a difficult thing to conceive of, let alone to carry out in practice. But we can see what is involved if we take one of the commercial photographs of the said memorial and with a penknife cut out the piece with the figure of Goethe on it, and do the same with the figure of Schiller. We then cut two pieces of cardboard with exactly the same outlines as the pieces removed and draw the constellation of Orion on each of them. Finally, we place these pieces of cardboard in the holes made in the photograph: Seein& is believing!
1 Biermann, p. 3.
? On the Concept ofNumber 83
it. What is a group of a elements? For a is itself a group! And in our example it just is the constellation of Orion. What is a group of Orion- elements? And here there is even more than one! Has the word 'Orion' suddenly become an adjective? In the Chinese language there is indeed no distinction between a substantive and adjective. Has this usage been smuggled in here? Is an Orion-element an Orionic element, a star of the constellation of stars? What groups of these stars are we talking about here? Well, no matter! Presumably, what is meant by an Orion-element is a star. So if we combine certain stars, what do we get then? The Goethe-Schiller group in Wiemar! It is possibly not quite clear to everyone how this comes about. Perhaps we may be able to throw further light on the matter by taking into consideration a few words in Biermann's account which we have so far skipped over. For Biermann talks about the 'abstract unit 1', from which a number may be formed. To go by the definite article, there is only one abstract unit and this is designated by '1'. Units have been mentioned before: 'counting the elements or units'. According to this, 'unit' should mean the same as 'element'. In that case, 'the abstract unit' should mean: the abstract element. Admittedly, this has not got us any further. The meaning of the word 'element' surely seems abstract enough already. From what are we to abstract further? What is the relationship of the meanings of the words 'unit', 'one' and the 'abstract unit'? Biermann's way of putting it seems to imply that there are many units, and perhaps many ones as well, hut only the one abstract unit 1. But isn't it very foolish of us to ask so many 4uestions? The same might happen to us as happened to the schoolboy who asked his teacher in religious instruction to explain something further and was told 'But that is just the divine mystery in all its profundity! ' Obscurity often has the greatest effect. If we established precisely what we understand by words like 'number', 'unit', 'one', 'the abstract unit 1', 'element', 'indeterminate basic element', we should forfeit the possibility of using a word now in one sense now in another, and as an end result the whole force of Biermann's account would be dissipated. Let us rather rejoice that we at last appear to have found, in the 'abstract unit 1', something that I have long been looking out for-one of those numbers with which mathematics is concerned; for when you come down to it, the heaps of sand and peas, the Goethe-Schiller statue and the Laocoon group did, after all, look somewhat incongruous in a discussion of arithmetic. Let us also hope that in the course of Biermann's account the abstract 2 and the abstract 3 will delight us by turning up just as unexpectedly as 1 has done. We might be somewhat at a loss, if we had not experienced so many extraordinary things already, to image how it is possible to form something out of the unique 'abstract unit
I'; or is perhaps 1 not the only component? We already met a similar case when a number had to be formed from the 'indeterminate basic element'. We attempted to explain this by a sort of miracle, but this explanation hardly 1cems to suit the present case; for what would here be the concept corresponding to the concept pea in our earlier example, and what objects,
? ? 84 On the Concept ofNumber
e. g. , would fall under this concept? But we are asking too many quesuons again. I suppose it would be unwise to expect an answer from Biermann; for we have probably carried his thought much further than he did himself, expending, as he did, so little thought on ? 1, possibly to avoid becoming entangled in the dreaded profundities of metaphysics; yet all that is needed is a pinch of logic. True, the way things have now fallen out, there is nothing in ? 1 to warm the heart of the logician or mathematician. * In this paragraph, and in some of the later ones, we might well find further material to improve our minds. For instance, is it not touching to see with what ingenuousness the word 'number'1 is introduced in ? 2, p. 10: 'Two numerical magnitudes of the new kind are equal when they can be transformed in such a way that both contain the same elements with the same number in each'? It should, of course, have been stated with what meaning 'number' is being used here. That was the problem to be solved! Biermann probably imagines that he has solved it, when he has, on the contrary, done all he could to dodge this crucial point. He has shown the most consummate skill in missing the very point that is at stake. But let us put all that aside now. I find it nauseating to have to clean out the same old stable over and over again, solely in order that others may join Biermann in writing even more paragraphs like his ? 1. I can well understand someone despairing of ever giving an accurate definition of number or even thinking that such a definition would be unfruitful and pointless and so beginning his book with a few principles concerning number, whilst simply assuming that everyone will know in any given case how to distinguish a number (natural number) from anything else and will recognize these principles as true without proof. But what I find difficult to understand is that anyone should recognize it to be necessary or at any rate useful to discuss the concept of number and then conduct this discussion so superficially and without availing himself of what has already been achieved in this field, with the result that he skirts the issue and does not even notice that he has done so. This is a procedure which deserves academic recognition, even if it does make one or two things seem axiomatic which could be proved if probed more deeply. What we do in such a case is to leave certain questions to look after themselves and simply take up the argument at a later stage. If
someone proceeds in the way Biermann does, he merely deludes himself,
* It is proof of the obstacles we have to contend with in order to make any common progress that writers of our day, including even historians of philosophy like K. Fischer (cf. my Grundlagen, p. Ill), behave just as if the human race, as far as these questions are concerned, had been asleep until now and had only just awoken from its slumber, and this after thinkers of acknowledged stature like Spinoza long ago conveyed illuminating thoughts about number. But who would think of consulting Spinoza about such childishly simple matters!
1 Here again we have 'Anzah/', the word for natural number (trans. ).
? On the Concept ofNumber 85
and possibly his readers as well, into thinking he has achieved something when he has uttered a few incomprehensible and barren phrases. This is just window-dressing and downright unscientific. Either certain questions should be left aside altogether, or we should really go deeply into them and not just make a parade of doing so. *
I cannot repeat the substance of my Grundlagen here. It is bad enough that I have been obliged to expend so many extra words on issues that have been essentially resolved. ** Here we can do no more than make the following brief remarks: there is only one number called 0, there is only one number called 1, only one number called 2, and so on. There are various designations for any one number. It is the same number which is designated by '1 + 1' and '2'. Nothing can be asserted of 2 which cannot also be asserted of 1 + 1; where there appears to be an exception, the explanation is that the signs '2' and '1 + 1' are being discussed and not their content. It is inevitable that various signs should be used for the same thing, since there are different possible ways of arriving at it, and then we first have to ascertain that it really is the same thing we have reached. *** 2 = 1 + 1 does
* Biermann may find my attack has become too personal when I take the liberty of surmising what he has been thinking, and on occasion surmising that he has not been thinking at all. Of course, I shall be more than willing to acknowledge my conjectures mistaken if Biermann will communicate what he was actually thinking. It would be a source of special pleasure to me if his thoughts should turn out to have more sense in them that I suspected. Of course, I could have saved myself the effort of trying to penetrate the workings of his mind by simply adhering to the text of his argument. I could then have briefly shown the mistakes in his logic. But this way of proceeding might easily have prompted a charge of unfairness. Someone might then have said, for instance: he sticks to the letter of the argument, which admittedly, is not quite happy in places; he pontificates on matters of style and makes no attempt at all to deal with the thoughts themselves. I did not just want to show that there are faults of expression; I wanted to show that the thought itself is sometimes incorrect and sometimes impossible to locate. I found myself in the same position as a judge who sometimes has to have recourse to the legislator's intentions when the text of the law proves inadequate: in such a case you could not get by without making conjectures.
** Biermann ought really to apologise to me for having put me to so much trouble simply because he has made so little effort himself.
*** It is wrong when a distinction is made in school or textbooks between v'(i2 and v(-a)2? We have to decide once and for all which of the numbers whose square is b we want to understand by Jb. T o designate first one, then another, by ? ygis reprehensible. Each sign may have only one meaning so that we run no risk of drawing wrong conclusions. We should not talk about the different ways in which a number comes into being. Numbers do not come into being, they are eternal. There is not a 4 resulting from 22, and another resulting from (-2)2; '4', '22', '(-2)2, are simply different signs for the same thing and their differences simply indicate the different ways in which it is possible for us to arrive at the same thing.
? 86 On the Concept ofNumber
not mean that the contents of '2' and '1 + 1' agree in one respect, though they are otherwise different; for what is the special property in which they are supposed to be alike? Is it in respect of number? But two is a number through and through and nothing else but a number. This agreement with respect to number is therefore the same here as complete coincidence, identity. What a wilderness of numbers there would be if we were to regard 2, 1 + 1, 3 - 1, etc. , all as different numbers which agree only in one property. The chaos would be even greater if we were to recognize many noughts, ones, twos, and so on. Every whole number would have infinitely many factors, every equation infinitely many solutions, even if all these were equal to one another. In that event we should, of course, be compelled by the nature of the case to regard all these solutions that are equal to one another as one and the same solution. Thus the equals sign in arithmetic expresses complete coincidence, identity.
Numerical signs, whether they are simple or built up by using arithmetical signs, are proper names of numbers. Therefore, we cannot use the names of numbers either with the indefinite article, e. g. this is a one, or in the plural-many twos. The plus sign does not mean the same as 'and'. In the sentences '3 and 5 are odd', '3 and 5 are factors of 15 other than 1' we cannot substitute '2 and 6' or '8' for '3 and 5'. On the other hand, '2 + 6' or '8' are always substitutable for '3 + 5'. It is therefore incorrect to say' 1 and 1 is 2' instead of 'the sum of 1 and 1 is 2'. It is wrong to say 'number is just so many ones'; and if we say 'units' for 'ones', if anything we magnify the error by confusing units with one, even though verbally there is a gain in smoothness. Our feeling for language warns us against the form 'ones' for good reason. If we say 'units' instead, we merely get round the prohibition.
? ? ~
On Concept and Object
In a series of articles in this Quar- terly on intuition and its psychical elaboration, Benno Kerry has several times referred to my Grundlagen der Arithmetik and other works of mine, sometimes agreeing and sometimes disagreeing with me. I cannot but be pleased at this, and I think the best way I can show my appreciation is to take up the discussion of the points he contests. This seems to me all the more necessary, because his op- position is at least partly based on a misunderstanding, which might be
1 Until his death in 1889 Benno Kerry was Privatdozent in Philosophy at the University of Strasburg.
The dispute with Kerry relates to Kerry's eight articles Uber Anschauung und ihre psychische Verarbeitung in the Vierteijahrsschrift fiir wissenschaftliche Philosophie:" (1885), pp. 433-493, 10 (1886), pp. 419-467, 11 (1887), pp. 53-
116, 11 (1887), pp. 249-307, l3 (1889), pp. 71-124, l3 (1889), pp. 392-419, 14 (1890), pp. 317-353, 15 (1891), pp. 127-167. In the second and fourth articles Kerry had gone into Frege's views in particular detail. -The piece for the NachlajJ is obviously a preliminary draft of the article Ober Begriff und Gegenstand, which nppeared in 1892.
