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

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
Contributor
Editor
Subject
Genre
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
Member of
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
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-319-10434-8
Instantiates
Publication
Copyright
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: 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
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/978-3-319-10434-8
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
Link
https://ezproxy.lib.ou.edu/login?url=http://link.springer.com/10.1007/978-3-319-10434-8
Publication
Copyright
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: 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
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/978-3-319-10434-8
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)897377158
  • (OCoLC)ocn897377158

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...