Springer Verlag (2019)

Authors
Deniz Sarikaya
Vrije Universiteit Brussel
Stefania Centrone
Technische Universität Berlin
Deborah Kant
Universität Konstanz
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
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: 70,307
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
Chapters BETA

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Intellectual Humility in Mathematics.Colin Jakob Rittberg - unknown - Synthese 199 (3-4):5571-5601.

Add more citations

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.
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.

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 )

How can I increase my downloads?

Downloads

My notes