TY  - BOOK
AU  - Lolli,Gabriele
AU  - Panza,Marco
AU  - Venturi,Giorgio
TI  - From Logic to Practice: Italian Studies in the Philosophy of Mathematics 
SN  - 9783319104348
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing
KW  - Philosophy
KW  - Epistemology
KW  - Philosophy and science
KW  - Mathematical logic
N1  - PART I: THE HISTORICAL DIMENSION OF MATHEMATICS -- Chapter 1: A Geometrical Constructive Approach to Infinitesimal Analysis: Epistemological Potential and Boundaries of Tractional Motion; Pietro Milici -- Chapter 2: Plane and Solid Geometry: A Note on Purity of Methods; Paolo Mancosu and Andrew Arana -- Chapter 3: Formalization and Intuition in Husserl's Raumbuch; Edoardo Caracciolo -- PART II: LOOKING AT MATHEMATICS THROUGH LOGIC -- Chapter 4: Frege's Grundgesetze and a Reassessment of Predicativity; Francesca Boccuni -- Chapter 5: A Deflationary Account of the Truth of the Gödel Sentence G; Mario Piazza and Gabriele Pulcini -- Chapter 6: Rule-following and the Limits of Formalization: Wittgenstein's Considerations Through the Lens of Logic; Paolo Pistone -- Chapter 7: Paradox and Inconsistency: Revising Tennant's Distinction Through Schroeder-Heister's Assumption Rules; Luca Tranchini -- Chapter 8: Costructability and Geometry; Alberto Naibo -- Chapter 9: A Cut-like Inference in a Framework of Explicit Composition for Various Calculi of Natural Deduction; Michael Arndt and Laura Tesconi -- Chapter 10: On the Distinction Between Sets and Classes: A Categorical Perspective; Samuele Maschio -- PART III: PHILOSOPHY AND MATHEMATICS -- Chapter 11: Structure and Applicability; Michele Ginammi -- Chapter 12: Defending Maddy's Mathematical Naturalism from Roland's Criticism: The Role of Mathematical Depth; Marina Imocrante -- Chapter 13: On the Indispensable Premises of the Indispensability Argument; Marco Panza and Andrea Sereni -- Chapter 14: Naturalness in Mathematics: On the Statical-dynamical Opposition; Luca San Mauro and Giorgio Venturi -- Chapter 15: An Inquiry Into the Practice of Proving in Low-dimensional Topology; Silvia de Toffoli and Valeria Giardino
UR  - http://dx.doi.org/10.1007/978-3-319-10434-8
ER  -