Preface (Full Text)
- This is a philosophy book about mathematics. There are, first, matters of metaphysics: What is mathematics all about? Does it have a subject-matter? What is this subject-matter? What are numbers, sets, points, lines, functions, and so on? Then there are semantic matters: What do mathematical statements mean? What is the nature of mathematical truth? And epistemology: How is mathematics known? What is its methodology? Is observation involved, or is it a purely mental exercise? How are disputes among mathematicians adjudicated? What is a proof? Are proofs absolutely certain, immune from rational doubt? What is the logic of mathematics? Are there unknowable mathematical truths?
- Mathematics has a reputation for being a cut-and-dried discipline, about as far from philosophy (in this respect) as can be imagined. Here things seem to get settled, once and for all, on a routine basis. Is this so? Have there been any revolutions in mathematics, where long-standing beliefs were abandoned? Consider the depth of mathematics used — and required — in the natural and social sciences. How is it that mathematics, which appears to be primarily a mental activity, sheds light on the physical, human, and social world studied in science? Why is it that we cannot get very far in understanding the world (in scientific terms) if we do not understand a lot of mathematics? What does this say about mathematics? What does this say about the physical, human, and social world?
- Philosophy of mathematics belongs to a genre that includes philosophy of physics, philosophy of biology, philosophy of psychology, philosophy of language, philosophy of logic, and even philosophy of philosophy. The theme is to deal with philosophical questions that concern an academic discipline, issues about the metaphysics, epistemology, semantics1, logic, and methodology of the discipline. Typically, philosophy of X is pursued by those who care about X, and want to illuminate its place in the overall intellectual enterprise. Ideally, someone who practises X should gain something by adopting a philosophy of X: an appreciation of her discipline, an orientation toward it, and a vision of its role in understanding the world. The philosopher of mathematics needs to say something about mathematics itself, something about the human mathematician, and something about the world where mathematics gets applied. A tall order.
- The book is divided into four parts. The first, ‘Perspective', provides an overview of the philosophy of mathematics.
- Part II, ‘History', sketches the views of some historical philosophers concerning mathematics, and indicates the importance of mathematics in their general philosophical development.
- Chapter 3 ("Shapiro (Stewart) - Plato's Rationalism, and Aristotle") deals with Plato and Aristotle in the ancient world, and
- Chapter 4 ("Shapiro (Stewart) - Near Opposites: Kant and Mill") moves forward to the so-called ‘modern period', and considers primarily Immanuel Kant and John Stuart Mill. The idea behind this part of the book is to illustrate an unrelenting rationalist (Plato) — a philosopher who holds that the unaided human mind is capable of substantial knowledge of the world — and an unrelenting empiricist (Mill) — a philosopher who grounds all, or almost all, knowledge in observation. Kant attempted a heroic synthesis between rationalism and empiricism, adopting the strengths and avoiding the weaknesses of each. These philosophers are precursors to much of the contemporary thinking on mathematics.
- The next part, ‘The Big Three', covers the major philosophical positions that dominated debates earlier this century, and still provide many battle-lines in the contemporary literature.
- Part IV is entitled ‘The Contemporary Scene'.
- Chapter 8 ("Shapiro (Stewart) - Numbers Exist") is about views that take mathematical language literally, at face value, and hold that the bulk of the assertions of mathematicians are true. These philosophers hold that numbers, functions, points, and so on exist independent of the mathematician. They then try to show how we can have knowledge about such items, and how mathematics, so interpreted, relates to the physical world.
- Chapter 9 ("Shapiro (Stewart) - No They Don't") concerns philosophers who deny the existence of specifically mathematical objects. The authors covered here either reinterpret mathematical assertions so that they come out true without presupposing the existence of mathematical objects, or else they delimit a serious role for mathematics other than asserting truths and denying falsehoods.
- Chapter 10 ("Shapiro (Stewart) - Structuralism") is about structuralism, the view that mathematics is about patterns rather than individual objects. This is my own position (Shapiro 1997), so one might say that I have saved the best for last. With the exception of this temporary chutzpah, I have tried be non-partisan throughout the book.
- The plan all along was to try to write a book that would offer something to those interested in mathematics who have little background in philosophy, as well as those interested in philosophy who have little background in mathematics. For the most part, some familiarity with high-school or early college-level mathematics, and perhaps an introduction to philosophy should suffice. I avoided excessive symbolization, and tried to explain the symbols I do use. In some places, I may have assumed too much for those uninitiated in university-level mathematics, and in other places too much for those unfamiliar with philosophical terminology, but I hope those places are few and far between, and do not interrupt the flow of the book. The Oxford Dictionary of Philosophy (Blackburn 1994) might prove to be a handy source for those new to academic philosophy.
[ … snip … ]
Text Colour Conventions (see disclaimer)
- Blue: Text by me; © Theo Todman, 2020
- Mauve: Text by correspondent(s) or other author(s); © the author(s)