19th Century Philosophy of Mathematics

Kierkegaard, like Plato, though using different methods and conclusions, sought to ground knowledge in the ineffability of subjectivity. For Plato, knowledge comes subjectively (internally); for Kierkegaard, it comes by God's grace through faith. Socrates becomes the facilitator for the slave in the /Meno/, as does God for the man of faith. Again, Kierkegaard is also concerned with passion. "...the paradox is the passion of thought, and the thinker without the paradox is like the lover without passion; a mediocre fellow" (p. (...) 37). The paradox is necessitated by the metaphysical nature of the inquiry. Only knowledge through faith can approach the paradox since it is by definition beyond our knowledge. Passion must accompany the leap of faith, since knowledge acquisition for the man of faith is guided by God. (shrink)

This paper describes both an exegetical puzzle that lies at the heart of Frege’s writings—how to reconcile his logicism with his definitions and claims about his definitions—and two interpretations that try to resolve that puzzle, what I call the “explicative interpretation” and the “analysis interpretation.” This paper defends the explicative interpretation primarily by criticizing the most careful and sophisticated defenses of the analysis interpretation, those given my Michael Dummett and Patricia Blanchette. Specifically, I argue that Frege’s text either are inconsistent (...) with the analysis interpretation or do not support it. I also defend the explicative interpretation from the recent charge that it cannot make sense of Frege’s logicism. While I do not provide the explicative interpretation’s full solution to the puzzle, I show that its main competitor is seriously problematic. (shrink)

Part 1 of this article exposed a tension between Poincaré’s views of arithmetic and geometry and argued that it could not be resolved by taking geometry to depend on arithmetic. Part 2 aims to resolve the tension by supposing not merely that intuition’s role is to justify induction on the natural numbers but rather that it also functions to acquaint us with the unity of orders and structures and show practices to fit or harmonize with experience. I argue that in (...) this manner, intuition serves the epistemological function of warranting generalizations and justifying practices. In particular, it justifies the application of group-theoretic notions in geometry but not the use of set-theoretic notions in arithmetic. (shrink)

On which philosophical foundations is the attribution of numerical magnitudes to qualitative phenomena based? That is, what is the philosophical basis for attributing, through measurement operations, numbers to empirical qualities that our senses perceive in the outside world? This question, nowadays rarely addressed in such a way, actually refers to an old debate about the quantification of qualities. A historical analysis reveals that it was a major issue in the “context of discovery” of the first attempts to mathematize new fields (...) of knowledge, whereas the “context of justification” leading our contemporary perspective on such episodes often overlooks such problems. As a consequence, little attention has so far been given to tracing its emergence back to its original context, leaving in the shadows an important debate about measurement. In this respect, the work of William Stanley Jevons is worth analysis. As a preliminary step toward his ambitious project to mathematize economics, he first attempted to understand the mechanism underlying measurement in physics, through a very innovative approach. Its main merit consisted in trying to overcome the Aristotelian distinction between quantities and qualities. In this article, I will strive to highlight the significance of his work for the history of philosophy of science. (shrink)

This paper will annoy modern logicians who follow Bertrand Russell in taking pleasure in denigrating Aristotle for [allegedly] being ignorant of relational propositions. To be sure this paper does not clear Aristotle of the charge. On the contrary, it shows that such ignorance, which seems unforgivable in the current century, still dominated the thinking of one of the greatest modern logicians as late as 1831. Today it is difficult to accept the proposition that Aristotle was blind to the fact that, (...) for example, incommensurability is a relation and not a property: that the proposition “In every square, the diagonals are incommensurable with the sides” is relational and not categorical. This paper asks the reader to do something more difficult: to accept the proposition that as late as 1831 De Morgan was blind to the same fact. This paper shows conclusively that in 1831, De Morgan was still in the grips of the allegedly Aristotelian paradigm. (shrink)

This article develops a critical investigation of the epistemological core of Hilbert's foundational project, the so-called the finitary attitude. The investigation proceeds by distinguishing different senses of 'number' and 'finitude' that have been used in the philosophical arguments. The usual notion of modern pure mathematics, i.e. the sense of number which is implicit in the notion of an arbitrary finite sequence and iteration is one sense of number and finitude. Another sense, of older origin, is connected with practices of counting (...) concrete things, and a third sense is linked up with the immediate intuitive experience of multitudes of concrete things. Hilbert's fìnitism is examined with respect to these differences, and it will be shown that there is a tendency to conflate the different senses of number and fìnitude, a tendency which has been a source of problems in the discussion of the foundations of mathematics and in the philosophy of logic and language. (shrink)

We have reached the peculiar situation where the advance of mainstream science has required us to dismiss as unreal our own existence as free, creative agents, the very condition of there being science at all. Efforts to free science from this dead-end and to give a place to creative becoming in the world have been hampered by unexamined assumptions about what science should be, assumptions which presuppose that if creative becoming is explained, it will be explained away as an illusion. (...) In this paper it is shown that this problem has permeated the whole of European civilization from the Ancient Greeks onwards, leading to a radical disjunction between cosmology which aims at a grasp of the universe through mathematics and history which aims to comprehend human action through stories. By going back to the Ancient Greeks and tracing the evolution of the denial of creative becoming, I trace the layers of assumptions that must in some way be transcended if we are to develop a truly post-Egyptian science consistent with the forms of understanding and explanation that have evolved within history. (shrink)

ArgumentAccording to Hermann von Helmholtz, free mobility of bodies seemed to be an essential condition of geometry. This free mobility can be interpreted either as matter of fact, as a convention, or as a precondition making measurements in geometry possible. Since Henri Poincaré defined conventions as principles guided by experience, the question arises in which sense experiential data can serve as the basis for the constitution of geometry. Helmholtz considered muscular activity to be the basis on which the form of (...) space could be construed. Yet, due to the problem of illusion inherent in the subject’s self-assessment of muscular activity, this solution yielded new difficulties, in that if the manifold is abstracted from rigid bodies which serve as empirical justification of the geometrical notion of space, then illusionary bodies will produce fictive manifolds. The present article is meant to disentangle these difficulties. (shrink)

This paper analyses the contents and the style of the Bullettino di bibliografia e di storia delle scienze matematiche e fisiche , the first journal entirely devoted to the history of mathematics. It is argued that its innovative and controversial methodological approach cannot be properly understood without considering the cultural conditions in which the journal was conceived and realized. The style of the Bullettino was far from being the mere outcome of the eccentric personality of its editor, Prince Baldassarre Boncompagni. (...) Rather, it reflected in many ways, at the level of historiography of science, the struggle of the official Roman Catholic culture against the growing secularization of knowledge and society. (shrink)

More than any other aspect of the Second Scientific Revolution, the remarkable revitalization or British mathematics and mathematical physics during the first half of the nineteenth century is perhaps the most deserving of the name. While the newly constituted sciences of biology and geology were undergoing their first revolution, as it were, the reform of British mathematics was truly and self-consciously the story of a second coming of age. ‘Discovered by Fermat, cocinnated and rendered analytical by Newton, and enriched by (...) Leibniz with a powerful and comprehensive notation’, wrote the young John Herschel and Charles Babbage of the calculus in 1813, ‘as if the soil of this country [was] unfavourable to its cultivation, it soon drooped and almost faded into neglect; and we now have to re-import the exotic, with nearly a century of foreign improvement, and to render it once more indigenous among us’. (shrink)

Poincaré's claim that Euclidean and non-Euclidean geometries are translatable has generally been thought to be based on his introduction of a model to prove the consistency of Lobachevskian geometry and to be equivalent to a claim that Euclidean and non-Euclidean geometries are logically isomorphic axiomatic systems. In contrast to the standard view, I argue that Poincaré's translation thesis has a mathematical, rather than a meta-mathematical basis. The mathematical basis of Poincaré's translation thesis is that the underlying manifolds of Euclidean and (...) Lobachevskian geometries are homeomorphic. Assuming as Poincaré does that metric relations are not factual, it follows that we can rewrite a physical theory using Euclidean geometry as one using Lobachevskian geometry and express the same facts. (shrink)