Borrow it
 Architecture Library
 Bizzell Memorial Library
 Boorstin Collection
 Chinese Literature Translation Archive
 Engineering Library
 Fine Arts Library
 Harry W. Bass Business History Collection
 History of Science Collections
 John and Mary Nichols Rare Books and Special Collections
 Library Service Center
 Price College Digital Library
 Western History Collections
The Resource From logic to practice : Italian studies in the philosophy of mathematics, Gabriele Lolli, Marco Panza, Giorgio Venturi, editors
From logic to practice : Italian studies in the philosophy of mathematics, Gabriele Lolli, Marco Panza, Giorgio Venturi, editors
Resource Information
The item From logic to practice : Italian studies in the philosophy of mathematics, Gabriele Lolli, Marco Panza, Giorgio Venturi, editors represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.This item is available to borrow from all library branches.
Resource Information
The item From logic to practice : Italian studies in the philosophy of mathematics, Gabriele Lolli, Marco Panza, Giorgio Venturi, editors represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Oklahoma Libraries.
This item is available to borrow from all library branches.
 Summary
 This book brings together young researchers from a variety of fields within mathematics, philosophy and logic. It discusses questions that arise in their work, as well as themes and reactions that appear to be similar in different contexts. The book shows that a fairly intensive activity in the philosophy of mathematics is underway, due on the one hand to the disillusionment with respect to traditional answers, on the other to exciting new features of present day mathematics. The book explains how the problem of applicability once again plays a central role in the development of mathematics. It examines how new languages different from the logical ones (mostly figural), are recognized as valid and experimented with and how unifying concepts (structure, category, set) are in competition for those who look at this form of unification. It further shows that traditional philosophies, such as constructivism, while still lively, are no longer only philosophies, but guidelines for research. Finally, the book demonstrates that the search for and validation of new axioms is analyzed with a blend of mathematical historical, philosophical, psychological considerations
 Language
 eng
 Extent
 1 online resource.
 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: Rulefollowing 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 SchroederHeister's Assumption Rules; Luca Tranchini
 Chapter 8: Costructability and Geometry; Alberto Naibo
 Chapter 9: A Cutlike 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 Staticaldynamical Opposition; Luca San Mauro and Giorgio Venturi
 Chapter 15: An Inquiry Into the Practice of Proving in Lowdimensional Topology; Silvia de Toffoli and Valeria Giardino
 Isbn
 9783319104348
 Label
 From logic to practice : Italian studies in the philosophy of mathematics
 Title
 From logic to practice
 Title remainder
 Italian studies in the philosophy of mathematics
 Statement of responsibility
 Gabriele Lolli, Marco Panza, Giorgio Venturi, editors
 Subject

 Electronic books
 Philosophy: epistemology & theory of knowledge
 History
 Mathematical Logic and Foundations
 MATHEMATICS  Reference
 Mathematics
 Epistemology
 Logic
 Logic
 Philosophy
 Philosophy of Science
 Mathematics  History
 Mathematics  Philosophy
 MATHEMATICS  Essays
 Mathematical foundations
 Philosophy of science
 MATHEMATICS  PreCalculus
 Mathematics  Philosophy
 Language
 eng
 Summary
 This book brings together young researchers from a variety of fields within mathematics, philosophy and logic. It discusses questions that arise in their work, as well as themes and reactions that appear to be similar in different contexts. The book shows that a fairly intensive activity in the philosophy of mathematics is underway, due on the one hand to the disillusionment with respect to traditional answers, on the other to exciting new features of present day mathematics. The book explains how the problem of applicability once again plays a central role in the development of mathematics. It examines how new languages different from the logical ones (mostly figural), are recognized as valid and experimented with and how unifying concepts (structure, category, set) are in competition for those who look at this form of unification. It further shows that traditional philosophies, such as constructivism, while still lively, are no longer only philosophies, but guidelines for research. Finally, the book demonstrates that the search for and validation of new axioms is analyzed with a blend of mathematical historical, philosophical, psychological considerations
 Cataloging source
 N$T
 Dewey number
 510.1
 Index
 no index present
 LC call number
 QA8.4
 LC item number
 .F76 2015eb
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate
 1942
 http://library.link/vocab/relatedWorkOrContributorName

 Lolli, Gabriele
 Panza, Marco
 Venturi, Giorgio
 Series statement
 Boston studies in the philosophy and history of science
 Series volume
 308
 http://library.link/vocab/subjectName

 Mathematics
 Logic
 Mathematics
 MATHEMATICS
 MATHEMATICS
 MATHEMATICS
 Logic
 Mathematics
 Mathematics
 Philosophy
 Epistemology
 Mathematical Logic and Foundations
 Philosophy of Science
 Mathematical foundations
 Philosophy of science
 Philosophy: epistemology & theory of knowledge
 Label
 From logic to practice : Italian studies in the philosophy of mathematics, Gabriele Lolli, Marco Panza, Giorgio Venturi, editors
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 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: Rulefollowing 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 SchroederHeister's Assumption Rules; Luca Tranchini  Chapter 8: Costructability and Geometry; Alberto Naibo  Chapter 9: A Cutlike 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 Staticaldynamical Opposition; Luca San Mauro and Giorgio Venturi  Chapter 15: An Inquiry Into the Practice of Proving in Lowdimensional Topology; Silvia de Toffoli and Valeria Giardino
 Dimensions
 unknown
 Extent
 1 online resource.
 File format
 unknown
 Form of item
 online
 Isbn
 9783319104348
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Note
 SpringerLink
 Other control number
 10.1007/9783319104348
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)897377158
 (OCoLC)ocn897377158
 Label
 From logic to practice : Italian studies in the philosophy of mathematics, Gabriele Lolli, Marco Panza, Giorgio Venturi, editors
 Antecedent source
 unknown
 Bibliography note
 Includes bibliographical references
 Carrier category
 online resource
 Carrier category code
 cr
 Carrier MARC source
 rdacarrier
 Color
 multicolored
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 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: Rulefollowing 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 SchroederHeister's Assumption Rules; Luca Tranchini  Chapter 8: Costructability and Geometry; Alberto Naibo  Chapter 9: A Cutlike 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 Staticaldynamical Opposition; Luca San Mauro and Giorgio Venturi  Chapter 15: An Inquiry Into the Practice of Proving in Lowdimensional Topology; Silvia de Toffoli and Valeria Giardino
 Dimensions
 unknown
 Extent
 1 online resource.
 File format
 unknown
 Form of item
 online
 Isbn
 9783319104348
 Level of compression
 unknown
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code
 c
 Note
 SpringerLink
 Other control number
 10.1007/9783319104348
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number

 (OCoLC)897377158
 (OCoLC)ocn897377158
Subject
 Electronic books
 Epistemology
 History
 Logic
 Logic
 MATHEMATICS  Essays
 MATHEMATICS  PreCalculus
 MATHEMATICS  Reference
 Mathematical Logic and Foundations
 Mathematical foundations
 Mathematics
 Mathematics  History
 Mathematics  Philosophy
 Mathematics  Philosophy
 Philosophy
 Philosophy of Science
 Philosophy of science
 Philosophy: epistemology & theory of knowledge
Genre
Member of
Library Locations

Architecture LibraryBorrow itGould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US35.205706 97.445050



Chinese Literature Translation ArchiveBorrow it401 W. Brooks St., RM 414, Norman, OK, 73019, US35.207487 97.447906

Engineering LibraryBorrow itFelgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US35.205706 97.445050

Fine Arts LibraryBorrow itCatlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US35.210371 97.448244

Harry W. Bass Business History CollectionBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

History of Science CollectionsBorrow it401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US35.207487 97.447906

John and Mary Nichols Rare Books and Special CollectionsBorrow it401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US35.207487 97.447906


Price College Digital LibraryBorrow itAdams Hall 102 307 West Brooks St., Norman, OK, 73019, US35.210371 97.448244

Western History CollectionsBorrow itMonnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US35.209584 97.445414
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/FromlogictopracticeItalianstudiesinthe/6yzJkCTsgRk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/FromlogictopracticeItalianstudiesinthe/6yzJkCTsgRk/">From logic to practice : Italian studies in the philosophy of mathematics, Gabriele Lolli, Marco Panza, Giorgio Venturi, editors</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item From logic to practice : Italian studies in the philosophy of mathematics, Gabriele Lolli, Marco Panza, Giorgio Venturi, editors
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.libraries.ou.edu/portal/FromlogictopracticeItalianstudiesinthe/6yzJkCTsgRk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.libraries.ou.edu/portal/FromlogictopracticeItalianstudiesinthe/6yzJkCTsgRk/">From logic to practice : Italian studies in the philosophy of mathematics, Gabriele Lolli, Marco Panza, Giorgio Venturi, editors</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.libraries.ou.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.libraries.ou.edu/">University of Oklahoma Libraries</a></span></span></span></span></div>