Skip to main content Accessibility help
×
Hostname: page-component-7479d7b7d-rvbq7 Total loading time: 0 Render date: 2024-07-10T09:29:36.568Z Has data issue: false hasContentIssue false

8 - The Theory of Types

Published online by Cambridge University Press:  28 May 2006

Nicholas Griffin
Affiliation:
McMaster University, Ontario
Get access

Summary

introduction

A surprising feature of Russell's work in logic is that he began and ended with a theory of types. This chapter begins with a summary of the 1903 theory of types and then proceeds to the much more complex ramified theory of types that emerged from Russell's intense work on the foundations of logic from 1903 to 1907. After discussing the problems connected with the Axiom of Reducibility, the chapter concludes with the simple theory of types, and the later history of type theory, after the demise of the logicist programme.

the 1903 theory of types

Russell’s early theory of types, presented in Appendix B to the Principles of Mathematics, already contains many of the basic features of the mature system given in his fundamental paper of 1908 and in Principia Mathematica. In 1901, Russell had begun writing out the derivation of mathematics from logic, employing the methods of Peano and his school. This led him to examine Cantor’s proof that there is no greatest cardinal number. This result conflicted with his assumption that there is a universal class, having all objects as members, which ought to have the greatest cardinal number. Close analysis of the diagonal argument used in Cantor’s proof led to the discovery of the paradox of the class of all classes that are not members of themselves, now called “Russell’s paradox,” but which Russell called “the Contradiction.”

The logical paradoxes emerged at an awkward moment, when Russell had already written most of the penultimate draft of the Principles. Rather than hold up its publication indefinitely, he took the manuscript of his book to the printer in May 1902 before finding a solution. His initial reaction was that the Contradiction was of a somewhat trivial character, and that it could be avoided by a simple modification of the primitive propositions of logic.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2003

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.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org 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
×