The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox, a challenge to 'classical' mathematics from a world-famous mathematician, a new foundational school, and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably with Bertrand Russell, W. V. Quine, and Gödel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection (...) brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field. (shrink)

Anti-realism is a doctrine about logic, language, and meaning that is based on the work of Wittgenstein and Frege. In this book, Professor Tennant clarifies and develops Dummett's arguments for anti-realism and ultimately advocates a radical reform of our logical practices.

claims that constructive mathematics is inadequate for spacetime physics and hence that constructive mathematics cannot be considered as an alternative to classical mathematics. He also argues that the contructivist must be guilty of a form of a priorism unless she adopts a strong form of anti-realism for science. Here I want to dispute both claims. First, even if there are non-constructive results in physics this does not show that adequate constructive alternatives could not be formulated. Secondly, the constructivist adopts a (...) 'philosophy first' approach that Hellman rejects. This deep difference means that the viability of constructive mathematics cannot yet be decided by determining whether current scientific theories require classical mathematics. We need to decide which approach is most appropriate before we can even determine how we should go about deciding whether we should be constructive or classical mathematicians. (shrink)

Provability, Computability and Reflection.

This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.

This volume makes available most of the major papers of the "man who may well have been America's outstanding teaching metaphysician during the second quarter of this century." Phelan did indeed have a long list of impressive students to his credit, most of them coming out of the University of Toronto and the Pontifical Institute of Medieval Studies in Toronto. Included are Phelan's Aquinas Lecture of 1941, "St. Thomas and Analogy," "Being, Order and Knowledge," "The Concept of Beauty in St. (...) Thomas Aquinas," "Justice and Friendship," "Verum Sequitur Esse Rerum," and eight others. The editor has added a bibliography of everything Phelan ever wrote, from books to book reviews to obituaries. Phelan's interests were clearly metaphysical; but his metaphysics was historical and interpretive, not creative.—E. A. R. (shrink)

In this chapter, which has evolved over the last ten years to what I hope will be its perfect Platonic form, I shall first discuss those features of constructive mathematics that distinguish it from its traditional, or classical, counterpart, and then illustrate the practice of that distinction in aspects of complex analysis whose classical treatment ought to be familiar to a beginning graduate student of pure mathematics.