Springer Verlag (2019)
Authors |
|
Abstract |
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives.
The first two sections focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The further sections then build on this and are centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories.
This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics.
|
Keywords | Foundations of Mathematics Philosophy of Mathematical Practice Philosophy of Set Theory Univalent Foundations |
Categories | (categorize this paper) |
Buy this book | $39.99 new $126.79 used Amazon page |
ISBN(s) | 9783030156541 3030156567 3030156540 3030156575 |
DOI | 10.1007/978-3-030-15655-8 |
Options |
![]() ![]() ![]() ![]() |
Download options

References found in this work BETA
No references found.
Citations of this work BETA
Similar books and articles
How to Frame a Mathematician.Bernhard Schröder, Martin Schmitt, Deniz Sarikaya & Bernhard Fisseni - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
Reflections on Mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Interview With a Set Theorist.Deborah Kant & Mirna Džamonja - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics. Springer Verlag. pp. 3-26.
From the Foundations of Mathematics to Mathematical Pluralism.Graham Priest - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?Giovanni Sambin - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
A New Foundational Crisis in Mathematics, Is It Really Happening?Mirna Džamonja - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
Varieties of Pluralism and Objectivity in Mathematics.Michèle Friend - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
Formalising Mathematics in Simple Type Theory.Lawrence Paulson - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
Does Mathematics Need Foundations?Roy Wagner - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
Foundations for the Working Mathematician, and for Their Computer.Nathan Bowler - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
Univalent Foundations and the Equivalence Principle.Paige North & Benedikt Ahrens - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
Categorical Foundations of Mathematics or How to Provide Foundations for Abstract Mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
Stewart Shapiro. Introduction—Intensional Mathematics and Constructive Mathematics. Intensional Mathematics, Edited by Stewart Shapiro, Studies in Logic and the Foundations of Mathematics, Vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, Pp. 1–10. - Stewart Shapiro. Epistemic and Intuitionistic Arithmetic. Intensional Mathematics, Edited by Stewart Shapiro, Studies in Logic and the Foundations of Mathematics, Pp. 11–46. - John Myhill. Intensional Set Theory. Intensional Mathematics, Edited by Stewart Shapiro, Studies in Logic and the Foundations of Mathematics, Pp. 47–61. - Nicolas D. Goodman. A Genuinely Intensional Set Theory. Intensional Mathematics, Edited by Stewart Shapiro, Studies in Logic and the Foundations of Mathematics, Pp. 63–79. - Andrej Ščedrov. Extending Godel's Modal Interpretation to Type Theory and Set Theory. Intensional Mathematics, Edited by Stewart Shapiro, Studies in Logic and the Foundations of Mathematics, Pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
Analytics
Added to PP index
2019-11-12
Total views
41 ( #276,756 of 2,507,717 )
Recent downloads (6 months)
16 ( #51,566 of 2,507,717 )
2019-11-12
Total views
41 ( #276,756 of 2,507,717 )
Recent downloads (6 months)
16 ( #51,566 of 2,507,717 )
How can I increase my downloads?
Downloads