From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s offers the first comprehensive introduction to the most exciting period in the foundation of mathematics in the twentieth century. The 1920s witnessed the seminal foundational work of Hilbert and Bernays in proof theory, Brouwer's refinement of intuitionistic mathematics, and Weyl's predicativist approach to the foundations of analysis. This impressive collection makes available the first English translations of twenty-five central articles by these important contributors and many others. (...) The articles have been translated for the first time from Dutch, French, and German, and the volume is divided into four sections devoted to Brouwer, Weyl, Bernays and Hilbert, and the emergence of intuitionistic logic. Each section opens with an introduction which provides the necessary historical and technical context for understanding the articles. Although most contemporary work in this field takes its start from the groundbreaking contributions of these major figures, a good, scholarly introduction to the area was not available until now. Unique and accessible, From Brouwer To Hilbert will serve as an ideal text for undergraduate and graduate courses in the philosophy of mathematics, and will also be an invaluable resource for philosophers, mathematicians, and interested non-specialists. (shrink)

This unique book by Stewart Shapiro looks at a range of philosophical issues and positions concerning mathematics in four comprehensive sections. Part I describes questions and issues about mathematics that have motivated philosophers since the beginning of intellectual history. Part II is an historical survey, discussing the role of mathematics in the thought of such philosophers as Plato, Aristotle, Kant, and Mill. Part III covers the three major positions held throughout the twentieth century: the idea that mathematics is logic (logicism), (...) the view that the essence of mathematics is the rule-governed manipulation of characters (formalism), and a revisionist philosophy that focuses on the mental activity of mathematics (intuitionism). Finally, Part IV brings the reader up-to-date with a look at contemporary developments within the discipline. This sweeping introductory guide to the philosophy of mathematics makes these fascinating concepts accessible to those with little background in either mathematics or philosophy. (shrink)

From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s offers the first comprehensive introduction to the most exciting period in the foundation of mathematics in the twentieth century. The 1920s witnessed the seminal foundational work of Hilbert and Bernays in proof theory, Brouwer's refinement of intuitionistic mathematics, and Weyl's predicativist approach to the foundations of analysis. This impressive collection makes available the first English translations of twenty-five central articles by these important contributors and many others. (...) The articles have been translated for the first time from Dutch, French, and German, and the volume is divided into four sections devoted to (1) Brouwer, (2) Weyl, (3) Bernays and Hilbert, and (4) the emergence of intuitionistic logic. Each section opens with an introduction which provides the necessary historical and technical context for understanding the articles. Although most contemporary work in this field takes its start from the groundbreaking contributions of these major figures, a good, scholarly introduction to the area was not available until now. Unique and accessible, From Brouwer To Hilbert will serve as an ideal text for undergraduate and graduate courses in the philosophy of mathematics, and will also be an invaluable resource for philosophers, mathematicians, and interested non-specialists. (shrink)

This massive two-volume reference presents a comprehensive selection of the most important works on the foundations of mathematics. While the volumes include important forerunners like Berkeley, MacLaurin, and D'Alembert, as well as such followers as Hilbert and Bourbaki, their emphasis is on the mathematical and philosophical developments of the nineteenth century. Besides reproducing reliable English translations of classics works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare, William Ewald also includes selections from Gauss, Cantor, Kronecker, and Zermelo, all translated here for (...) the first time. (shrink)

Weyl's inclination toward constructivism in the foundations of mathematics runs through his entire career, starting with Das Kontinuum. Why was Weyl inclined toward constructivism? I argue that Weyl's general views on foundations were shaped by a type of transcendental idealism in which it is held that mathematical knowledge must be founded on intuition. Kant and Fichte had an impact on Weyl but HusserFs transcendental idealism was even more influential. I discuss Weyl's views on vicious circularity, existence claims, meaning, the continuum (...) and choice sequences, and the intuitive-symbolic distinction against the background of his transcendental idealism and general intuitionism. (shrink)

Recently discovered correspondence from Oskar Becker to Hermann Weyl sheds new light on Weyl's engagement with Husserlian transcendental phenomenology in 1918-1927. Here the last two of these letters, dated July and August, 1926, dealing with issues in the philosophy of mathematics are presented, together with background and a detailed commentary. The letters provide an instructive context for re-assessing the connection between intuitionism and phenomenology in Weyl's foundational thought, and for understanding Weyl's term ‘symbolic construction’ as marking his own considered position (...) in the foundational controversy of the 1920s. In addition, they reveal Weyl's hitherto unknown objections to Becker's detailed attempt (Mathematische Existenz, 1927) to ground the transfinite phenomenologically. (shrink)

In what seems to have been his last paper, Insight and Reflection (1954), Hermann Weyl provides an illuminating sketch of his intellectual development, and describes the principal influences—scientific and philosophical—exerted on him in the course of his career as a mathematician. Of the latter the most important in the earlier stages was Husserl’s phenomenology. In Weyl’s work of 1918-22 we find much evidence of the great influence Husserl’s ideas had on Weyl’s philosophical outlook—one need merely glance through the pages of (...) Space-Time-Matter or The Continuum to see it. Witness, for example, the following passages from the former. (shrink)

