This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice. Charting an exciting new direction in the philosophy of mathematics, Jose Ferreiros uses the crucial idea of a continuum to provide an account of the development of mathematical knowledge that reflects the actual experience of doing math and makes sense of the perceived objectivity of mathematical results. Describing a historically oriented, agent-based philosophy of mathematics, Ferreiros shows how the mathematical tradition evolved from Euclidean geometry to the real numbers and set-theoretic structures. He argues for the need to take into account a whole web of mathematical and other practices that are learned and linked by agents, and whose interplay acts as a constraint. Ferreiros demonstrates how advanced mathematics, far from being a priori, is based on hypotheses, in contrast to elementary math, which has strong cognitive and practical roots and therefore enjoys certainty.
Offering a wealth of philosophical and historical insights, Mathematical Knowledge and the Interplay of Practices challenges us to rethink some of our most basic assumptions about mathematics, its objectivity, and its relationship to culture and science.
Rezensionen / Stimmen
"Both philosophers and mathematicians can find ample food for thought in this study."--Choice "Ferreiros has published a fascinating book which consists of an impressive combination of thought-provoking philosophical ideas and mathematical material. As such, it can be interesting for philosophers of mathematics, mathematicians, and other people interested in the topics of mathematical knowledge and mathematical practice."--Joachim Frans, MathScieNet
Sprache
Verlagsort
Zielgruppe
Für höhere Schule und Studium
Produkt-Hinweis
Illustrationen
Maße
Höhe: 241 mm
Breite: 159 mm
Dicke: 32 mm
Gewicht
ISBN-13
978-0-691-16751-0 (9780691167510)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Jose Ferreiros is professor of logic and philosophy of science at the University of Seville in Spain. He is the author of Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics and the coeditor of The Architecture of Modern Mathematics: Essays in History and Philosophy.
List of Illustrations ix Foreword xi 1 On Knowledge and Practices: A Manifesto 1 2 The Web of Practices 17 2.1. Historical Work on Practices 18 2.2. Philosophers Working on Practices 22 2.3. What Is Mathematical Practice, Then? 28 2.4. The Multiplicity of Practices 34 2.5. The Interplay of Practices and Its Basis 39 3 Agents and Frameworks 44 3.1. Frameworks and Related Matters 45 3.2. Interlude on Examplars 55 3.3. On Agents 59 3.4. Counting Practices and Cognitive Abilities 65 3.5. Further Remarks on Mathematics and Cognition 74 3.6. Agents and "Metamathematical" Views 79 3.7. On Systematic Links 83 4 Complementarity in Mathematics 89 4.1. Formula and Meaning 89 4.2. Formal Systems and Intended Models 94 4.3. Meaning in Mathematics: A Tentative Approach 99 4.4. The Case of Complex Numbers 104 5 Ancient Greek Mathematics: A Role for Diagrams 112 5.1. From the Technical to the Mathematical 113 5.2. The Elements: Getting Started 117 5.3. On the Euclidean Postulates: Ruling Diagrams (and Their Reading) 127 5.4. Diagram-Based Mathematics and Proofs 131 5.5. Agents, Idealization, and Abstractness 137 5.6. A Look at the Future-Our Past 147 6 Advanced Math: The Hypothetical Conception 153 6.1. The Hypothetical Conception: An Introduction 154 6.2. On Certainty and Objectivity 159 6.3. Elementary vs. Advanced: Geometry and the Continuum 163 6.4. Talking about Objects 170 6.5. Working with Hypotheses: AC and the Riemann Conjecture 176 7 Arithmetic Certainty 182 7.1. Basic Arithmetic 182 7.2. Counting Practices, Again 184 7.3. The Certainty of Basic Arithmetic 189 7.4. Further Clarifications 195 7.5. Model Theory of Arithmetic 198 7.6. Logical Issues: Classical or Intuitionistic Math? 200 8 Mathematics Developed: The Case of the Reals 206 8.1. Inventing the Reals 207 8.2. "Tenths" to the Infinite: Lambert and Newton 215 8.3. The Number Continuum 221 8.4. The Reinvention of the Reals 227 8.5. Simple Infinity and Arbitrary Infinity 231 8.6. Developing Mathematics 236 8.7. Mathematical Hypotheses and Scientific Practices 241 9 Objectivity in Mathematical Knowledge 247 9.1. Objectivity and Mathematical Hypotheses: A Simple Case 249 9.2. Cantor's "Purely Arithmetical" Proofs 253 9.3. Objectivity and Hypotheses, II: The Case of p() 257 9.4. Arbitrary Sets and Choice 261 9.5. What about Cantor's Ordinal Numbers? 265 9.6. Objectivity and the Continuum Problem 273 10 The Problem of Conceptual Understanding 281 10.1. The Universe of Sets 283 10.2. A "Web-of- Practices" Look at the Cumulative Picture 290 10.3. Conceptual Understanding 296 10.4. Justifying Set Theory: Arguments Based on the Real-Number Continuum 305 10.5. By Way of Conclusion 310 References 315 Index 331
