The vicissitudes of mathematical reason in the 20th century Content Type Journal Article Pages 1-6 DOI 10.1007/s11016-011-9556-y Authors Thomas Mormann, Department of Logic and Philosophy of Science, University of the Basque Country UPV/EPU, Donostia-San Sebastian, Spain, Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

The aim of this paper is to establish a phenomenological mathematical intuitionism that is based on fundamental phenomenological-epistemological principles. According to this intuitionism, mathematical intuitions are sui generis mental states, namely experiences that exhibit a distinctive phenomenal character. The focus is on two questions: what does it mean to undergo a mathematical intuition and what role do mathematical intuitions play in mathematical reasoning? While I crucially draw on Husserlian principles and adopt ideas we find in phenomenologically minded mathematicians such as (...) Hermann Weyl and Kurt Gödel, the overall objective is systematic in nature: to offer a plausible approach towards mathematics. (shrink)

This paper offers an exposition of Husserl's mature philosophy of mathematics, expounded for the first time in Logische Untersuchungen and maintained without any essential change throughout the rest of his life. It is shown that Husserl's views on mathematics were strongly influenced by Riemann, and had clear affinities with the much later Bourbaki school.

Brouwer’s intuitionistic program was an intriguing attempt to reform the foundations of mathematics that eventually did not prevail. The current paper offers a new perspective on the scientific community’s lack of reception to Brouwer’s intuitionism by considering it in light of Michael Friedman’s model of parallel transitions in philosophy and science, specifically focusing on Friedman’s story of Einstein’s theory of relativity. Such a juxtaposition raises onto the surface the differences between Brouwer’s and Einstein’s stories and suggests that contrary to Einstein’s (...) story, the philosophical roots of Brouwer’s intuitionism cannot be traced to any previously established philosophical traditions. The paper concludes by showing how the intuitionistic inclinations of Hermann Weyl and Abraham Fraenkel serve as telling cases of how individuals are involved in setting in motion, adopting, and resisting framework transitions during periods of disagreement within a discipline. (shrink)

Vers 1918 Hermann Weyl abandonnait le logicisme et donc la tentative de réduire les mathématiques à la logique et la théorie des ensembles. Au niveau philosophique, ses points de référence furent ensuite Husserl et Fichte. Dans les années 1920 il distingua leurs positions, entre une direction intuitionniste-phénoménologique d’un côté, et formaliste-constructiviste de l’autre. Peu après Weyl, Oskar Becker adopta une distinction similaire. Mais à la différence du phénoménologue Becker, Weyl considérait l’approche active du constructivisme de Fichte comme supérieure à la (...) vision d’essences passive de Husserl. Dans cet essai, je montre ce développement dans la pensée de Weyl. Bien que certains points dans sa réception de Husserl et Fichte ne soient pas soutenables, je vais argumenter en faveur de la distinction fondamentale mentionnée ci-dessus. (shrink)

Though logical positivism is part of Kant's complex legacy, positivists rejected both Kant's theory of intuition and his classification of mathematical knowledge as synthetic a priori. This paper considers some lingering defenses of intuition in mathematics during the early part of the twentieth century, as logical positivism was born. In particular, it focuses on the difficult and changing views of Hermann Weyl about the proper role of intuition in mathematics. I argue that it was not intuition in general, but his (...) commitment to twodifferent types of intuition, which explains his rather unusual and tormented philosophy of the mathematical continuum. I would like to thank Geoff Gorham, David McCarty, and Rosamond Rodman for reading an earlier draft of this work. I should also thank those who provided helpful comments on several distant ancestors of this paper: Emily Carson, Ulrich Majer, Erhard Scholz, John Schuerman, Stewart Shapiro, and Richard Tieszen. I am indebted to two anonymous referees for pointing out some problems and for pointing me to work on Weyl I did not previously know about. In particular, the recent articles in [Feist, 2004a] turned out to be (somewhat uncomfortably) relevant to the focus of this paper. In this last revision I have tried to show where I agree and disagree with the authors of those papers; I apologize for whatever repetition still exists, but it was tere before I read those papers. This paper has a long history, and comes out of several talks I gave some years ago. Audiences at the Center for Philosophy of Science, University of Pittsburgh (colloquium 1995), St Andrews University Philosophy of Mathematics Workshop (1996), the British Society for the History of Mathematics meeting (1996), the University of Mainz Mathematics Department (colloquium 1996), the Canadian Philosophical Association (1997 and 1999), and the University of British Columbia (colloquium 1998) should be thanked for their helpful comments. I also thank Neil Tennant for encouraging me to resurrect this work. CiteULike Connotea Del.icio.us What's this? (shrink)

