Cambridge, MA, USA: Harvard University Press (1998)

Abstract
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume.
Keywords axiom of choice
Categories No categories specified
(categorize this paper)
Buy this book Find it on Amazon.com
ISBN(s) 9780674537668
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 68,908
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Abstract Objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
Plural Quantification.Ø Linnebo - 2008 - Stanford Encyclopedia of Philosophy.
Unrestricted Quantification and the Structure of Type Theory.Nicholas K. Jones & Salvatore Florio - 2021 - Philosophy and Phenomenological Research 102 (1):44-64.
Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
Plurals and Modals.Øystein Linnebo - 2016 - Canadian Journal of Philosophy 46 (4-5):654-676.

View all 35 citations / Add more citations

Similar books and articles

The Axiom of Choice and Combinatory Logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
A Note on Grzegorczyk's Logic.Emil Jeřábek - 2004 - Mathematical Logic Quarterly 50 (3):295-296.
The Axiom of Choice in Second‐Order Predicate Logic.Christine Gaßner - 1994 - Mathematical Logic Quarterly 40 (4):533-546.
Disasters in Topology Without the Axiom of Choice.Kyriakos Keremedis - 2001 - Archive for Mathematical Logic 40 (8):569-580.
Determinate Logic and the Axiom of Choice.J. P. Aguilera - 2020 - Annals of Pure and Applied Logic 171 (2):102745.
Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
On Generic Extensions Without the Axiom of Choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
Cut-Elimination for Simple Type Theory with an Axiom of Choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Cut-Elimination for Simple Type Theory with an Axiom of Choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.

Analytics

Added to PP index
2021-11-17

Total views
1 ( #1,538,020 of 2,497,737 )

Recent downloads (6 months)
1 ( #428,370 of 2,497,737 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes