Reflections on the Foundations of Mathematics Univalent Foundations,
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 an
- PDF / 7,185,090 Bytes
- 510 Pages / 439.42 x 683.15 pts Page_size
- 2 Downloads / 259 Views
Stefania Centrone Deborah Kant Deniz Sarikaya Editors
Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts
Synthese Library Studies in Epistemology, Logic, Methodology, and Philosophy of Science Volume 407
Editor-in-Chief Otávio Bueno, Department of Philosophy, University of Miami, USA
Editors Berit Brogaard, University of Miami, USA Anjan Chakravarthy, University of Notre Dame, USA Steven French, University of Leeds, UK Catarina Dutilh Novaes, VU Amsterdam, The Netherlands
The aim of Synthese Library is to provide a forum for the best current work in the methodology and philosophy of science and in epistemology. A wide variety of different approaches have traditionally been represented in the Library, and every effort is made to maintain this variety, not for its own sake, but because we believe that there are many fruitful and illuminating approaches to the philosophy of science and related disciplines. Special attention is paid to methodological studies which illustrate the interplay of empirical and philosophical viewpoints and to contributions to the formal (logical, set-theoretical, mathematical, information-theoretical, decision-theoretical, etc.) methodology of empirical sciences. Likewise, the applications of logical methods to epistemology as well as philosophically and methodologically relevant studies in logic are strongly encouraged. The emphasis on logic will be tempered by interest in the psychological, historical, and sociological aspects of science. Besides monographs Synthese Library publishes thematically unified anthologies and edited volumes with a well-defined topical focus inside the aim and scope of the book series. The contributions in the volumes are expected to be focused and structurally organized in accordance with the central theme(s), and should be tied together by an extensive editorial introduction or set of introductions if the volume is divided into parts. An extensive bibliography and index are mandatory.
More information about this series at http://www.springer.com/series/6607
Stefania Centrone • Deborah Kant • Deniz Sarikaya Editors
Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts
123
Editors Stefania Centrone Technical University of Berlin Berlin, Germany
Deborah Kant University of Konstanz Konstanz, Germany
Deniz Sarikaya University of Hamburg Hamburg, Germany
Synthese Library ISBN 978-3-030-15654-1 ISBN 978-3-030-15655-8 (eBook) https://doi.org/10.1007/978-3-030-15655-8 © Springer Nature Switzerland AG 2019 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed
Data Loading...