Hermann Weyl, one of the twentieth century's greatest mathematicians, was unusual in possessing acute literary and philosophical sensibilities—sensibilities to which he gave full expression in his writings. In this paper I use quotations from these writings to provide a sketch of Weyl's philosophical orientation, following which I attempt to elucidate his views on the mathematical continuum, bringing out the central role he assigned to intuition.

This article locates Weyl’s philosophy of mathematics and its relationship to his philosophy of science within the epistemological and ontological framework of Husserl’s phenomenology as expressed in the Logical Investigations and Ideas. This interpretation permits a unified reading of Weyl’s scattered philosophical comments in The Continuum and Space-Time-Matter. But the article also indicates that Weyl employed Poincar“s predicativist concerns to modify Husserl’s semantics and trim Husserl’s ontology. Using Poincar“s razor to shave Husserl’s beard leads to limitations on the least upper (...) bound theorem in the foundations of analysis and Dirichlet’s principle in the foundations of physics. Finally, the article opens the possibility of reading Weyl as a systematic thinker, that he follows Husserl’s so-called transcendental turn in the Ideas. This permits an even more unified reading of Weyl’s scattered philosophical comments. (shrink)

First published in 2002. Routledge is an imprint of Taylor & Francis, an informa company.

In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom (...) provided by Cantorian set theory was purchased at a heavy philosophical price, namely adherence to a form of mathematical platonism that is difficult to support. -/- Beginning with a previously unpublished lecture for a general audience, Deciding the Undecidable, Feferman examines the famous list of twenty-three mathematical problems posed by David Hilbert, concentrating on three problems that have most to do with logic. Other chapters are devoted to the work and thought of Kurt Gödel, whose stunning results in the 1930s on the incompleteness of formal systems and the consistency of Cantors continuum hypothesis have been of utmost importance to all subsequent work in logic. Though Gödel has been identified as the leading defender of set-theoretical platonism, surprisingly even he at one point regarded it as unacceptable. -/- In his concluding chapters, Feferman uses tools from the special part of logic called proof theory to explain how the vast part--if not all--of scientifically applicable mathematics can be justified on the basis of purely arithmetical principles. At least to that extent, the question raised in two of the essays of the volume, Is Cantor Necessary?, is answered with a resounding no. -/- This volume of important and influential work by one of the leading figures in logic and the foundations of mathematics is essential reading for anyone interested in these subjects. (shrink)

Universally recognized as bringing about a revolutionary transformation of the notions of space, time, and motion in physics, Einstein's theory of gravitation, known as "general relativity," was also a defining event for 20th century philosophy of science. During the decisive first ten years of the theory's existence, two main tendencies dominated its philosophical reception. This book is an extended argument that the path actually taken, which became logical empiricist philosophy of science, greatly contributed to the current impasse over realism, whereas (...) new possibilities are opened in revisiting and reviving the spirit of the more sophisticated tendency, a cluster of viewpoints broadly termed transcendental idealism, and furthering its articulation. It also emerges that Einstein, while paying lip service to the emerging philosophy of logical empiricism, ended up siding de facto with the latter tendency. Ryckman's work speaks to several groups, among them philosophers of science and historians of relativity. Equations are displayed as necessary, but Ryckman gives the non-mathematical reader enough background to understand their occurrence in the context of his wider philosophical project. (shrink)

This article locates Weyl''s philosophy of mathematics and its relationship to his philosophy of science within the epistemological and ontological framework of Husserl''s phenomenology as expressed in the Logical Investigations and Ideas. This interpretation permits a unified reading of Weyl''s scattered philosophical comments in The Continuum and Space-Time-Matter. But the article also indicates that Weyl employed Poincaré''s predicativist concerns to modify Husserl''s semantics and trim Husserl''s ontology. Using Poincaré''s razor to shave Husserl''s beard leads to limitations on the least upper (...) bound theorem in the foundations of analysis and Dirichlet''s principle in the foundations of physics. Finally, the article opens the possibility of reading Weyl as a systematic thinker, that he follows Husserl''s so-called transcendental turn in the Ideas. This permits an even more unified reading of Weyl''s scattered philosophical comments. (shrink)

Dedicated to Dana Scott on his sixtieth birthday.It is common knowledge that for a short while Hermann Weyl joined Brouwer in his pursuit of a revision of mathematics according to intuitionistic principles. There is, however, little in the literature that sheds light on Weyl's role and in particular on Brouwer's reaction to Weyl's allegiance to the cause of intuitionism. This short episode certainly raises a number of questions: what made Weyl give up his own program, spelled out in “Das Kontinuum”, (...) how did Weyl come to be so well-informed about Brouwer's new intuitionism, in what respect did Weyl's intuitionism differ from Brouwer's intuitionism, what did Brouwer think of Weyl's views,…? To some of these questions at least partial answers can be put forward on the basis of some of the available correspondence and notes. The present paper will concentrate mostly on the historical issues of the intuitionistic episode in Weyl's career.Weyl entered the foundational controversy with a bang in 1920 with his sensational paper “On the new foundational crisis in mathematics”. He had already made a name for himself in the foundations of mathematics in 1918 with his monograph “The Continuum” [18]; this contained in addition to a technical logical-mathematical construction of the continuum, a fairly extensive discussion of the shortcomings of the traditional construction of the continuum on the basis of arbitrary—and hence also impredicative—Dedekind cuts. (shrink)