The main topic of this essay is symbolic mathematics or the method of symbolic construction, which I trace to the end of the sixteenth century when Franciscus Vieta invented the algebraic symbolism and started to use the word ‘symbolic’ in the relevant, non-ontological sense. This approach has played an important role for many of the great inventions in modern mathematics such as the introduction of the decimal place-value system of numeration, Descartes’ analytic geometry, and Leibniz’s infinitesimal calculus. It was also (...) central for the rigorization movement in mathematics in the late nineteenth century, as well as for the mathematics of modern physics in the 20th century.However, the nature of symbolic mathematics has been concealed and confused due to the strong influence of the heritage from the Euclidean and Aristotelian traditions. This essay sheds some light on what has been concealed by approaching some of the crucial issues from a historical perspective. Furthermore, I argue that the conception of modern mathematics as symbolic mathematics was essential to Wittgenstein’s approach to the foundations and nature of mathematics. This connection between Wittgenstein’s thought and symbolic mathematics provides the resources for countering the still prevalent view that he defended an uttrely idiosyncratic conception, disconnected from the progress of serious science. Instead, his project can be seen as clarifying ideas that have been crucial to the development of mathematics since early modernity. (shrink)

The paper presents analysis of form in different domains. It draws on the commonalities and their potential unified classifications based on how forms subjectively appear in perception—as opposed to their standard specification in Euclidean geometry or other objective quantitative methods. The paper provides an overview aiming to offer elements for thought for researchers in various fields.

H. Lillehammer and D. H. Mellor, Ramsey's legacy. Oxford: Clarendon Press, 2005. x + 182 pp. £40.00. ISBN 0-19-927955-1. Reviewed by María J. Frápolli, Departamento de Filosofia, Universidad...

This paper argues that Weyl took formalism to prevail over intuitionism with respect to supporting scientific objectivity, rather than grounding classical mathematics, and that this was what he thought was enough for rejecting pure phenomenology as well.

Husserl is well known for his critique of the “mathematizing tendencies” of modern science, and is particularly emphatic that mathematics and phenomenology are distinct and in some sense incompatible. But Husserl himself uses mathematical methods in phenomenology. In the first half of the paper I give a detailed analysis of this tension, showing how those Husserlian doctrines which seem to speak against application of mathematics to phenomenology do not in fact do so. In the second half of the paper I (...) focus on a particular example of Husserl’s “mathematized phenomenology”: his use of concepts from what is today called dynamical systems theory. (shrink)

The paper explores Hermann Weyl’s turn to intuitionism through a philosophical prism of normative framework transitions. It focuses on three central themes that occupied Weyl’s thought: the notion of the continuum, logical existence, and the necessity of intuitionism, constructivism, and formalism to adequately address the foundational crisis of mathematics. The analysis of these themes reveals Weyl’s continuous endeavor to deal with such fundamental problems and suggests a view that provides a different perspective concerning Weyl’s wavering foundational positions. Building on a (...) philosophical model of scientific framework transitions and the special role that normative indecision or ambivalence plays in the process, the paper examines Weyl’s motives for considering such a radical shift in the first place. It concludes by showing that Weyl’s shifting stances should be regarded as symptoms of a deep, convoluted intrapersonal process of self-deliberation induced by exposure to external criticism. (shrink)

The present paper attempts to show that a 1915 article by Erich Kretschmann must be credited not only for being the source of Einstein’s point-coincidence remark, but also for having anticipated the main lines of the logical-empiricist interpretation of general relativity. Whereas Kretschmann was inspired by the work of Mach and Poincaré, Einstein inserted Kretschmann’s point-coincidence parlance into the context of Ricci and Levi-Civita’s absolute differential calculus. Kretschmann himself realized this and turned the point-coincidence argument against Einstein in his second (...) and more famous 1918 paper. While Einstein had taken nothing from Kretschmann but the expression “point-coincidences”, the logical empiricists, however, instinctively dragged along with it the entire apparatus of Kretschmann’s conventionalism. Disappointingly, in their interpretation of general relativity, the logical empiricists unwittingly replicated some epistemological remarks Kretschmann had written before General Relativity even existed. (shrink)

