Philosophies of Mathematics [Hardcover]

Alexander L. George (Author), Daniel Velleman (Author)

Book Description

ISBN-10: 0631195432 | ISBN-13: 978-0631195436 | Publication Date: December 11, 2001 | Edition: 1

This book provides an accessible, critical introduction to the three main approaches that dominated work in the philosophy of mathematics during the twentieth century: logicism, intuitionism and formalism.

Editorial Reviews

Review

"George and Velleman manage to accomplish a difficult feat: on the one hand, they explain, clearly and rigorously, a number of highly technical accomplishments of twentieth-century mathematical logic, making plain the relevance of the mathematical work for philosophy; yet, on the other, they presuppose little more from their readers than a first course in basic logic. The examples they choose to explicate their points are carefully selected and illuminating. This is a splendid book." William Ewald, University of Pennsylvania

"This book includes just the right mix of helpful historical exposition and clear, tight philosophical argument. It is extremely well written and does an excellent job of making difficult material accessible. There is nothing else currently available that discusses in a single volume such a wide range of important material. The authors are to be commended for a job well done." Andrew Irvine, University of British Columbia

"This is a well-written, informative and innovative introduction to philosophies of mathematics. It is a very valuable addition to the existing literature." Wilfried Sieg, Carnegie Mellon University

From the Back Cover

During the first few decades of the twentieth century, philosophers and mathematicians mounted a sustained effort to clarify the nature of mathematics. This led to considerable discord, even enmity, and yielded fascinating and fruitful work of both a mathematical and a philosophical nature. It was one of the most exhilarating intellectual adventures of the century, pursued at an extraordinarily high level of acuity and imagination. Its legacy principally consists of three original and finely articulated programs that seek to view mathematics in the proper light: logicism, intuitionism, and finitism. Each is notable for its symbiotic melding together of philosophical vision and mathematical work: the philosophical ideas are given their substance by specific mathematical developments, which are in turn given their point by philosophical reflection.

This book provides an accessible, critical introduction to these three projects as it describes and investigates both their philosophical and their mathematical components.

Solutions manual is available upon request.

See all Editorial Reviews

Product Details

• Hardcover: 240 pages
• Publisher: Wiley-Blackwell; 1 edition (December 11, 2001)
• Language: English
• ISBN-10: 0631195432
• ISBN-13: 978-0631195436
• Product Dimensions: 9.2 x 6.7 x 0.9 inches
• Shipping Weight: 1.3 pounds (View shipping rates and policies)
• Average Customer Review: 5.0 out of 5 stars  See all reviews (4 customer reviews)
• Amazon Best Sellers Rank: #3,291,678 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

27 of 27 people found the following review helpful:

5.0 out of 5 stars Classic Stuff, November 13, 2002

By 

J. R. Brown (Toronto) - See all my reviews

This review is from: Philosophies of Mathematics (Paperback)

