Principles of reflection and second-order logic

Journal of Philosophical Logic 16 (3):309 - 333 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00152934

Links

PhilArchive



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

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

Classical logic II: Higher-order logic.Stewart Shapiro - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 33--54.
Do not claim too much: Second-order logic and first-order logic.Stewart Shapiro - 1999 - Philosophia Mathematica 7 (1):42-64.
Second-order Logic Revisited.Otavio Bueno - unknown
Bernays and set theory.Akihiro Kanamori - 2009 - Bulletin of Symbolic Logic 15 (1):43-69.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Truth, Conservativeness, and Provability: Reply to Cieslinski.J. Ketland - 2010 - Mind 119 (474):423-436.
‘Neo-logicist‘ logic is not epistemically innocent.Stewart Shapiro & Alan Weir - 2000 - Philosophia Mathematica 8 (2):160--189.
Separating stationary reflection principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.

Analytics

Added to PP
2009-01-28

Downloads
115 (#149,895)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stewart Shapiro
Ohio State University

Citations of this work

The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2019 - Philosophy and Phenomenological Research 99 (1):81-114.
Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.

View all 23 citations / Add more citations

References found in this work

Nominalist platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
Set Theory. An Introduction to Large Cardinals.Azriel Levy - 1978 - Journal of Symbolic Logic 43 (2):384-384.
Is mathematical knowledge just logical knowledge?Hartry Field - 1984 - Philosophical Review 93 (4):509-552.
Mathematical Logic.Georg Kreisel - 1965 - In Lectures on Modern Mathematics. New York: Wiley. pp. 95-195.

View all 10 references / Add more references