Atlantic Highlands, NJ, USA: Elsevier (1973)
AbstractFoundations of Set Theory discusses the reconstruction undergone by set theory in the hands of Brouwer, Russell, and Zermelo. Only in the axiomatic foundations, however, have there been such extensive, almost revolutionary, developments. This book tries to avoid a detailed discussion of those topics which would have required heavy technical machinery, while describing the major results obtained in their treatment if these results could be stated in relatively non-technical terms. This book comprises five chapters and begins with a discussion of the antinomies that led to the reconstruction of set theory as it was known before. It then moves to the axiomatic foundations of set theory, including a discussion of the basic notions of equality and extensionality and axioms of comprehension and infinity. The next chapters discuss type-theoretical approaches, including the ideal calculus, the theory of types, and Quine's mathematical logic and new foundations; intuitionistic conceptions of mathematics and its constructive character; and metamathematical and semantical approaches, such as the Hilbert program. This book will be of interest to mathematicians, logicians, and statisticians.
Similar books and articles
Foundations of Set Theory [by] Abraham A. Fraenkel and Yehoshua Bar-Hillel.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel - 1958 - North-Holland Pub. Co.
Foundations of Set Theory [by] Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levy. With the Collaboration of Dirk van Dalen. --. [REVIEW]Abraham Adolf Fraenkel, Yehoshua Bar-Hillel & Azriel Lévy - 1973 - North-Holland Pub. Co.
Essays on the Foundations of Mathematics. Dedicated to A. A. Fraenkel on His Seventieth Anniversary.Abraham Adolf Fraenkel, Yehoshua Bar-Hillel & Universitah Ha- Ivrit Bi-Yerushalayim - 1961 - Magnes Press, Hebrew University.
Book Review: J. P. Mayberry. Foundations of Mathematics in the Theory of Sets. [REVIEW]O. Bradley Bassler - 2005 - Notre Dame Journal of Formal Logic 46 (1):107-125.
Categorical foundations of mathematics or how to provide foundations for abstract mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 2000:183-196.
Essays on the Foundations of Mathematics.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel (eds.) - 1966 - Jerusalem, Magnes Press Hebrew University.
Category theory and the foundations of mathematics: Philosophical excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.
On three arguments against categorical structuralism.Makmiller Pedroso - 2009 - Synthese 170 (1):21 - 31.
Review: Abraham A. Fraenkel, Yehoshua Bar-Hillel, Foundations of Set Theory. [REVIEW]J. R. Shoenfield - 1964 - Journal of Symbolic Logic 29 (3):141-141.
Categorical Foundations and Foundations of Category Theory.Solomon Feferman - 1977 - In Robert E. Butts & Jaakko Hintikka (eds.), Logic, Foundations of Mathematics, and Computability Theory. Springer. pp. 149-169.
Mengenlehre—Vom Himmel Cantors zur Theoria prima inter pares.Peter Schreiber - 1996 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 4 (1):129-143.
Review of M. Giaquinto, The Search for Certainty. [REVIEW]Carlo Cellucci - 2003 - European Journal of Philosophy 11 (3):420-423.
Added to PP
Historical graph of downloads
Citations of this work
Agent‐based computational models and generative social science.Joshua M. Epstein - 1999 - Complexity 4 (5):41-60.
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
References found in this work
No references found.