Skip to main content
×
Home

A STRONG REFLECTION PRINCIPLE

Abstract
Abstract

This article introduces a new reflection principle. It is based on the idea that whatever is true in all entities of some kind is also true in a set-sized collection of them. Unlike standard reflection principles, it does not re-interpret parameters or predicates. This allows it to be both consistent in all higher-order languages and remarkably strong. For example, I show that in the language of second-order set theory with predicates for a satisfaction relation, it is consistent relative to the existence of a 2-extendible cardinal (Theorem 7.12) and implies the existence of a proper class of 1-extendible cardinals (Theorem 7.9).

Copyright
Corresponding author
*DEPARTMENT OF PHILOSOPHY IFIKK UNIVERSITY OF OSLO POSTBOKS 1020 BLINDERN 0315 OSLO, NORWAY E-mail: sam.roberts@ifikk.uio.no URL: http://samrroberts.net
References
Hide All
Bernays P. (1976). On the problem of schemata of infinity in axiomatic set theory. In Müller G. H., editor. Sets and Classes: On the Work by Paul Bernays. Studies in Logic and the Foundations of Mathematics, Vol. 84. North-Holland: Amsterdam, pp. 121172.
Boolos G. (1984). To be is to be a value of a variable (or to be some values of some variables). Journal of Philosophy, 81(8), 430449.
Boolos G. (1989). Iteration again. Philosophical Topics, 17, 521.
Burgess J. P. (2004). E pluribus unum: Plural logic and set theory. Philosophia Mathematica, 12(3), 193221.
Foreman M. & Kanamori A. (2009). Handbook of Set Theory. Netherlands: Springer.
Hamkins J., Gitman V., & Johnstone T. (2015). Kelley-morse set theory and choice principles for classes. Available at: http://boolesrings.org/victoriagitman/files/2015/01/kelleymorse2.pdf (accessed June 24, 2016).
Kanamori A. (2003). The Higher Infinite (second edition). Berlin: Springer.
Koellner P. (2009). On reflection principles. Annals of Pure and Applied Logic, 157(2–3), 206219.
Linnebo O. (2007). Burgess on plural logic and set theory. Philosophia Mathematica, 15, 7993.
Linnebo O. & Rayo A. (2012). Hierarchies ontological and ideological. Mind, 121(482), 269308.
Marshall R. M. V. (1989). Higher order reflection principles. Journal of Symbolic Logic, 54(2), 474489.
Reinhardt W. N. (1974). Remarks on reflection principles, large cardinals, and elementary embeddings. In Jech T., editor. Axiomatic Set Theory. Providence: American Mathematical Society, pp. 189205.
Reinhardt W. N. (1980). Satisfaction definitions and axioms of infinity in a theory of properties with necessity operator. In Mathematical logic in Latin America. Studies in Logic and the Foundations of Mathematics, Vol. 99. Amsterdam: North-Holland, pp. 267303.
Tait W. W. (2003). Zermelo’s conception of set theory and reflection principles. In Schirn M., editor, Philosophy of Mathematics Today. New York: Oxford University Press, pp. 469483.
Tait W. (2005). Constructing cardinals from below. In The Provenance of Pure Reason. Logic and Computation in Philosophy. New York: Oxford University Press, pp. 133154.
Uzquiano G. (2003). Plural quantification and classes. Philosophia Mathematica, 11(3), 6781.
Welch P. (forthcoming). Global reflection principles. In Sober E., Niiniluoto I., and Leitgeb H., editors. Proceedings of the CLMPS, Helsinki 2015. London: College Publications.
Williamson T. (2013). Modal Logic as Metaphysics. Oxford: Oxford University Press.
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? *
×

Keywords:

Metrics

Full text views

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

Abstract views

Total abstract views: 77 *
Loading metrics...

* Views captured on Cambridge Core between 1st November 2017 - 19th November 2017. This data will be updated every 24 hours.