# Bertrand Russell: Logic

For Russell, Aristotelian syllogistic inference does not do justice to the subject of logic. This is surely not surprising. It may well be something of a surprise, however, to learn that in Russell’s view neither Boolean algebra nor modern quantification theory do justice to the subject. For Russell, logic is a synthetic *a priori* science studying all the kinds of structures there. This thesis about logic makes up the lion’s share of Russell’s philosophy of logic until the late 1920’s, and we shall have little to say of his flirtations with the naturalization of mind thereafter. We shall have much to say about his views on the ontology of structures, for they underwent extensive changes in the time from his writing *The Principles of Mathematics* (1903) to the three of the four projected volumes of *Principia Mathematica* (1910, 1912, 1913) coauthored with Alfred North Whitehead. The fourth volume on geometry never appeared. Much of this article’s presentation of Russell’s Logic will concern Russell’s various logical systems as they pertain to his Logicism. In “Mathematics and the Metaphysicians” (1901), Russell’s heralds his logicist thesis, observing that mathematics has enjoyed a conceptual revolution. One of the chief triumphs of modern mathematics, he explains, consists in having discovered that mathematics studies relational structure and is therefore free of commitment to the metaphysicians’ abstract particulars such as numbers and spatial figures. This revolutionary conception of mathematics was made possible by advances in geometry, especially in non-Euclidean geometry, and advances in analysis, where *real* numbers, *limits* and *continuity* were newly defined by thinkers such as Cantor, Dedekind, and Weierstrass. On the new conception or mathematics, it is relational *order*, not *magnitude* that is the focus. Meanwhile, Logic was also enjoying a conceptual revolution due to Gottlob Frege, who maintained that with the impredicative comprehension of functions, logic (that is, comprehension principle logic, ‘cp-Logic’ hereafter) is an informative science. Russell took this new science to be a study of relational structure, conducted by studying relations independently of whether they are exemplified. The branches of mathematics, in Russell’s view, are studies of different sorts of relations, which structure their fields. Mathematics, then, is a branch of the cp-Logic of relations.

### Table of Contents

- Russell’s Logicism
- The Simple Type Syntax of
*Principia*^{L} - Developments:
*Principia Mathematica*’s Section 8, Definite Descriptions, Class Expressions - The Ramified-Type Syntax of Church’s
*Principia*^{C} - The Quantification Theory of Propositions in
*Theory of Implication*(c. 1905) - The Substitutional Theory of Propositions (1905)
- The Substitutional Theory Without General Propositions (1906)
- Church’s
*Principia*^{C}and Russell’s*Orders of Propositions*(c. 1907) - Appendix A: Quantification Theory in
*The Principles of Mathematics* - Appendix B: The 1925 experiment of
*Principia Mathematica*^{W} - References and Further Reading

## 1. Russell’s Logicism

In *The Art of Philosophizing*, Bertrand Russell offered the following admonishment:

If you wish to become a logician, there is one piece of advice which I cannot urge too strongly, and that is: Do *Not* learn the traditional formal logic. In Aristotle’s day it was a creditable effort, but so was the Ptolemaic astronomy. To teach either in the present day is a ridiculous piece of antiquarianism.

Russell’s own logics are tailored to his Logicism. Care must be taken in using the word ‘Logicism,’ however, since its advocates have had quite different agendas and quite different conceptions of what it entails. Carnap’s characterization presents Logicism as wedded to a deductive thesis according to which all the truths of mathematics can be *derived* as theorems from a consistent axiomatic foundation that captures all and only logical truths. This use of ‘Logicism’ can lead to confusion. This form of Logicism belongs neither to Frege’s nor to Russell’s conception. Though both held that a system of cp-Logic is consistently recursively axiomatizable, neither made it definitive of Logicism. Gödel showed that a consistent axiomatic calculus adequate to represent every recursive natural number theoretic function is negation incomplete. That is, for each such calculus there is a *wff *(well-formed formula) *G* such that neither *G* nor ~*G* is a theorem. Since either *G* or ~*G *is true in the standard model, the consistent axiomatic system must leave out a truth of arithmetic. But this is also irrelevant to Logicism as Frege and Russell understood it.

Let us put forth the following definition that altogether separates the deductive thesis from the Logicist thesis. Russell’s Logicism is expressed by this definition:

^{R}Logicism *=df* pure mathematics is a branch of cp-Logic.

