Skip to main content Accessibility help
×
Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-11-25T06:51:04.043Z Has data issue: false hasContentIssue false

Russell's logics

from ARTICLES

Published online by Cambridge University Press:  27 June 2017

René Cori
Affiliation:
Université de Paris VII (Denis Diderot)
Alexander Razborov
Affiliation:
Institute for Advanced Study, Princeton, New Jersey
Stevo Todorčević
Affiliation:
Université de Paris VII (Denis Diderot)
Carol Wood
Affiliation:
Wesleyan University, Connecticut
Get access

Summary

Abstract. In 1903, inAppendixBof The Principles ofMathematics, Russell described a paradox he had discovered late in 1902. This paradox is more difficult than the better known paradox of 1901, which depends upon the notion of set. The later paradox concerns what we should call today the “hyperintensional” notion of proposition, understood as the meaning of a possible sentence, and it reveals that this notion is subject to difficulties analogous to those that the earlier paradox uncovered in the concept of set. Russell seems to have forgotten or ignored the 1903 paradox, for he never mentioned it again, at least in works published in his lifetime. John Myhill rediscovered it, in a slightly different form, in 1958; consequently it attracted the attention of logicians, notably Church, in the seventies.

The hyperintensional paradox, and others of the same sort, have been unjustly neglected. When they and their implications are taken into account, the development of Russell's thought, and the history of logic in general, from The Principles to Principia Mathematica, appear in a new light. If we look with care at the succession of logics that Russell conceived, it becomes evident that logical paradoxes of this little known kind played an important role. Indeed, Russell himself underestimated their significance and gave undue weight to the epistemological paradoxes. This has led many to overemphasize the importance of the semantical paradoxes.

There are at least three ways of telling the story of Russellian logic, which may be qualified as popular, scholarly, and rational. I'll consider them in turn. It is in terms of the last one that I have tried, over the course of last years, to contribute to the renewal of Russellian studies in logic. The results of my efforts have essentially been consigned to a book [17], whose ideas are echoed here and to which I refer the interested reader for fuller details and references.

The popular story. Here is the popular story, recounted as simply as possible.

Like Frege, Russell thought that he could solve the problem of the foundations of mathematics (from elementary arithmetic to classical mathematical analysis) by showing that they were reducible to logic (this was the fundamental thesis of “logicism”). Logic was then understood in a broad sense, covering notably the Cantorian theory of sets.

