That principia mathematica, first edition, has a predicative interpretation after all

Journal of Philosophical Logic 4 (1):67 - 70 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00263121

Links

PhilArchive



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

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

Leon Chwistek on the no-classes theory in Principia Mathematica.Bernard Linsky - 2004 - History and Philosophy of Logic 25 (1):53-71.
Quantification Theory in *9 of Principia Mathematica.Gregory Landini - 2000 - History and Philosophy of Logic 21 (1):57-77.
The theology of Isaac Newton's principia mathematica : A preliminary survey.Stephen D. Snobelen - 2010 - Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 52 (4):377-412.
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
Quantification Theory in *8 of Principia Mathematica and the Empty Domain.Gregory Landini - 2005 - History and Philosophy of Logic 26 (1):47-59.
The evolution of Principia mathematica: Bertrand Russell's manuscripts and notes for the second edition.Bernard Linsky - 2011 - New York: Cambridge University Press.
Russell.Gregory Landini - 2011 - New York: Routledge.
Notes on the fate of logicism from principia mathematica to gödel's incompletability theorem.I. Grattan-Guinness - 1984 - History and Philosophy of Logic 5 (1):67-78.
The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.

Analytics

Added to PP
2009-01-28

Downloads
31 (#504,675)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Russell's 1925 logic.A. P. Hazen & J. M. Davoren - 2000 - Australasian Journal of Philosophy 78 (4):534 – 556.
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility.Edwin D. Mares - 2007 - Notre Dame Journal of Formal Logic 48 (2):237-251.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.

Add more citations

References found in this work

Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73.
Banishing the rule of substitution for functional variables.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (3):201-208.
Three Generalizations of a Theorem of Beth's'.Hugues Leblanc - 1969 - Logique Et Analyse 12 (47):205-220.
Truth-value Semantics for the Theory of Types.H. Leblanc & R. K. Meyer - 1970 - In Karel Lambert (ed.), Philosophical problems in Logic. Dordrecht,: Reidel. pp. 77--101.

View all 7 references / Add more references