This article surveys the difficulties in establishing determinism for classical physics within the context of several distinct foundational approaches to the discipline. It explains that such problems commonly emerge due to a deeper problem of ‘missing physics'. The Problems of Formalism Norton's Example Three Species of Classical Mechanics 3.1 Mass point physics 3.2 The physics of perfect constraints 3.3 Continuum mechanics Conclusion CiteULike Connotea Del.icio.us What's this?

In this paper I examine the foundations of Laplace's famous statement of determinism in 1814, and argue that rather than derived from his mechanics, this statement is based on general philosophical principles, namely the principle of sufficient reason and the law of continuity. It is usually supposed that Laplace's statement is based on the fact that each system in classical mechanics has an equation of motion which has a unique solution. But Laplace never proved this result, and in fact he (...) could not have proven it, since it depends on a theorem about uniqueness of solutions to differential equations that was only developed later on. I show that the idea that is at the basis of Laplace's determinism was in fact widespread in enlightenment France, and is ultimately based on a re-interpretation of Leibnizian metaphysics, specifically the principle of sufficient reason and the law of continuity. Since the law of continuity also lies at the basis of the application of differential calculus in physics, one can say that Laplace's determinism and the idea that systems in physics can be described by differential equations with unique solutions have a common foundation. (shrink)

Pluralist and eliminativist positions have proliferated within both science and philosophy of science in recent decades. This paper asks the question why this shift of thinking has occurred, and where it is leading us. We provide an explanation which, if correct, entails that we should expect pluralism and eliminativism to transform other debates currently unaffected, and for good reasons. We then consider the question under what circumstances eliminativism will be appropriate, arguing that it depends not only on the term in (...) question, but also on the context of discussion and details of the debate at hand. The resultant selective eliminativism is an appealing compromise for various ‘pluralists’ and ‘eliminativists’ who are currently locking horns. (shrink)

The recent discovery of an indeterministic system in classical mechanics, the Norton dome, has shown that answering the question whether classical mechanics is deterministic can be a complicated matter. In this paper I show that indeterministic systems similar to the Norton dome were already known in the nineteenth century: I discuss four nineteenth century authors who wrote about such systems, namely Poisson, Duhamel, Boussinesq and Bertrand. However, I argue that their discussion of such systems was very different from the contemporary (...) discussion about the Norton dome, because physicists in the nineteenth century conceived of determinism in essentially different ways: whereas in the contemporary literature on determinism in classical physics, determinism is usually taken to be a property of the equations of physics, in the nineteenth century determinism was primarily taken to be a presupposition of theories in physics, and as such it was not necessarily affected by the possible existence of systems such as the Norton dome. (shrink)

We investigate the fate of determinism in general relativity, comparing the philosopher’s account with the physicist’s well-posed initial value formulations. The fate of determinism is interwoven with the question of what it is for a spacetime to be ‘physically reasonable’. A central concern is the status of global hyperbolicity, a putatively necessary condition for determinism in GR. While global hyperbolicity may fail to be true of all physically reasonable models, we analyze whether global hyperbolicity should be imposed by fiat; established (...) from weaker assumptions, as in cosmic censorship theorems; or justified by beyond-GR physics. (shrink)

By appealing to resources found in the scientific understanding literature, I identify in what senses idealisations afford understanding in the context of the (magnetic) Aharonov-Bohm effect. Three types of concepts of understanding are discussed: understanding-what, which has to do with understanding a phenomenon; understanding-with, which has to do with understanding a scientific theory; and understanding-why, which has to do with the reason some phenomenon occurs. Consequently, I outline an account of understanding-with that is suggested by the historical controversy surrounding the (...) Aharonov-Bohm effect. (shrink)

The chief motivation for epiphenomenalist dualism is its promise to solve dualism’s causal exclusion problem without inducing causal overdetermination or violations of the causal closure of the physical. This paper argues that epiphenomenalist dualism is itself susceptible to an exclusion problem. The problem exploits symmetries of determination and influence generated by a wide class of physical theories. Further, I argue that there is an interference effect between solving epiphenomenalist dualism's exclusion problem and using epiphenomenalist dualism as a solution to the (...) causal exclusion problem. What emerges is an overlooked, empirically-motivated challenge to epiphenomenalist dualism. (shrink)

