Journal of Philosophical Logic 25 (6):597 - 615 (1996)
|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. Godel 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|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Bernard Linsky (2011). The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition. Cambridge University Press.
Gregory Landini (2000). Quantification Theory in *9 of Principia Mathematica. History and Philosophy of Logic 21 (1):57-77.
Gregory Landini (1987). Russell's Substitutional Theory of Classes and Relations. History and Philosophy of Logic 8 (2):171-200.
I. Grattan-Guinness (1984). Notes on the Fate of Logicism Fromprincipia Mathematicato Gödel's Incompletability Theorem. History and Philosophy of Logic 5 (1):67-78.
Saul A. Kripke (2005). Russell's Notion of Scope. Mind 114 (456):1005-1037.
Gregory Landini (2010). Russell. Routledge.
Peter Milne (2008). Russell's Completeness Proof. History and Philosophy of Logic 29 (1):31-62.
Brice Halimi (2011). The Versatility of Universality inPrincipia Mathematica. History and Philosophy of Logic 32 (3):241-264.
Gregory Landini (2005). Quantification Theory in *8 ofPrincipia Mathematicaand the Empty Domain. History and Philosophy of Logic 26 (1):47-59.
Added to index2009-01-28
Total downloads22 ( #62,658 of 722,836 )
Recent downloads (6 months)1 ( #60,541 of 722,836 )
How can I increase my downloads?