This paper offers an exposition of Husserl's mature philosophy of mathematics, expounded for the first time in Logische Untersuchungen and maintained without any essential change throughout the rest of his life. It is shown that Husserl's views on mathematics were strongly influenced by Riemann, and had clear affinities with the much later Bourbaki school.

This paper aims to investigate certain aspects of Weyl’s account of implicit definitions. The paper takes under consideration Weyl’s approach to a certain kind of implicit definitions i.e. abstraction principles introduced by Frege.ion principles are bi-conditionals that transform certain equivalence relations into identity statements, defining thereby mathematical terms in an implicit way. The paper compares the analytic reading of implicit definitions offered by the Neo-Fregean program with Weyl’s account which has phenomenological leanings. The paper suggests that Weyl’s account should be (...) construed as putting emphasis on intentionality of human mind towards certain invariant features of the elements of initial domains of discourse that are involved in equivalence relations. Definition of terms like direction, shape, number etc. is achieved by a kind of transformation of those invariants into ideal objects that is involved in intuition. Then the paper argues that at the period of 1926 Weyl’s writings on implicit definitions, he is inclined to endorse symbolic construction as a way to explicate the objectivity of certain processes as those that are carried out in case of implicit definitions. (shrink)

On an ordinary view of the relation of philosophy of science to science, science serves only as a topic for philosophical reflection, reflection that proceeds by its own methods and according to its own standards. This ordinary view suggests a way of writing a global history of philosophy of science that finds substantially the same philosophical projects being pursued across widely divergent scientific eras. While not denying that this view is of some use regarding certain themes of and particular time (...) periods, this essay argues that much of the epistemology and philosophy of science in the early twentieth century in a variety of projects looked to the then current context of the exact sciences, especially geometry and physics, not merely for its topics but also for its conceptual resources and technical tools. This suggests a more variable project of philosophy of science, a deeper connection between early twentieth-century philosophy of science and its contemporary science, and a more interesting and richer history of philosophy of science than is ordinarily offered. (shrink)

No chance of seeing her for another fortnight and it is 11 days since I saw her. Went solitary walk felt miserable but to some extent staved it off by reflecting on |$\langle$|Continuum Problem|$\rangle$|1The occasion for this review article on the life and accomplishments of Frank Ramsey is the publication in the last eight years of three important books: a biography of Frank Ramsey by his sister, Margaret Paul, a book by Steven Methven on aspects of Ramsey’s philosophy, and the (...) recent biography of Ramsey written by Cheryl Misak. In a companion piece [Mancosu, 2020] I discuss Ramsey’s contacts with logicians in continental Europe and publish previously unpublished letters from Ramsey to Abraham Fraenkel and to Heinrich Behmann.1. INTRODUCTIONFrank Plumpton Ramsey (1903–1930) will be well known to the readers of this journal. His contributions to philosophy, mathematics, and economics have left a lasting legacy. In mathematical logic and philosophy of mathematics, Ramsey’s solution to the paradoxes by means of a simple theory of types [1926a] and Ramsey’s theorem in combinatorics (both finite and infinite [1930]) are among Ramsey’s most celebrated contributions. Ramsey is a key presence in accounts of Wittgenstein’s, Russell’s, and Moore’s lives and work. It is well known that it was Ramsey who translated the Tractatus into English and wrote what is still considered a very insightful review [1923] of the Tractatus. Wittgenstein mentioned the importance of his conversations with Ramsey in 1929 in Cambridge as having influenced his transition to the views presented in the Philosophical Investigations. Ramsey also contributed, in 1924, to the second edition of Principia Mathematica (see [Linsky, 2011]). While Ramsey’s friendship with Moore does not have an analogous concrete precipitate as the work on the Tractatus or Principia Mathematica, it is evident from the correspondence and other documents that Ramsey’s work in philosophy (truth, propositions, universals, etc.) influenced Moore. Of course, the direction of influence goes also the other way around. Wittgenstein, Russell, and Moore, among others, were essential in shaping Ramsey’s approach to philosophy. (shrink)