Newton’s equations of motion tell us that a mass at rest at the apex of a dome with the shape specified here can spontaneously move. It has been suggested that this indeterminism should be discounted since it draws on an incomplete rendering of Newtonian physics, or it is “unphysical,” or it employs illicit idealizations. I analyze and reject each of these reasons. †To contact the author, please write to: Department of History and Philosophy of Science, University of Pittsburgh, Pittsburgh, PA (...) 15260; e‐mail: [email protected]. (shrink)

We often use symmetries to infer outcomes’ probabilities, as when we infer that each side of a fair coin is equally likely to come up on a given toss. Why are these inferences successful? I argue against answering this with an a priori indifference principle. Reasons to reject that principle are familiar, yet instructive. They point to a new, empirical explanation for the success of our probabilistic predictions. This has implications for indifference reasoning in general. I argue that a priori (...) symmetries need never constrain our probability attributions, even when it comes to our initial credences. (shrink)

ArgumentIn 1877, a young mathematician named Joseph Boussinesq presented amémoireto theAcadémiedes sciences which demonstrated that some differential equations may have more than one solution. Boussinesq linked this fact to indeterminism and to a possible solution to the free will versus determinism debate. Boussinesq's main interest was to reconcile his philosophical and religious views with science by showing that matter and motion do not suffice to explain all there is in the world. His argument received mixed criticism that addressed both his (...) philosophical views and the scientific content of his work, pointing to the physical “realisticness” of multiple solutions. While Boussinesq proved to be able to face the philosophical criticism, the scientific objections became a serious problem, thus slowly moving the focus of the debate from the philosophical plane to the scientific one. This change of perspective implied a wide discussion on topics such as instability, the sensitivity to initial conditions, and the conservation of energy. The Boussinesq debate is an example of a philosophically motivated debate that transforms into a scientific one, an example of the influence of philosophy on the development of science. (shrink)

I present a simple model of Grünbaum’s staccato run in classical mechanics, the staccato roller coaster. It consists of a bead sliding on a frictionless wire shaped like a roller coaster track with infinitely many hills of diminishing size, each of which is a one-dimensional variant of the so-called Norton dome. The staccato roller coaster proves beyond doubt the dynamical (and hence logical) possibility of supertasks in classical mechanics if the Norton dome is a proper system of classical mechanics with (...) metaphysical import. If not, challenges raised against the metaphysical significance of the Norton dome are shown to be challenges against various arguments for the dynamical possibility of supertasks, and the staccato roller coaster clearly shows the importance of meeting these challenges. And the staccato roller coaster can provide, as well as interesting lessons, illuminating analyses of Burke’s (Mod Schoolman 78:1–8, 2000 ) attempt to refute the dynamical possibility of the staccato run and Pérez Laraudogoitia’s (Synthese 148:433–441, 2006 ) rebuttal of it. (shrink)

Norton’s very simple case of indeterminism in classical mechanics has given rise to a literature critical of his result. I am interested here in posing a new objection different from the ones made to date. The first section of the paper expounds the essence of Norton’s model and my criticism of it. I then propose a specific modification in the absence of gravitational interaction. The final section takes into consideration a surprising consequence for classical mechanics from the new model introduced (...) here. (shrink)

In this paper, I compare Pierre-Simon Laplace's celebrated formulation of the principle of determinism in his 1814 Essai philosophique sur les probabilités with the formulation of the same principle offered by Roger Joseph Boscovich in his Theoria philosophiae naturalis, published 56 years earlier. This comparison discloses a striking general similarity between the two formulations of determinism as well as certain important differences. Regarding their similarities, both Boscovich's and Laplace's conceptions of determinism involve two mutually interdependent components—ontological and epistemic—and they are (...) both intimately linked with the principles of causality and continuity. Regarding their differences, however, Boscovich's formulation of the principle of determinism turns out not only to be temporally prior to Laplace's but also—being founded on fewer metaphysical principles and more rooted in and elaborated by physical assumptions—to be more precise, complete and comprehensive than Laplace's somewhat parenthetical statement of the doctrine. A detailed analysis of these similarities and differences, so far missing in the literature on the history and philosophy of the concept of determinism, is the main goal of the present paper. (shrink)

We describe a case of indeterminacy in general relativity for homogeneous and isotropic cosmologies for a class of dark energy fluids. The cosmologies are parametrized by an equation of state variable, with one instance giving the same solution as Norton’s mechanical dome. Our example goes beyond previously studied cases in that indeterminacy lies in the evolution of spacetime itself: the onset of the Big Bang is indeterminate. We show further that the indeterminacy is resolved if the dynamics is viewed relationally.

We call attention to different formulations of how physical laws relate to what is physically possible in the philosophical literature, and argue that it may be the case that determinism fails under one formulation but reigns under the other. Whether this is so depends on our view on the nature of laws, and may also depend on the inter-theoretical relationships among our best physical theories, or so shall we argue.

If the force on a particle fails to satisfy a Lipschitz condition at a point, it relaxes one of the conditions necessary for a locally unique solution to the particle’s equation of motion. I examine the most discussed example of this failure of determinism in classical mechanics—that of Norton’s dome—and the range of current objections against it. Finding there are many different conceptions of classical mechanics appropriate and useful for different purposes, I argue that no single conception is preferred. Instead (...) of arguing for or against determinism, I stress the wide variety of pragmatic considerations that, in a specific context, may lead one usefully and legitimately to adopt one conception over another in which determinism may or may not hold. (shrink)

In this note, I apply Norton’s (Philos Sci 79(2):207–232, 2012) distinction between idealizations and approximations to argue that the epistemic and inferential advantages often taken to accrue to minimal models (Batterman in Br J Philos Sci 53:21–38, 2002) could apply equally to approximations, including “infinite” ones for which there is no consistent model. This shows that the strategy of capturing essential features through minimality extends beyond models, even though the techniques for justifying this extended strategy remain similar. As an application (...) I consider the justification and advantages of the approximation of a inertial reference frame in Norton’s dome scenario (Philos Sci 75(5):786–798, 2008), thereby answering a question raised by Laraudogoitia (Synthese 190(14):2925–2941, 2013). (shrink)

I discuss candidates for definitions of determinism in the context of general relativistic spacetimes, and argue that a definition which does not make recourse to any particular region of spacetime should be preferred over alternatives; one such notion is discussed in detail in the light of various physical examples. The emerging picture of determinism is a pluralist one: sometimes there is no unique way of making our intuitive concept of determinism precise. Instead, what is crucial for assessment of determinism of (...) the theory are auxiliary conditions under which it counts as deterministic or indeterministic, and justification for using them in a given situation. (shrink)

John Norton has proposed a position of “material induction” that denies the existence of a universal inductive inference schema behind scientific reasoning. In this vein, Norton has recently presented a “dome scenario” based on Newtonian physics that, in his understanding, is at variance with Bayesianism. The present note points out that a closer analysis of the dome scenario reveals incompatibilities with material inductivism itself.

One can (for the most part) formulate a model of a classical system in either the Lagrangian or the Hamiltonian framework. Though it is often thought that those two formulations are equivalent in all important ways, this is not true: the underlying geometrical structures one uses to formulate each theory are not isomorphic. This raises the question of whether one of the two is a more natural framework for the representation of classical systems. In the event, the answer is yes: (...) I state and sketch proofs of two technical results—inspired by simple physical arguments about the generic properties of classical systems—to the effect that, in a precise sense, classical systems evince exactly the geometric structure Lagrangian mechanics provides for the representation of systems, and none provided by Hamiltonian. The argument not only clarifies the conceptual structure of the two systems of mechanics, but also their relations to each other and their respective mechanisms for representing physical systems. It also shows why naïvely structural approaches to the representational content of physical theories cannot work. [Lagrange] grasped that he had gained a method of stating dynamical truths in a way, which is perfectly indifferent to the particular methods of measurement employed in fixing the positions of the various parts of the system. Accordingly, he went on to deduce equations of motion, which are equally applicable whatever quantitative measurements have been made, provided that they are adequate to fix positions. The beauty and almost divine simplicity of these equations is such that these formulae are worthy to rank with those mysterious symbols which in ancient times were held directly to indicate the Supreme Reason at the base of all things. (Whitehead [1948], p. 63)1. Introduction2.Classical Systems3. The Possible Interactions of a Classical System and the Structure of Its Space of States4. Classical Systems Are Lagrangian5. Classical Systems Are Not Hamiltonian6. How Lagrangian and Hamiltonian Mechanics Represent Classical Systems7. The Conceptual Structure of Classical Mechanics. (shrink)

Norton (2003 and 2006) has recently argued that causation is merely a useful folk concept and that it fails to hold for some simple systems even in the supposed paradigm case of a causal physical theory – namely Newtonian mechanics. The purpose of this article is to argue against this devaluation of causality in physics. My main argument is that Norton’s alleged counterexample to causality (and determinism) within standard Newtonian physics fails to obey what I shall call the causal core (...) of Newtonian mechanics. In particular, I argue, Norton’s example is not in conformity with Newton’s first law. Moreover, Norton’s reformulation of this first law (in an instantaneous form) seems insufficient as a replacement for the original version since the notion of inertial frames in the resulting reformulated theory lacks a physical justification, and since an intelligible notion of time in Newtonian mechanics appears to be closely tied to Newton’s first law in its standard form. I will finally suggest how, given a plausible relationist account of time, the causal core of Newtonian mechanics may play a central role also in relativity and quantum theory. (shrink)

According to conventional wisdom, local gauge symmetry is not a symmetry of nature, but an artifact of how our theories represent nature. But a study of the so-called theta-vacuum appears to refute this view. The ground state of a quantized non-Abelian Yang-Mills gauge theory is characterized by a real-valued, dimensionless parameter theta—a fundamental new constant of nature. The structure of this vacuum state is often said to arise from a degeneracy of the vacuum of the corresponding classical theory, which degeneracy (...) allegedly arises from the fact that “large” (but not “small”) local gauge transformations connect physically distinct states of zero field energy. If that is right, then some local gauge transformations do generate empirical symmetries. In defending conventional wisdom against this challenge I hope to clarify the meaning of empirical symmetry while deepening our understanding of gauge transformations. I distinguish empirical from theoretical symmetries. Using Galileo’s ship and Faraday’s cube as illustrations, I say when an empirical symmetry is implied by a theoretical symmetry. I explain how the theta-vacuum arises, and how “large” gauge transformations differ from “small” ones. I then present two analogies from elementary quantum mechanics. By applying my analysis of the relation between empirical and theoretical symmetries, I show which analogy faithfully portrays the character of the vacuum state of a classical non-Abelian Yang-Mills gauge theory. The upshot is that “large” as well as “small” gauge transformations are purely formal symmetries of non-Abelian Yang-Mills gauge theories, whether classical or quantized. It is still worth distinguishing between these kinds of symmetries. An analysis of gauge within the constrained-Hamiltonian formalism yields the result that “large” gauge transformations should not be classified as gauge transformations; indeed, nor should “global” gauge transformations. In a theory in which boundary conditions are modeled dynamically, “global” gauge transformations may be associated with physical symmetries, corresponding to translations of these extra dynamical variables. Such translations are symmetries if and only if charge is conserved. But it is hard to argue that these symmetries are empirical, and in any case they do not correspond to any constant phase change in a quantum state. (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)

Discussions of “chance” and related concepts are found throughout philosophical work on evolutionary theory. By drawing attention to three very commonly-recognized distinctions, I separate four independent concepts falling under the broad heading of “chance”: randomness, epistemic unpredictability, causal indeterminism, and probabilistic causal processes. Far from a merely semantic distinction, however, it is demonstrated that conflation of these obviously distinct notions has an important bearing on debates at the core of evolutionary theory, particularly the debate over the interpretation of fitness, natural (...) selection, and genetic drift. (shrink)