From logic to practice : Italian studies in the philosophy of mathematics /: Italian studies in the philosophy of mathematics. ([2015])

• Record Type: Book
• Further Information: Note: Gabriele Lolli, Marco Panza, Giorgio Venturi, editors.
• Editors: Lolli, Gabriele, 1942-; Panza, Marco; Venturi, Giorgio
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource
• Subjects: 510.1; Philosophy; Mathematics -- Philosophy; Logic; Mathematics -- History; MATHEMATICS -- Essays; MATHEMATICS -- Pre-Calculus; MATHEMATICS -- Reference; Logic; Mathematics; Mathematics -- Philosophy; Mathematics -- Logic; Science -- Philosophy & Social Aspects; Mathematical foundations; Philosophy of science; Genetic epistemology; Logic, Symbolic and mathematical; Science_xPhilosophy; Philosophy -- Epistemology; Philosophy: epistemology & theory of knowledge; Electronic books; History
• Languages: English
• ISBNs: 9783319104348; 3319104349
• Related ISBNs: 9783319104331; 3319104330
• Notes: Note: Includes bibliographical references.; Note: Vendor-supplied metadata.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.