Type
Chapter
Information
Logic Colloquium 2000 , pp. 335 - 349
Publisher: Cambridge University Press
Print publication year: 2005

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] Serge, Bozon, Review of Philippe, de Rouilhan's “Russell et le cercle des paradoxes”, Dialogue, vol. 40 (2001), pp. 820–824.Google Scholar
[2] Alonzo, Church, Schröder's anticipation of the simple theory of types, Erkenntnis, vol. X (1976), pp. 407–411, “This paper was presented at the Fifth International Congress for the Unity of Science in Cambridge, Massachusetts, in 1939. Preprints of the paper were distributed to the members of the Congress and the paper was to have been published in The Journal of Unified Science (Erkenntnis), Volume IX, pp. 149–152. But this volume never appeared and the paper has not otherwise had publication”, p. 411.Google Scholar
[3] Alonzo, Church, Outline of a revised formulation of the logic of sense and denotation, part I, Noûs, vol. 7 (1973), pp. 24–33, part II, Noûs, vol. 8 (1974), pp. 135–136.Google Scholar
[4] Alonzo, Church, Russell's theory of identity of propositions, Philosophia Naturalis, vol. 21 (1984), pp. 513–522.Google Scholar
[5] Solomon, Feferman, Infinity in mathematics: Is Cantor necessary?, L'infinito nella scienza—Infinity in Science (Giuliano Toraldo di Francia, editor), Istituto della Enciclopedia Italiana, Roma, 1987, Reprinted in [7].
[6] Solomon, Feferman, In the light of logic, Oxford University Press, Oxford, 1998.
[7] Gottlob, Frege, Nachgelassene Schriften (H., Hermes,F., Kambartel, and F., Kaulbach, editors), Felix Meiner, Hamburg, 1969.
[8] Kurt, Gödel, Russell's mathematical logic, The philosophy of Bertrand Russell (P.A., Schilpp, editor), Northwestern University, Chicago, 1944.
[9] Peter, Hylton, Russell's substitutional theory, Synthese, vol. 45-1 (1980), pp. 1–31.Google Scholar
[10] Gregory, Landini, Russell's hidden substitutional theory, Oxford University Press, Oxford, 1998.
[11] John, Myhill, Problems arising in the formalization of intensional logic, Logique et Analyse, vol. 1 (1958), pp. 74–83.Google Scholar
[12] Willard, Van Orman Quine, On the axiom of reducibility, Mind, vol. 45 (1936), pp. 498–500.Google Scholar
[13] Willard, Van Orman Quine, Set theory and its logic, Harvard University Press, Cambridge, Massachusetts, 1963, second edition: 1969.
[14] Frank Plumpton, Ramsey, The foundations of mathematics, Proceedings of the London Mathematical Society, vol. 25 (1926), pp. 338–384, paper read before the London Mathematical Society in 1925.Google Scholar
[15] François, Rivenc, Recherches sur l'universalisme logique—Russell etCarnap,Payot, Paris, 1993.
[16] Philippe, de Rouilhan, Frege—les paradoxes de la repreśentation, Éditions de Minuit, Paris, France, 1988.
[17] Philippe, de Rouilhan, Russell et le cercle des paradoxes, Presses Universitaires de France, Paris, France, 1996.
[18] Philippe, de Rouilhan, On what there are, Proceedings of the Aristotelian Society, vol. 102 (2001–2002), pp. 183–200.Google Scholar
[19] Bertrand, Russell, The principles of mathematics, Cambridge University Press, Cambridge, 1903, 2d ed:G., Allen and Unwin, 1937.
[20] Bertrand, Russell, On denoting, Mind, vol. 14 (1905), pp. 479–493.Google Scholar
[21] Bertrand, Russell, On some difficulties in the theory of transfinite numbers and order types, Proceedings of the London Mathematical Society, vol. 4 (1906), pp. 183–200, paper read before the London Mathematical Society in 1905.Google Scholar
[22] Bertrand, Russell, On the substitutional theory of classes and relations, Essays in analysis (D., Lackey, editor), Allen and Unwin, London, 1973, paper read before the London Mathematical Society in 1906.
[23] Bertrand, Russell, Les paradoxes de la logique, Revue deMétaphysique et deMorale, vol. 14 (1906), pp. 627–650, (original english version, “On ‘Insolubilia’ and their Solution by Symbolic logic”, published in [11]).Google Scholar
[24] Bertrand, Russell, Mathematical logic as based on the theory of types, American Journal of Mathematics, vol. 30 (1908), pp. 222–262.Google Scholar
[25] Bertrand, Russell, My philosophical development, Allen and Unwin, London, 1959.
[26] Bertrand, Russell, The autobiography of Bertrand Russell, Allen and Unwin, London, Vol. I (1872– 1914): 1967; Vol. II (1914–1944): 1968; Vol. III (1944–1967): 1969.
[27] Bertrand, Russell, Essays in analysis, Allen and Unwin, London, 1973, (D., Lackey, editor).
[28] Paul Arthur, Schilpp (editor), The philosophy of Bertrand Russell, Northwestern University, Chicago, 1994.
[29] Alfred North, Whitehead and Bertrand, Russell, Principia mathematica, Cambridge University Press, Cambridge, Vol. I, 1910; Vol. II, 1912; Vol. III, 1913; 2d edition: Vol. I, 1925; Vol. II & III, 1927.
[30] Ludwig, Wittgenstein, Logisch-Philosophische Abhandlung, Annalen der Naturphilosophie, vol. 14 (1921).Google Scholar

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×