Supertasks recently discussed in the literature purport to display a failure ofenergy conservation and determinism in Newtonian mechanics. We debatewhether these supertasks are admissible as Newtonian systems, with Earmanand Norton defending the affirmative and Alper and Bridger the negative.

A four dimensional approach to Newtonian physics is used to distinguish between a number of different structures for Newtonian space-time and a number of different formulations of Newtonian gravitational theory. This in turn makes possible an in-depth study of the meaning and status of Newton's Law of Inertia and a detailed comparison of the Newtonian and Einsteinian versions of the Law of Inertia and the Newtonian and Einsteinian treatments of gravitational forces. Various claims about the status of Newton's Law of (...) Inertia are critically examined including these: the Law of Inertia is not an empirical law but a definition; it is not a law simpliciter but a family of schemata; it is a convention and gravitational forces exist only by convention; it is (or is not) redundant; the concepts it embodies can be dispensed with in favor of operationally defined entities; it is unique for a given theory. More generally, the paper demonstrates the importance of space-time structure for the philosophy of space and time and provides support for a realist interpretation of space-time theories. (shrink)

Some Philosophical Prehistory of General Relativity As history, my remarks will form rather a medley. If they can claim any sort of unity (apart from a ...

It is generally acknowledged that the requirement that the laws of a spacetime theory be covariant under a general coordinate transformation is a restriction on the form but not the content of the theory. The prevalent view in the physics community holds that the substantive version of general covariance – exhibited, for example, by Einstein’s general theory of relativity – consists in the requirement that diffeomorphism invariance is a gauge symmetry of the theory. This conception of general covariance is explained (...) and confronted by two challenges. One challenge claims, in effect, that substantive general covariance is not deserving of the name since, just as it is possible to rewrite any spacetime so that it satisfies formal general covariance, so it is also possible to rewrite the theory so that it satisfies the proffered version of substantive general covariance. The other challenge claims that the proffered version of substantive general covariance is not strong enough to guarantee the intended meaning of general covariance. Both challenges are discussed in terms of concrete examples. It is argued that both challenges fail but, at the same time, that they help to clarify what is at stake on the seemingly never ending dispute over the nature and status of general covariance. (shrink)

This paper represents an attempt to clarify a number of long-standing issues concerning the nature and status of the special and general principles of relativity in particular and symmetry or invariance principles in general. An analysis of the active and passive interpretations of symmetry operations is offered. This analysis yields an evaluation of the old covariance-invariance issue. It also demonstrates that the passive interpretation, insofar as it is not trivial, is parasitic on the active picture. Finally, the analysis shows that (...) grave difficulties lie in the way of any attempt to generalize the special principle of relativity in a manner like the one Einstein originally proposed. (shrink)

We discuss two supertasks invented recently by Laraudogoitia [1996, 1997], Both involve an infinite number of particle collisions within a finite amount of time and both compromise determinism. We point out that the sources of the indeterminism are rather different in the two cases - one involves unbounded particle velocities, the other involves particles with no lower bound to their sizes - and consequently that the implications for determinism are rather different - one form of indeterminism affects Newtonian but not (...) relativistic physics, while the other form is insensitive to the classical vs relativistic distinction. We also note some interesting linkages among supertasks, indeterminism and foundations problems in the general theory of relativity. (shrink)

The inaugural volume of the Pitt-Konstanz series, devoted to the work of philosopher Adolf Grünbaum, encompasses the philosophical problems of space, time, and cosmology, the nature of scientific methodology, and the foundations of psychoanalysis.

Hume defined ‘cause’ three times over. The two principal definitions (constant conjunction, felt determination) provide the anchors for the two main strands of the modem empiricist accounts of laws of nature 1 while the third (the counter factual definition 2) may be seen as the inspiration of the nonHumean necessitarian analyses. Corresponding to the felt determination definition is the account of laws that emphasizes human attitudes, beliefs, and actions. Latter day weavers of this strand include Nelson Goodman, A. J. Ayer, (...) and Nicholas Rescher. In Fact, Fiction and Forecast Goodman writes: “I want to emphasize the Humean idea that rather than a sentence being used for prediction because it is a law, it is called a law because it is used for prediction” (1955, p. 62). In “What is a law of nature?”, Ayer explains that the difference between ‘generalizations of fact’ and ‘generalizations of law’ “lies not so much on the side of facts which make them true, as in the attitude of those who put them forward” (1956, p. 162). And in a similar vein, Rescher maintains that lawfulness is “mind-dependent”; it is not something which is discovered but which is supplied: “Lawfulness is not found in or extracted from the evidence but superadded to it. Lawfulness is a matter of imputation” (1970, p. 107). By contrast, the constant conjunction definition promotes the view that laws are to be analyzed in terms of the de re characteristics of regularities, independently of the attitudes and actions of actual or potential knowers. (shrink)

These provocative essays by leading philosophers of science exemplify and illuminate the contemporary uncertainty and excitement in the field. The papers are rich in new perspectives, and their far-reaching criticisms challenge arguments long prevalent in classic philosophical problems of induction, empiricism, and realism. By turns empirical or analytic, historical or programmatic, confessional or argumentative, the authors' arguments both describe and demonstrate the fact that philosophy of science is in a ferment more intense than at any time since the heyday of (...) logical positivism early in the twentieth century. -/- Contents: -/- "Thoroughly Modern Meno," Clark Glymour and Kevin Kelly "The Concept of Induction in the Light of the Interrogative Approach to Inquiry," Jaakko Hintikka "Aristotelian Natures and Modern Experimental Method," Nancy Cartwright "Genetic Inference: A Reconsideration of "David Hume's Empiricism," Barbara D. Massey and Gerald J. Massey "Philosophy and the Exact Sciences: Logical Positivism as a Case Study," Michael Friedman "Language and Interpretation: Philosophical Reflections and Empirical Inquiry," Noam Chomsky "Constructivism, Realism, and Philosophical Method," Richard Boyd "Do We Need a Hierarchical Model of Science?" Diderik Batens "Theories of Theories: A View from Cognitive Science," Richard E. Grandy "Procedural Syntax for Theory Elements," Joseph D. Sneed "Why Functionalism Didn't Work," Hilary Putnam "Physicalism," Hartry Field. (shrink)

In a recent discussion, Earman and Norton [(1998)] propose a classification of supertasks that generate indeterminism which is flawed. An emendation is presented here.

In General Relativity in Hamiltonian form, change has seemed to be missing, defined only asymptotically, or otherwise obscured at best, because the Hamiltonian is a sum of first-class constraints and a boundary term and thus supposedly generates gauge transformations. Attention to the gauge generator G of Rosenfeld, Anderson, Bergmann, Castellani et al., a specially _tuned sum_ of first-class constraints, facilitates seeing that a solitary first-class constraint in fact generates not a gauge transformation, but a bad physical change in electromagnetism or (...) General Relativity. The change spoils the Lagrangian constraints, Gauss's law or the Gauss-Codazzi relations describing embedding of space into space-time, in terms of the physically relevant velocities rather than auxiliary canonical momenta. But the resemblance between the gauge generator G and the Hamiltonian H leaves still unclear where objective change is in GR. Insistence on Hamiltonian-Lagrangian equivalence, a theme emphasized by Castellani, Sugano, Pons, Salisbury, Shepley and Sundermeyer among others, holds the key. Taking objective change to be ineliminable time dependence, one recalls that there is change in vacuum GR just in case there is no time-like vector field xi^a satisfying Killing's equation L_xi g_mn=0, because then there exists no coordinate system such that everything is independent of time. Throwing away the spatial dependence of GR for convenience, one finds explicitly that the time evolution from Hamilton's equations is real change just when there is no time-like Killing vector. The inclusion of a massive scalar field is simple. No obstruction is expected in including spatial dependence and coupling more general matter fields. Hence change is real and local even in the Hamiltonian formalism. The considerations here resolve the Earman-Maudlin standoff over change in Hamiltonian General Relativity: the Hamiltonian formalism is helpful, and, suitably reformed, it does not have absurd consequences for change and observables. Hence the classical problem of time is resolved. The Lagrangian-equivalent Hamiltonian analysis of change in General Relativity is compared to Belot and Earman's treatment. The more serious quantum problem of time, however, is not automatically resolved due to issues of quantum constraint imposition. (shrink)

The A-theory of time has intuitive and metaphysical appeal, but suffers from tension, if not inconsistency, with the special and general theories of relativity (STR and GTR). The A-theory requires a notion of global simultaneity invariant under the symmetries of the world's laws, those ostensible transformations of the state of the world that in fact leave the world as it was before. Relativistic physics, if read in a realistic sense, denies that there exists any notion of global simultaneity that is (...) invariant under the symmetries of the world's laws. If physics is at least a decent guide to metaphysics--as sympathies for scientific realism would suggest--then relativistic physics supports the B-theory. If there were a physically natural way to modify the symmetries of the physical laws so as to remove those that are repugnant to the A-theory, while retaining empirical adequacy, then such an altered physics might be attractive to the A-theorist and would weaken the support given by relativity to the B-theory. I exhibit a way to do so here, displaying a Lagrangian density explicitly containing distant simultaneity, yet implying Einstein's field equations. The modification involves a change in the nature of the lapse function and makes use of the Dirac-Bergmann formalism of constrained dynamics, which recently has been discussed much by John Earman. Here this formalism is adapted slightly to permit both local and global generalized coordinates. A classification of senses in which time might be absolute or not is made along the way. Some suggestions for extending the work by finding a first principles motivation are made. An appendix outlines an argument why many local presents are insufficient and a global present is attractive, while two more appendices review the Dirac-Bergmann apparatus for GTR and then apply it to the theory at hand. (shrink)

Since its publication in the mid-eighteenth century, Hume's discussion of miracles has been the target of severe and often ill-tempered attacks. In this book, one of our leading historians of philosophy offers a systematic response to these attacks. Arguing that these criticisms have--from the very start--rested on misreadings, Robert Fogelin begins by providing a narrative of the way Hume's argument actually unfolds. What Hume's critics have failed to see is that Hume's primary argument depends on fixing the appropriate standards of (...) evaluating testimony presented on behalf of a miracle. Given the definition of a miracle, Hume quite reasonably argues that the standards for evaluating such testimony must be extremely high. Hume then argues that, as a matter of fact, no testimony on behalf of a religious miracle has even come close to meeting the appropriate standards for acceptance. Fogelin illustrates that Hume's critics have consistently misunderstood the structure of this argument--and have saddled Hume with perfectly awful arguments not found in the text. He responds first to some early critics of Hume's argument and then to two recent critics, David Johnson and John Earman. Fogelin's goal, however, is not to "bash the bashers," but rather to show that Hume's treatment of miracles has a coherence, depth, and power that makes it still the best work on the subject. (shrink)

Positive review of John Earman's *Bangs, Crunches, Shrieks, Whispers*.

The celu of the philosophical literature on the hole argument is the 1987 paper by Earman \& Norton ["What Price Space-time Substantivalism? The Hole Story" Br. J. Phil. Sci.]. This paper has a well-known back-story, concerning work by Stachel and Norton on Einstein's thinking in the years 1913-15. Less well-known is a connection between the hole argument and Earman's work on Leibniz in the 1970s and 1980s, which in turn can be traced to an argument first presented in (...) 1975 by Howard Stein. Remarkably, this thread originates with a misattribution: the argument Earman attributes to Stein, which ultimately morphs into the hole argument, was not the argument Stein gave. The present paper explores this episode and presents some reflections on how it bears on the subsequent literature. (shrink)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time (...) machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

A number of arguments have been given to show that the modal interpretation of ordinary nonrelativistic quantum mechanics cannot be consistently extended to the relativistic setting. We find these arguments inconclusive. However, there is a prima facie reason to think that a tension exists between the modal interpretation and relativistic invariance; namely, the best candidate for a modal interpretation adapted to relativistic quantum field theory, a prescription due to Rob Clifton, comes out trivial when applied to a number of systems (...) of physical interest. However, it is far from clear whether this difficulty for the modal interpretation is traceable to relativistic invariance per se or to the infinite number of degrees of freedom involved. In any case, the proponents of the modal interpretation have work to do. (shrink)

The purpose of this paper is to give a brief survey the implications of the theories of modern physics for the doctrine of determinism. The survey will reveal a curious feature of determinism: in some respects it is fragile, requiring a number of enabling assumptions to give it a fighting chance; but in other respects it is quite robust and very difficult to kill. The survey will also aim to show that, apart from its own intrinsic interest, determinism is an (...) excellent device for probing the foundations of classical, relativistic, and quantum physics. (shrink)

There is currently no viable alternative to the Bayesian analysis of scientific inference, yet the available versions of Bayesianism fail to do justice to several aspects of the testing and confirmation of scientific hypotheses. Bayes or Bust? provides the first balanced treatment of the complex set of issues involved in this nagging conundrum in the philosophy of science. Both Bayesians and anti-Bayesians will find a wealth of new insights on topics ranging from Bayes's original paper to contemporary formal learning theory. (...) In a paper published posthumously in 1763, the Reverend Thomas Bayes made a seminal contribution to the understanding of "analogical or inductive reasoning." Building on his insights, modem Bayesians have developed an account of scientific inference that has attracted numerous champions as well as numerous detractors. Earman argues that Bayesianism provides the best hope for a comprehensive and unified account of scientific inference, yet the presently available versions of Bayesianisin fail to do justice to several aspects of the testing and confirming of scientific theories and hypotheses. By focusing on the need for a resolution to this impasse, Earman sharpens the issues on which a resolution turns. John Earman is Professor of History and Philosophy of Science at the University of Pittsburgh. (shrink)

For much of this century, philosophers hoped that Einstein’s general theory of relativity would play the role of physician to philosophy. Its development would positively influence the philosophy of methodology and confirmation, and its ontology would answer many traditional philosophical debates—for example, the issue of spacetime substantivalism. In physics, by contrast, the attitude is increasingly that GTR itself needs a physician. The more we learn about GTR the more we discover how odd are the spacetimes that it allows. Not only (...) does GTR permit singularities, naked and clothed, but it allows time travel, topology change, and event and particle horizons, to name but a few of these oddities. Rather than revel in the riches of the theory, however, many physicists seek to rule out one or more of the above “pathologies” on the grounds that they are “physically unreasonable.” Thus contemporary researchers hawk various “cures” for the “illnesses” of GTR: among them, Chronology Protection to ensure against time travel, Cosmic Censorship for naked singularities, Inflation for horizons, and so on. The physics of these illnesses and cures, and the problems they engender, are the source of much controversy in the physics literature. Philosophers have largely neglected it. But clearly the subject needs philosophers of physics to determine whether the patient is genuinely ailing, and if so, to sift the real antidotes from the snake oil. (shrink)

There is currently no viable alternative to the Bayesian analysis of scientific inference, yet the available versions of Bayesianism fail to do justice to several aspects of the testing and confirmation of scientific hypotheses. Bayes or Bust? provides the first balanced treatment of the complex set of issues involved in this nagging conundrum in the philosophy of science. Both Bayesians and anti-Bayesians will find a wealth of new insights on topics ranging from Bayes’s original paper to contemporary formal learning theory.In (...) a paper published posthumously in 1763, the Reverend Thomas Bayes made a seminal contribution to the understanding of "analogical or inductive reasoning." Building on his insights, modem Bayesians have developed an account of scientific inference that has attracted numerous champions as well as numerous detractors. Earman argues that Bayesianism provides the best hope for a comprehensive and unified account of scientific inference, yet the presently available versions of Bayesianisin fail to do justice to several aspects of the testing and confirming of scientific theories and hypotheses. By focusing on the need for a resolution to this impasse, Earman sharpens the issues on which a resolution turns. John Earman is Professor of History and Philosophy of Science at the University of Pittsburgh. (shrink)

Determinism is a perennial topic of philosophical discussion. Very little acquaintance with the philosophical literature is needed to reveal the Tower of ...

Spacetime substantivalism leads to a radical form of indeterminism within a very broad class of spacetime theories which include our best spacetime theory, general relativity. Extending an argument from Einstein, we show that spacetime substantivalists are committed to very many more distinct physical states than these theories' equations can determine, even with the most extensive boundary conditions.

Indeed, this is the first serious book-length study of the subject by a philosopher of science.

We discuss the intertwined topics of Fulling non‐uniqueness and the Unruh effect. The Fulling quantization, which is in some sense the natural one for an observer uniformly accelerated through Minkowski spacetime to adopt, is often heralded as a quantization of the Klein‐Gordon field which is both physically relevant and unitarily inequivalent to the standard Minkowski quantization. We argue that the Fulling and Minkowski quantizations do not constitute a satisfactory example of physically relevant, unitarily inequivalent quantizations, and indicate what it would (...) take to settle the open question of whether a satisfactory example exists. A popular gloss on the Unruh effect has it that an observer uniformly accelerated through the Minkowski vacuum experiences a thermal flux of Rindler quanta. Taking the Unruh effect, so glossed, to establish that the notion of particle must be relativized to a reference frame, some would use it to demote the particle concept from fundamental status. We explain why technical results do not support the popular gloss and why the attempted demotion of the particle concept is both unsuccessful and unnecessary. Fulling non‐uniqueness and the Unruh effect merit attention despite these negative verdicts because they provide excellent vehicles for illustrating key concepts of quantum field theory and for probing foundational issues of considerable philosophical interest. (shrink)

The simplest case of quantum field theory on curved spacetime—that of the Klein–Gordon field on a globally hyperbolic spacetime—reveals a dilemma: In generic circumstances, either there is no dynamics for this quantum field, or else there is a dynamics that is not unitarily implementable. We do not try to resolve the dilemma here, but endeavour to spell out the consequences of seizing one or the other horn of the dilemma.

Focusing on spacetime singularities, Earman engages with a host of foundational issues at the intersection of science and philosophy, ranging from the big bang to the possibility of time travel.

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.