Russell’s Logicism is the thesis that all branches of mathematics, including geometry, Euclidean or otherwise, are studies of relational structures and therefore are studies that can be subsumed within the cp-Logic of relations. Cp-Logic is *not *modern quantification theory with identity. It is a quantification theory that enables the binding of predicate variables as well as individual variables and which embraces the *impredicative* comprehension of relations independently of whether these relations are exemplified. Its impredicativity indicates that no restrictions are to be placed on the quantifiers occurring in the *wffs *which give the exemplification conditions for comprehension of universals.

Two important revolutions, one due to Cantor and another due to Frege, are behind Russell’s Logicism and it would inconceivable without them. Henri Poincaré, a prominent mathematician, never could embrace the revolutions. Poincaré thought of logic and mathematics in the old ways, with mathematics about metaphysical abstract particulars, numbers and spatial figures, and logic constrained to proper *inference* in reason—a theory of a deductive *consequence *relation. Poincaré thought Russell’s Logicism entailed that mathematicians are to change their creative practices and tailor proofs techniques into the *p’*s and *q*’s of a canonical logistic. Russell’s Logicism entails no such transformation. It simply maintains that, as a study of relational structures, mathematics is a part of cp-Logic as the synthetic *a priori* science studying all the kinds of relational structures there are by studying the way relations, exemplified or not, order their fields. This is not a movement coming *outside *of mathematics. It comes from *within*. It implies that mathematicians are doing cp-Logic—that is, studying relation structures—when they do mathematics.

In Russell’s view, Cantor’s revolution, together with such figures as Weierstrass, Dedekind and Pieri, was responsible for inaugurating the transformation of all branches of mathematics into studies of kinds of relational structures. Russell’s agenda was to demonstrate that abstract particulars are nowhere needed in any branch of mathematics. Frege’s revolution was no less central to Russell’s unique Logicism. It was responsible for transforming the field of logic into cp-Logic, which, as Frege saw it, embraces the informative impredicative comprehension of functions. It was precisely this imprediative comprehension that enabled his new cp-Logic to be an informative science capable of capturing the notions of the *ancestral* and *cardinal number*, and to arrive at a theorem of mathematical induction. Frege had seen this already in his *Begriffsschrift *(1879). Russell came to appreciate it slowly. Frege never quite embraced what Russell regarded as the Cantorian revolution and certainly did not have the Russellian agenda of eliminating abstract particulars—not from geometry and certainly not from the arithmetic of numbers (cardinal, natural, and so on). Quite to the contrary, Frege was adamant in maintaining that cardinal numbers are *objects*.

In *The* *Principles of Mathematics* (1903) Russell’s aim is to explain his Logicism.

*The* *Principles of Mathematics* operates with an ontology of logically necessary abstract particulars that are called ‘propositions’. They are mind and language independent entities some of which have the unanalyzable property of being *true* while others are *false*. The work was to have a second volume which worked out in a technically formal symbolic way the doctrines of the first volume. The second volume would also solve paradoxes such as Cantor’s paradox of the greatest cardinal, the Burali-Forti paradox of the greatest ordinal, and Russell’s paradoxes of classes and attributes (*The* *Principles of Mathematics* , p. *xvi*). The second volume was to have been coauthored with Alfred North Whitehead who had been a long-time mentor of Russell in mathematics and whose work on abstract algebra is a natural ally of the logicist agenda. But, the project was abandoned.

Instead, Whitehead and Russell produced *Principia Mathematica*. The Preface goes so far as to say that the work of *Principia Mathematica* had begun in 1900, even prior to the publication of *The* *Principles of Mathematics.* It explains that instead of a second volume for *The* *Principles of Mathematics *couched in an ontology of logical necessary existing propositions, the work offers a fresh start avoiding abstract particulars not only in all the branches of mathematics but avoiding them in the field of cp-Logic itself (*Principia Mathematica, *p. *v*). Ultimately, Russell went on to endeavor to eliminate abstract particulars from philosophy altogether. This is the agenda of his book *Our Knowledge of the External World as a Field for Scientific Method in Philosophy* (1914) which offered a research program that made *Principia Mathematica’s* cp-Logic the essence of philosophy. The program, Russell thought, held promise for solving all philosophical problems—problems arising from the paucity of imagination among speculative metaphysicians that results in an inadequate logic that produces indispensability arguments for abstract particulars and kinds of non-logical necessity governing them.

Though Russell’s transition from *The* *Principles of Mathematics* to *Principia Mathematica* is quite complicated, the logicist thesis of the former has not changed at all in the latter. Ample evidence can be found in *Principia Mathematica *in the following:

Section A: The theory of Deduction (p. 90).

Summary of *Principia’s *Part I (p. 87).

Summary of Part II, Section A: Prolegomenon to Cardinal Arithmetic (p. 329).

*Principia Mathematica* says, for example, that the subject of cardinal arithmetic is regarded as different only in degree from the subject matter of logic discussed in Part I. *Principia Mathematica *is surely advocating Logicism just as in *The* *Principles of Mathematics*, but some quite striking changes occur between the two works. For example, in *Principia Mathematica *Whitehead and Russell no longer regard the infinity of natural numbers to be a subject for mathematics to decide. This result so surprised Boolos (1994) that he concluded that work no longer advances Logicism. But quite to the contrary, it stems from the same source as the discovery in non-Euclidean geometry that not all right triangles obey the Pythagorean theorem. The agenda is to reject indispensability arguments for abstract particulars; the results follow from there. Similarly, that the infinity of the natural numbers is not a mathematical issue follows from the rejection of *classes *or *sets *as abstract particulars. There are many such surprises in *Principia Mathematica. *Another is the discovery that Hume’s Principle, which asserts that the cardinals of two classes are the same if and only if the classes are similar, admits of exceptions (see Landini 2016). Though the conception of Logicism has not changed, it is easy to see that quite a lot happened in the interim between *The* *Principles of Mathematics* and *Principia Mathematica*.

For a great many years the interim period has been akin to the dark ages whose role in modern science has only recently come to light. In this period, Russell worked steadfastly to emulate the impredicative comprehension of cp-Logic in an ingenious substitutional logic of propositional structure. The foundations of the idea to find a substitutional theory to emulate a simple type of universals (and thereby classes) is already manifest in Appendix B of *The* *Principles of Mathematics *itself. But, it used the substitution of *denoting concepts* (‘all *a*’, ‘some *a*’, ‘the *a*’, ‘an *a*’ ‘any *a*’ and ‘every *a*’). The theory of denoting concepts of *The* *Principles of Mathematics* proved to be a quagmire and without the 1905 theory of definite descriptions, Russell could not execute the plan for a substitutional theory (see, Landini 1998b). The substitutional theory finally became viable in 1905 and it pervaded Russell’s work until 1908, but most of it was almost completely unknown until the 1980’s. Happily, much of Russell’s work during this time has become clear such that we can better understand the evolution of *Principia Mathematica* and Russell’s apparently sudden abandonment of propositions. Contrary to years of misunderstanding, the evolution of Russell’s mathematical logic toward *Principia Mathematica* was not driven by a misguided interest in finding a common solution of both *logical* and *semantic* paradoxes. What ended Russell’s substitutional theory of propositional structure was not problems of unity, not problems concerning Liar paradoxes of propositions, and certainly not semantic paradoxes of naming or denoting or defining characteristic of the Richard paradox or Berry or the Grelling. What ended the substitutional theory was a paradox, here called Russell’s ‘ / paradox’. Unlike Liars and semantics paradoxes, it is a Cantorian diagonal paradox grounded in the fact that the emulation of simple types of attributes in the substitutional theory is inconsistent with Cantor’s power-theorem that assures that there can be no function from objects (propositions being themselves objects) onto properties of those objects.

In summary, the whole of Russell philosophical work in mathematical logic may be seen in terms of his trials and tribulations at emulating an impredicative simple-type regimented cp-Logic of universals. Our focus, therefore, is squarely on the evolution of the cp-Logic of *Principia Mathematica*. In what follows, we shall outline the major logical systems that led Whitehead and Russell to *Principia Mathematica*’s syntax and formal theory and the informal semantic interpretation they gave it. Since Russell’s work toward a substitutional theory in *The* *Principles of Mathematicss* ended in a quagmire and did not yield a formal system, we shall not pause to discuss it. The basic quantification theory of *The* *Principles of Mathematics* was replaced by the 1905 “Theory of Implication” which formed the quantification theory for logic of substitution which was to appear in Whitehead and Russell second volume of *The* *Principles of Mathematics.*

