Typos of Principia Mathematica

History and Philosophy of Logic 34 (4):306 - 334 (2013)
  Copy   BIBTEX

Abstract

Principia Mathematic goes to great lengths to hide its order/type indices and to make it appear as if its incomplete symbols behave as if they are singular terms. But well-hidden as they are, we cannot understand the proofs in Principia unless we bring them into focus. When we do, some rather surprising results emerge ? which is the subject of this paper

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2013.764961

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quantification Theory in *9 of Principia Mathematica.Gregory Landini - 2000 - History and Philosophy of Logic 21 (1):57-77.
The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition.Gregory Landini - 2013 - History and Philosophy of Logic 34 (1):79-97.
The definability of the set of natural numbers in the 1925 principia mathematica.Gregory Landini - 1996 - Journal of Philosophical Logic 25 (6):597 - 615.
The Triumph of Types: Principia Mathematica's Impact on Computer Science.Robert L. Constable - unknown
Russell.Gregory Landini - 2011 - New York: Routledge.
Bernard Linsky. The Evolution of Principia Mathematica: Bertrand Russell's Manuscripts and Notes for the Second Edition. Cambridge: Cambridge University Press, 2011. ISBN 978-1-107-00327-9. Pp. vii + 407. [REVIEW]N. Griffin - 2013 - Philosophia Mathematica 21 (3):403-411.
Russell's substitutional theory of classes and relations.Gregory Landini - 1987 - History and Philosophy of Logic 8 (2):171-200.
Principia non-mathematica.J. C. McKerrow - 1940 - Journal of Philosophy 37 (8):197-209.
Remark on nicod's reduction of principia mathematica.B. A. Bernstein - 1937 - Journal of Symbolic Logic 2 (4):165-166.
Principia mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130.
That principia mathematica, first edition, has a predicative interpretation after all.Hugues Leblanc - 1975 - Journal of Philosophical Logic 4 (1):67 - 70.
Principia mathematica.A. D. Irvine - 2008 - Stanford Encyclopedia of Philosophy.
Russell's hidden substitutional theory.Gregory Landini - 1998 - New York: Oxford University Press.
Principia mathematica.Rudolf Carnap - 1931 - Erkenntnis 2 (1):73-75.
Notes: Principia mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130-a-130.

Analytics

Added to PP
2013-10-18

Downloads
36 (#431,270)

6 months
9 (#298,039)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gregory Landini
University of Iowa

Citations of this work

Whitehead's (Badly) Emended Principia.Gregory Landini - 2016 - History and Philosophy of Logic 37 (2):114-169.

Add more citations

References found in this work

Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
My philosophical development.Bertrand Russell - 1959 - London,: Allen & Unwin.
Russell's Mathematical Logic.Kurt Gödel - 1946 - In Paul Arthur Schilpp (ed.), The Philosophy of Bertrand Russell, 2nd edition. Evanston, IL: The Library of Living Philosophers, Inc.. pp. 123-154.
Russell's hidden substitutional theory.Gregory Landini - 1998 - New York: Oxford University Press.

View all 14 references / Add more references