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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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

Hugues Leblanc. Preface. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. ix–x. - Hugues Leblanc. Introduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 3–16. - Hugues Leblanc and T. Hailperin. Non-designating singular terms. A revised reprint of XXV 87. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 17–21. - Hugues Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. A revised reprint of XXXVII 424. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 22–57. - Hugues Leblanc and R. K. Meyer. On prefacing ⊃ A with : a free quantification theory without identity. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 58–75. , pp. 447–462. - Hugues Leblanc. Truth-value seman. [REVIEW]Ermanno Bencivenga - 1985 - Journal of Symbolic Logic 50 (1):227-231.
Predicative Logic and Formal Arithmetic.John P. Burgess & A. P. Hazen - 1998 - Notre Dame Journal of Formal Logic 39 (1):1-17.
The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.
An Introduction to Deductive Logic by Hugues Leblanc. [REVIEW]Hilary Putnam - 1957 - Philosophical Review 66 (4):551-554.
Book Review: An Introduction to Deductive Logic by Hugues Leblanc. [REVIEW]Herbert Hockberg - 1955 - Philosophy of Science 22 (4):326-327.

Analytics

Added to PP
2009-01-28

Downloads
44 (#485,320)

6 months
11 (#305,870)

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.
Banishing the Rule of Substitution for Functional Variables.Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):179-180.

View all 7 references / Add more references