The Principles of Mathematics

Last updated

The Principles of Mathematics
The Principles of Mathematics.jpg
Title page of first edition
Author Bertrand Russell
Translator Louis Couturat
CountryUnited Kingdom
LanguageEnglish
SeriesI. (all published.)
Subjects Foundations of mathematics, Symbolic logic
Publisher Cambridge University Press
Publication date
1903, 1938, 1951, 1996, and 2009
Media typePrint
Pages534 (first edition)
ISBN 978-1-313-30597-6 Paperback edition
OCLC 1192386
Website http://fair-use.org/bertrand-russell/the-principles-of-mathematics/

The Principles of Mathematics (PoM) is a 1903 book by Bertrand Russell, in which the author presented his famous paradox and argued his thesis that mathematics and logic are identical. [1]

Contents

The book presents a view of the foundations of mathematics and Meinongianism and has become a classic reference. It reported on developments by Giuseppe Peano, Mario Pieri, Richard Dedekind, Georg Cantor, and others.

In 1905 Louis Couturat published a partial French translation [2] that expanded the book's readership. In 1937 Russell prepared a new introduction saying, "Such interest as the book now possesses is historical, and consists in the fact that it represents a certain stage in the development of its subject." Further editions were published in 1938, 1951, 1996, and 2009.

Contents

The Principles of Mathematics consists of 59 chapters divided into seven parts: indefinables in mathematics, number, quantity, order, infinity and continuity, space, matter and motion.

In chapter one, "Definition of Pure Mathematics", Russell asserts that :

The fact that all Mathematics is Symbolic Logic is one of the greatest discoveries of our age; and when this fact has been established, the remainder of the principles of mathematics consists in the analysis of Symbolic Logic itself. [3]

Russell deconstructs pure mathematics with relations, by positing them, their converses and complements as primitive notions. Combining the calculus of relations of DeMorgan, Pierce and Schroder, with the symbolic logic of Peano, he analyses orders using serial relations, and writes that the theorems of measurement have been generalized to order theory. He notes that Peano distinguished a term from the set containing it: the set membership relation versus subset. Epsilon (ε) is used to show set membership, but Russell indicates trouble when Russell's paradox is mentioned 15 times and chapter 10 "The Contradiction" explains it. Russell had written previously on foundations of geometry, denoting, and relativism of space and time, so those topics are recounted. Elliptic geometry according to Clifford, and the Cayley-Klein metric are mentioned to illustrate non-Euclidean geometry. There is an anticipation of relativity physics in the final part as the last three chapters consider Newton's laws of motion, absolute and relative motion, and Hertz's dynamics. However, Russell rejects what he calls "the relational theory", and says on page 489 :

For us, since absolute space and time have been admitted, there is no need to avoid absolute motion, and indeed no possibility of doing so.

In his review, G. H. Hardy says "Mr. Russell is a firm believer in absolute position in space and time, a view as much out of fashion nowadays that Chapter [58: Absolute and Relative Motion] will be read with peculiar interest." [4]

Early reviews

Reviews were prepared by G. E. Moore and Charles Sanders Peirce, but Moore's was never published [5] and that of Peirce was brief and somewhat dismissive. He indicated that he thought it unoriginal, saying that the book "can hardly be called literature" and "Whoever wishes a convenient introduction to the remarkable researches into the logic of mathematics that have been made during the last sixty years [...] will do well to take up this book." [6]

G. H. Hardy wrote a favorable review [4] expecting the book to appeal more to philosophers than mathematicians. But he says :

[I]n spite of its five hundred pages the book is much too short. Many chapters dealing with important questions are compressed into five or six pages, and in some places, especially in the most avowedly controversial parts, the argument is almost too condensed to follow. And the philosopher who attempts to read the book will be especially puzzled by the constant presupposition of a whole philosophical system utterly unlike any of those usually accepted.

