John Earman

This paper surveys the issue of relativistic causality within the framework of algebraic quantum field theory . In doing so, we distinguish various notions of causality formulated in the literature and study their relationships, and thereby we offer what we hope to be a useful taxonomy. We propose that the most direct expression of relativistic causality in AQFT is captured not by the spectrum condition but rather by the axiom of local primitive causality, in that it entails a form of local determinism for quantum fields which generalizes the constraint of no superluminal propagation of classical field theories to relativistic quantum field theory. We discuss the status of the axiom of micro-causality by locating its place within a large family of separability/independence/locality conditions developed for AQFT and also by relating it to so-called no-signalling theorems. And we also provide a critical survey of attempts to understand the implications for relativistic causality of the distant correlations endemic to the states in models of AQFT satisfying the standard axioms, and we provide an assessment of attempts to employ Reichenbach's common cause principle in AQFT to defuse worries that these distant correlations implicate direct causal connections between relatively spacelike events

Except for a few brief periods, Einstein was uninterested in analysing the nature of the spacetime singularities that appeared in solutions to his gravitational field equations for general relativity. The existence of such monstrosities reinforced his conviction that general relativity was an incomplete theory which would be superseded by a singularity-free unified field theory. Nevertheless, on a number of occasions between 1916 and the end of his life, Einstein was forced to confront singularities. His reactions show a strange asymmetry: he tended to be more disturbed by merely apparent singularities and less disturbed by real singularities. Einstein had strong a priori ideas about what results a correct physical theory should deliver. In the process of searching through theoretical possibilities, he tended to push aside technical problems and jump over essential difficulties. Sometimes this method of working produced brilliant new ideas—such as the Einstein–Rosen bridge—and sometimes it lead him to miss important implications of his theory of gravity—such as gravitational collapse.

In his 1768 essay ‘Concerning the Ultimate Foundation of the Differentiation of the Regions in Space’, Kant used incongruent counterparts in an attempt to refute a Leibnizian-relationist account of space. It is hard to imagine that scholars could be more divided on how to understand Kant’s argument and on how to assess its effectiveness. Two years later in 1770 incongruent counterparts resurface in Kant’s Inaugural Dissertation, this time as part of a proof that our knowledge of space is intuitive. They appear yet again in the Prolegomena and the Metaphysical Foundations of Natural Science as part of the argument for transcendental idealism. Not surprisingly, scholars are also at odds on how to explain the shifts in the roles Kant wanted incongruent counterparts to play and how to assess the importance of these matters for the development of his critical philosophy.

This is the first part of a two-part article in which we defend the thesis of Humean Supervenience about Laws of Nature (HS). According to this thesis, two possible worlds cannot differ on what is a law of nature unless they also differ on the Humean base. The Humean base is easy to characterize intuitively, but there is no consensus on how, precisely, it should be defined. Here in Part I, we present and motivate a characterization of the Humean base that, we argue, enables HS to capture what is really stake in the debate, without taking on extraneous commitments.

Physicists who work on canonical quantum gravity will sometimes remark that the general covariance of general relativity is responsible for many of the thorniest technical and conceptual problems in their field.1 In particular, it is sometimes alleged that one can trace to this single source a variety of deep puzzles about the nature of time in quantum gravity, deep disagreements surrounding the notion of ‘observable’ in classical and quantum gravity, and deep questions about the nature of the existence of spacetime in general relativity. Philosophers who think about these things are sometimes skeptical about such claims. We have all learned that Kretschmann was quite correct to urge against Einstein that the “General Theory of Relativity” was no such thing, since any theory could be cast in a generally covariant form, and hence the general covariance of general relativity could not have any physical content, let alone bear the kind of weight that Einstein expected it to.2 Friedman’s assessment is widely accepted: “As Kretschmann first pointed out in 1917, the principle of general covariance has no physical content whatever: it specifies no particular physical theory; rather, it merely expresses our commitment to a certain style of formulating physical theories” (1984, p. 44). Such considerations suggest that general covariance, as a technically crucial but physically contentless feature of general relativity, simply cannot be the source of any significant conceptual or physical problems.3 Physicists are, of course, conscious of the weight of Kretschmann’s points against Einstein. Yet they are considerably more ambivalent than their philosophical colleagues. Consider Kuchaˇr’s conclusion at the end of a discussion of this topic.

