Philosophia Mathematica 12 (3):193-221 (2004)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Composition as a Kind of Identity.Phillip Bricker - 2016 - Inquiry : An Interdisciplinary Journal of Philosophy 59 (3):264-294.
First-Order Modal Logic in the Necessary Framework of Objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
Similar books and articles
Plural Quantification and the Iterative Concept of Set.Stephen Pollard - 1985 - Philosophy Research Archives 11:579-587.
Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.
Burgess on Plural Logic and Set Theory.Øystein Linnebo - 2007 - Philosophia Mathematica 15 (1):79-93.
Added to index2009-01-28
Total downloads114 ( #43,026 of 2,168,955 )
Recent downloads (6 months)13 ( #25,511 of 2,168,955 )
How can I increase my downloads?