When Russell abandoned the propositions of his substitutional theory, he abandoned the idea of a second volume for *The* *Principles of Mathematics*. But he did not abandon hope that an emulation of an impredicative simple-type stratified regimentation of the cp-Logic of universals might still be found. In the introduction to the first edition of *Principia Mathematica*, Whitehead and Russell propose an informal nominalistic semantic interpretation of the object-language bindable predicate variables. But by 1920, Russell had come to realize that such a nominalistic semantics could not validate impredicative comprehension axioms. Only a Realist semantics can validate the comprehension principles *Principia Mathematica’s* impredicative simple-type regimented cp-Logic. Russell never stopped trying, however. In its 1925 second edition, Russell experimented with Wittgensteinian ideas for emulating impredicative comprehension, imagining an altered grammar to accommodate extensionality. Whitehead was not happy with this experiment being included in the new edition since neither he nor Russell intended to advocate it. Alas, Whitehead was right (see, for example, Lowe 1990, Monk 1996). The ideas of the 1925 second edition are sketched in an appendix and end our discussion of Russell’s logics.

## 2. The Simple Type Syntax of *Principia*^{L}

## 3. Developments: *Principia Mathematica*’s Section 8, Definite Descriptions, Class Expressions

## 4. The Ramified-Type Syntax of Church’s *Principia*^{C}

## 5. The Quantification Theory of Propositions in *Theory of Implication* (c. 1905)

## 6. The Substitutional Theory of Propositions (1905)

## 7. The Substitutional Theory Without General Propositions (1906)

## 8. Church’s *Principia*^{C} and Russell’s Orders of Propositions (c. 1907)

## 9. Appendix A: Quantification Theory in *The Principles of Mathematics*

## 10. Appendix B: The 1925 experiment of *Principia Mathematica*^{W}

## 11. References and Further Reading

### a. Works by Russell

*The Collected Papers of Bertrand Russell*, Vol. 4,*Foundations of Logic: 1903-1905*, ed. by Alsdair Urquhard (London: Routledge, 1994).*The Collected Papers of Bertrand Russell*, Vol. 6,*Logic and Philosophy Papers: 1901-1913*, ed. John G. Slater (London, Routledge, 1992).*The Principles of Mathematics*, (*PoM*) second-edition (New York: W.W. Norton & Co., second edition 1937, 1964). First edition (London: Allen & Unwin, 1903).- “On Denoting,” in
*Essays in Analysis*, pp. 103-119.First published in*Mind*14 (1905), pp. 479-493. - “On Fundamentals,”
*Collected Papers*Vol. 4, pp. 359-413. - “On The Logic of Relations,” in
*Logic and Knowledge*Essays, pp. 3-38. First published as “Sur la logique des relations,”*Rivista di Mathematica,*Vol. vii, (1901), pp. 115-148. - “On the Relation of Mathematics to Logic,” in
*Essays in Analysis*, pp. 260-271. First published as “*Sur la Relation des Mathématiques**B**la Logistique*,” in*Revue de Métaphysique**et de Morale*13, (1905) pp. 906-917. - “On Some Difficulties in the Theory of Transfinite Numbers and Order Types,” in
*Essays in**Analysis*, pp. 135-164. First published in*Proceedings of the London Mathematical Society*4 (March 1906), pp. 29-53. - “On the Substitutional Theory of Classes and Relations,” in
*Essays in Analysis*, pp. 165-189. Manuscript received by the London Mathematical Society on 24 April 1905. - “On ‘Insolubila’ and Their Solution By Symbolic Logic,” in
*Essays in Analysis*, pp. 190-214. First published as “Les Paradoxes de la Logique,”*Revue de Métaphysique et de Morale*, 14 (1906) pp. 627-50. - “Mathematical Logic as Based on the Theory of Types,” in
*Logic and Knowledge,*pp. 59-102. First published in*The**American Journal of Mathematics*30 (1908), pp. 222-62. *Philosophy*(New York: W. W. Norton & Co., 1927).*Principia Mathematica*(coauthored by A. N Whitehead), s*econd edition*(Cambridge, 1925, 1962); First edition, Cambridge, Vol. 1 (1910), Vol. 2 (1911), Vol. 3 (1913).*Principia Mathematica to *56*(Cambridge, 1964).*Introduction to Mathematical Philosophy*(London: Allen & Unwin, 1919, 1953).*My Philosophical Development*(New York: Simon & Schuster, 1959).*The Art of Philosophizing*(New York: Philosophical Library, 1968).

### b. Books and Articles