Schrödinger averred that entanglement is the characteristic trait of quantum mechanics. The first part of this paper is simultaneously an exploration of Schrödinger’s claim and an investigation into the distinction between mere entanglement and genuine quantum entanglement. The typical discussion of these matters in the philosophical literature neglects the structure of the algebra of observables, implicitly assuming a tensor product structure of the simple Type I factor algebras used in ordinary Quantum Mechanics . This limitation is overcome by adopting the algebraic approach to quantum physics, which allows a uniform treatment of ordinary QM, relativistic quantum field theory, and quantum statistical mechanics. The algebraic apparatus helps to distinguish several different criteria of quantum entanglement and to prove results about the relation of quantum entanglement to two additional ways of characterizing the classical versus quantum divide, viz. abelian versus non-abelian algebras of observables, and the ability versus inability to interrogate the system without disturbing it. Schrödinger’s claim is reassessed in the light of this discussion. The second part of the paper deals with the relativity-to-ambiguity threat: the entanglement of a state on a system algebra is entanglement of the state relative to a decomposition of the system algebra into subsystem algebras; a state may be entangled with respect to one decomposition but not another; hence, unless there is some principled way to choose a decomposition, entanglement is a radically ambiguous notion. The problem is illustrated in terms a Realist versus Pragmatist debate, the former claiming that the decomposition must correspond to real as opposed to virtual subsystems, while the latter claims that the real versus virtual distinction is bogus and that practical considerations can steer the choice of decomposition. This debate is applied to the fraught problem of measuring entanglement for indistinguishable particles. The paper ends with some remarks about claims in the philosophical literature that entanglement undermines the separability or independence of subsystems while promoting holism

In a recent article in this journal, Barbara Lariviere offers a very useful distinction between two ways of understanding the claims that Leibniz, or relational theorists in general, might wish to make about the nature of motion and the structure of space and time; viz., There is no real inertial structure to space-time.and There is a real inertial structure to space-time, but it is dynamical rather than absolute.Citing the authority of Weyl, the author argues that L1 is untenable; indeed, the argument purports to show that if L1 were true, then there would be no coherent basis for a theory of motion, not even a relational theory. My main goal in this note is to point out why this argument is mistaken while at the same time sketching the real reason why the relational conception of motion is untenable. In addition I will offer a few remarks about the relevance of L2 to the absolute-relational controvery.

In this first part of a two-part paper, we describe efforts in the early decades of this century to restrict the extent of violations of the Second Law of thermodynamics that were brought to light by the rise of the kinetic theory and the identification of fluctuation phenomena. We show how these efforts mutated into Szilard’s proposal that Maxwell’s Demon is exorcised by proper attention to the entropy costs associated with the Demon’s memory and information acquisition. In the second part we will argue that the information theoretic exorcisms of the Demon provide largely illusory benefits. According to the case, they either return a presupposition that can be had without information theoretic consideration or they postulate a broader connection between information and entropy than can be sustained.

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

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. The survey is conducted under three major presuppositions. First, I take a realistic attitude towards scientific theories in that I assume that to give an interpretation of a theory is, at a minimum, to specify what the world would have to be like in order for the theory to be true. But we will see that the demand for a deterministic interpretation of a theory can force us to abandon a naively realistic reading of the theory. Second, I reject the “no laws” view of science and assume that the field equations or laws of motion of the most fundamental theories of current physics represent science’s best guesses as to the form of the basic laws of nature. Third, I take determinism to be an ontological doctrine, a doctrine about the temporal evolution of the world. This ontological doctrine must not be confused with predictability, which is an epistemological doctrine, the failure of which need not entail a failure of determinism. From time to time I will comment on ways in which predictability can fail in a deterministic setting. Finally, my survey will concentrate on the Laplacian variety of determinism according to which the instantaneous state of the world at any time uniquely determines the state at any other time. The plan of the survey is as follows. Section 2 illustrates the fragility of determinism by means of a Zeno type example. Then sections 3 and 4 survey successively the fortunes of determinism in the Newtonian and the special relativistic settings..

It is argued that the main problem with "the problem of the direction of time" is to figure out what the problem is or is supposed to be. Towards this end, an attempt is made to disentangle and to classify some of the many issues which have been discussed under the label of 'the direction of time'. Secondly, some technical apparatus is introduced in the hope of producing a sharper formulation of the issues than they have received in the philosophical literature. Finally, some tentative suggestions about the central issues are offered. In particular, it is suggested that entropy and irreversibility are much less crucial to the central issues than most philosophers would have us believe. This suggestion is not made because of any firm conviction of its correctness but rather because it helps to focus the discussion on some basic but long neglected assumptions which underlie traditional approaches

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.

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.