Bertrand Arthur William Russell
Quick Info
Ravenscroft, Trelleck, Monmouthshire, Wales
Penrhyndeudraeth, Merioneth, Wales
Biography
Bertrand Russell published a large number of books on logic, the theory of knowledge, and many other topics. He is one of the most important logicians of the 20th Century.Russell's Mathematical Contributions
Over a long and varied career, Bertrand Russell made groundbreaking contributions to the foundations of mathematics and to the development of contemporary formal logic, as well as to analytic philosophy. His contributions relating to mathematics include his discovery of Russell's paradox, his defence of logicism (the view that mathematics is, in some significant sense, reducible to formal logic), his introduction of the theory of types, and his refining and popularizing of the firstorder predicate calculus. Along with Kurt Gödel, he is usually credited with being one of the two most important logicians of the twentieth century.
Russell discovered the paradox which bears his name in May 1901, while working on his Principles of Mathematics (1903). The paradox arose in connection with the set of all sets which are not members of themselves. Such a set, if it exists, will be a member of itself if and only if it is not a member of itself. The significance of the paradox follows since, in classical logic, all sentences are entailed by a contradiction. In the eyes of many mathematicians (including David Hilbert and Luitzen Brouwer) it therefore appeared that no proof could be trusted once it was discovered that the logic apparently underlying all of mathematics was contradictory. A large amount of work throughout the early part of this century in logic, set theory, and the philosophy and foundations of mathematics was thus prompted.
Russell's paradox arises as a result of naive set theory's socalled unrestricted comprehension (or abstraction) axiom. Originally introduced by Georg Cantor, the axiom states that any predicate expression, $P(x)$, which contains $x$ as a free variable, will determine a set whose members are exactly those objects which satisfy $P(x)$. The axiom gives form to the intuition that any coherent condition may be used to determine a set (or class). Most attempts at resolving Russell's paradox have therefore concentrated on various ways of restricting or abandoning this axiom.
Russell's own response to the paradox came with the introduction of his theory of types. His basic idea was that reference to troublesome sets (such as the set of all sets which are not members of themselves) could be avoided by arranging all sentences into a hierarchy (beginning with sentences about individuals at the lowest level, sentences about sets of individuals at the next lowest level, sentences about sets of sets of individuals at the next lowest level, etc.). Using the vicious circle principle also adopted by Henri Poincaré, together with his socalled "no class" theory of classes, Russell was then able to explain why the unrestricted comprehension axiom fails: propositional functions, such as the function "x is a set", should not be applied to themselves since selfapplication would involve a vicious circle. On this view, it follows that it is possible to refer to a collection of objects for which a given condition (or predicate) holds only if they are all at the same level or of the same "type".
Although first introduced by Russell in 1903 in the Principles, his theory of types finds its mature expression in his 1908 article Mathematical Logic as Based on the Theory of Types and in the monumental work he coauthored with Alfred North Whitehead, Principia Mathematica (1910, 1912, 1913). Thus, in its details, the theory admits of two versions, the "simple theory" and the "ramified theory". Both versions of the theory later came under attack. For some, they were too weak since they failed to resolve all of the known paradoxes. For others, they were too strong since they disallowed many mathematical definitions which, although consistent, violated the vicious circle principle. Russell's response to the second of these objections was to introduce, within the ramified theory, the axiom of reducibility. Although the axiom successfully lessened the vicious circle principle's scope of application, many claimed that it was simply too ad hoc to be justified philosophically.
Of equal significance during this same period was Russell's defence of logicism, the theory that mathematics was in some important sense reducible to logic. First defended in his Principles, and later in more detail in Principia Mathematica, Russell's logicism consisted of two main theses. The first is that all mathematical truths can be translated into logical truths or, in other words, that the vocabulary of mathematics constitutes a proper subset of that of logic. The second is that all mathematical proofs can be recast as logical proofs or, in other words, that the theorems of mathematics constitute a proper subset of those of logic.
Like Gottlob Frege, Russell's basic idea for defending logicism was that numbers may be identified with classes of classes and that numbertheoretic statements may be explained in terms of quantifiers and identity. Thus the number 1 would be identified with the class of all unit classes, the number 2 with the class of all twomembered classes, and so on. Statements such as "there are two books" would be recast as "there is a book, $x$, and there is a book, $y$, and $x$ is not identical to $y$". It followed that numbertheoretic operations could be explained in terms of settheoretic operations such as intersection, union, and the like. In Principia Mathematica, Whitehead and Russell were able to provide detailed derivations of many major theorems in set theory, finite and transfinite arithmetic, and elementary measure theory. A fourth volume on geometry was planned but never completed.
In much the same way that Russell wanted to use logic to clarify issues in the foundations of mathematics, he also wanted to use logic to clarify issues in philosophy. As one of the founders of "analytic philosophy", Russell is remembered for his work using firstorder logic to show how a broad range of denoting phrases could be recast in terms of predicates and quantified variables. Thus, he is also remembered for his emphasis upon the importance of logical form for the resolution of many related philosophical problems. Here, as in mathematics, it was Russell's hope that by applying logical machinery and insights one would be able to resolve otherwise intractable difficulties.
Russell's Life and Public Influence
Russell was born the grandson of Lord John Russell, who had twice served as Prime Minister under Queen Victoria. Following the death of his mother (in 1874) and of his father (in 1876), Russell and his brother went to live with their grandparents. (Although Russell's father had granted custody of Russell and his brother to two atheists, Russell's grandparents had little difficulty in getting his will overturned.) Following the death of his grandfather (in 1878), Russell was raised by his grandmother, Lady Russell. Educated at first privately, and later at Trinity College, Cambridge, Russell obtained first class degrees both in mathematics and in the moral sciences.
Although elected to the Royal Society in 1908, Russell's career at Trinity appeared to come to an end in 1916 when he was convicted and fined for antiwar activities. He was dismissed from the College as a result of the conviction. (The details of the dismissal are recounted in Bertrand Russell and Trinity (1942) by G H Hardy.) Two years later Russell was convicted a second time. This time he spent six months in prison. It was while in prison that he wrote his wellreceived Introduction to Mathematical Philosophy (1919). He did not return to Trinity until 1944. Married four times and notorious for his many affairs, Russell also ran unsuccessfully for Parliament, in 1907, 1922, and 1923. Together with his second wife, he opened and ran an experimental school during the late 1920s and early 1930s. He became the third Earl Russell upon the death of his brother in 1931.
While teaching in the United States in the late 1930s, Russell was offered a teaching appointment at City College, New York. The appointment was revoked following a large number of public protests and a judicial decision, in 1940, which stated that he was morally unfit to teach at the College. Nine years later he was awarded the Order of Merit. He received the Nobel Prize for Literature in 1950.
During the 1950s and 1960s, Russell became something of an inspiration to large numbers of idealistic youth as a result of his continued antiwar and antinuclear protests. Together with Albert Einstein, he released the RussellEinstein Manifesto in 1955, calling for the curtailment of nuclear weapons. In 1957, he was a prime organizer of the first Pugwash Conference, which brought together scientists concerned about the proliferation of nuclear weapons. He became the founding president of the Campaign for Nuclear Disarmament in 1958 and was once again imprisoned, this time in connection with antinuclear protests, in 1961. Upon appeal, his twomonth prison sentence was reduced to one week in the prison hospital. He remained a prominent public figure until his death nine years later at the age of 97.
References (show)