- Blackwell, Kenneth. “The Early Wittgenstein and the Middle Russell,” in Irving Block ed.,
*Perspectives on the Philosophy of Wittgenstein*(Cambridge, MIT Press, 1981), p. 27, fn. 3. - Boolos, George. 1994 “The Advantages of Honest Toil over Theft,” in Alexander George, ed., Mathematics and Mind (Oxford: Oxford University Press), pp. 27-44.
- Church, Alonzo. (1956).
*Introduction to Mathematical Logic*(New Jersey: Princeton University Press). - Church, Alonzo. 1976 “Comparison of Russell’s Resolution of the Semantical Antinomies with that of Tarski,”
*Journal of Symbolic Logic*41, pp. 747-760. - Church, Alonzo. (1984) “Russell’s Theory of the Identity of Propositions,”
*Philosophia Naturalis*21, pp. 513-22. - Cocchiarella, Nino. 1987 “The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell’s Early Philosophy,”
*Synthese*45 (1980), pp. 71-115. Reprinted in*Logical Studies in Early Analytic Philosophy*(Columbus: Ohio State University Press), pp.19-63. - Cocchiarella, Nino. 1987 “Logical Atomism and Modal Logic,” in
*Logical Studies in Early Analytic**Philosophy*(Columbus: Ohio State University Press), pp. 222-243. - Cocchiarella, Nino. 1987 “Logical Atomism, Nominalism and Modal Logic,”
*Philosophia*,*Philosophical**Quarterly of Israel*4, (1974), pp. 41-44. Reprinted in*Logical Studies in Early Analytic**Philosophy*(Columbus: Ohio State University Press), pp. 244-284. - Cocchiarella, Nino. 1987 “Russell’s Theory of Logical Types and the Atomistic Hierarchy of Sentences,” in Nino Cocchiarella,
*Logical Studies in Early Analytic Philosophy*, (Columbus, Ohio State University Press, ), pp. 193-221. - Copi, Irving. 1971
*The Theory of Logical Types*(London: Routledge & Kegan Paul). - Frege, Gottlob. 1884
*The**Foundations of Arithmetic*, translated by J. L. Austin (Northwestern University Press, 1980). First published as*Die Grundlagen der Arithmetik*:*eine**Logisch-Mathematische Untersuchung**h**ber den Begriff der Zahl*, (Breslau,*1884*). - Frege, Gottlob
*.*1893*Grundgesetze der Arithmetik*, Vol. I (Jena,*1893*), Vol. II (Jena 1903) Reprinted by Darmstadt Hildesheim: Georg Olms Verlag, 1962). - Frege, Gottlob. 1892 “On Concept and Object,” in eds., Peter Geach and Max, Black,
*Translations from**the Philosophical Writings of Gottlob Frege*, (Oxford: Basil Blackwell, 1977), pp. 21-41. First published as*Über Begriff und Gegenstand*” in*Vierteljarsschrift f**h**r wissenschaftliche Philosophie*, vol. XIV 1892, pp. 192-205. - Frege, Gottlob. 1980
*Philosophical and Mathematical Correspondence,*edited by Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Verrart, and abridged from the German edition by Brian McGuinness and translated by Hans Kaal (Chicago: University Press). - Frege, Gottlob. 1964
*The Basic Laws of Arithmetic: Exposition of the System,*translated with an editor’s introduction by Montgomery Furth (Berkeley: University of California Press). - Galaugher, Jolen. 2013 “Substitution’s Unsolved Insolubilia,”
*Russell*3, pp. 5-30. - Geach, P. T. 1956 “Frege’s Way Out” Mind 65, pp. 408-409.
- Gödel, Kurt. 1944 “Russell’s Mathematical Logic,” in ed., Paul Arthur Schilpp, T
*he**Philosophy of Bertrand Russell*(Evanston: Northwestern University Press), 125-153. - Grattan-Guinness, Ivor. 1977 Dear Russell- Dear Jourdain (London: Duckworth).
- Grattan-Guinness, Ivor. 2001
*In Search for Mathematical Roots 1870-1940: Logic, Set Theories and**the Foundations of Mathematics from Cantor Through Russell to Gödel*(Princeton University Press). - Griffin, Nicholas. 1981 “Russell on the Nature of Logic”
*Synthese*45, pp. 117-188. - Griffin, Nicholas. ed., 2003
*The Cambridge Companion to Bertrand Russell*(Cambridge University Press). - Hatcher, William. 1982
*The Logical Foundaions of Mathematics*(Oxford: Pergamon Press). - Hazen, Allen. 2004 “A ‘Constructive’ Proper Extension of Ramified Type Theory; The Logic of
*Principia Mathematica*, Second Edition, Appendix B,” in ed., Godehard Link,*One Hundred Years of Russell’s Paradox*(Berlin: Walter de Gruyter), pp. 449-480. - Holroyd Michael. 1967
*Lytton Strachey*(London: Heinemann) - Landini, Gregory. 1996 “The
*Definability*of the Set of Natural Numbers in the 1925*Principia**Mathematica*,”*Journal of Philosophical Logic*25, pp. 597-615. - Landini, Gregory
*.*1998a*Russell’s Hidden Substitutional Theory*(New York: Oxford University Press). - Landini, Gregory. 1998b “On Denoting Against Denoting,”
*Russell*18, pp. 43-80. - Landini, Gregory. 2000 “Quantification Theory in *9 of
*Principia Mathematica*,”*History and**Philosophy of Logic*21, pp. 57-78. - Landini, Gregory. 2004
*a*Logicism’s ‘Insolubilia’ and Their Solution By Russell’s Substitutional Theory,” in ed., Godehard Link,*One Hundred Years of Russell’s Paradox*(New York: De Gruyter), 373-399. - Landini, Gregory. 2004
*b*“Russell’s Separation of the Logical and Semantic Paradoxes,” in Philippe de Rouilhan, ed.,*Russell en héritage*, (Revue Internationale Philosophie 3, pp. 257-294. - Landini, Gregory. 2005 “Quantification Theory in *8 of
*Principia Mathematica*and the Empty Domain,”*History and Philosophy of Logic*, 25, pp. 47-59. - Landini, Gregory. 2007 Wittgenstein’s Apprenticeship With Russell (Cambridge: Cambridge University Press).
- Landini, Gregory. (2013
*a*) “Zermelo and Russell’s Paradox: Is there a Universal set?”*Philosophica**Mathematica*, vol. 21, pp. 180-199. - Landini, Gregory. (2013
*b*) “Review of Bernard Linsky,*The Evolution of Prinicpia Mathematica: Bertrand**Russell’s Manuscripts and Notes fo the Second Edition*,”*History and Philosophy of**Logic*34, pp. 79-97. - Landini, Gregory. 2016 “Whitehead’s Badly Emended Principia,”
*History and Philosophy of Logic*37, pp. 1-56. - Linsky, Bernard. 1999
*Russell’s Metaphysical Logic*(Stanford: CSLI Publications). - Lowe, Victor. 1990 Alfred North Whitehead: The Man and His Work. Volume II: 190-1947 edited by J. B. Schneewind (Baltimore: Johns Hopkins University Press).
- Monk, Ray.
*Bertrand Russell: The Ghost of Madness 1921-1970*(The Free Press, 2001). - Myhill, John. 1974 “The Undefinability of the Set of Natural Numbers in the Ramified
*Principia*,” in George Nakhnikian, ed.,*Bertrand Russell’s Philosophy*(New York: Barnes & Noble), pp. 19-27. - Quine, W.V.O. 1954 “Quantification and the Empty Domain,”
*Journal of Symbolic Logic*19, pp. 177-179. - Quine, W.V.O. “Frege’s Way Out” Mind 64 (1955), pp. 145-159.
- Quine, W.V.O. 1980
*Set Theory and Its Logic*(Cambridge: Harvard University Press). - Ramsey, Frank.1925 “The Foundations of Mathematics,” in ed., R. B. Braithwaite ed
*., The**Foundations of Mathematics and Other Essays by Frank Plumpton Ramsey*(Harcourt, Brace and Co., 1931), pp. 1-61. First published in the*Proceedings of the London**Mathematical Society*, 25 (1925), pp. 338-84. - Rouilhan (de), Philippe. 1996
*Russell et le cercle des paradoxes*(Paris: Presses Universitaries de France), p. 275. - Schmid, Anne-Françoise. 2001 ed., with commentary,
*Bertrand Russell: Correspondence sur la**Philosophie, la Logique et la Politique avec Louis Couturat 1897-1913*( Paris: édition Kimé, volume I, II). - Van Heijenoort, Jean. 1967 “Logic as Calculus and Logic as Language,”
*Synthese*17, pp. 324-30. - Whitehead, A. N. 1911
*An**Introduction to Mathematics*(London: Williams and Norgate). - Wittgenstein, Ludwig. 1914
*Notebooks 1914-1916,*ed. by G. H. Von Wight and G. E. M. Anscombe, (Chicago: University of Chicago Press, 1979). - Wolfe, Mays. 1967 “Recollections of Wittgenstein,” in K. T. Fann (ed),
*Ludwig**Wittgenstein: The Man and His Philosophy*(New Jersey).

### Author Information

Gregory Landini

Email: gregory-landini@uiowa.edu

University of Iowa

U. S. A.