This is a splendid book, teeming with virtues. But along with its many merits there is one drawback, which I'll mention later. First, the good stuff. Philosophies of Mathematics is primarily a textbook, designed to introduce logicism, intuitionism, and Hilbert's formalism to beginners at a moderately high level. It does this exceptionally well. The expositions are crisp and clear from start to finish. The authors say their book is accessible to anyone with a bit of elementary logic. Well, maybe. Those familiar with mathematics texts know the expressions `self-contained, but assumes a level of mathematical maturity.' I suspect that something like that goes for this book; philosophy undergraduates with no mathematics might be overwhelmed. But for the slightly more advanced reader (with, say, basic logic and one or two university mathematics courses), this book is the perfect introduction to the topics it covers.
What does it cover? The classic period in the philosophy of mathematics, namely, Logicism, Intuitionism, and Hilbert's formalism, here called Finitism. This, of course, is not particularly unusual. What is novel, and what makes the book such a valuable introduction, are three meaty, technical chapters on set theory, intuitionistic mathematics, and Gödel's theorem. Thus, after a standard discussion of the logicism of Frege and Russell showing how set theory develops out of logic, there is a very nice (though somewhat compact) presentation of basic set theory. The standard axioms of ZF are given, all the basic operations are defined, then it is shown how the real numbers (in the form of Cauchy sequences) can be derived. The discussion includes Cantor's theorem and the hierarchy of infinite numbers. This is done in forty-odd pages. There is enough material and in enough detail for a reader to get a feel for the plausibility of a reduction of all of mathematics to set theory. And if set theory can be reduced to logic, then one can get a feel for the scope of the classical logicist programme. I say `classical' because the authors do not take up the current "neo-logicist" programme, except to mention its existence.
The chapter on Intuitionism is devoted to Brouwer but also much influenced by Dummett. There is no mention of Bishop. The discussion even of Brouwer is perhaps a bit thin when it comes to what motivates him philosophically. But even the most ambitious would-be expositors find Brouwer's talk of the perception of time daunting. The emphasis is on provability and they draw the consequences for logic in considerable detail. Following this chapter is another devoted to constructive mathematics wherein George and Velleman prove a number of intuitionistic versions of classical theorems. This is extremely welcome, since most philosophical discussions merely wave their hands when it comes to the mathematical details.
The finitism chapter gives a standard account of Hilbert's formalism. The aims and achievements are outlined and so are the Gödel results that brought Hilbert's programme to a crashing halt. The incompleteness results are then given a chapter of their own. The exposition of Gödel is particularly good, and particularly thorough for a book on the philosophy of mathematics. The necessary technicalities are all here. Detailed proofs are given most of the time, and skipped in favour of a discussion of plausibility only when the technicalities require a great effort for a small payoff in understanding.
There is no other philosophy of mathematics book with extensive exercises. Philosophy of mathematics is a technical subject in itself and it relies on extensive knowledge of other technicalities. The exercises in this book will help to bring students up to speed.
I said there is one drawback. The book deals with the "classical" period in the philosophy of mathematics. There is not a word about current issues. There is no mention of naturalism (Maddy, Kitcher), or structuralism (Hellman, Resnik, Shapiro), or fictionalism (Field); there is no discussion of "experimental" mathematics, of the role of computers, of visualization, or of the interaction of mathematics and the sciences. Excellent though Philosophies of Mathematics is, one cannot get a proper sense from reading it of the field as it exists today. The authors are aware of this and in the preface express the view that `...contemporary work is best evaluated against a backdrop of understanding that encompasses these three great historical attempts to tame the phenomenon of mathematics.' There is no quarrelling with this. It's an excellent introduction to and guide through a golden age in the philosophy of mathematics.

13 of 13 people found the following review helpful:

5.0 out of 5 stars A concise summary of key foundational issues, November 12, 2002

By A Customer

This review is from: Philosophies of Mathematics (Paperback)

Eschewing interesting anecdotal tidbits, this short book aims for the heart of the principal controversies over the foundations of mathematics. The reader is given the basic logic and mathematics needed to understand the main points of logicism, Zermelo-Fraenkel set theory, intuitionism, finitism and Godel's incompleteness theorems. The chapters are well-written and lucid. You will doubtless pick up something of value if you merely read the book. You will gain more if you study it and do some of the exercises (which do not come with an answer section).

2 of 2 people found the following review helpful:

5.0 out of 5 stars Technical in a good way, May 24, 2009

By 

SL (Los Angeles, CA) - See all my reviews

Amazon Verified Purchase

This review is from: Philosophies of Mathematics (Paperback)

Most philosophy of mathematics survey books give a general account of various theories and programs without actually getting into technical details or doing some math. What distinguishes this book is it actually gets into the technical details. Instead of just saying "logicists derived math from logical principles" it shows how this was attempted. The same goes for deriving mathematics from set theory, and deriving it from intutuionistic logic, etc. This is not a breezy read and needs to be studied closely, but for someone who wants more substance after reading some non-detailed introductory accounts of philosophy of mathematics, it's an excellent book.