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.
"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