Skip to main content
    • Aa
    • Aa



The purpose of this paper is to investigate categoricity arguments conducted in second order logic and the philosophical conclusions that can be drawn from them. We provide a way of seeing this result, so to speak, through a first order lens divested of its second order garb. Our purpose is to draw into sharper relief exactly what is involved in this kind of categoricity proof and to highlight the fact that we should be reserved before drawing powerful philosophical conclusions from it.

Corresponding author
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

A Church . (1940). A formulation of the simple theory of types. Journal of Symbolic Logic, 5 (2), 5568.

V. Gitman , & J. D Hamkins . (2010). A natural model of the multiverse axioms. Notre Dame Journal of Formal Logic, 51 (4), 475484.

V. Halbach , & L Horsten . (2005). Computational structuralism. Philosophia Mathematica, 13, 174186.

J Hamkins . (2007). The modal logic of forcing. Transactions of the Americal Mathematical Society, 360 (4), 17931817.

J Hamkins . (2009). Some second order set theory. In R. Ramanujan , and S. Sarukkai , editors, Logic and Its Applications: Lecture Notes in Computer Science, Vol. 5378. Heidelberg, Germany: Springer-Verlag, pp. 3650.

D. A Martin . (2001). Multiple universes of sets and indeterminate truth values. Topoi, 20 (1), 516.

J. P Mayberry . (2000). Review of J. L. Bell: A primer of infinitesimal analysis. British Journal of the Philosophy of Science, 51, 339445.

V McGee . (1997). How we learn mathematical language. The Philosophical Review, 106 (1), 3568.

A Mostowski . (1967). Recent results in set theory. In I. Lakatos , editor. Problems in the Philosophy of Mathematics. Amsterdam, The Netherlands: North Holland Publishing Company.

S Read . (1997). Completeness and categoricity: Frege, Gödel and model theory. History and Philosophy of Logic, 18 (2), 7993.

S Shapiro . (1990). Second-order logic foundations and rules. The Journal of Philosophy, 87 (5), 234261.

S. G Simpson . (1999). Subsystems of Second Order Arithmetic. Berlin, Germany: Springer.

T Weston . (1976). Kreisel, the continuum hypothesis and second order set theory. The Journal of Philosophical Logic, 5, 281298.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 13 *
Loading metrics...

Abstract views

Total abstract views: 163 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 27th June 2017. This data will be updated every 24 hours.