E pluribus unum: Plural logic and set theory

Philosophia Mathematica 12 (3):193-221 (2004)
  Copy   BIBTEX

Abstract

A new axiomatization of set theory, to be called Bernays-Boolos set theory, is introduced. Its background logic is the plural logic of Boolos, and its only positive set-theoretic existence axiom is a reflection principle of Bernays. It is a very simple system of axioms sufficient to obtain the usual axioms of ZFC, plus some large cardinals, and to reduce every question of plural logic to a question of set theory

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
Burgess on plural logic and set theory.Øystein Linnebo - 2007 - Philosophia Mathematica 15 (1):79-93.
Logic, Logic, and Logic.George Boolos - 1998 - Cambridge, Mass: Harvard University Press. Edited by Richard C. Jeffrey.
Plural Quantification and the Iterative Concept of Set.Stephen Pollard - 1985 - Philosophy Research Archives 11:579-587.
Bernays and set theory.Akihiro Kanamori - 2009 - Bulletin of Symbolic Logic 15 (1):43-69.
Plural quantification and classes.Gabriel Uzquiano - 2003 - Philosophia Mathematica 11 (1):67-81.

Analytics

Added to PP
2009-01-28

Downloads
238 (#87,875)

6 months
23 (#125,178)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John Burgess
Princeton University

Citations of this work

The potential hierarchy of sets.Øystein Linnebo - 2013 - Review of Symbolic Logic 6 (2):205-228.
Plural quantification.Ø Linnebo - 2008 - Stanford Encyclopedia of Philosophy.
Closed Structure.Peter Fritz, Harvey Lederman & Gabriel Uzquiano - 2021 - Journal of Philosophical Logic 50 (6):1249-1291.
Composition as a Kind of Identity.Phillip Bricker - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (3):264-294.

View all 43 citations / Add more citations

References found in this work

Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.
Cantorian Set Theory and Limitation of Size.Michael Hallett - 1984 - Oxford, England: Clarendon Press.
A Subject with no Object.Zoltan Gendler Szabo, John P. Burgess & Gideon Rosen - 1999 - Philosophical Review 108 (1):106.

View all 15 references / Add more references