Dans la première moitié du xixe siècle en Angleterre, autour de Charles babbage (1791–1871), John F. W. Herschel (1792–1871), George Peacock (1791–1858), Duncan F. Gregory (1813–1844), Augustus de Morgan (1806–1871), George Boole (1815–1864), et d'autres auteurs moins connus, un réseau d'algébristes renouvelle singulièrement la conception de l'algèbre, à tel point que leur travail est le plus souvent interprété comme émergence des travaux sur l'algèbre abstraite. Comme ces algébristes sont également des réformateurs impliqués dans la réorganisation de la science, il s'agira (...) de proposer de ces travaux une lecture plus contextuelle, afin d'éclairer leur inscription parmi les effects de la Révolution industrielle (1760–1830), et d'analyser leur rôle de médiation culturelle entre les racines d'un savoir universitaire fondé sur la fidélité aux Anciens, et de nouvelles formes d'élaboration des connaissances. Une médiation marquée par un premier rapprochement entre algèbre et logique. (shrink)

A new hypothesis on the basic features characterising the Foundations of Mathematics is suggested. By means of them the entire historical development of Mathematics before the 20th Century is summarised through a table. Also the several programs, launched around the year 1900, on the Foundations of Mathematics are characterised by a corresponding table. The major difficulty that these programs met was to recognize an alternative to the basic feature of the deductive organization of a theory - more precisely, to Hilbert’s (...) main tenet. Ironically, already half a century before the births of these programs the alternative organization has been substantially represented by Lobachevsky's theory on parallel lines. Moreover, although each program’s founder recognised the basic features in a partial way only, all together these programs represented just the four possible foundational approaches. (shrink)

In 1813, J.-V. Poncelet discovered that if there exists a polygon of n-sides, which is inscribed in a given conic and circumscribed about another conic, then infinitely many such polygons exist. This theorem became known as Poncelet’s porism, and the related polygons were called Poncelet’s polygons. In this article, we trace the history of the research about the existence of such polygons, from the “prehistorical” work of W. Chapple, of the middle of the eighteenth century, to the modern approach of (...) P. Griffiths in the late 1970s, and beyond. For reasons of space, the article has been divided into two parts, the second of which will appear in the next issue of this journal. (shrink)

This is an attempt to explain Kepler’s invention of the first “non-cone-based” system of conics, and to put it into a historical perspective.

RésuméCet article est consacré à l’histoire de la théorie locale des courbes “à double courbure”. Initiée par Clairaut en 1731, cette théorie se développe en parallèle à la théorie des surfaces et trouve son achèvement avec les formules de Serret et Frenet et leur interprétation par Darboux, en 1887. Au delà de l’analyse des contributions de nombreux mathématiciens, parmi lesquels Monge bien sûr mais aussi Fourier, Lagrange et Cauchy, notre étude donne un regard particulier sur l’évolution conjointe de l’Analyse et (...) de la Géométrie, dans une longue période riche de nombreuses remises en cause théoriques. (shrink)

In this paper I assess the obstacles to a transfer of Lakatos's methodology of scientific research programmes to mathematics. I argue that, if we are to use something akin to this methodology to discuss modern mathematics with its interweaving theoretical development, we shall require a more intricate construction and we shall have to move still further away from seeing mathematical knowledge as a collection of statements. I also examine the notion of rivalry within mathematics and claim that this appears to (...) be significant only at a high level. In addition, ideas of ‘progress’ in mathematics are outlined. (shrink)

Originally published in 1904, Whittaker’s A Treatise on the Analytical Dynamics of Particles and Rigid Bodies soon became a classic of the subject and has remained in print for most of these 108 years. In this paper, we follow the book as it develops from a report that Whittaker wrote for the British Society for the Advancement of Science to its influence on Dirac’s version of quantum mechanics in the 1920s and beyond.

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

In this paper I present an argument for belief in inconsistent objects. The argument relies on a particular, plausible version of scientific realism, and the fact that often our best scientific theories are inconsistent. It is not clear what to make of this argument. Is it a reductio of the version of scientific realism under consideration? If it is, what are the alternatives? Should we just accept the conclusion? I will argue (rather tentatively and suitably qualified) for a positive answer (...) to the last question: there are times when it is legitimate to believe in inconsistent objects. (shrink)

Indispensability arguments for realism about mathematical entities have come under serious attack in recent years. To my mind the most profound attack has come from Penelope Maddy, who argues that scientific/mathematical practice doesn't support the key premise of the indispensability argument, that is, that we ought to have ontological commitment to those entities that are indispensable to our best scientific theories. In this paper I defend the Quine/Putnam indispensability argument against Maddy's objections.

We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that abstraction through information hiding is a (...) primary factor in computer science progress and success through an examination of the ubiquitous role of information hiding in programming languages, operating systems, network architecture, and design patterns. (shrink)

What are intuitions? Stereotypical examples may suggest that they are the results of common intellectual reflexes. But some intuitions defy the stereotype: there are hard-won intuitions that take d...

In this paper, I present the case of the discovery of complex numbers by Girolamo Cardano. Cardano acquires the concepts of (specific) complex numbers, complex addition, and complex multiplication. His understanding of these concepts is incomplete. I show that his acquisition of these concepts cannot be explained on the basis of Christopher Peacocke’s Conceptual Role Theory of concept possession. I argue that Strong Conceptual Role Theories that are committed to specifying a set of transitions that is both necessary and sufficient (...) for possession of mathematical concepts will always face counterexamples of the kind illustrated by Cardano. I close by suggesting that we should rely more heavily on resources of Anti-Individualism as a framework for understanding the acquisition and possession of concepts of abstract subject matters. (shrink)

In this paper we consider the major development of mathematical analysis during the mid-nineteenth century. On the basis of Jahnke’s (Hist Math 20(3):265–284, 1993 ) distinction between considering mathematics as an empirical science based on time and space and considering mathematics as a purely conceptual science we discuss the Swedish nineteenth century mathematician E.G. Björling’s general view of real- and complexvalued functions. We argue that Björling had a tendency to sometimes consider mathematical objects in a naturalistic way. One example is (...) how Björling interprets Cauchy’s definition of the logarithm function with respect to complex variables, which is investigated in the paper. Furthermore, in view of an article written by Björling (Kongl Vetens Akad Förh Stockholm 166–228, 1852 ) we consider Cauchy’s theorem on power series expansions of complex valued functions. We investigate Björling’s, Cauchy’s and the Belgian mathematician Lamarle’s different conditions for expanding a complex function of a complex variable in a power series. We argue that one reason why Cauchy’s theorem was controversial could be the ambiguities of fundamental concepts in analysis that existed during the mid-nineteenth century. This problem is demonstrated with examples from Björling, Cauchy and Lamarle. (shrink)

Everyone appreciates a clever mathematical picture, but the prevailing attitude is one of scepticism: diagrams, illustrations, and pictures prove nothing; they are psychologically important and heuristically useful, but only a traditional verbal/symbolic proof provides genuine evidence for a purported theorem. Like some other recent writers (Barwise and Etchemendy [1991]; Shin [1994]; and Giaquinto [1994]) I take a different view and argue, from historical considerations and some striking examples, for a positive evidential role for pictures in mathematics.

I present a systematic interpretation of the foundational purpose of constructions in ancient Greek geometry. I argue that Greek geometers were committed to an operationalist foundational program, according to which all of mathematics—including its entire ontology and epistemology—is based entirely on concrete physical constructions. On this reading, key foundational aspects of Greek geometry are analogous to core tenets of 20th-century operationalist/positivist/constructivist/intuitionist philosophy of science and mathematics. Operationalism provides coherent answers to a range of traditional philosophical problems regarding classical mathematics, such (...) as the epistemic warrant and generality of diagrammatic reasoning, superposition, and the relation between constructivism and proof by contradiction. Alleged logical flaws in Euclid can be interpreted as sound operationalist reasoning. Operationalism also provides a compelling philosophical motivation for the otherwise inexplicable Greek obsession with cube duplication, angle trisection, and circle quadrature. Operationalism makes coherent sense of numerous specific choices made in this tradition, and suggests new interpretations of several solutions to these problems. In particular, I argue that: Archytas’s cube duplication was originally a single-motion machine; Diocles’s cissoid was originally traced by a linkage device; Greek conic section theory was thoroughly constructive, based on the conic compass; in a few cases, string-based constructions of conic sections were used instead; pointwise constructions of curves were rejected in foundational contexts by Greek mathematicians, with good reason. Operationalism enables us to view the classical geometrical tradition as a more unified and philosophically aware enterprise than has hitherto been recognised. (shrink)

I argue that a recent version of the doctrine of mathematical naturalism faces difficulties arising in connection with Wigner's old puzzle about the applicability of mathematics to natural science. I discuss the strategies to solve the puzzle and I show that they may not be available to the naturalist.

The paper discusses to what extent the conceptual issues involved in solving the simple harmonic oscillator model fit Wigner’s famous point that the applicability of mathematics borders on the miraculous. We argue that although there is ultimately nothing mysterious here, as is to be expected, a careful demonstration that this is so involves unexpected difficulties. Consequently, through the lens of this simple case we derive some insight into what is responsible for the appearance of mystery in more sophisticated examples of (...) the Wigner problem. (shrink)

Leibniz never tired of stressing the fundamental importance of the concept of continuity for philosophy, nor was he shy of attributing major importance to his own struggle through “the labyrinth of the continuum” for the subsequent development of his whole system of thought. Unfortunately, however, his own thought on the subject is something of a labyrinth itself, and from a modern point of view many of his pronouncements are apt to seem blatantly contradictory.Certain quotations seem to commit him unambiguously to (...) atomism. Thus to de Voider he writes: “Matter is not continuous, but discrete…. The same holds for changes, which are not truly continuous.” (To de Voider, 11th October 1705: G.II.279).2. (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 ...

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular conception of “form” (...) developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

The role of conventions in the formulation of Thomas Reid’s theory of the geometry of vision, which he calls the “geometry of visibles”, is the subject of this investigation. In particular, we will examine the work of N. Daniels and R. Angell who have alleged that, respectively, Reid’s “geometry of visibles” and the geometry of the visual field are non-Euclidean. As will be demonstrated, however, the construction of any geometry of vision is subject to a choice of conventions regarding the (...) construction and assignment of its various properties, especially metric properties, and this fact undermines the claim for a unique non-Euclidean status for the geometry of vision. Finally, a suggestion is offered for trying to reconcile Reid’s direct realist theory of perception with his geometry of visibles. (shrink)

I argue that we find the articulation of a problem concerning bodily agency in the early works of the Merleau-Ponty which he explicates as analogous to what he explicitly calls the problem of perception. The problem of perception is the problem of seeing how we can have the object given in person through it perspectival appearances. The problem concerning bodily agency is the problem of seeing how our bodily movements can be the direct manifestation of a person’s intentions in the (...) world. In both cases what, according to Merleau-Ponty, obscures a recognition of the phenomenon in question is a conception of our bodily capacities, i.e. our sensibility and our motility, which reduces these to the workings of mechanisms that are blind to meaning. I argue that both the problem concerning perception and the problem concerning bodily agency can be properly called transcendental. The problem of perception is transcendental because it concerns the very intelligibility of appearances and judgements with empirical content. The problem of bodily agency is transcendental in the sense that it concerns the very intelligibility of our bodily capacity to carry out intentions and by implication the intelligibility of our intentions as such. (shrink)

Monsters lurk within mathematical as well as literary haunts. I propose to trace some pathways between these two monstrous habitats. I start from Jeffrey Jerome Cohen’s influential account of monster culture and explore how well mathematical monsters fit each of his seven theses. The mathematical monsters I discuss are drawn primarily from three distinct but overlapping domains. Firstly, late nineteenth-century mathematicians made numerous unsettling discoveries that threatened their understanding of their own discipline and challenged their intuitions. The great French mathematician (...) Henri Poincaré characterised these anomalies as ‘monsters’, a name that stuck. Secondly, the twentieth-century philosopher Imre Lakatos composed a seminal work on the nature of mathematical proof, in which monsters play a conspicuous role. Lakatos coined such terms as ‘monster-barring’ and ‘monster-adjusting’ to describe strategies for dealing with entities whose properties seem to falsify a conjecture. Thirdly, and most recently, mathematicians dubbed the largest of the sporadic groups ‘the Monster’, because of its vast size and uncanny properties, and because its existence was suspected long before it could be confirmed. (shrink)

The meaning of the wave function has been a hot topic of debate since the early days of quantum mechanics. Recent years have witnessed a growing interest in this long-standing question. Is the wave function ontic, directly representing a state of reality, or epistemic, merely representing a state of knowledge, or something else? If the wave function is not ontic, then what, if any, is the underlying state of reality? If the wave function is indeed ontic, then exactly what physical (...) state does it represent? In this book, I aim to make sense of the wave function in quantum mechanics and find the ontological content of the theory. The book can be divided into three parts. The first part addresses the question of the nature of the wave function. After giving a comprehensive and critical review of the competing views of the wave function, I present a new argument for the ontic view in terms of protective measurements. In addition, I also analyze the origin of the wave function by deriving the free Schroedinger equation. The second part analyzes the ontological meaning of the wave function. I propose a new ontological interpretation of the wave function in terms of random discontinuous motion of particles, and give two main arguments supporting this interpretation. The third part investigates whether the suggested quantum ontology is complete in accounting for our definite experience and whether it needs to be revised in the relativistic domain. (shrink)

Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations. -/- The book begins by first challenging the (...) assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics. ​. (shrink)

This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was guided primarily (...) by model theoretical concerns. Accordingly, the ultimate aim of his consistency program was to prove the model-theoretical consistency of mathematical theories. It turns out that for the purpose of carrying out such consistency proofs, a suitable modification of the ordinary first-order logic is needed. To effect this modification, independence-friendly logic is needed as the appropriate conceptual framework. It is then shown how the model theoretical consistency of arithmetic can be proved by using IF logic as its basic logic. Hilbert’s other problems, manifesting themselves as aspects (ii), (iii), and (iv)—most notably the problem of the status of the axiom of choice, the problem of the role of the law of excluded middle, and the problem of giving an elementary account of quantification—can likewise be approached by using the resources of IF logic. It is shown that by means of IF logic one can carry out Hilbertian solutions to all these problems. The two major results concerning aspects (ii), (iii) and (iv) are the following: (a) The axiom of choice is a logical principle; (b) The law of excluded middle divides metamathematical methods into elementary and non-elementary ones. It is argued that these results show that IF logic helps to vindicate Hilbert’s nominalist philosophy of mathematics. On the basis of an elementary approach to logic, which enriches the expressive resources of ordinary first-order logic, this dissertation shows how the different problems that Hilbert discovered in the foundations of mathematics can be solved. (shrink)

This article draws on several crucial and unpublished manuscripts from the Scholem Archive in exploration of Gershom Scholem's youthful statements on mathematics and its relation to extra-mathematical facts and, more broadly, to a concept of history that would prove to be consequential for Walter Benjamin's own thinking on "messianism" and a "futuristic politics." In context of critiquing the German Youth Movement's subsumption of active life to the nationalistic conditions of the "earth" during the First World War, Scholem turns to mathematics (...) for a genuine and self-consistent theory of action. In the concept of actual infinity (in Cantor and Bolzano) he finds an explanation of how mathematics relates to "the physical" without reducing the former to an "image" of the latter, and without relying on the concept of geometric intuition. This explanation, insofar as it relies on the notion of actual infinity, provides Scholem with a conception of mathematics (and the history of mathematics) that reconciles freedom and necessity—remarks on which he outlines in his diaries and communicates to Benjamin in early March 1916. (shrink)

Distributive egalitarians believe that distributive justice is to be explained by the idea of distributive equality (DE) and that DE is of intrinsic value. The socio-relational critique argues that distributive egalitarianism does not account for the “true” value of equality, which rather lies in the idea of “equality as a substantive social value” (ESV). This paper examines the socio-relational critique and argues that it fails because – contrary to what the critique presupposes –, first, ESV is not conceptually distinct from (...) DE, and second, the idea of ESV cannot serve as a “foundation” or “root” of distributive egalitarianism. (shrink)

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

The collection Virtual Mathematics: the logic of difference brings together a range of new philosophical engagements with mathematics, using the work of French philosopher Gilles Deleuze as its focus. Deleuze’s engagements with mathematics rely upon the construction of alternative lineages in the history of mathematics in order to reconfigure particular philosophical problems and to develop new concepts. These alternative conceptual histories also challenge some of the self-imposed limits of the discipline of mathematics, and suggest the possibility of forging new connections (...) between philosophy and more recent developments in mathematics. This component of Deleuze’s work has, to date, been rather neglected by commentators working in the field of Deleuze studies. One of the aims of this collection is to address this critical deficit by providing a philosophical presentation of Deleuze’s relation to mathematics; one that is adequate to his project of constructing a philosophy of difference and to the exploration of some of its applications. This project developed as a result of encounters with an increasing number of researchers who have been working on the mathematical aspects of Deleuze’s work and the key role that these play in his philosophy. By bringing this work together for the first time, this collection makes an important contribution to the emerging body of work that endeavours to explore the broad range of Deleuze’s philosophy. (shrink)

One of the important challenges in the philosophy of mathematics is to account for the semantics of sentences that express mathematical propositions while simultaneously explaining our access to their contents. This is Benacerraf’s Dilemma. In this dissertation, I argue that cognitive science furnishes new tools by means of which we can make progress on this problem. The foundation of the solution, I argue, must be an ontologically realist, albeit non-platonist, conception of mathematical reality. The semantic portion of the problem can (...) be addressed by accepting a Chomskyan conception of natural languages and a matching internalist, mentalist and nativist view of semantics. A helpful perspective on the epistemic aspect of the puzzle can be gained by translating Kurt G ̈odel’s neo-Kantian conception of the nature of mathematics and its objects into modern, cognitive terms. (shrink)

La consecuencia más difundida de la revolución en la geometría del siglo XIX es aquella que afirma que después de dichos cambios ya nada quedaría de la vieja noción de espacio como "forma de la intuición sensible", ni de la geometría como "condición trascendental" de la posibilidad de la experiencia. Este artículo se ocupa del intento de Rudolf Carnap por articular una concepción del espacio intuitivo que, al tiempo que se mantiene dentro del paradigma kantiano se hace eco de algunos (...) resultados obtenidos en las ciencias formales, específicamente de la teoría de grupos en su aplicación a la geometría. Su concepción se encuentra antecedida por los esfuerzos de Helmholtz, Poincaré, Cassirer y Husserl. The most diffused consecuence of the revolution in the geometry of the XIX century is what claims that after this changes anything would remain of the old notion of space as "the form of the sensible intuition", neither of geometry like "transcendental condition" of the possibility of experience. This paper deal with the Rudolf Carnap's attempt to articulate a conception of the intuitve space that, at the time that it mantains within kantian paradigm, it echoes of some results obtained in the formal sciences, specifically of the theory of groups in its application to geometry. Its conception is preceded by the efforts of Helmholtz, Poincaré, Cassirer and Husserl. (shrink)

We develop a new understanding of the historical horizon of event ontology. Within the general area of the philosophy of nature, event ontology is a still emerging field of investigation in search for the ultimate materialist ontology of the world. While event ontology itself will not be explicated in full mathematical details here, our focus is on its conceptual interrelation with the dominant current of Idealism in Western thought approached by us as a problem in the history of ideas. Our (...) presentation is designed to be accessible to a wider audience. We especially highlight the deep connection between event ontology and postmodernism in general, and the post-war French philosophers Althusser, Foucault, Deleuze, and Guattari in particular, who are viewed as main sources for current and future programs of abstract materialism. (shrink)

It is commonly thought that before the introduction of quantum mechanics, determinism was a straightforward consequence of the laws of mechanics. However, around the nineteenth century, many physicists, for various reasons, did not regard determinism as a provable feature of physics. This is not to say that physicists in this period were not committed to determinism; there were some physicists who argued for fundamental indeterminism, but most were committed to determinism in some sense. However, for them, determinism was often not (...) a provable feature of physical theory, but rather an a priori principle or a methodological presupposition. Determinism was strongly connected with principles of causality and continuity and the principle of sufficient reason; this thesis examines the relevance of these principles in the history of physics. Moreover, the history of determinism in this period shows that there were essential changes in the relation between mathematics and physics: whereas in the eighteenth century, there were metaphysical arguments which lent support to differential calculus, by the early twentieth century the development of rigorous foundations of differential calculus led to concerns about its applicability in physics. The thesis consists of six papers. In the first paper, "On the origins and foundations of Laplacian determinism", I argue that Laplace, who is usually pointed out as the first major proponent of scientific determinism, did not derive his statement of determinism directly from the laws of mechanics; rather, his determinism has a background in eighteenth century Leibnizian metaphysics, and is ultimately based on the law of continuity and the principle of sufficient reason. These principles also provided a basis for the idea that one can find laws of nature in the form of differential equations which uniquely determine natural processes. In "The Norton dome and the nineteenth century foundations of determinism", I argue that an example of indeterminism in classical physics which has attracted attention in philosophy of physics in recent years, namely the Norton come, was already discussed during the nineteenth century. However, the significance which this type of indeterminism had back then is very different from the significance which the Norton dome currently has in philosophy of physics. This is explained by the fact that determinism was conceived of in an essentially different way: in particular, the nineteenth century authors who wrote about this type of indeterminism regarded determinism as an a priori principle rather than as a property of the equations of physics. In "Vital instability: life and free will in physics and physiology, 1860-1880", I show how Maxwell, Cournot, Stewart and Boussinesq used the possibility of unstable or indeterministic mechanical systems to argue that the will or a vital principle can intervene in organic processes without violating the laws of physics, so that a strictly dualist account of life and the mind is possible. Moreover, I show that their ideas can be understood as a reaction to the law of conservation of energy and to the way it was used in physiology to exclude vital and mental causes. In "The nineteenth century conflict between mechanism and irreversibility", I show that in the late nineteenth century, there was a widespread conflict between the aim of reducing physical processes to mechanics and the recognition that certain processes are irreversible. Whereas the so-called reversibility objection is known as an objection that was made to the kinetic theory of gases, it in fact appeared in a wide range of arguments, and was susceptible to very different interpretations. It was only when the project of reducing all of physics to mechanics lost favor, in the late nineteenth century, that the reversibility objection came to be used as an argument against mechanism and against the kinetic theory of gases. In "Continuity in nature and in mathematics: Boltzmann and Poincaré", I show that the development of rigorous foundations of differential calculus in the nineteenth century led to concerns about its applicability in physics: through this development, differential calculus was made independent of empirical and intuitive notions of continuity and was instead based on mathematical continuity conditions, and for Boltzmann and Poincaré, the applicability of differential calculus in physics depended on whether these continuity conditions could be given a foundation in intuition or experience. In the final paper, "Determinism around 1900", I briefly discuss the implications of the developments described in the previous two papers for the history of determinism in physics, through a discussion of determinism in Mach, Poincaré and Boltzmann. I show that neither of them regards determinism as a property of the laws of mechanics; rather, for them, determinism is a precondition for science, which can be verified to the extent that science is successful. (shrink)

Este texto introduz a tradução do discurso de intitulado "Sobre os números transfinitos" ("Über transfinite Zahlen"), proferido por Henri Poincaré em 27 de abril de 1909, na Universidade de Göttingen. Após uma breve apresentação do pensamento do autor acerca dos fundamentos da aritmética, procura-se citar os aspectos mais relevantes da chamada crise dos fundamentos da matemática, para então introduzir a reformulação do conceito de predicatividade aventada no referido discurso sobre números transfinitos, contribuição compreendida como um recurso teórico necessário para a (...) superação dos paradoxos relativos à teoria dos conjuntos. Com isso, pretende-se evidenciar o papel central do texto publicado nesta edição para o desenvolvimento da concepção matemática de Henri Poincaré. This article provides an introduction to the translation of the lecture entitled "On transfinite numbers" ("Über transfinite Zahlen"), given by Henri Poincaré at the University of Göttingen on April 27, 1909. Following a short presentation of Poincaré's views on the foundations of arithmetic, it identifies the aspects of the so-called crisis of the foundations of mathematics that are most relevant for understanding his reconstruction of the concept of predicativity, which is intended to be a theoretical resource that may overcome the paradoxes of set theory. In doing so, the article highlights the central role of this text in the process of maturation of Poincaré's views on the foundations of mathematics. (shrink)