Skip to main content
Log in

The Definability of the set of natural numbers in the 1925 Principia Mathematica

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

In his new introduction to the 1925 second edition of Principia Mathematica, Russell maintained that by adopting Wittgenstein's idea that a logically perfect language should be extensional mathematical induction could be rectified for finite cardinals without the axiom of reducibility. In an Appendix B, Russell set forth a proof. Gödel caught a defect in the proof at *89.16, so that the matter of rectification remained open. Myhill later arrived at a negative result: Principia with extensionality principles and without reducibility cannot recover mathematical induction. The finite cardinals are indefinable in it. This paper shows that while Gödel and Myhill are correct, Russell was not wrong. The 1925 system employs a different grammar than the original Principia. A new proof for *89.16 is given and induction is recovered.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Church, Alonzo.: 1976 “Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski,” Journal of Symbolic Logic, 41, pp. 747–760.

    Google Scholar 

  • Cocchiarella, Nino B.: 1987 “Russell's Theory of Logical Types and the Atomistic Hierarchy of Sentences,” in Cocchiarella N.B. Logical Studies in Early Analytic Philosophy (Columbus: Ohio State Univ. Press), pp. 193–221.

    Google Scholar 

  • Gödel, Kurt: 1944 “Russell's Mathematical Logic,” in (ed.), P.A.Schilpp, The Philosophy of Bertrand Russell (New York: The Library of Living Philosophers).

    Google Scholar 

  • Hatcher, William S.: 1982 The Logical Foundations of Mathematics (Toronto: Pergamon Press, 2nd edition), pp. 123–153.

    Google Scholar 

  • Myhill, John.: 1974 “The Undefinibility of the Set of Natural Numbers in the Ramified Principia,” in (ed.), George Nakhnikian, Bertrand Russell's Philosophy (Harper & Rowe, Pub. Inc., 1974), pp. 19–27.

  • Quine, W.V.O.: 1951 Mathematical Logic (New York: Norton, 1940), revised edition.

    Google Scholar 

  • Russell, Bertrand and Whitchead, Alfred.: Principia Mathematica vol. 1 (1910), vol. 2 (1912), vol. 3 (1913) (London: Cambridge University Press).

  • Russell, Bertrand.: 1925 “Introduction to the Second Edition,” in Principia Mathematica (London: Cambridge University Press, 2nd edition, 1925), pp. xiii-xlvi.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Landini, G. The Definability of the set of natural numbers in the 1925 Principia Mathematica . J Philos Logic 25, 597–615 (1996). https://doi.org/10.1007/BF00265255

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00265255

Keywords

Navigation