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.
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.
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.
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).
Hatcher, William S.: 1982 The Logical Foundations of Mathematics (Toronto: Pergamon Press, 2nd edition), pp. 123–153.
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.
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1007/BF00265255