T A A Broadbent, Biography in Dictionary of Scientific Biography (New York 19701990).
See THIS LINK. 
Biography in Encyclopaedia Britannica.
http://www.britannica.com/biography/BertrandRussell  (1897) An Essay on the Foundations of Geometry, Cambridge: At the University Press.
 (1903) The Principles of Mathematics, Cambridge: At the University Press.
 (1908) Mathematical Logic as Based on the Theory of Types, American Journal of Mathematics 30 (1908), 222262. Repr. in B Russell, Logic and Knowledge (London, Allen and Unwin, 1956), 59102, and in J van Heijenoort, From Frege to Gödel (Cambridge, Mass., Harvard University Press, 1967), 152182.
 (1910, 1912, 1913) (with Alfred North Whitehead) Principia Mathematica, 3 vols, (Cambridge: At the University Press). Abridged as Principia Mathematica to *56, (Cambridge: At the University Press, 1962).
 (1919) Introduction to Mathematical Philosophy (London: George Allen and Unwin, New York: The Macmillan Company).
 (1931) The Scientific Outlook (London: George Allen and Unwin, New York: W.W. Norton).
 (1956) Logic and Knowledge: Essays, 19011950 (London: George Allen and Unwin, New York: The Macmillan Company).
 (1992) Logical and Philosophical Papers, 190913, The Collected Papers of Bertrand Russell, Vol. 6 (London and New York: Routledge, 1992).
 (1993) Toward the Principles of Mathematics The Collected Papers of Bertrand Russell, Vol. 3 (London and New York: Routledge).
 (1994) Foundations of Logic, 190305, The Collected Papers of Bertrand Russell, Vol. 4 (London and New York: Routledge, 1994).
 (1959) My Philosophical Development (London: George Allen and Unwin, New York: Simon and Schuster).
 (1967, 1968, 1969) The Autobiography of Bertrand Russell, 3 vols, (London: George Allen and Unwin, Boston and Toronto: Little Brown and Company (Vols 1 and 2), New York: Simon and Schuster (Vol. 3)).
 A J Ayer, Bertrand Russell (1988).
 R W Clark, The Life of Bertrand Russell (London: J. Cape, 1975).
 R Clark, Bertrand Russell : and his world (London, 1981).
 A R Garciadiego (Dantan), Bertrand Russell and the Origins of the SetTheoretic 'Paradoxes', (Basel: Birkhauser Verlag, 1992).
 I GrattanGuinness, Dear Russell, Dear Jourdain: A Commentary on Russell's Logic, Based on His Correspondence with Philip Jourdain (New York: Columbia University Press, 1977).
 G H Hardy, Bertrand Russell and Trinity, (Cambridge: Cambridge University Press, 1970).
 A D Irvine, Bertrand Russell: Critical Assessments, 4 vols, (London: Routledge, 1996).
 C W Kilmister, Russell (1984).
 E D Klemke (ed.), Essays on Bertrand Russell (Urbana, 1970).
 P G Kuntz, Bertrand Russell (1986).
 R Monk, Bertrand Russell : the spirit of solitude (London, 1996).
 C Moorehead, Bertrand Russell : a life (London, 1992).
 F A RodriguezConsuegra, The Mathematical Philosophy of Bertrand Russell: Origins and Development (Basel: Birkhauser Verlag, 1991).
 R M Sainsbury, Russell (1985).
 P A Schilpp (ed.), The Philosophy of Bertrand Russell, (Chicago: Northwestern University, 1944, 3rd ed., New York: Harper and Row, 1963).
 R Schoenman (ed.), Bertrand Russell : philosopher of the century : essays in his honour (London, 1967).
 J G Slater, Bertrand Russell (Bristol: Thoemmes, 1994).
 J Watling, Bertrand Russell (Edinburgh, 1970).
 C D Broad, Bertrand Russell as Philosopher, Bulletin of the London Mathematical Society 5 (1973), 328341.
 R Carnap, The Logicist Foundations of Mathematics, Erkenntnis 2 (1931), 91105. Repr. in P Benacerraf and H Putnam (eds), Philosophy of Mathematics, 2nd ed. (Cambridge: Cambridge University Press, 1983), 4152, in E D Klemke (ed.), Essays on Bertrand Russell (Urbana: University of Illinois Press, 1970), 341354, and in D F Pears (ed.), Bertrand Russell: A Collection of Critical Essays (Garden City, New York: Anchor Books, 1972), 175191.
 A Church, Comparison of Russell's Resolution of the Semantical Antinomies With That of Tarski, Journal of Symbolic Logic 41 (1976), 747760.
 R O Gandy, Bertrand Russell, as Mathematician, Bulletin of the London Mathematical Society 5 (1973), 342348.
 K Gödel, Russell's Mathematical Logic, in P A Schilpp (ed.), The Philosophy of Bertrand Russell, 3rd ed., (New York: Tudor, 1951), 123153. Repr. in P Benacerraf and H Putnam (eds), Philosophy of Mathematics, 2nd ed., (Cambridge: Cambridge University Press, 1983), 447469, and in D F Pears, (ed.) Bertrand Russell: A Collection of Critical Essays, (Garden City, New York: Anchor Books, 1972), 192226.
 G Hellman, How to Gödel a FregeRussell: Gödel's Incompleteness Theorems and Logicism, Nous 15 (1981), 451468 and in A D Irvine, Bertrand Russell: Critical Assessments, Vol 2, (London: Routledge, 1996).
 P W Hylton, Logic in Russell's Logicism, in D Bell and N Cooper (eds), The Analytic Tradition: Philosophical Quarterly Monographs, Vol. 1, (Cambridge: Blackwell, 1990), 137172 and in A D Irvine, Bertrand Russell: Critical Assessments, Vol 2, (London: Routledge, 1996).
 A D Irvine, Epistemic Logicism and Russell's Regressive Method, Philosophical Studies 55 (1989), 303327.
 W V Quine, On the Theory of Types, Journal of Symbolic Logic 3 (1938), 125139 and in A D Irvine, Bertrand Russell: Critical Assessments, Vol 2, (London: Routledge, 1996).
 F P Ramsey, Mathematical Logic, Mathematical Gazette 13 (1926), 185194. Repr. in F P Ramsey, The Foundations of Mathematics (London: Kegan Paul, Trench, Trubner, 1931), 6281, in F P Ramsey, Foundations (London: Routledge and Kegan Paul, 1978), 213232, and in F P Ramsey, Philosophical Papers (Cambridge: Cambridge University Press, 1990), 225244.
