If you are using Internet Explorer 10 (or later), you might find some of the links I have used won't work properly unless you switch to 'Compatibility View' (in the Tools Menu); for IE11 select 'Compatibility View Settings' and then add this site (anti-dialectics.co.uk). Microsoft's new browser, Edge, automatically renders these links compatible; Windows 10 also automatically makes IE11 compatible with this site.
However, if you are using Windows 10, Microsoft's browsers, IE11 and Edge, unfortunately appear to colour these links somewhat erratically. They are meant to be dark blue, but those two browsers render them intermittently mid-blue, light blue, yellow, purple and red!
Firefox and Chrome reproduce them correctly.
~~~~~~oOo~~~~~~
If your Firewall/Browser has a pop-up blocker, you will need to press the "Ctrl" key at the same time or these links won't work, anyway!
I have adjusted the font size used at this site to ensure that even those with impaired vision can read what I have to say. However, if the text is still either too big or too small for you, please adjust your browser settings!
Summary Of My Main Objections To Dialectical Materialism
Abbreviations Used At This Site
This is Heijenoort's text as in appears at the Marxist Internet Archive [MIA]; I have re-formatted in line with the conventions adopted at this site. I have also added several links and spelling has been altered to conform with UK English. In addition, I have corrected a few minor, and one or two major typos (using the updated published article as my guide). I have also had to alter some of the symbols Heijenoort employed since they could not be reproduced by the editor I have used -- FrontPage.
The Bibliography and references (for the whole of van Heijenoort's book, Selected Essays (Bibliopolis, 1985)), which weren't reproduced in the version at the MIA, are given on pp.153-166 of that work. I have now obtained a copy and over the next few years I will add in these missing references (which I will endeavour to link to on-line sources wherever I can). I have also restored the italic emphases Heijenoort included in the original article, which were omitted from the on-line version.
Finally, I have added my own thoughts on Engels's 'dialectical' understanding of mathematics, and on Marx's attempt to render the Calculus consistent with 'dialectics', here and here.
Friedrich Engels And Mathematics
by Jean van Heijenoort
Friedrich Engels has passed judgment on many points in mathematics and its philosophy. What are his opinions worth? Important in itself, this question has a more general interest, for Engels' views on mathematics are part of his 'dialectical materialism', and their examination gives a valuable insight into this doctrine.
Engels' Mathematical Knowledge
Mathematics is such a special branch of intellectual life that a preliminary question must be asked of anyone who ventures, as a philosopher, to investigate its nature and its methods: exactly what does he know in mathematics? Although the answer to this question does not forthwith determine the value of the solutions offered by the philosopher, it is nevertheless and indispensable preparation for examining them.
The programs of the German schools in the 1830s as well as his own inclinations lead young Engels toward an education that was more literary than scientific. True enough, at the Elberfeld high school, which he leaves before he is seventeen, he attends classes in mathematics and physics, even with a satisfactory record, but they remain quite elementary, and the young student does not seem to take any special interest in them. What attracts him most is literature, languages and poetry. After the study of law has held his attention for a moment, he is soon learning how to become a business man, which does not prevent him from devoting his spare time -- and he has plenty of it -- to writing poetry, composing choral pieces, drawing caricatures. As an unsalaried clerk in the export business of Consul Heinrich Leopold in Bremen, no doubt he knows the elementary rules of arithmetic, but no document of that period -- and Engels is going through years that are critical in the moulding of a young man -- shows that he has any interest in sciences in general and mathematics in particular. Engels soon passes from poetry to that half-literary, half-social criticism that the censorship is then trying to keep within well defined bounds. His great man at the time is Ludwig Börne.
A new impulse to the intellectual development of the young man comes from reading Strauss' book, Das Leben Jesu, whose first volume came out in 1835. Engels soon abandons religion definitively. However, unlike the eighteenth-century French philosophes, who, in their fight against religion, leaned directly on natural sciences and knew them rather well, Strauss takes as his point of departure the contradictions in the Scriptures, and young Engels' break with religion does not immerse him in the great stream of sciences, as so often happens.
Through Strauss Engels comes into contact with Hegel, who immediately enthrals him. He is nineteen years old. Unlike Marx, who had studied Greek philosophers, Descartes, Spinoza, Kant, Leibniz, Fichte before tackling Hegel, Engels plunges into the latter's books with hardly any philosophical background. With the encyclopaedic character of Hegel's works, where there is an answer to everything, the result is that Engels soon sees many a problem through the spectacles of the master sorcerer. Many years later, when examining a question, he will first read what 'the old man' has written on the subject.
In 1869, at forty-nine years of age, Engels retires from business and goes to live in London. Then, he writes
"I went through, to the extent it was possible for me, a complete 'moulting' in mathematics and the natural sciences, and spent the best part of eight years on it." [1935, page 10.]
A few lines below, he speaks of
"my recapitulation of mathematics and the natural sciences." [1935, page 11.]
What is Engels' mathematical knowledge on the eve of this 'moulting'? No positive document exists that would establish what his interest in mathematics has been between his school years and 1869. A clear picture, however, springs out of the mass of biographical documents. Names of mathematicians and titles of mathematical works are absent from writings and letters where hundreds of names and titles belonging to many spheres of intellectual activity can be found. The correspondence between Marx and Engels is especially valuable in this respect, for it enables us to follow the activities of the two friends, their readings, the fluctuations of their interests, from week to week, at times from day to day. Now, here no more than in the other writings of Engels that precede the 'moulting' of 1869 is there any trace of special interest, or simply of any interest at all, in mathematics on Engels' part. When Marx touches a mathematical point, as for instance in his letter of May 31, 1873, where he speaks of his project of:
"mathematically determining the main laws of crises." [Marx and Engels 1931, page 398.]
Engels does not react.
The only scrap of information that we can glean on the subject is that, in 1864, Engels read Louis Benjamin Francœur's Traité d'arithmétique, published in Paris in 1845. This is an elementary arithmetic book, for the use of bank clerks and tradesmen. The very fact that Engels studies such a book and comments on it in a letter to Marx (on May 30, 1864; Engels' comments are trifling [Marx and Engels 1930, page 173 -- this is now in Volume 41 of MECW, pp.531-32; however, from the content of the letter itself, it is clear that Heijenoort was mistaken here; indeed, the editors of Volume 41 tell us this work is probably Cours complet de mathématiques pures, a more substantial study -- RL]), while he does not mention any other mathematical work during some thirty years, is enough to gauge the level of his interest and knowledge in mathematics prior to 1869.
It seems therefore established that, until the 'moulting' of 1869, Engels hardly possesses more than the rudiments of elementary arithmetic. As for this 'moulting' itself, of what does it consist? In sciences other than mathematics, for example in chemistry, physics or astronomy, the list of books that Engels mentions is abundant enough to permit us to follow his progress in these domains with satisfactory accuracy. But, in mathematics, the list is rather poor. Engels reads much more, for example, in astronomy, a rather special science at that time, than in the whole field of pure mathematics. In fact, only one work of pure mathematics, as far as we can ascertain, was ever studied by Engels, that of Bossut (see Engels 1935, pages 392 and 636).
Charles Bossut published his Traités de calcul différentiel et de calcul intégral in the year VI (1798). It is clearly a minor work of a minor mathematician. The book was never reprinted. Neither Larousse's Grand dictionnaire universel du XIXe siècle, nor La grande encyclopédie, nor Maximilien Marie's Histoire des sciences mathématiques et physiques mention it in the rather lengthy list of Bossut's works. Marie adds:
"We shall say nothing of Bossut's didactic works: they have lived the length of time that works of that kind live, twenty or thirty years, after which, methods having changed, students must have recourse to new guides." [1886, page 24.]
This rather severe judgment was still too lenient in that case, for Bossut had followed Newton in his presentation of the principles of the infinitesimal calculus, and the treatise was published at the very time when Lagrange was introducing a new rigor in this field, so that Bossut had to add to the end of his introduction the following paragraph:
"Citizen Lagrange has presented the metaphysics of the calculus under a new light, in his Théorie des fonctions algébriques; but I have obtained knowledge of this excellent work only after mine was completed and even largely printed." [1798, page lxxx.]
How, eighty years later, can Engels take as his guide in a fundamental question a work already out-of-date while in press, and follow this guide precisely in the domain where it had become most obsolete? The only possible answer to this question is that Engels did not know nineteenth-century mathematics and was not interested in it, that he found Bossut's book by chance and that he had no qualms about using it because the out-of-date ideas of the author seemed, to his mind, to confirm his own conception of the infinitesimal calculus, inherited from Hegel.
Let us note that Engels' conception of the calculus is, as we shall see, one of the keystones of his philosophical edifice, for there lies the 'dialectic' of mathematics. The importance of this question for his philosophical conceptions makes it still less justifiable for him to have followed in this domain so obsolete a guide as Bossut.
Engels appears to be as unfamiliar with the history of the infinitesimal calculus as with its principles. In a manuscript entitled 'Dialektik und Naturwissenschaft' (Dialectic and natural science) and written between 1873 and 1876, Engels mentions Leibniz as
"the founder of the mathematics of the infinite, in face of whom the induction-loving ass [Induktionsesel] Newton appears as a plagiarist and a corrupter." [1935, page 603.][1]
By the 'mathematics of the infinite' Engels understands, according to an eighteenth-century expression, the infinitesimal calculus. His denunciation of Newton is, in a coarser language, a mere repetition of what can be found in Hegel, for whom the invention of the calculus, falsely attributed to Newton by the English, was exclusively due to Leibniz (see, for instance, Hegel 1836, page 451).
A few years later, in 1880, hence after more than ten years of 'moulting', Engels wrote in the preface to Dialektik der Natur that the infinitesimal calculus had been established
"by Leibniz and perhaps Newton." [1935, page 484.]
We are still quite far from the truth.
Precisely on that question Engels could have used Bossut's work. The 'Discours préliminaire' in the first volume contains a history of the invention of the calculus which is one of the few good points of the book. Started at the beginning of the eighteenth century, the controversy about the priority of the invention was well-nigh settled when Bossut was writing in the last years of the century, so that he could conclude:
"These two great men [Newton and Leibniz] have reached, by the strength of their geniuses, the same goal through different paths." [1798, page li.]
If the respective merits of Newton and Leibniz were clear to Bossut, the more so should they have been to Engels, writing eighty years later. But no, he has to repeat Hegel, on a point on which the philosopher is obviously wrong.
Let us consider the complex numbers, whose theory was completed in the nineteenth century. It is an easy and, it seems, interesting subject for a man like Engels, without training in mathematics. Three brief remarks are all we can find in his writings. They show that, although Engels knows of the existence of the complex numbers, he has never grasped their significance. In his book against Dühring he sets complex numbers, 'the free creations and imaginations of the mind' (1935, page 43), apart from other mathematical notions, which are abstracted from the 'real world'. The same book contains a few sentences on the square root of minus one, which is, according to Engels,
"not only a contradiction, but even an absurd contradiction, a real absurdity." [1935, page 125.][2]
Finally, in an unpublished article, probably written in 1878 and entitled 'Die Naturforschung in der Geisterwelt' (Natural science in the world of spirits), he writes:
"The ordinary metaphysical mathematicians boast with huge pride of the absolute irrefutability of the results of their science. Among these results, however, are the imaginary magnitudes, to which is thereby attributed a certain reality. When one has once become accustomed to ascribe to the [square root of] -1 or to the fourth dimension some kind of reality outside of our own heads, it is not a matter of much importance if one goes a step further and also accepts the spirit world of the mediums." [1935, page 716.]
These brief remarks reveal how little Engels understands what a complex number is, although these numbers were no longer a novelty at the time when he was writing. After a few precursors, Gauss had given in 1831 a geometric representation of complex numbers that removed from them the last trace of mystery. This representation had rapidly become current toward the middle of the century and, in 1855 for example, a quite elementary book could state:
"It will probably be found, on a proper analysis, that the subject of imaginary expressions present no more difficulties than that of negative quantities, which is now so thoroughly settled as to leave nothing to be desired." [Davies and Peck 1855, page 301.]
Twenty years later, Engels is still stumbling over these 'thoroughly settled' difficulties.
Let us take another important development of mathematics in the nineteenth century, non-Euclidean and n-dimensional geometries. After many a futile attempt to prove Euclid's parallel postulate, mathematicians began in the eighteenth century to wonder what its rejection would imply. Lobachevskii presented the principles of a new geometry rejecting the postulate before the department of mathematics and physics of the Kazan University in February 1826. But his lecture was not published and left no trace. In 1829-30, he presented his new conceptions in a magazine printed by the same university, but they did not immediately penetrate into the mathematical world, owing to the remoteness and the language of the publication. In 1832 János Bolyai, which [sic] had conceived a new geometry a few years earlier, independently of Lobachevskii, published his famous Appendix. It then became known that Gauss had been in possession of similar, but unpublished, results for quite a few years.
Lobachevskii soon started publishing his works in French and German, so that they were more easily read in Western Europe. The new ideas, however, made slow headway until the middle of the century. Then comes Riemann's probationary lecture, 'Ueber die Hypothesen, welche der Geometrie zu Grunde liegen' (On the hypotheses that lie at the basis of geometry), on June 10, 1854. Lobachevskii's Pangéometrie, published in French in Kazan in 1856, is translated into German in 1858 and into Italian in 1867. Bolyai's Appendix is translated into French in 1872. Riemann's fundamental work, printed in 1868, is translated into French in 1870 and, in 1873, published in English in Nature, a magazine which, most likely, Engels is reading regularly at that time. Gauss' unpublished manuscripts and private letters are becoming known; some of his letters on non-Euclidean geometry are translated into French in 1866. Helmholtz gives two lectures, in 1868 and 1870, on the foundations of geometry. Beltrami's important work, showing for the first time that non-Euclidean geometry has the same logical consistency as Euclidean geometry, is published in 1868 and translated into French in 1869.
Riemann's probationary lecture of 1854 also marks a great step forward for n-dimensional geometries. Grassmann's Ausdehnungslehre, whose first edition dates from 1844, and Cayley's works beginning the same year have already laid the foundations of the new theories. From then on, progress is rapid. Cayley's epoch-making A sixth memoir upon quantics is published in 1860 and an enlarged edition of the Ausdehnungslehre in 1862.
All these dates show that the year 1870 marks the time at which the mathematical world becomes familiar with non-Euclidean and n-dimensional geometries. At that date far-sighted pioneers have already begun to use the new mathematical conceptions in other fields of science. As early as 1854 Riemann suggests that some regions of our space might be non-Euclidean and that only experience can decide. In 1870 Clifford develops the idea that Euclid's axioms are not valid in small portions of our space and that
"this variation of the curvature of space is what really happens in that phenomenon which we call the motion of matter." [1870, page 158.]
From 1863 on, Mach attempts to apply the new geometries in physics and chemistry. After 1867 Helmholtz tries to connect the new ideas on the foundations of geometry to his researches in physiology.
The year 1870 also sees the beginning of the popularization of the new conceptions. Helmholtz presents them before a group of non-mathematicians in Heidelberg (in Helmholtz' works this lecture is always dated 1870; however, in his 1876, Helmholtz himself says that the lecture was given in 1869). In order to make himself understood he uses an illustration which will be repeated in the innumerable works of popularization that are soon coming to light, that of two-dimensional intelligent beings living and moving on a curved surface and incapable of perceiving anything outside of this surface; their geometry would be non-Euclidean. Let us notice that a slightly abridged version of this popular exposition is published on February 12, 1870, in The Academy, a magazine published in London, hence easily accessible to Engels. In 1876 Helmholtz published an enlarged version of his lecture under the title 'Ueber den Ursprung und die Bedeutung der geometrischen Axiome' (On the origin and significance of geometrical axioms) in the third part of his Populäre wissenschaftliche Vorträge, a book that a man like Engels, right in the middle of his 'moulting', can hardly ignore. Engels repeatedly quotes the second part of Helmholtz' book in his writings of that period, hence he must have seen the third part.
From 1870 on, non-Euclidean and n-dimensional geometries elicit general curiosity, somewhat like the theory of relativity at the end of the First World War and nuclear fission at the end of the Second. The German philosopher Hermann Lotze, by no means a mathematician, writing during these very years, speaks of
"the much talked about fourth dimension of space [...], which is now mooted on all sides." [1879, pages 254-255.]
Precisely at that time Engels is going through his scientific 'moulting'. However, he does not pay any attention to these developments. This is the more surprising since, firstly, the new mathematical conceptions have extremely important philosophical implications and, secondly, their study does not require very deep mathematical knowledge or technique. Helmholtz had already noted these two points in 1870:
"It is a question which, as I think, may be made generally interesting to all who have studied even the elements of mathematics, and which, at the same time, is immediately connected with the highest problems regarding the nature of the human understanding." [1870, page 128.]
In brief, it is precisely the kind of question which, it seems, should enthral a man like Engels, at that period of his intellectual life. His only mention of the subject, however, is in the article already quoted, 'Die Naturforschung in der Geisterwelt'.
Modern spiritualism, born in the United States toward the middle of the nineteenth century, bloomed in Europe shortly afterwards. In the 1870s interest in it was great and polemics about it numerous. Precisely the same years saw a widespread diffusion of the new mathematical theories. Zöllner, an astrophysicist in Leipzig, not without scientific talent, became converted to spiritualism and tried to explain spiritualistic phenomena by the fourth dimension. In his article Engels jeers at Zöllner, but, as much as at Zöllner, he jeers at the fourth dimension; he even jeers at established mathematical results. The article does not show the slightest effort at understanding the new mathematical developments and produces a very painful impression.
This article at least tells us that Engels knows of the existence of the new geometries. But all he does is practically to put them on the same plane as spiritualism. These upsetting and exciting ideas, destined to a great future, rich in philosophical implications, discussed at the time by everyone showing any interest in science, do not retain at all the attention of Engels, who simply scoffs at them. Such a strong resistance on his part to the new ideas can by no means be due to episodical causes. It has its roots in his own conception of mathematics. We shall soon understand why Engels' mind is closed to these questions. In the meantime, let us take note of the fact.
Let us sound out once more Engels' mathematical knowledge. In notes for his Dialektik der Natur, commenting on the change of base in the writing of numbers, he states that
"All laws of numbers depend on, and are determined by, the system used." [1935, page 671.]
This is not true. Passing from one base to another merely changes the symbols representing the number, but by no means its arithmetical properties. For this false statement Engels gives an equally false example:
"In every system with an odd base, the difference between even and odd numbers disappears." [1935, page 671.]
A number remains even or odd independently of the base used. It would not be without interest to show how Engels was led by his 'dialectic' to such a senseless affirmation, but suffice it to note here, in this study of Engels' mathematical knowledge, that all this is quite elementary arithmetic and would not puzzle an average sixteen years old student.
The picture emerging from this research is too dark and somewhat distorted, one may perhaps object. Truly enough, the argument would run, Engels does not pay much attention to pure mathematics during his 'moulting', but he reads quite a few books on astronomy and physics, where mathematics is used on every page, and he has an opportunity to become familiar with mathematical methods. This objection contains a grain of truth, but no more than a very tiny grain. Engels learned most of whatever he knew in mathematics from books on physics. This is clear, for example, from his oft-repeated assertion that the rules of the infinitesimal calculus are false from the viewpoint of physics; he never studied the mathematical theory that logically justifies the physicist's apparent approximation. But no more than the quality should the quantity of Engels' mathematical knowledge thus acquired be overestimated. A small incident will permit us to gauge it.
In the second preface to the Anti-Dühring, written in September 1885, hence after many years of 'moulting', Engels states:
"[...] Hegel emphasized that Kepler, whom Germany let starve, is the real founder of modern mechanics of heavenly bodies and that Newton's law of gravitation is already contained in all three Kepler's laws, even explicitly in the third one. What Hegel shows with a few simple equations in his Naturphilosophie, § 270 and additions (Hegel's Werke, 1842, volume VII, pages 98 and 113-115), appears again as a result of modern mathematical mechanics in Gustav Kirchhoff's Vorlesungen über mathematische Physik, 2nd edition, Leipzig, 1877, page 10, and in a mathematical form which is essentially the same as the simple one first developed by Hegel." [1935, pages 11-12. Links added -- RL.]
Let us open the two books mentioned by Engels at the pages he indicates. In Kirchhoff's book we do find the derivation of Newton's law of attraction from Kepler's three laws, as it can still be found in any elementary textbook of mechanics. It requires two or three pages and makes use of the integral calculus and elementary differential equations. Now, in Hegel we read something much shorter:
"In Kepler's third law, A3/T2 is the constant. Let us write it A.A.2/T2 and, following Newton, let us call A/T2 the universal gravitation; then the expression of the action of this so-called attraction is inversely proportional to the square of the distance." [1842, pages 98-99.]
In these puerile lines, Hegel does not see, among other things, that the variable distance between the planet and the sun is not the semimajor axis of the ecliptic orbit. On page 115, also mentioned by Engels, the same error, with a few others added for good measure, is repeated. Hegel's greatness rests on other achievements than these absurdities dictated by a deep-rooted and violent prejudice against the Englishman Newton as well as by an inveterate lack of understanding of mathematical methods.
Half a century later, after many years of personal 'moulting', with the correct derivation under his eyes in Kirchhoff's book, Engels does not see Hegel's mistakes. Much worse, he states that the two derivations are 'essentially the same'. No, indeed, we cannot say that Engels learned much more mathematics from physics books than from mathematical treatises.
What should we retain from all this? Engels does not show the slightest aptitude for mathematics; he does not know any of its developments in the nineteenth century; his judgments in the philosophy of mathematics are based on conceptions prevalent ninety or a hundred years before the time he was writing, while this interval had seen tumultuous and far-reaching progress; even so far as eighteenth century mathematics is concerned, he never comes into intimate contact with it; he only knows its problems through Hegel, a rather poor guide in that domain. Nevertheless, as we shall see now, Engels does not hesitate to pronounce sweeping judgments on mathematics and its philosophy.
Engels' conception of mathematics matches well his epistemology, the copy theory of truth, and even forms its crudest part. As, in general, ideas are for him nothing but 'mirror images'[3] of material things, mathematical concepts in particular are nothing but 'imprints of reality' (1935, page 608).
The first consequence of such a theory is to confuse what is mathematical and what is physical; mathematics is no longer anything more than a branch of physics. That Engels does not shrink from such an implication is shown beyond question by his writings.
In order to give examples of undoubtedly true propositions, he mentions those which state that
"2 x 2 = 4 or that the attraction of matter increases and decreases according to the square of the distance." [1935, page 496.]
Engels does not hesitate to put on the same plane a mathematical theorem and a physical law. History has come to deride his conception: experience has compelled us to abandon Newton's law and adopt another theory, while we cannot see how experience could force us to question a numerical statement. This clearly shows the difference in nature between the two propositions mentioned.
As examples of
"eternal truths, definitive, ultimate truths" [1935, page 91],
Engels mentions
"that two times two makes four, that the three angles of a triangle are equal to two right angles, that Paris is in France, that a man left without food dies of hunger." [1935, page 91.]
Here again mathematical theorems are intermingled with empirical observations. For Engels the proposition that the sum of the three angles of a triangle is equal to two right angles has the same kind of truth as the empirical statement that Paris is in France. He writes this in 1877, when it is already widely recognized that the first proposition follows from a certain set of axioms, namely those of Euclidean geometry, and will perhaps not follow from some other set of axioms. But we have seen how obstinately Engels keeps his eyes closed to non-Euclidean geometries. They are too great a threat to his identification of mathematics with physics.
According to Engels, mathematical concepts are
"taken from nowhere else than from the real world." [1935, page 43.]
They are
"exclusively borrowed from the outside world, not sprung from pure thought in the head." [1935, page 93.]
Let us note the word 'exclusively'. That experience has elicited certain mathematical notions is indisputable. But it has by no means directly imprinted them on a passive human brain. Looking at a spider's thread or at a stretch of still water, never will a man conceive the mathematical straight line or plane without an intellectual activity irreducible to mere observation, to mere 'mirroring'. As for more complex mathematical concepts, it is soon impossible to tell from which natural objects they would be the 'mirror images'. Yes, the mathematician receives many suggestions from experience; but the quid proprium [proper rôle -- RL] of mathematics is to pass to the limit, to deal with perfect objects, lines without breath, surfaces without thickness, and to deal with them not by means of observation, but of logical reasoning.
To take an example, let us consider the number π, the ratio of the circumference of a circle to its diameter. If π were simply given by experience, we would have to build a wheel of metal and measure with the greatest possible accuracy its circumference and its diameter. Their ratio would give π, or rather an approximation of π. However, the mathematician can, by pure reasoning, compute a mathematical π with an unlimited precision. He can make statements about this mathematical π -- for example, that it is an irrational, transcendental number -- that would be meaningless for the physical π. In Engels' writings there is no indication that he would draw any distinction between the two concepts; more accurately, for him, the mathematical π would disappear behind the physical π.
For Engels the share of experience in the formation of mathematical concepts is much more than mere suggesting. He writes:
"Pure mathematics has for its object the spatial forms and quantitative relations of the actual world, hence a very real stuff." [1935, page 43.]
Mathematics, as a human creation, is obviously part of 'reality'. If Engels wanted to say nothing more than that, it would be a platitude. However, what he understands by 'actual world' is nature, the physical, material world, and his statement is false, for it is by no means accurate to say that mathematics has for its object only the relations of the physical world. The same false conception is repeated again and again:
"The results of geometry are nothing but the natural properties of the different lines, surfaces and bodies, or of their combinations, that in great part already appeared in nature long before men existed (radiolaria, insects, crystals, and so on)." [1935, page 393.]
That a shell has the shape of a certain mathematical curve may be of great interest to the biologist and suggest, for example, an exponential growth, but it is of no great consequence for the mathematician. Firstly, the mathematical curve is not an 'imprint' of the shell upon the mathematician's brain; it is defined in mathematical terms. Secondly, the mathematician will never prove theorems about the curve by measuring the shell. What he could at most expect is to receive some suggestion from experience; his real task would then only begin, and he could fulfil it only by axiomatically deriving new propositions about the curve from its definition and already known theorems. The mathematician may even decide to take as his point of departure assumptions that are not 'relations of the actual world', that are not 'natural properties' of insects or crystals, and build geometries that transcend our experience. In a study of Engels' philosophy, Sidney Hook has already noted (1937, page 261)
"the curious reluctance on the part of orthodox Hegelians and dialectical materialists to admit that hypotheticals contrary to fact, i.e. judgments which take the form 'if a thing or event had been different from what it was', are meaningful assumptions in science or history."
Nowhere is this tendency more apparent than in Engels' attitude toward mathematics, and nowhere is it more dangerous. It does away with the if-then aspect of mathematics.
One of Engels' most surprising writings is a note written in 1877 or 1878 and entitled 'Ueber die Urbilder des mathematischen "Unendlichen" in der wirklichen Welt' (On the prototypes of the mathematical 'infinite' in the real world). It would be a tedious and not too rewarding task to unravel the skein of exaggerations, misunderstandings and plain mistakes contained in these few pages. The core of it is that Engels undertakes to show that every mathematical operation is 'performed by nature'; nature differentiates, integrates, solves differential equations exactly like the mathematician. Both sets of operations are 'literally' (1935, page 467) the same, except that
"the one is consciously carried out by the human brain, while the other is unconsciously carried out by nature." [1935, page 467.]
For instance, the molecule is a differential, and
"nature operates with these differentials, the molecules, in exactly the same way and according to the same laws as mathematics does with its abstract differentials." [1935, page 466.]
Let us not tarry in investigating what this nature operating with human laws is, let us see how Engels justifies this animistic view. He offers the example of a cube of sulphur immersed in an atmosphere of sulphur vapour in such a way that a layer of sulphur, the thickness of a single molecule (the differential!), is deposited in three adjacent faces of the cube. But even with this artificial example, custom-built to prove (!) a universal law, Engels entangles himself and must finally note the discrepancy between the physical process and the mathematical reasoning. He tries to explain it away in a short sentence, saying that,
"as everyone knows, lines without thickness or breath do not occur by themselves in nature, hence also the mathematical abstractions have unrestricted validity only in pure mathematics." [1935, page, 467.]
This is precisely the point at issue, which Engels refuses to confront openly, but must surreptitiously concede. Now, where is the 'literal' identity of a physical process with a mathematical reasoning?
According to Engels, mathematics makes use of only two axioms:
"Mathematical axioms are expressions of the most indigent thought content, which mathematics is obliged to borrow from logic. They can be reduced to two:
"1. The whole is greater than the part. This proposition is a pure tautology [...]. This tautology can even in a way be proved by saying: a whole is that which consists of many parts; a part is that of which many make a whole; therefore the part is less than the whole [...].
"2. If two magnitudes are equal to a third, then they are equal to one another. This proposition, as Hegel has already shown, is an inference, the correctness of which is guaranteed by logic, and which is therefore proved, although outside of pure mathematics. The other axioms about equality and inequality are merely logical extensions of this conclusion.
"These meagre propositions could not cut much ice, either in mathematics or anywhere else. In order to get any further, we are obliged to introduce real relations, relations and spatial forms which are taken from real bodies. The notions of lines, surfaces, angles, polygons, cubes, spheres, and so on, are all taken from reality." [1935, page 44-45.]
This passage shows that, by an axiom, Engels does not at all understand the same thing as mathematicians do. Firstly, he undertakes to 'prove' his two axioms (one of which, by the way, is a 'tautology'!). Secondly, these two arbitrarily selected propositions are insufficient as points of departure for mathematics.[4] Mathematicians need quite a few more assumptions on sets, numbers, points, lines, and so on. Engels would not deny this. In fact, these are the 'relations' that he mentions in the last paragraph of the passage quoted above. These propositions are, for him, directly taken from physical reality and are, therefore, 'materially' true. The idea that mathematicians can successively adopt contradictory sets of axioms and ascertain what each set implies is thoroughly alien to him.
Engels' conception of mathematical axioms as immediately given by the physical world leads him to reject the deductive method of proof used in mathematics. In a note written during the preparation of his book against Dühring we find the following lines:
"Comical confusion of the mathematical operations, which are susceptible of material demonstration, susceptible of being tested, because they rest on immediate material, although abstract, observation, with the purely logical operations, which are only susceptible of a deductive demonstration, hence incapable of having the positive certitude that the mathematical operations have, -- and how many of these [logical operations] are even false!" [1935, pages 394-395.]
It is all topsy-turvy. Engels draws a vaguely correct distinction between factual observation and logical deduction; but, then, he puts mathematical proof on the side of material observation. His statements those quoted and quite a few others of the same sort -- are nothing less than a negation of mathematics, a destruction of the structure started with Greek geometry and raised to such heights in the last two hundred years. Without the cement of logical deduction, mathematics would be reduced to a kind of land surveying, made up of empirical recipes, haphazard observations and strange coincidences. The position seems indeed untenable. But Engels' words are clear, and they do not lack self-assurance.
In the discussion on the part of physical experience in mathematics, three points are involved: the nature of axioms, the deductive method, the origin of fundamental concepts.
The nature of mathematical axioms, whether they are a priori truths or generalizations from observations, was a live subject of discussion up to the middle of the nineteenth century. After the appearance of non-Euclidean geometries and other mathematical developments, the question became fairly settled for everybody well enough informed. Axioms are assumptions, whose 'truth' is irrelevant and, in a sense, meaningless in the field of mathematics. It is up to the physicist to decide which set of axioms should be used in the study of nature, but this choice is not a mathematical question anymore. There are perhaps limits to the if-then conception of mathematics. One could claim that the sequence of natural numbers is directly given to us by an intuition that is prior to, and independent of, the selection of any axiom system, and, besides, that the very notion of axiom system already involves that of natural number. Beyond the various set theories, there is perhaps an 'absolute' universe of sets. And, finally, the logic that takes us from 'if' to 'then' cannot itself be relativised. On each of these points there are arguments and counterarguments.
We do not intend to enter this controversy here. Our aim is simply to delimit the area of discussion and to show that Engels' opinions are well outside the range of those of competent workers in the field since the middle of nineteenth century. In mathematics there is simply no question of proofs based on physical measurements, of definitions directly 'imprinted' by the physical world, of axioms that are nothing but physical laws.
Engels' conception of mathematics is a crude form of empiricism. It bears a certain resemblance to the conceptions of two of its contemporaries, Herbert Spencer and John Stuart Mill. These two philosophers, however, are much more aware of the difficulties of their positions, make painstaking efforts to answer all possible objections and carefully qualify their statements. Engels makes sweeping assertions and jeers at those who do not think like him. On one point only does he try to strengthen his theses. His conception of ready-made mathematical notions directly taken from the physical world is so contrary to the actual development of knowledge that he has to mitigate it by an idea avowedly borrowed from Spencer, the acquisition of mathematical axioms through heredity (Engels' epigones prefer not to mention this influence):
"By recognizing the inheritance of acquired characters, it [modern science] extends the subject of experience from the individual to the genus; the single individual that must have experienced is no longer necessary, its individual experience can be replaced to a certain extent by the results of the experiences of a series of its ancestors. If, for instance, among us the mathematical axioms seem self-evident to every eight years old child, and in no need of proof from experience, this is solely the result of 'accumulated inheritance'. It would be difficult to inculcate them by proof upon a Bushman or Australian Negro." [1935, pages 464-465.]
The same idea is repeated elsewhere in almost identical terms:
"Self-evidence, for instance, of the mathematical axioms for Europeans, certainly not for Bushmen and Australian Negroes." [1935, page 385.]
We finally learn the source of the idea:
"Spencer is right inasmuch as what thus appears to us to be the self-evidence of these axioms is inherited." [1935, page 608.]
It is sufficient to try to state precisely Engels' conception to see how empty it is. What experience is inherited? Is it our familiarity with solid objects, our 'converse with things', to use Spencer's expression? In this respect, however, non-whites are not inferior to whites, unless we assume that they have not existed as men [for?] as long a time, that is, that they are much closer to the ape; but this is a vulgar assumption lacking any scientific basis. Or shall we accept, as the other possible interpretation, that mathematical axioms have become obvious to white children by heredity during the few centuries that they have been regularly going to school? Certainly no difference between white and non-white children has yet been ascertained in grasping the evidence of mathematical axioms. And certainly this unobserved difference cannot be invoked in order to explain the 'proof through experience' ('Erfahrungsbeweis') of mathematical axioms. Let us say no more on that.[5]
Engels divides mathematics into two parts, 'elementary mathematics, the mathematics of constant magnitudes', and 'higher mathematics', 'the mathematics of variables, whose most important part is the infinitesimal calculus'. The two realms use different methods of thought: 'elementary mathematics [...] moves within the confines of formal logic, at least on the whole', while 'higher mathematics' is 'in essence nothing else but the application of dialectic to mathematical relations' (1935, page 138). The dichotomy of mathematics parallels the division of thought into 'metaphysical' and 'dialectical':
"The relation that the mathematics of variable magnitudes has to the mathematics of constant magnitudes is on the whole the relation of dialectical to metaphysical thought." [1935, pages 125-126.]
The two domains in which mathematics are split are logically irreconcilable. What is true in one is false in the other:
"With the introduction of variable magnitudes and the extension of their variability to the infinitely small and the infinitely large, mathematics, otherwise so austere, has committed the original sin; it ate of the tree of knowledge, which opened up to it the career of the most gigantic achievements, but also of errors." [1935, pages 91-92.]
Or:
"[...] higher mathematics, which [...] often [ ...] puts forward propositions which appear sheer nonsense to the lower mathematician." [1935, page 602.]
Or:
"Almost all the proofs of higher mathematics, from the first proofs of the differential calculus on, are false, strictly speaking, from the standpoint of elementary mathematics." [1935, page 138.]
Not only are the proofs false, they simply do not exist:
"Most people differentiate and integrate not because they understand what they are doing, but by pure faith, because up to now it has always come out right." [1935, page 92.]
Engels himself dimly feels how rash his statement is and tries to mitigate it with the words 'most people'. But what does he mean by that? Do the theorems of the infinitesimal calculus have proofs or not? If they do, then Engels' whole structure collapses, and he merely says that some people who use the calculus do not know or do not remember the derivation of the rules they use; such a situation is, of course, not confined to the calculus or even to mathematics; whether the people ignorant of the proofs of the rules are few or many, this has nothing to do with the point at issue, so long as the proofs exist. Or do the proofs perhaps not exist? In which case Engels should not speak of 'most people', but of everybody using the calculus without proofs. He was apparently ill at ease about making such a statement, and, by speaking of 'most people', he tried to cover its silliness with a fog of ambiguity.
The idea that emerges from this confusion is that the mathematician or the physicist, when using the calculus, does not follow the rules of logic, elementary geometry and arithmetic. Engels apparently has in mind the replacing of the increment of a function by its differential. When establishing a differential equation, the physicist often reasons as if a small segment of the curve were straight, that is, as if a function were linear in a small interval; but he knows that the step is perfectly justified by passing to the limit. He could obtain the same result in a strictly logical way by using the law of the mean; the procedure would be somewhat longer; he used it a few times when he learned the calculus, and convinced himself that he could use a method of approximation, which is a timesaving device, but does not in any way shake the logical foundations of the calculus.
True enough, when the infinitesimal calculus came into general use, in the eighteenth century, confusion reigned on that point, and many mathematicians were more concerned with obtaining new results than with strictly justifying their proofs. Such a situation, however, was very unsatisfactory and great efforts were soon spent to establish the calculus on a logically firm basis. Between 1820 and 1830, fifty years before the time Engels was writing, Cauchy gave a definition of the derivative as a limit, and the difficulty against which Engels is stumbling, namely the definition of differentials, disappeared:
"In the mathematical analysis of the seventeenth and most of the eighteenth centuries, the Greek ideal of clear and rigorous reasoning seemed to have been discarded. 'Intuition' and 'instinct' replaced reason in many important instances. This only encouraged an uncritical belief in the superhuman power of the new methods. It was generally thought that a clear presentation of the results of the calculus was not only unnecessary but impossible. Had not the new science been in the hands of a small group of extremely competent men, serious errors and even debacle might have resulted. These pioneers were guided by a strong instinctive feeling that kept them from going far astray. But when the French revolution opened the way to an immense extension of higher learning, when increasingly large numbers of men wished to participate in scientific activity, the critical revision of the new analysis could no longer be postponed. This challenge was successfully met in the nineteenth century, and today the calculus can be taught without a trace of mystery and with complete rigor." [Courant and Robbins 1948, page 399.]
For Engels, the history of mathematics followed exactly the opposite direction. Speaking of the derivative, he writes:
"I mention only in passing that this ratio [the derivative] between two vanished quantities [...] is a contradiction; but that cannot disturb us any more than it has disturbed mathematics in general for almost two hundred years." [1935, page 141.]
Mathematics has indeed been disturbed by the 'contradiction', had spent great efforts in order to overcome it and had, by Engels' time, succeeded. But Engels paints a truly fantastic picture of the development of science. For him, the eighteenth century had known a 'metaphysical' science, meaning that scientists were then following logic, operating with 'fixed categories' and ignoring change. In the nineteenth century science had become 'dialectical', that is, had accepted contradictions as a token of truth. He presents this picture many times in his writings, and it is interesting to see what part mathematics plays in it. According to Engels, 'higher mathematics', that is, chiefly the infinitesimal calculus, is full of 'contradictions'; mathematicians have been forced to accept these contradictions, and their science is pure absurdity from the standpoint of logic. Then, this science has induced other sciences also to accept contradictions and had led them from the 'metaphysical' era of the eighteenth century to the 'dialectical' era of the nineteenth century:
"Until the end of the last century, even until 1830, natural scientists were quite satisfied with the old metaphysics, because the real science did not go beyond mechanics, terrestrial and cosmical. Nevertheless, confusion was already introduced by the higher mathematics, which considers the eternal truth of the lower mathematics as a superseded standpoint, often affirms the contrary [of what lower mathematics does] and establishes propositions that appear to the lower mathematician as sheer nonsense. The fixed categories were here dissolving themselves, mathematics had entered upon a ground where even such simple questions as those of the mere abstract quantity, the bad infinite, were taking on a completely dialectical shape and forcing the mathematicians, against their will and without their knowledge, to become dialectical. Nothing more comical than the wriggles, the foul tricks and the makeshifts used by the mathematicians for solving that contradiction, for reconciling higher and lower mathematics, for making clear to their mind that that which appeared to them as an incontrovertible result was not pure idiocy, and in general for rationally explaining the point of departure, the method and the result of the mathematics of the infinite." [1935, page 602.]
By the 'mathematics of the infinite' Engels means, as we have seen, the infinitesimal calculus, and his conception can hardly be more incorrect. In the eighteenth century mathematics had acquired a great wealth of new results, without always bothering too much about strict proofs. In the nineteenth century, on the contrary, the accent was on rigor, and very strict standards of logic were followed. Great progress was made in that direction, and among what Engels calls 'the wriggles, the foul tricks and the makeshifts' of the mathematicians are some of greatest achievements of the human mind. The very year 1830, which he gives as the line of demarcation between 'metaphysics' and 'dialectic' in science, marks, with Cauchy, the introduction of a new rigor in mathematics. Engels' picture is the exact opposite of the actual historical development.
If Engels still considers the calculus to be irreducible to logic, it is because, one might say, he does not know the nineteenth century developments in that field. True enough. We have seen that his source of information on the subject was Bossut's treatise, which belongs, not only by the date of its publication, but also by its spirit, to the eighteenth century. However, lack of information cannot absolve Engels. Firstly, in any case ignorantia non est argumentum [ignorance is no defence -- RL] and, secondly, in the present case we must ask the question: why did Engels not study these nineteenth-century developments? After all, he presented his wrong conception of the calculus in his book against Dühring, which was published in the last quarter of the nineteenth century. Could he not have paid attention to what mathematicians had done in the first three quarters of that century?
A complete answer to this question would lead us into an examination of Engels' ways of thinking, writing and polemicising. We would have to show by many other examples how he often disregards facts when they do not suit him, how he fails to mention and refute possible objections to his blunt statements, how he answers an opponent by a joke or by calling him names. Suffice it to say here that Engels believed he had found in the conceptions of the calculus temporarily prevalent in the eighteenth century a confirmation of the ideas remaining in his own mind since he had read Hegel, and he simply did not bother to investigate any further.
Even if Engels had not followed the mathematical developments that occurred in the thirty or fifty years before the time he was writing on mathematics, he could have found a better guide than Bossut; he could have used, for instance, Lacroix's treatises, the complete one published in 1797 or the elementary one published in 1802; these works are far superior to Bossut's; they became standard textbooks and ran into numerous editions up to the very end of the nineteenth century. Although Lacroix was writing before Cauchy's decisive contribution and had not yet a strict definition of the limit of a function, his treatment is modern in spirit and, at the turn of the century, he already defined the differential as the linear part of the increment of the function, which is the present definition and could have dispelled many of Engels' dark clouds of confusion. For that matter, Engels could also have read d'Alembert's article 'Differentiel' in the Encyclopédie, dating from the middle of the eighteenth century; d'Alembert still uses the intuitive notion of limit, but his concise, clear and sagacious notice is a torch whose light could have been most helpful to Engels more than hundred and twenty years later.
Engels, however, kept his eyes closed to the actual development of mathematics. His eyes are still closed when he undertakes to show how mathematics is full of contradictions. He does not hesitate to write that
"one of the main principles of higher mathematics is the contradiction that in certain circumstances straight lines and curves are the same." [1935, page 125.]
This is apparently a reference to the calculus, and we have already seen what this 'contradiction' really is. The next one is simply whimsical:
"[Higher mathematics] also establishes this other contradiction that lines which intersect each other before our eyes nevertheless, only five or six centimetres from their point of intersection, should be taken as parallel, as if they would never meet even if extended to infinity." [1935, page 125.]
It is not easy to see what Engels means here. Is it again the question of approximation in calculus? Is it an allusion to the fact that mathematicians can use a badly drawn figure for a correct proof? Anyway, these five or six centimetres have nothing to do with mathematics, and there is no contradiction here either. Engels finds that even 'elementary mathematics' is 'teeming with contradictions' (1935, page 125):
"It is for example a contradiction that a root of A may be a power of A, and yet A1/2 = [square root of] A." [1935, page 125.]
Whoever has studied the question of fractional exponents will have difficulty in finding a contradiction here. The proof given to young students consists precisely in showing that there is no contradiction in treating radicals as powers with fractional exponents and that it is, therefore, legitimate to extend the concept of power. This generalized power subsumes the power in the elementary sense of the word as well as the radical. Using an analogy, we could reconstruct Engels' thought thus: 'A cat is a feline; a tiger is a feline; hence a cat is a tiger. Here is a contradiction!' Old sophism. Why does Engels make this mistake? Probably because he considers contradictions to be the highest product of thought, mirroring 'motion', 'life' (see, for instance, 1935, page 124). Non-contradictory thought is for him hardly possible. Hence he has to discover contradictions everywhere. And he does! After roots come complex numbers:
"It is a contradiction that a negative magnitude should be the square of anything, for every negative magnitude multiplied by itself gives a positive square." [1935, page 125.]
If one carefully rereads this sentence, it is simply impossible to find in it the contradiction imagined by Engels. The square of a negative number is a positive number; hence a negative number is not the square of a negative number. But why can it not be the square of some other kind of number? Where is the contradiction?
'Dialectic' manifests itself in mathematics not only by contradictions, but also by the law of the negation of the negation, whose validity Engels undertakes to prove by exhibiting examples. Here is the first:
"Let us take an arbitrary algebraic magnitude, namely a. Let us negate it, then we have -a (minus a). Let us negate this negation by multiplying -a by -a, then we have +a, that is the original positive magnitude, but to a higher degree, namely to the second power." [1935, pages 388-389.]
Now comes a second example:
"Still more strikingly does the negation of the negation appear in higher analysis, [...] in the differential and integral calculus. How are these operations performed? In a given problem, for example, I have the variable magnitudes x and y [...]. I differentiate x and y [...]. What have I done but negate x and y [...]? In place of x and y, therefore, I have their negation, dx and dy, in the formulas or equations before me. I continue then to operate with these formulas and, at a certain point, I negate the negation, that is, I integrate the differential formula." [1935, pages 140-141; see also page 392 and the footnote on page 388.]
In these two examples 'to negate' means four different operations: (1) to multiply by -1, (2) to square a negative number, (3) to differentiate, (4) to integrate. What is the common feature of these operations that would allow Engels to subsume them under the concept of negation? A few pages later he tells us that 'in the infinitesimal calculus it is negated otherwise than in the formation of positive powers from negative roots' (1935, page 145). But he never gives us the slightest hint as to what distinguishes the four 'negating' operations from other mathematical operations. Or can any mathematical operation be considered as a 'negation'? Then, what does the 'negation of the negation' mean? It is both impossible and useless to criticize Engels' use of this formless notion in the field of mathematics. Quod gratis asseritur gratis negatur. [What is asserted without reason may be denied without reason -- RL.] Let us simply note that there is no mathematical rule or principle that could possibly be, even by the farthest stretch of the imagination, identified with Engels' negation of the negation.
After having witnessed the contempt with which Engels treats logic, we would never expect to read in his book against Dühring the following lines:
"[...] formal logic is above all a method of arriving at new results, of advancing from the known to the unknown." [1935, page 138.]
Let us notice the words 'above all'. Formal logic is now for Engels an ars inveniendi, a conception hardly dreamed of in the heyday of Scholasticism. In fact, formal logic hardly is a method of discovery in mathematics; imagination and intuition fulfil that role. In other sciences it is still, if possible, more sterile for discovery. Why did Engels allow himself such a blunder? The end of the sentence gives the answer:
"[...] and dialectic is the same, only in a much more eminent sense." [1935, page 138.]
Engels bestows such an extraordinary worth upon formal logic (which, poor soul, had never asked for anything like it!) only in order to ascribe it the more easily to his 'dialectic', to a much higher degree.
If we leave aside this last sleight of hand, Engels' main idea is that mathematics is divided into two incompatible domains and that the results of 'higher' mathematics, mainly the infinitesimal calculus, cannot be justified before the instance of 'lower' mathematics and formal logic. As we soon learn that 'lower' mathematics itself 'teems with contradictions', the whole edifice becomes quite shaky and, once we have seen what the 'contradictions' or the 'negation of the negation' actually are, not much remains.
These ideas have been inspired, of course, by Hegel. The second section of the first book of his Wissenschaft der Logik is devoted to Quantity and contains long passages on number, infinity and the infinitesimal calculus. Hegels' remarks on this last subject are often interesting, especially if we do not forget that they were written before 1812, at a time when the question was not yet settled for mathematicians. Hegel, moreover, has up-to-date information; for example, he mentions Carnot and extensively deals with Lagrange's work. Hegel's remarks also show an effort to understand, which is absent from Engels' writings. Finally, these remarks are embedded in a broad philosophical conception that gives them scope and depth. In Engels everything is reduced to two or three dry formulas on 'contradiction' or 'negation of the negation', which he hopelessly tries to apply here and there.
It is true that behind some of Engels' contradictions there are real problems, like the arithmetisation of the continuum or the relation between potential and actual infinite. These problems have preoccupied many thinkers, from the Greeks to Kant, from Kant to the modern mathematicians. They are at the bottom of still unsettled differences in the foundations of mathematics. Engels sets himself to deal with Kant's antinomies, soon announces that
"the thing itself can be solved very simply" [1935, page 54],
and gives a few pages of explanations. Engels' solution is not too clear, but, so far as one can make out, coincides with what we have already seen above about the existence and role of contradictions in mathematics: the more, the better. According to Engels,
"The infinite is a contradiction, and is full of contradictions. It is already a contradiction that an infinity should be made up of mere finite parts, and that is the case nevertheless [...]. Every attempt to overcome these contradictions leads [...] to new and worse contradictions. Precisely because the infinite is a contradiction, it is an infinite process, unwinding itself without end in time and space. The overcoming of the contradiction would be the end of the infinite." [1935, page 56.]
In these lines the words 'contradiction' and 'infinite' alternate without producing much light. Meanwhile, nineteenth-century mathematicians, men like Bolzano and Cantor, had attacked the problem and were making great progress. The only thing that can be said for Engels is that he occupies himself with an important problem, but nothing more; it cannot be said that he brings any appreciable contribution to its clarification. On the contrary, exactly as in the case of the infinitesimal calculus, Engels looks for a solution in a direction opposite to the actual development of science.
If we cannot claim to have dealt with every statement of Engels on mathematics, an examination of those left out would not change, but rather confirm, the conclusions emerging from our study of Engels' writings.[6] Some, however, may challenge these conclusions on the ground that some of the quotations we have used come from manuscripts that Engels left unpublished. It does not seem possible to defer to this objection. Engels has expressed himself at length on mathematics in his published works and there are no discrepancies between his published works and unpublished manuscripts (more precisely, there are no deeper discrepancies between the two parts than within the published part itself). We may add that the Russian government published Engels' manuscripts a long time ago and has used them just as much as the works published during his lifetime to foster its official dogma.
The picture we have obtained consists of two parts, rather loosely joined. On the one hand, there is Engels' 'materialism', which reduces mathematics to physics, or rather to 'material observation', entirely ignores its if-then character and sees in it a kind of land surveying. On the other hand, there is the 'dialectic', which proclaims that mathematics breaks the rules of logic at every step and swarms with 'contradictions'. The 'materialism' is a very crude form of empiricism; the 'dialectic' is a degenerated offshoot of Hegel's philosophy. The only bond, it seems, that ties these two heterogeneous parts together is a common ignoring of the real development of science.
Mathematics is undoubtedly the field in which Engels is at his weakest. His views on mathematics, however, are too deeply ingrained in his general conceptions to be dismissed lightly. They form a frame of reference that can never be forgotten in a general examination of his ideas.
In order to be complete the present study would require an examination of what Engels' conceptions have become when inherited by his epigones and commentators, as well as an examination of Marx' attitude toward mathematics.
The first task is too thankless to tempt us now. Suffice it to say that the fate of Engels' writings has been determined by social considerations rather than by a rational examination of their contents; only socio-political events, not its intrinsic value, can explain why so mediocre a book as the Anti-Dühring could become the philosophical Bible (if we may use these two words together) of so many men. This is indeed an important social phenomenon (with which we are not concerned here), but it does not in any way increase the intrinsic value of the book.
The second task is full of interest and would require a special study; we simply give here a few conclusions. Marx left about 900 pages of mathematical manuscripts. A sizable part of these manuscripts were published in Moscow in 1968. Many pages are no more than abstracts from textbooks read by Marx. Some of his notes, however, consist of commentaries and deal with the definition of the derivative. Marx devised a method which he opposes to those of Newton, Leibniz, d'Alembert and Lagrange (he ignores Cauchy). His aim was, it seems, to decide whether a function 'reaches' its limit or not, a question long debated until the middle of the nineteenth century. As far as one can judge from the published manuscripts, Marx' method of obtaining the derivative involves no more than a change of notation, concealing the difficulty rather than solving it. By giving independent value to this procedure Marx only reveals that he has not yet fully grasped the notion of a limit; moreover, the method is applicable to polynomials only, not to all functions, and its use would make a general theory of the derivative impossible.
Marx' efforts are those of an alert student of the calculus, who tries to think a delicate point through by himself, but cannot yet undertake original creative work in mathematics because he lacks training and information. Still the mathematical level of these efforts is well above that of Engels' writings and, unlike Engels, Marx did not publish anything on mathematics.
Marx did, however, send some of his mathematical manuscripts on the definition of the derivative to Engels, who commented in a letter dated August 18, 1881:
"I compliment you on your work. The matter is so perfectly clear that we cannot be amazed enough how the mathematicians insist with such stubbornness upon mystifying it. But that comes from the one-sided way of thinking of these gentlemen." [Marx and Engels 1931, page 513. This now appears in MECW Volume 46, pp.130-31 -- RL.]
How well these lines show their writer's cast of mind! Engels did not know anything of the development of mathematics during the fifty years (at least!) preceding the time he was writing. From all evidence, he would have been unable to even name the mathematicians of his time. Nevertheless, he does not hesitate to accuse them of incompetence. Marx' manuscript becomes 'a new foundation of the differential calculus' (Marx and Engels 1967, page 46) by a 'profound mathematician' (Engels 1935, page 10), while mathematicians, because of their ignorance of the dialectic, only muddle the problem.
This puts the finishing touch to our picture. Engels now stands as a man full of prejudices, unable to freely enter the competition of ideas. He would like to have his own 'dialectical' science aside from what he calls the 'ordinary metaphysical' science, that is, purely and simply science.
1. At this place there is in the English translation of Dialektik der Natur (Engels 1940, page 155) the following footnote: 'It is impossible to render Engels' word "Induktionsesel" into English. A donkey in German idiom may mean a fool, a hard worker, or both. It can thus imply praise and blame at the same time. Probably, the implication is that Newton did great work with induction, but was unduly afraid of hypotheses. The phrase might be freely rendered "Newton, who staggered under a burden of inductions".' Of six persons with good knowledge of colloquial German whom I have consulted, none has confirmed this version.
2. After the publication of the Anti-Dühring, H.W. Fabian, a socialist and a mathematician, wrote a very pertinent letter to Marx clarifying the point (Engels 1935, page 719). Engels' only answer was a sneering remark in his preface to next edition of the book (1935, page 10).
3. 'Abbilder', 'Spiegelbilder', 'Widerspiegelung'; Engels repeats these expressions time and again. See, for example, 1935, pages 24-26.
4. We leave aside the fact that the first proposition is no axiom at all; it is false for infinite sets (with a certain sense of 'greater'). The second statement expresses the transitivity of equality, one axiomatic property among several. Curiously enough, the two 'axioms' cited by Engels are the two examples of 'identical propositions' given by Kant in 1787, page 38. Such ill-digested fragments abound in Engels' writings.
5. It would not be without interest to study Engels' ideas on heredity and his general attitude toward science in the light of the Lysenko affair.
6. Similar conclusions, although perhaps less complete, have been reached by other students of Engels' attitude toward mathematics; see Bataille and Queneau 1932, Hook 1937, Walter 1938 and 1948. In his 1934 Gustav Meyer says only a few words on the subject (pages 314-315), but they are very much to the point; see also 'Appendix B' in Wilson 1940.
Hits Since June 20th 2007: