The widespread idea that infinitesimals were “eliminated” by the “great triumvirate” of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an oversimplification created by triumvirate followers, who tend to view the history of analysis as a pre-ordained march toward the radiant future of Weierstrassian epsilontics. In the present text, we document distortions of the history of analysis stemming from the triumvirate ideology of ontological minimalism, which identified the continuum (...) with a single number system. Such anachronistic distortions characterize the received interpretation of Stevin, Leibniz, d’Alembert, Cauchy, and others. (shrink)

A comment on Paul Schoemaker's target article in Behavioral and Brain Sciences, 14 (1991), p. 205-215, "The Quest for Optimality: A Positive Heuristic of Science?" (https://doi.org/10.1017/S0140525X00066140). This comment argues that the optimizing model of decision leads to an infinite regress, once internal costs of decision (i.e., information and computation costs) are duly taken into account.

An account is given of the emergence of the concept of work as a basic component of mechanics. It was largely an achievement of engineer savants in France during the Bourbon Restoration , with Navier, Coriolis and Poncelet playing the major roles. Some aspects of the eighteenth-century prehistory are described, and also concurrent developments in French engineering. The principal problem areas were friction, hydraulics, machine performance and ergonomics, and especially in the last context the developments became involved with social and (...) even philosophical movements in the 1820s. Education played an important role throughout; several of the principal sources are textbooks. (shrink)

ABSTRACT An overview of some of the main modes of making images of natural objects and processes, as they have appeared in the history of science, leads to two main conclusions. First, the dichotomies that have traditionally distinguished, for example, art from science, museums from laboratories, and geometrical from algebraic methods have produced a poverty of understanding of visualization. It is at the intersections of these dichotomies where much of the creative work of science occurs, and it is into those (...) intersections that this Focus section leads us. Second, the section suggests that we need to understand images as arguments. Generalizing, we need to develop a “materialized epistemology” that reunites sensual with ideational knowing. Recent work in the history of science is already pointing the way and producing a dramatically new historiography. (shrink)

We analyze the developments in mathematical rigor from the viewpoint of a Burgessian critique of nominalistic reconstructions. We apply such a critique to the reconstruction of infinitesimal analysis accomplished through the efforts of Cantor, Dedekind, and Weierstrass; to the reconstruction of Cauchy’s foundational work associated with the work of Boyer and Grabiner; and to Bishop’s constructivist reconstruction of classical analysis. We examine the effects of a nominalist disposition on historiography, teaching, and research.

I examine here if Kant can explain our knowledge of duration by showing that time has metric structure. To do so, I spell out two possible solutions: time’s metric could be intrinsic or extrinsic. I argue that Kant’s resources are too weak to secure an intrinsic, transcendentally-based temporal metrics; but he can supply an extrinsic metric, based in a metaphysical fact about matter. I conclude that Transcendental Idealism is incomplete: it cannot account for the durative aspects of experience—or it can (...) do so only with help from a non-trivial metaphysics of material substance. (shrink)

Differential geometry, the contemporary heir of the infinitesimal calculus of the 17th century, appears today as the most appropriate language for the description of physical reality. This holds at every level: The concept of “connexion,” for instance, is used in the construction of models of the universe as well as in the description of the interior of the proton. Nothing is apparently more contrary to the wisdom of physicists; all the same, “it works.” The pages that follow show the conceptual (...) role played by this geometry in some examples—without entering into technical details. In order to achieve this, we shall often have to abandon the complete mathematical rigor and even full definitions; however, we shall be able to give a precise description of the connection of ideas thanks to some elements of group theory. (shrink)

The examples and concepts that Shoemaker cites are rather heterogeneous. Some distinctions need to be drawn. An optimality thesis involves not just an ordering of options, but a value judgment about them. So let us begin by distinguishing minimality from optimality. And the concept of minimality can play a variety of roles, among which I distinguish between extremum descriptions, statements hypothesizing an optimizing process, and methodological recommendations. Finally, I consider how the three categories relate to Shoemaker’s question that “Who is (...) optimizing: the scientist or nature?” . (shrink)

This paper examines the strengths and weaknesses of one of science's most pervasive and flexible metaprinciples;optimalityis used to explain utility maximization in economics, least effort principles in physics, entropy in chemistry, and survival of the fittest in biology. Fermat's principle of least time involves both teleological and causal considerations, two distinct modes of explanation resting on poorly understood psychological primitives. The rationality heuristic in economics provides an example from social science of the potential biases arising from the extreme flexibility of (...) optimality considerations, including selective search for confirming vidence, ex post rationalization, and the confusion of prediction with explanation. Commentators are asked to reflect on the extent to which optimality is an organizing principle of nature, a set of relatively unconnected techniques of science, a normative principle for rational choice and social organization, a metaphysical way of looking at the world, or something else still. (shrink)

This paper examines the contribution of Gabrio Piola to continuum mechanics.Though he was undoubtably a skilled mathematician and a good mechanician, little is commonly known about his papers within the international scientific community, principally because a large part of the Italian school of mechanics was isolated in the first half of the XIXth century.We examine and comment on Piola’s most important papers, and compare them with those of his contemporaries Cauchy, Poisson and Kirchhoff.

The conservation of energy and momentum have been viewed as undermining Cartesian mental causation since the 1690s. Modern discussions of the topic tend to use mid-nineteenth century physics, neglecting both locality and Noether’s theorem and its converse. The relevance of General Relativity has rarely been considered. But a few authors have proposed that the non-localizability of gravitational energy and consequent lack of physically meaningful local conservation laws answers the conservation objection to mental causation: conservation already fails in GR, so there (...) is nothing for minds to violate. This paper is motivated by two ideas. First, one might take seriously the fact that GR formally has an infinity of rigid symmetries of the action and hence, by Noether’s first theorem, an infinity of conserved energies-momenta. Second, Sean Carroll has asked how one should modify the Dirac–Maxwell–Einstein equations to describe mental causation. This paper uses the generalized Bianchi identities to show that General Relativity tends to exclude, not facilitate, such Cartesian mental causation. In the simplest case, Cartesian mental influence must be spatio-temporally constant, and hence 0. The difficulty may diminish for more complicated models. Its persuasiveness is also affected by larger world-view considerations. The new general relativistic objection provides some support for realism about gravitational energy-momentum in GR. Such realism also might help to answer an objection to theories of causation involving conserved quantities, because energies-momenta would be conserved even in GR. (shrink)

Recent work on the history of General Relativity by Renn, Sauer, Janssen et al. shows that Einstein found his field equations partly by a physical strategy including the Newtonian limit, the electromagnetic analogy, and energy conservation. Such themes are similar to those later used by particle physicists. How do Einstein's physical strategy and the particle physics derivations compare? What energy-momentum complex did he use and why? Did Einstein tie conservation to symmetries, and if so, to which? How did his work (...) relate to emerging knowledge of the canonical energy-momentum tensor and its translation-induced conservation? After initially using energy-momentum tensors hand-crafted from the gravitational field equations, Einstein used an identity from his assumed linear coordinate covariance x'=Mx to relate it to the canonical tensor. Usually he avoided using matter Euler-Lagrange equations and so was not well positioned to use or reinvent the Herglotz-Mie-Born understanding that the canonical tensor was conserved due to translation symmetries, a result with roots in Lagrange, Hamilton and Jacobi. Whereas Mie and Born were concerned about the canonical tensor's asymmetry, Einstein did not need to worry because his Entwurf Lagrangian is modeled not so much on Maxwell's theory as on a scalar theory. Einstein's theory thus has a symmetric canonical energy-momentum tensor. But as a result, it also has 3 negative-energy field degrees of freedom. Thus the Entwurf theory fails a 1920s-30s a priori particle physics stability test with antecedents in Lagrange's and Dirichlet's stability work; one might anticipate possible gravitational instability. This critique of the Entwurf theory can be compared with Einstein's 1915 critique of his Entwurf theory for not admitting rotating coordinates and not getting Mercury's perihelion right. One can live with absolute rotation but cannot live with instability. Particle physics also can be useful in the historiography of gravity and space-time, both in assessing the growth of objective knowledge and in suggesting novel lines of inquiry to see whether and how Einstein faced the substantially mathematical issues later encountered in particle physics. This topic can be a useful case study in the history of science on recently reconsidered questions of presentism, whiggism and the like. Future work will show how the history of General Relativity, especially Noether's work, sheds light on particle physics. (shrink)

An overlap between the general relativist and particle physicist views of Einstein gravity is uncovered. Noether's 1918 paper developed Hilbert's and Klein's reflections on the conservation laws. Energy-momentum is just a term proportional to the field equations and a "curl" term with identically zero divergence. Noether proved a \emph{converse} "Hilbertian assertion": such "improper" conservation laws imply a generally covariant action. Later and independently, particle physicists derived the nonlinear Einstein equations assuming the absence of negative-energy degrees of freedom for stability, along (...) with universal coupling: all energy-momentum including gravity's serves as a source for gravity. Those assumptions imply that the energy-momentum is only a term proportional to the field equations and a symmetric curl, which implies the coalescence of the flat background geometry and the gravitational potential into an effective curved geometry. The flat metric, though useful in Rosenfeld's stress-energy definition, disappears from the field equations. Thus the particle physics derivation uses a reinvented Noetherian converse Hilbertian assertion in Rosenfeld-tinged form. The Rosenfeld stress-energy is identically the canonical stress-energy plus a Belinfante curl and terms proportional to the field equations, so the flat metric is only a convenient mathematical trick without ontological commitment. Neither generalized relativity of motion, nor the identity of gravity and inertia, nor substantive general covariance is assumed. The more compelling criterion of lacking ghosts yields substantive general covariance as an output. Hence the particle physics derivation, though logically impressive, is neither as novel nor as ontologically laden as it has seemed. (shrink)

Misconceptions about energy conservation abound due to the gap between physics and secondary school chemistry. This paper surveys this difference and its relevance to the 1690s–2010s Leibnizian argument that mind-body interaction is impossible due to conservation laws. Justifications for energy conservation are partly empirical, such as Joule’s paddle wheel experiment, and partly theoretical, such as Lagrange’s statement in 1811 that energy is conserved if the potential energy does not depend on time. In 1918 Noether generalized results like Lagrange’s and proved (...) a converse: symmetries imply conservation laws and vice versa. Conservation holds if and only if nature is uniform. The rise of field physics during the 1860s–1920s implied that energy is located in particular places and conservation is primordially local: energy cannot disappear in Cambridge and reappear in Lincoln instantaneously or later; neither can it simply disappear in Cambridge or simply appear in Lincoln. A global conservation law can be inferred in some circumstances. Einstein’s General Relativity, which stimulated Noether’s work, is another source of difficulty for conservation laws. As is too rarely realized, the theory admits conserved quantities due to symmetries of the Lagrangian, like other theories. Indeed General Relativity has more symmetries and hence more conserved energies. An argument akin to Leibniz’s finally gets some force. While the mathematics is too advanced for secondary school, the ideas that conservation is tied to uniformities of nature and that energy is in particular places, are accessible. Improved science teaching would serve the truth and enhance the social credibility of science. (shrink)

Generally speaking, virtual displacement or work concerns to a timely idea according to which a motion of a certain body is not the unique possible motion. The process of reducing this motion to a particular magnitude and concept, eventually minimizing as a hypothesis, can be traced back to the Aristotelian school. In the history and philosophy of science one finds various enunciations of the Principle of Virtual Laws and its virtual displacement or work applications, i.e., from Aristotle to Leibniz’s vis (...) viva, from Maupertuis’ least action to Euler and Lagrange with calculus of variations to Lazare Carnot’s mechanics. In this case study, I will demonstrate that a particular approach used by Lazare Carnot is original by explaining within the historical context of rival approaches such as the development of the Principle of virtual Laws. I will also discuss Carnot’s geometric motion as one of the possible but invertible movements applied to virtual displacement as employed in his theories of machines and collisions. I will then go on to explore how the originality of an invertible motion within his mechanical and, in general, mathematical research program permitted Carnot to introduce a new way of structuring a scientific theory and making mechanics, with respect to the Newtonian paradigm, to scholars and his students of the École polytechnique de Paris. (shrink)

Em sua concepção da dinâmica como ciência das mudanças dos movimentos dos corpos, D'Alambert propõe-se a exprimir estas mudanças somente em função das grandezas do movimento. Ele estabelece assim a possibilidade de concebê-las fisicamente, em relação às suas causas efetivas, sem recorrer a conceitos externos como o de força, afirmado a co-naturalidade da causa física e de seus efeitos, traduzida pelaç noção de aceleração instantânea, cuja significação física vincula-se à forma diferencial da grandeza tempo e ao conceito de movimento virtual.

Les notions ou catégories de causalité et de déterminisme ont accompagné la formation des sciences modernes, et en premier lieu celle de la physique. L'usage courant de nos jours tend souvent, à tort, à les confondre, dans les remises en cause qui en sont faites en physique même. Nous nous proposons, dans ce travail, de clarifier la première de ces notions, plus exactement la causalité physique, en suivant son élaboration avec les débuts de la dynamique, à travers ses premières mises (...) en œuvre et conceptualisations qui accompagnent la mathématisation de la mécanique, avant d'être étendue à la physique d'une manière générale. Nous verrons comment, tout en s'appuyant sur l'un des aspects philosophiques traditionnels de l'idée de causalité (celui de « cause efficiente »), la causalité physique s'établit en rupture avec le sens métaphysique qui lui était précédemment attaché. Bien plutôt que dans les Principia de Newton, c'est dans la ré-élaboration par d'Alembert, dans son Traité de dynamique, des lois du mouvement formulés comme des principes, et exprimées par le calcul différentiel, que l'idée de causalité physique est expressément considérée indissociablement de son effet, qui est le changement de mouvement. Les pensées respectives de Newton et de d'Alembert sur les notions de cause et de force sont à cet égard en opposition en ce qui concerne la nature proprement physique de ce changement, considéré par d'Alembert comme immanent au mouvement, selon la cause circonscrite par son effet, alors qu'il reste mathématique et métaphysique dans la conception newtonienne de la force externe, comme substitut mathématique des causes, telle qu'elle se proposait avant Lagrange. C'est la conception physique, héritée de d'Alembert, qui devait par la suite prévaloir, à travers la mécanique analytique lagrangienne, qui permettait de réintégrer physiquement et rationnellement le concept de force dans sa transcription eulérienne différentielle. Les avatars ultérieurs de la notion de causalité, qui comprennent la causalité relativiste et les développements sur le déterminisme, font l'objet d'un travail complémentaire. (shrink)

We reconstruct essential features of Lagrange’s theory of analytical functions by exhibiting its structure and basic assumptions, as well as its main shortcomings. We explain Lagrange’s notions of function and algebraic quantity, and we concentrate on power-series expansions, on the algorithm for derivative functions, and the remainder theorem—especially on the role this theorem has in solving geometric and mechanical problems. We thus aim to provide a better understanding of Enlightenment mathematics and to show that the foundations of mathematics did not, (...) for Lagrange, concern the solidity of its ultimate bases, but rather purity of method—the generality and internal organization of the discipline. (shrink)

We can distinguish between two different ways in which mathematics is applied in science: when mathematics is introduced and developed in the context of a particular scientific application; when mathematics is used in the context of a particular scientific application but it has been developed independently from that application. Nevertheless, there might also exist intermediate cases in which mathematics is developed independently from an application but it is nonetheless introduced in the context of that particular application. In this paper I (...) present a case study, that of the Lagrange multipliers, which concerns such type of intermediate application. I offer a reconstruction of how Lagrange developed the method of multipliers and I argue that the philosophical significance of this case-study analysis is twofold. In the context of the applicability debate, my historically-driven considerations pull towards the reasonable effectiveness of mathematics in science. Secondly, I maintain that the practice of applying the same mathematical result in different scientific settings can be regarded as a form of crosschecking that contributes to the objectivity of a mathematical result. (shrink)

: This paper first discusses the current historical and philosophical framework forged during the last century to account for both the history and the epistemic status of Newton's theory of general gravitation. It then examines the conflict surrounding this theory at the close of the seventeenth century and the first steps towards the revolutionary shift in rational mechanics in the eighteenth century. From a historical point of view, it shows the crucial contribution of the Cartesian mechanistic philosophy and Leibnizian analytic (...) methods to the emergence of so-called Newtonian mechanics which can also be fairly characterized as a synthetic theory of attraction. From a philosophical standpoint, the paper suggests that the reworking of Newton's theory in the 18th century is better understood in a theoretical framework that reconciles Kuhn's notion of "invisible revolution" rather than his notion of "normal science" with Whewell's ascription of the completion of dynamical studies to the post Newtonian period. (shrink)

A widespread view in physics holds that the implementation of time reversal in standard quantum mechanics must be given by an anti-unitary operator. In foundations and philosophy of physics, however, there has been some discussion about the conceptual grounds of this orthodoxy, largely relying on either its obviousness or its mathematical-physical virtues. My aim in this paper is to substantively change the traditional structure of the debate by highlighting the philosophical commitments underlying the orthodoxy. I argue that the persuasive force (...) of the orthodoxy can benefit from a relational metaphysics of time and a by-stipulation view on symmetries. Within such philosophical background, I submit, the orthodoxy of time reversal in standard quantum mechanics could find a fertile terrain to lay the groundwork for a more thorough conceptual justification. (shrink)

Symmetry fundamentalism claims that symmetries should be taken metaphysically seriously as part of the fundamental ontology. The main aim of this paper is to bring some novel objections against this view. I make two points. The first places symmetry fundamentalism within a broader network of philosophical commitments. I claim that symmetry fundamentalism entails idealization realism which, in turn, entails the reification of further theoretical structures. This might lead to an overloaded ontology as well as open the way to criticisms from (...) metaphysical frameworks that reject such reifications. The second point contrasts symmetry fundamentalism with the now common view that regards symmetries as stipulations guiding empirical research and theory construction. I claim that both views clash each other and cannot be held together. I finish the paper with a more positive prospect that will be developed in future work—symmetry deflationism. (shrink)

The author proposes to show that the actual crisis in microphysics is principally due to the fact that, as quantum mechanics is a theory of stationary states and reversible movements, it fundamentally ignores the notion of a transitory process. The essential characteristic of quantum theories is the result of an evolution of more than two centuries; a period of development essentially devoted to the description of stationary and reversible phenomena. The author's point of view, which reflects that of the school (...) of Louis de Broglie, is that microphysics must now cross a new threshold in giving up the description of stationary states and the calculation of their transition probabilities in favor of attempting to describe the transitions themselves and explain the origin and stability of stationary states. The future seems to him to be one of a microphysics based on irreversibility. (shrink)

One of the most influential scientific treatises in Cauchy's era was J.-L. Lagrange's Mécanique Analytique, the second edition of which came out in 1811, when Cauchy was barely out of his teens. Lagrange opens his treatise with an unequivocal endorsement of infinitesimals. Referring to the system of infinitesimal calculus, Lagrange writes:Lorsqu'on a bien conçu l'esprit de ce système, et qu'on s'est convaincu de l'exactitude de ses résultats par la méthode géométrique des premières et dernières raisons, ou par la méthode analytique (...) des fonctions dérivées, on peut employer les infiniment petits comme un instrument sûr et commode pour abréger et simplifier les demonstrations.Lagrange's renewed enthusiasm for .. (shrink)

This article describes the emergence of formal methods in theory of partial differential equations in the French school of mathematics through Janet’s work in the period 1913–1930. In his thesis and in a series of articles published during this period, Janet introduced an original formal approach to deal with the solvability of the problem of initial conditions for finite linear PDE systems. His constructions implicitly used an interpretation of a monomial PDE system as a generating family of a multiplicative set (...) of monomials. He introduced an algorithmic method on multiplicative sets to compute compatibility conditions, and to study the problem of the existence and the uniqueness of a solution to a linear PDE system with given initial conditions. The compatibility conditions are formulated using a refinement of the division operation on monomials defined with respect to a partition of the set of variables into multiplicative and non-multiplicative variables. Janet was a pioneer in the development of these algorithmic methods, and the completion procedure that he introduced on polynomials was the first one in a long and rich series of works on completion methods which appeared independently throughout the twentieth-century in various algebraic contexts. (shrink)