Additional Resources (show)
Other pages about Bertrand Russell:
Other websites about Bertrand Russell:
 Dictionary of Scientific Biography
 Dictionary of National Biography
 Encyclopaedia Britannica
 NNDB
 Bertrand Russell Editorial Project
 The Bertrand Russell Society
 Nobel prizes site (A Biography of Russell his Nobel lecture and his Nobel prize presentation speech)
 Stanford Encyclopedia of Philosophy
 Stanford Encyclopedia of Philosophy (Principia Mathematica)
 Cut the Knot (The Russell Paradox)
 Internet Encyclopedia of Philosophy (The Russell Paradox)
 Eric Schechter (The Axiom of Choice)
 Mathematical Genealogy Project
 MathSciNet Author profile
 zbMATH entry
 ERAM Jahrbuch entry
Honours (show)
Honours awarded to Bertrand Russell
Crossreferences (show)
 History Topics: A history of set theory
 History Topics: Christianity and the Mathematical Sciences  the Heliocentric Hypothesis
 History Topics: The real numbers: Attempts to understand
 History Topics: The real numbers: Stevin to Hilbert
 Other: 1912 ICM  Cambridge
 Other: Earliest Known Uses of Some of the Words of Mathematics (A)
 Other: Earliest Known Uses of Some of the Words of Mathematics (B)
 Other: Earliest Known Uses of Some of the Words of Mathematics (C)
 Other: Most popular biographies
Written by
A D Irvine,
href = "mailto:irvine@plato.stanford.edu">irvine@plato.stanford.edu or
href = "mailto:irvine@unixg.ubc.ca">irvine@unixg.ubc.ca
Last Update December 1996
Last Update December 1996