In 1904 another review appeared in Bulletin of the American Mathematical Society (11(2):74–93) written by Edwin Bidwell Wilson. He says "The delicacy of the question is such that even the greatest mathematicians and philosophers of to-day have made what seem to be substantial slips of judgement and have shown on occasions an astounding ignorance of the essence of the problem which they were discussing. ... all too frequently it has been the result of a wholly unpardonable disregard of the work already accomplished by others." Wilson recounts the developments of Peano that Russell reports, and takes the occasion to correct Henri Poincaré who had ascribed them to David Hilbert. In praise of Russell, Wilson says "Surely the present work is a monument to patience, perseverance, and thoroughness." (page 88)

Second edition

In 1938 the book was re-issued with a new preface by Russell. This preface was interpreted as a retreat from the realism of the first edition and a turn toward nominalist philosophy of symbolic logic. James Feibleman, an admirer of the book, thought Russell's new preface went too far into nominalism so he wrote a rebuttal to this introduction. [7] Feibleman says, "It is the first comprehensive treatise on symbolic logic to be written in English; and it gives to that system of logic a realistic interpretation."

Later reviews

In 1959 Russell wrote My Philosophical Development , in which he recalled the impetus to write the Principles:

It was at the International Congress of Philosophy in Paris in the year 1900 that I became aware of the importance of logical reform for the philosophy of mathematics. ... I was impressed by the fact that, in every discussion, [Peano] showed more precision and more logical rigour than was shown by anybody else. ... It was [Peano's works] that gave the impetus to my own views on the principles of mathematics. [8]

Recalling the book after his later work, he provides this evaluation:

The Principles of Mathematics, which I finished on 23 May 1902, turned out to be a crude and rather immature draft of the subsequent work [ Principia Mathematica ], from which, however, it differed in containing controversy with other philosophies of mathematics. [9]

Such self-deprecation from the author after half a century of philosophical growth is understandable. On the other hand, Jules Vuillemin wrote in 1968:

The Principles inaugurated contemporary philosophy. Other works have won and lost the title. Such is not the case with this one. It is serious, and its wealth perseveres. Furthermore, in relation to it, in a deliberate fashion or not, it locates itself again today in the eyes of all those that believe that contemporary science has modified our representation of the universe and through this representation, our relation to ourselves and to others. [10]

When W. V. O. Quine penned his autobiography, he wrote: [11]

Peano's symbolic notation took Russell by storm in 1900, but Russell's Principles was still in unrelieved prose. I was inspired by its profundity [in 1928] and baffled by its frequent opacity. In part it was rough going because of the cumbersomeness of ordinary language as compared with the suppleness of a notation especially devised for these intricate themes. Rereading it years later, I discovered that it had been rough going also because matters were unclear in Russell's own mind in those pioneer days.

The Principles was an early expression of analytic philosophy and thus has come under close examination. [12] Peter Hylton wrote, "The book has an air of excitement and novelty to it ... The salient characteristic of Principles is ... the way in which the technical work is integrated into metaphysical argument." [12] :168

Ivor Grattan-Guinness made an in-depth study of Principles. First he published Dear Russell – Dear Jourdain (1977), [13] which included correspondence with Philip Jourdain who promulgated some of the book's ideas. Then in 2000 Grattan-Guinness published The Search for Mathematical Roots 1870 – 1940, which considered the author's circumstances, the book's composition and its shortcomings. [14]

In 2006, Philip Ehrlich challenged the validity of Russell's analysis of infinitesimals in the Leibniz tradition. [15] A recent study documents the non-sequiturs in Russell's critique of the infinitesimals of Gottfried Leibniz and Hermann Cohen. [16]

See also

Notes

  1. Russell, Bertrand (1938) [First published 1903]. Principles of Mathematics (2nd ed.). W. W. Norton & Company. ISBN   0-393-00249-7. The fundamental thesis of the following pages, that mathematics and logic are identical, is one which I have never since seen any reason to modify. The quotation is from the first page of Russell's introduction to the second (1938) edition.
  2. Louis Couturat (1905) Les Principes des mathématiques: avec un appendice sur la philosophie des mathématiques de Kant. Republished 1965, Georg Olms
  3. Bertrand Russell, Principles of Mathematics (1903), p.5
  4. 1 2 G. H. Hardy (18 September 1903) "The Philosophy of Mathematics", Times Literary Supplement #88
  5. Quin, Arthur (1977). The Confidence of British Philosophers. p. 221. ISBN   90-04-05397-2.
  6. See the first paragraph of his review of What is Meaning? and The Principles of Mathematics (1903), The Nation, v. 77, n. 1998, p. 308, Google Books Eprint, reprinted in Collected Papers of Charles Sanders Peirce v. 8 (1958), paragraph 171 footnote. The review was publicly anonymous like the other reviews (totaling over 300) that Peirce wrote for The Nation on a regular basis. Murray Murphy called the review "so brief and cursory that I am convinced that he never read the book." in Murphy, Murray (1993). The Development of Peirce's Philosophy. Hackett Pub. Co. p. 241. ISBN   0-87220-231-3. Others such as Norbert Wiener and Christine Ladd-Franklin shared Peirce's view of Russell's work. See Anellis, Irving (1995), "Peirce Rustled, Russell Pierced", Modern Logic 5, 270–328.
  7. James Feibleman (1944) Reply to the Introduction of the Second Edition, pages 157 to 174 of The Philosophy of Bertrand Russell, P.A. Schilpp, editor, link from HathiTrust
  8. Russell, My Philosophical Development, p. 65.
  9. Russell, My Philosophical Development, p. 74.
  10. Jules Vuillemin (1968) Leçons sur la primière philosophie de Russell, page 333, Paris: Colin
  11. W. V. O. Quine (1985) The Time of My Life, page 59, MIT Press ISBN   0-262-17003-5
  12. 1 2 Peter Hylton (1990) Russell, Idealism, and the Emergence of Analytic Philosophy, chapter 5: Russell’s Principles of Mathematics, pp 167 to 236, Clarendon Press, ISBN   0-19-824626-9
  13. Ivor Grattan-Guinness (1977) Dear Russell – Dear Jourdain: a commentary on Russell’s logic, based on his correspondence with Philip Jourdain, Duckworth Overlook ISBN   0-7156-1010-4
  14. Ivor Grattan-Guinness (2000) The Search for Mathematical Roots 1870–1940: Logics, Set Theories, and the Foundations of Mathematics from Cantor through Russell to Gödel, Princeton University Press ISBN   0-691-05858-X. See pages 292–302 and 310–326
  15. Ehrlich, Philip (2006), "The rise of non-Archimedean mathematics and the roots of a misconception. I. The emergence of non-Archimedean systems of magnitudes", Archive for History of Exact Sciences , 60 (1): 1–121, doi:10.1007/s00407-005-0102-4, S2CID   123157068
  16. Katz, Mikhail; Sherry, David (2012), "Leibniz's Infinitesimals: Their Fictionality, Their Modern Implementations, and Their Foes from Berkeley to Russell and Beyond", Erkenntnis , 78 (3): 571–625, arXiv: 1205.0174 , doi:10.1007/s10670-012-9370-y, S2CID   254471766 .

Related Research Articles

<span class="mw-page-title-main">Charles Sanders Peirce</span> American thinker who founded pragmatism (1839–1914)

Charles Sanders Peirce was an American scientist, mathematician, logician, and philosopher who is sometimes known as "the father of pragmatism". According to philosopher Paul Weiss, Peirce was "the most original and versatile of America's philosophers and America's greatest logician". Bertrand Russell wrote "he was one of the most original minds of the later nineteenth century and certainly the greatest American thinker ever".

<span class="mw-page-title-main">Giuseppe Peano</span> Italian mathematician and glottologist

Giuseppe Peano was an Italian mathematician and glottologist. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The standard axiomatization of the natural numbers is named the Peano axioms in his honor. As part of this effort, he made key contributions to the modern rigorous and systematic treatment of the method of mathematical induction. He spent most of his career teaching mathematics at the University of Turin. He also wrote an international auxiliary language, Latino sine flexione, which is a simplified version of Classical Latin. Most of his books and papers are in Latino sine flexione, while others are in Italian.

Classical logic is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy.

The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.

Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics. In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be vague. Foundations of mathematics can be conceived as the study of the basic mathematical concepts and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics also called metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics. The search for foundations of mathematics is a central question of the philosophy of mathematics; the abstract nature of mathematical objects presents special philosophical challenges.

In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that – for some coherent meaning of 'logic' – mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and Alfred North Whitehead championed this programme, initiated by Gottlob Frege and subsequently developed by Richard Dedekind and Giuseppe Peano.

Clarence Irving Lewis, usually cited as C. I. Lewis, was an American academic philosopher. He is considered the progenitor of modern modal logic and the founder of conceptual pragmatism. First a noted logician, he later branched into epistemology, and during the last 20 years of his life, he wrote much on ethics. The New York Times memorialized him as "a leading authority on symbolic logic and on the philosophic concepts of knowledge and value." He was the first to coin the term "Qualia" as it is used today in philosophy, linguistics, and cognitive sciences.

<span class="mw-page-title-main">Ernst Schröder (mathematician)</span> German mathematician (1841–1902)

Friedrich Wilhelm Karl Ernst Schröder was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic, by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce. He is best known for his monumental Vorlesungen über die Algebra der Logik, in three volumes, which prepared the way for the emergence of mathematical logic as a separate discipline in the twentieth century by systematizing the various systems of formal logic of the day.

<span class="mw-page-title-main">Logical atomism</span> Analytical philosophical view expounded by Bertrand Russell

Logical atomism is a philosophical view that originated in the early 20th century with the development of analytic philosophy. It holds that the world consists of ultimate logical "facts" that cannot be broken down any further, each of which can be understood independently of other facts.

<span class="mw-page-title-main">Louis Couturat</span> French logician, mathematician, philosopher, and linguist

Louis Couturat was a French logician, mathematician, philosopher, and linguist. Couturat was a pioneer of the constructed language Ido.

<span class="mw-page-title-main">Ivor Grattan-Guinness</span> British historian of mathematics and logic

Ivor Owen Grattan-Guinness was a historian of mathematics and logic.

<span class="mw-page-title-main">Jean van Heijenoort</span>

Jean Louis Maxime van Heijenoort was a historian of mathematical logic. He was also a personal secretary to Leon Trotsky from 1932 to 1939, and an American Trotskyist until 1947.

<span class="mw-page-title-main">Giovanni Vailati</span>

Giovanni Vailati was an Italian proto-analytic philosopher, historian of science, and mathematician.

<span class="mw-page-title-main">Hugh MacColl</span> Scottish mathematician and novelist (1831–1909)

Hugh MacColl was a Scottish mathematician, logician and novelist.

<span class="mw-page-title-main">Cassius Jackson Keyser</span> American mathematician

Cassius Jackson Keyser was an American mathematician of pronounced philosophical inclinations.

<span class="mw-page-title-main">Philip Jourdain</span> British logician

Philip Edward Bertrand Jourdain was a British mathematician, logician and follower of Bertrand Russell.

In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.

The aspects of Bertrand Russell's views on philosophy cover the changing viewpoints of philosopher and mathematician Bertrand Russell (1872–1970), from his early writings in 1896 until his death in February 1970.

Mathematicism is 'the effort to employ the formal structure and rigorous method of mathematics as a model for the conduct of philosophy'. or else it is the epistemological view that reality is fundamentally mathematical. The term has been applied to a number of philosophers, including Pythagoras and René Descartes although the term is not used by themselves.

James Kern Feibleman was a philosopher at Tulane University. From 1952 he edited Tulane Studies in Philosophy. He styled his system as axiological realism.

References