Mathesis Universalis, Computability and Proof
In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes “the mathesis […] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science
- PDF / 6,285,793 Bytes
- 375 Pages / 439.42 x 683.15 pts Page_size
- 97 Downloads / 202 Views
Stefania Centrone Sara Negri Deniz Sarikaya Peter M. Schuster Editors
Mathesis Universalis, Computability and Proof
Synthese Library Studies in Epistemology, Logic, Methodology, and Philosophy of Science Volume 412
Editor-in-Chief Otávio Bueno, Department of Philosophy, University of Miami, USA
Editors Berit Brogaard, University of Miami, USA Anjan Chakravartty, 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 • Sara Negri • Deniz Sarikaya Peter M. Schuster Editors
Mathesis Universalis, Computability and Proof
123
Editors Stefania Centrone Institute of Philosophy Technical University of Berlin Berlin, Germany Deniz Sarikaya University of Hamburg Hamburg, Germany
Sara Negri Department of Philosophy University of Helsinki Helsinki, Finland Peter M. Schuster Dipartimento di Informatica Universit`a degli Studi di Verona Verona, Italy
Synthese Library ISBN 978-3-030-20446-4 ISBN 978-3-030-20447-1 (eBook) https://doi.org/10.1007/978-3-030-20447-1 © 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 simi
Data Loading...
