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)

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...

Recent experimental evidence from developmental psychology and cogni- tive neuroscience indicates that humans are equipped with unlearned elementary math- ematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only (...) used to express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

The paper discusses Husserl's phenomenology of mathematics in his Formal and Transcendental Logic (1929). In it Husserl seeks to provide descriptive foundations for mathematics. As sciences and mathematics are normative activities Husserl's attempt is also to describe the norms at work in these disciplines. The description shows that mathematics can be given in several different ways. The phenomenologist's task is to examine whether a given part of mathematics is genuine according to the norms that pertain to the approach in question. (...) The paper will then examine the intuitionistic, formalistic, and structural features of Husserl's philosophy of mathematics. (shrink)

This volume aims to establish the starting point for the development, evaluation and appraisal of the phenomenology of mathematics.

Little is known of Edmund Husserl's direct encounter with Georg Cantor's ideas on Platonic idealism and the abstraction of number concepts during the late 19th century, when Husserl's philosophical orientation changed considerably and definitely. Closely analyzing and comparing the two men's writings during that important time in their intellectual careers, I describe the crucial shift in Husserl's views on psychologism and metaphysical idealism as it relates to Cantor's philosophy of arithmetic. I thus establish connections between their ideas which have been (...) until now been virtually unsuspected and contribute to a better understanding of the development of Husserl's thought and of the philosophical and metaphysical ideas within which Cantor chose to frame his theories. (shrink)

History and Philosophy of Logic, Volume 32, Issue 4, Page 399-400, November 2011.

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)

CHAPTER I THE EMERGENCE AND DEVELOPMENT OF HUSSERL'S 'PHILOSOPHY OF ARITHMETIC'. HISTORICAL BACKGROUND: WEIERSTRASS AND THE ARITHMETIZATION OF ANALYSIS In ...

Este artigo tem como objetivo geral apresentar alguns aspectos básicos da filosofia da matemática de Charles Sanders Peirce, com o intuito de suscitar discussão posterior. Especificamente, são ressaltados: o lugar da matemática na classificação das ciências do autor; a diferença entre matemática e filosofia como cenoscopia; a relação entre as categorias da fenomenologia e matemática; o conceito de experiência e sua formalização possível; a distinção geral entre lógica, como parte da investigação filosófica, e matemática.

This essay explores an ideal notion of form (mathematical structure) that embraces logical, phenomenological, and ontological form. Husserl envisioned a correlation among forms of expression, thought, meaning, and object—positing ideal forms on all these levels. The most puzzling formal entities Husserl discussed were those he called ‘manifolds’. These manifolds, I propose, are forms of complex states of affairs or partial possible worlds representable by forms of theories (compare structuralism). Accordingly, I sketch an intentionality-based semantics correlating these four Husserlian levels of (...) form—thereby integrating logic, phenomenology, and ontology. (shrink)

(No abstract is available for this citation).

Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this book is divided into three parts. Part I, Reason, Science, and Mathematics contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay oN phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, (...) Penelope Maddy and Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, Poincare; and Frege. (shrink)

In this book Robert Tragesser sets out to determine the conditions under which a realist ontology of mathematics and logic might be justified, taking as his starting point Husserl's treatment of these metaphysical problems. He does not aim primarily at an exposition of Husserl's phenomenology, although many of the central claims of phenomenology are clarified here. Rather he exploits its ideas and methods to show how they can contribute to answering Michael Dummet's question 'Realism or Anti-Realism?'. In doing so he (...) makes a challenging and provocative contribution to the debate. (shrink)

Husserl repeatedly has claimed that (1) mathematics without a philosophical foundation is not a science but a mere technique; (2) philosophical considerations may lead to the rejection of parts of mathematical practice; but (3) they cannot lead to mathematical innovations. My thesis is that Husserl's third claim is wrong, by his own standards.

Brouwer and Weyl recognized that the intuitive continuum requires a mathematical analysis of a kind that set theory is not able to provide. As an alternative, Brouwer introduced choice sequences. We first describe the features of the intuitive continuum that prompted this development, focusing in particular on the flow of internal time as described in Husserl's phenomenology. Then we look at choice sequences and their logic. Finally, we investigate the differences between Brouwer and Weyl, and argue that Weyl's conception of (...) choice sequences is defective on several counts. (shrink)

Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost? And are there objects of pure mathematics that can change through time? Mathematician and philosopher L.E.J. Brouwer argued that the two questions are closely related and that the answer to both is "yes''. To this end he introduced a new kind of object into mathematics, the choice sequence. But (...) other mathematicians and philosophers have been voicing objections to choice sequences from the start. This book aims to provide a sound philosophical basis for Brouwer's choice sequences by subjecting them to a phenomenological critique in the style of the later Husserl. (shrink)