Richard Arthur and I proposed that the present in Minkowski spacetime should be thought of as a small causal diamond. That is, given two timelike separated events p and q, with p earlier than q, they suggested that the present is the set I+ ∩ I-. Mauro Dorato presents three criticisms of this proposal. I rebut all three and then offer two more plausible criticisms of the Arthur/Savitt proposal. I argue that these criticisms also fail.

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

To date, both sides in the conventionality of simultaneity debate grant that transformations from "standard" to "nonstandard" coordinates are possible without any empirically significant effects. However, it is argued here that the very possibility of defining nonstandard coordinates vanishes if one represents special relativity, not by real four-vectors (as has been the case so far in the debate), but by complex spinors as used in the representation of half-integer spin. Thus, in the topologically simplest representation of the Lorentz group, the (...) transformation over which the debate has been fought does not exist and one of the most basic foundations of the conventionalist thesis is challenged. (shrink)

Inertial frames and Lorentz transformations have a preferred status in the special theory of relativity (STR). Lorentz transformations, in turn, embody Einstein's convention that the velocity of light is isotropic, a convention that is necessary for the establishment of a standard signal synchrony. If the preferred status of Lorentz transformations in STR is not due to some particular bias introduced by a convention on signal synchronism, but to the fact that the Lorentz transformation group is the symmetry group of the (...) theory, then the signal synchronism is not a matter of convention but rather a matter of fact. In order to explore the conventionalist thesis, that within the frame of STR isotropy in the velocity of light and, hence, signal synchronism is a matter of convention, we need a generalized Lorentz transformation group that does not embody Einstein's isotropy convention, and upon which STR can be based. We present here a new approach to the resulting search for a generalized STR, which is well suited for establishing some well-known results of Winnie as well as some new results. (shrink)

The objective of this article is to provide a formalism to deal with the special theory of relativity (STR, in short) as riewed by Reichenbach, according to which STR involves an ineradicableconventionality of simultaneity. One of the two postulates of STR asserts that, in empty space, the one-way speed of light relative to inertial frames is constant. Experimental evidence, however, is related to the constancy of the round-trip speed of light and has no bearing on one-way speeds. Following Reichenbach's viewpoint, (...) we relax the second postulate of STR, abandoning the constancy of the one-way speed of light to the more realistic one asserting the constancy of the round-trip speed of light. This, in turn, results in a formalism to deal with Reichenbach's special theory of relativity (RSTR, in short) in which the two one-way speeds of light in empty space, C±, in the two senses of a round-trip are arbitrarily selected in such a way that their harmonic mean is the measurable round-trip speed of light, c. Experimentally, RSTR and STR are indistinguishable and, hence, represent the same physical theory. It is only the formalism that we use to deal with STR which is extended in RSTR to accommodate the immeasurability of one-way velocities. The usefulness of the proposed formalism to study special relativity is demonstrated. (shrink)

Malament (Noûs 11:293–300, 1977) proved a certain uniqueness theorem about standard synchrony, also known as Poincaré-Einstein simultaneity, which has generated many commentaries over the years, some of them contradictory. We think that the situation called for some clarification. After reviewing and discussing some of the literature involved, we prove two results which, hopefully, will help clarifying this debate by filling the gap between the uniquess of Malament’s theorem, which allows the observer to use very few tools, and the complete arbitrariness (...) of a time coordinate in full-fledged Relativity theory. In the spirit of Malament’s theorem, and in opposition to most of its commentators, we emphasize explicit definability of simultaneity relations, and give only constructive proofs. We also explore what happens when we reduce to “purely local” data with respect to an observer. (shrink)

This paper deals with the concept of simultaneity in classical and relativistic physics as construed in terms of group-invariant equivalence relations. A full examination of Newton, Galilei and Poincaré invariant equivalence relations in ℝ4 is presented, which provides alternative proofs, additions and occasionally corrections of results in the literature, including Malament’s theorem and some of its variants. It is argued that the interpretation of simultaneity as an invariant equivalence relation, although interesting for its own sake, does not cut in the (...) debate concerning the conventionality of simultaneity in special relativity. (shrink)

In their article, “Relative Simultaneity in the Special Theory of Relativity,” Jackson and Pargetter have offered a method to determine distant simultaneity which they claim to be independent of any assumptions concerning one-way velocities and thus a basis for denying the conventionality of distant simultaneity within the framework of the Special Theory. In what follows, I shall argue that the case they make to support the claim to independence is mistaken.

The debate on the conventionality of simultaneity and the debate on the dimensionality of the world have been central in the philosophy of special relativity. The link between both debates however has rarely been explored. The purpose of this paper is to gauge what implications the former debate has for the latter. I show the situation to be much more subtle than was previously argued, and explain how the ontic versus epistemic distinction in the former debate impacts the latter. Despite (...) claims to the contrary, I conclude that special relativity leaves the debate on the dimensionality of the world underdetermined. (shrink)

Special relativity theory is generalized to two or more “maximal” signalling speeds. This framework is discussed in three contexts: (i) as a scenario for superluminal signalling and motion, (ii) as the possibility of two or more “light” cones due to the a “birefringent” vacuum, and (iii) as a further extension of conventionality beyond synchrony.

It has been repeatedly argued, most recently by Nicholas Maxwell, that the special theory of relativity is incompatible with the view that the future is in some degree undetermined; and Maxwell contends that this is a reason to reject that theory. In the present paper, an analysis is offered of the notion of indeterminateness (or "becoming") that is uniquely appropriate to the special theory of relativity, in the light of a set of natural conditions upon such a notion; and reasons (...) are given for regarding this conception as (not just formally consistent with relativity theory, but also) philosophically reasonable. The bearings upon Maxwell's program for quantum theory are briefly considered. (shrink)

Eternalism is the view that the past, the present and the future exist simpliciter. A typical argument in favor of this view leans on the relativity of simultaneity. The ‘equally real with’ relation is assumed to be transitive between spacelike separated events connected by hyperplanes of simultaneity. This reasoning is in tension with the conventionality of simultaneity. Conventionality indicates that, even within a specific frame, simultaneity is based on the choice of the synchronization parameter. Hence the argument for eternalism is (...) compromised. This paper lays out alternative eternalist strategies which do not hinge on hyperplanes. While we lack a rigorous proof for eternalism, there are still cogent reasons to prefer eternalism over presentism. (shrink)

David Malament's (1977) well-known result, which is often taken to show the uniqueness of the Poincare-Einstein convention for defining simultaneity, involves an unwarranted physical assumption: that any simultaneity relation must remain invariant under temporal reflections. Once that assumption is removed, his other criteria for defining simultaneity are also satisfied by membership in the same backward (forward) null cone of the family of such cones with vertices on an inertial path. What is then unique about the Poincare-Einstein convention is that it (...) is independent of the choice of inertial path in a given inertial frame, confirming a remark in Einstein 1905. Similarly, what is unique about the backward (forward) null cone definition is that it is independent of the state of motion of an observer at a point on the inertial path. (shrink)

As is well know from Einstein the choice of a criterion for distant simultaneity is equivalent to stipulating one-way speeds for the transit of light. It is shown that any choice of non-standard synchrony is equivalent to a Lorentz local time boost. From this and considerations from the hole argument, it follows that there is a non-trivial sense in which distant simultaneity is conventional, at least to the extent that the “gauge freedom” arising in the hole argument is non-trivial.

The question whether distant simultaneity has a factual or a conventional status in special relativity has long been disputed and remains in contention even today. At one point it appeared that Malament had settled the issue by proving that the only non-trivial equivalence relation definable from causal connectability is the standard simultaneity relation. Recently, however, Sarkar and Stachel claim to have identified a suspect assumption in the proof by defining a non-standard simultaneity relation from causal connectability. I contend that their (...) critique is based on a misunderstanding of the criteria for the definability of a relation, a misunderstanding that Malement's original treatment helped to foster. There are in fact a variety of notions of definability that can be brought to bear. They all, however, require a condition that suffices to secure Malament's result. The non-standard relation Sarkar and Stachel claim to be definable is not so definable, and, I argue, their proposal to modify the notion of “causal definability” is misguided. Finally, I address the relevance of Malament's result to the thesis of conventionalism. (shrink)

On the basis of the Woodhouse causal axiomatics, we show that conformal proper times and an extra variable in addition to those of space and time, together give a physical justification for the ‘chronometric hypothesis’ of general relativity. Indeed, we show that, with a lack of these latter two ingredients and of this hypothesis, clock paradoxes exist for which the unparadoxical asymmetry cannot be recovered when using the ‘clock and message functions’ only. These proper times originate from a given conformal (...) structure of the spacetime when ascribing different compatible projective structures to each Woodhouse particle, and then, each defines a specific Weylian ‘sheaf structure’. In addition, the proper time parameterizations are defined via path-dependent conformal scale factors, which act like sockets for any kind of physical interaction and also represent the values of the variable associated with the extra dimension. (shrink)

The axiomatic bases of Special Relativity Theory (SRT) are thoroughly re-examined from an operational point of view, with particular emphasis on the status of Einstein synchronization in the light of the possibility of arbitrary synchronization procedures in inertial reference frames. Once correctly and explicitly phrased, the principles of SRT allow for a wide range of “theories” that differ from the standard SRT only for the difference in the chosen synchronization procedures, but are wholly equivalent to SRT in predicting empirical facts. (...) This results in the introduction, in the full background of SRT, of a suitable synchronization gauge. A complete hierarchy of synchronization gauges is introduced and elucidated, ranging from the useful Selleri synchronization gauge (which should lead, according to Selleri, to a multiplicity of theories alternative to SRT) to the more general Mansouri–Sexl synchronization gauge and, finally, to the even more general Anderson–Vetharaniam–Stedman’s synchronization gauge. It is showed that all these gauges do not challenge the SRT, as claimed by Selleri, but simply lead to a number of formalisms which leave the geometrical structure of Minkowski spacetime unchanged. Several aspects of fundamental and applied interest related to the conventional aspect of the synchronization choice are discussed, encompassing the issue of the one-way velocity of light in inertial and rotating reference frames, the global positioning system (GPS)’s working, and the recasting of Maxwell equations in generic synchronizations. Finally, it is showed how the gauge freedom introduced in SRT can be exploited in order to give a clear explanation of the Sagnac effect for counter-propagating matter beams. (shrink)

We investigate the concepts of past, present, and future that build upon a modal distinction between a settled past and an open future. The concepts are defined in terms of a pre-causal ordering that is determined by the qualitative differences between alternative possible histories. We look what an event’s past, present, and future look like in the so-called Minkowskian Branching Structures, one in which histories are isomorphic to Minkowski space-time.

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

Halvorson and Clifton have given a mathematical reconstruction of Bohr’s reply to Einstein, Podolsky and Rosen, and argued that this reply is dictated by the two requirements of classicality and objectivity for the description of experimental data, by proving consistency between their objectivity requirement and a contextualized version of the EPR reality criterion which had been introduced by Howard in his earlier analysis of Bohr’s reply. In the present paper, we generalize the above consistency theorem, with a rather elementary proof, (...) to a general formulation of EPR states applicable to both non-relativistic quantum mechanics and algebraic quantum field theory; and we clarify the elements of reality in EPR states in terms of Bohr’s requirements of classicality and objectivity, in a general formulation of algebraic quantum theory. (shrink)

Today’s critical state of philosophy is examined by considering two of its aspects: the way in which philosophy presently is ever more typically practised and the new challenges it has to face to keep up with the changed scientific, and more generally cultural and social context. The essay outlines some prospects of progress in the light of those which still now can be considered the proper tasks of philosophical inquiry. Such tasks are singled out through an historical survey of the (...) original characters of philosophy and an appraisal of its theoretical motivations. The importance of the history of philosophy and the necessity of achieving a virtuous relation among the various philosophical disciplines are stressed to contrast the dangers of excess specialisation and professionalism. (shrink)

Halvorson and Clifton have given a mathematical reconstruction of Bohr’s reply to Einstein, Podolsky and Rosen (EPR), and argued that this reply is dictated by the two requirements of classicality and objectivity for the description of experimental data, by proving consistency between their objectivity requirement and a contextualized version of the EPR reality criterion which had been introduced by Howard in his earlier analysis of Bohr’s reply. In the present paper, we generalize the above consistency theorem, with a rather elementary (...) proof, to a general formulation of EPR states applicable to both non-relativistic quantum mechanics and algebraic quantum field theory; and we clarify the elements of reality in EPR states in terms of Bohr’s requirements of classicality and objectivity, in a general formulation of algebraic quantum theory. (shrink)

I examine the development of Reichenbach's ideas concerning the conventionality of simultaneity in connection with his ``epsilon''-definition of simultaneity. It does not appear that he ever considered non-standard choices of ``epsilon'' that yield the same ``light-geometry'' as that of special relativity. Rather, it appears he believed that non-standard choices, though always epistemically justified, lead to different ``light-geometries'' (e.g., classical space-time) and thus would necessitate more complicated ``matter axioms'' than those postulated in his axiomatization of relativity.

In 1977, David Malament proved the valuable technical result that the simultaneity relation of standard synchrony $\epsilon=\frac{1}{2}$ with respect to an inertial observer O is uniquely definable in terms of the relation κ of causal connectibility. And he claimed that this definability undermines my own version of the conventionality of metrical simultaneity within an inertial frame.But Malament’s proof depends on the imposition of several supposedly “innocuous” constraints on any candidate for the simultaneity relation relative to O. Relying on Allen I. (...) Janis’s 1983 challenge to one of these constraints, I argue that Malament’s technical result did not undermine my philosophical construal of the ontological status of relative metrical simultaneity. Furthermore, I show that (a) Michael Friedman’s peremptorily substantivalist critique of my conception, which Malament endorses, is ill-founded, and (b) if Malament had succeeded in discrediting my own conventionalist version of metrical simultaneity, he would likewise have invalidated Einstein’s pioneering version of it. (shrink)

It is a central aspect of our ordinary concept of time that history unfolds and events come into being. It is only natural to take this seriously. However, it is notoriously difficult to explain further what this `becoming' consists in, or even to show that the notion is consistent at all. In this article I first argue that the idea of a global temporal ordering, involving a succession of cosmic nows, is not indispensable for our concept of time. Our experience (...) does not support the existence of global simultaneity and arguments from modern physics further support the conclusion that time should not be seen as a succession of cosmic nows. Accordingly, I propose that if we want to make sense of becoming we should attempt to interpret it as something purely local. Second, I address the question of what this local becoming consists in. I maintain that processes of becoming are nothing but the successive happening of events, and that this happening of events consists entirely in the occurring of these events at their own spacetime locations. This leads to a consistent view of becoming, which is applicable even to rather pathological spacetimes. (shrink)

In his recent article On Relativity Theory and Openness of the Future (1991), Howard Stein proves not only that one can define an objective becoming relation in Minkowski spacetime, but that there is only one possible definition available if one accepts certain natural assumptions about what it is for becoming to occur and for it to be objective. Stein uses the definition supplied by his proof to refute an argument due to Rietdijk (1966, 1976), Putnam (1967) and Maxwell (1985, 1988) (...) that Minkowski spacetime leaves no room for objective becoming whatsoever. However, Stein's proof does not seem to go far enough. By considering only what events have become from the standpoint of any given event, Stein's uniqueness proof fails from the outset to allow for a more general kind of becoming whereby it is understood to occur from the standpoint of events on the particular worldlines followed by observers. This suggests that there may, after all, be more than one way to define objective becoming in Minkowski spacetime once each observer's worldline is allowed to figure in the definition. This suspicion is further aroused by two recent proposals for objective, worldline-dependent becoming due to Peacock (1992) and Muller (1992) who advocate ways of defining becoming that are not equivalent to the definition Stein's uniqueness proof delivers. Nevertheless, we show that Stein's uniqueness proofcan be extended in a natural way to cover this more general kind of becoming, provided one does not enrich standard Minkowski spacetime by privileging certain sets of worldlines over others in an unwarranted manner. Thus we aim to reinforce Stein's point that standard Minkowski spacetime does make room for objective becoming, but in essentially only one way, despite arguments and proposals to the contrary. (shrink)

Dummett and others have failed to show that an effect can precede its cause. Dummett claimed that 'backwards causation' is unproblematic in agentless worlds, and tried to show under what conditions it is rational to believe that even backwards agent-causation occurs. Relying on considerations originating in discussions of special relativity, I show that the latter conditions actually support the view that backwards agent-causation is impossible. I next show that in Dummett's agentless worlds explanation does not necessitate backwards causation. I then (...) show why even relative backwards causation is impossible in his and Tooley's scenarios of parallel processes in which causes apparently act in opposite temporal directions. We thus have good reasons for thinking that backwards causation is impossible. (shrink)

David Malament tried to show that the causal theory of time leads to a unique determination of simultaneity relative to an inertial observer, namely standard simultaneity. I show that the causal relation Malament uses in his proofs, causal connectibility, should be replaced by a different causal relation, the one used by Reichenbach in his formulation of the theory. I also explain why Malament's reliance on the assumption that the observer has an eternal inertial history modifies our conception of simultaneity, and (...) I therefore eliminate it. Having made these changes, Malament's uniqueness result no longer follows, although the conventionality of simultaneity is not reinstated. I contrast my approach with previous criticisms of Malament. Introduction Causality and Temporal Order Malament's Argument Causality versus Causal Connectibility Simultaneity and History Conclusion. (shrink)

In this critical notice we argue against William Craig's recent attempt to reconcile presentism (roughly, the view that only the present is real) with relativity theory. Craig's defense of his position boils down to endorsing a ‘neo-Lorentzian interpretation’ of special relativity. We contend that his reconstruction of Lorentz's theory and its historical development is fatally flawed and that his arguments for reviving this theory fail on many counts. 1 Rival theories of time 2 Relativity and the present 3 Special relativity: (...) one theory, three interpretations 4 Theories of principle and constructive theories 5 The relativity interpretation: explanatorily deficient? 6 The relativity interpretation: ontologically fragmented? 7 The space-time interpretation: does God need a preferred frame of reference? 8 The neo-Lorentzian interpretation: at what price? 9 The neo-Lorentzian interpretation: with what payoff? 10 Why we should prefer the space-time interpretation over the neo-Lorentzian interpretation 11 What about general relativity? 12 Squaring the tenseless space-time interpretation with our tensed experience. (shrink)

1. Introduction. David Malament has described a natural and satisfying resolution of the traditional problems of Newtonian cosmology—natural in the sense that it effects the escape by altering Newtonian gravitation theory in a way that leaves its observational predictions completely unaffected. I am in full agreement with his approach. There is one part of his account, however, over which Malament has been excessively modest. The resolution requires a modification to Newtonian gravitation theory. Malament presents the modification as so straightforward as (...) to be automatic. This trivializes the crucial postulate, which I shall call the “relativity of acceleration.” It is a significant physical statement in its own right and requires careful justification. Moreover the postulate proved easy to overlook for decades of discussion of the paradox. It really only becomes natural from the perspective of the newer geometric methods Malament exploits. There the postulate has become a commonplace. My purpose here is to develop the following: While Newtonian cosmology can be repaired satisfactorily, in its traditional form it remains deeply troubled. These troubles can be expressed most vividly as the paradoxical contradictions indicated below. They persist in both the integral and differential formulations of Newtonian gravitation theory. Malament's careful geometric treatment is necessarily dense. By taking some liberties with precision, his core result can be expressed in a far simpler form. Attempts to avoid the resolution Malament describes do lead to disaster. Therefore this episode can be inverted and used as the strongest extant argument for the relativity of acceleration in Newtonian gravitation theory. (shrink)

Minkowski geometry is axiomatized in terms of the asymmetric binary relation of optical connectibility, using ten first-order axioms and the second-order continuity axiom. An axiom system in terms of the symmetric binary optical connection relation is also presented. The present development is much simpler than the corresponding work of Robb, upon which it is modeled.

The aim of this paper is to show that the argument put forth by Bell and Hallett against Putnam's thesis regarding the invariance of meaning for quantum logical connectives is insufficient to establish their conclusion. By using an example from the causal theory of time, the paper shows how the condition they specify as relevant in cases of meaning variance in fact fails. As a result, the conclusion that negation undergoes a change of meaning in the quantum logical case is (...) left in doubt. The paper proceeds in three stages. First, a summary of Putnam's argument for the invariance of meaning in the case of quantum logical connectives is provided; this is followed by a review of the criticisms advanced against it by Bell and Hallett. Finally, it is shown how the main claim upon which their major criticism rests is unfounded. (shrink)

The following definition of “objective” is proposed: A statement S is objective if and only if in S all parameters that are relevant to its truth value are made explicit. The objectivity of predicates and relations can be defined in a similar manner. This simple conception of objectivity-which could be called “explicitness conception of objectivity”-can be found in Hermann Weyl and plays a central part in the natural sciences. There are grades of objectivity depending on the ‘quality’ and the number (...) of parameters our predicates are relativized to A relativistic Ockham principle has to be recognized: Relativization parameters are not to be multiplied beyond necessity. The explicitness conception of objectivity is accessible to mathematical specifications, is the core of the idea of invariance, has a lot of philosophical applications and leads to precise notions of ‘subjectivity’ and a precise formulation of the problem of the limits of objectivity. (shrink)

In this paper we study the emergence of Minkowski space–time from a discrete causal network representing a classical information flow. Differently from previous approaches, we require the network to be topologically homogeneous, so that the metric is derived from pure event-counting. Emergence from events has an operational motivation in requiring that every physical quantity—including space–time—be defined through precise measurement procedures. Topological homogeneity is a requirement for having space–time metric emergent from the pure topology of causal connections, whereas physically homogeneity corresponds (...) to the universality of the physical law. We analyze in detail the case of 1+1 dimensions. If we consider the causal connections as an exchange of classical information, we can establish coordinate systems via an Einsteinian protocol, and this leads to a digital version of the Lorentz transformations. In a computational analogy, the foliation construction can be regarded as the synchronization with a global clock of the calls to independent subroutines in a parallel distributed computation. Thus the Lorentz time-dilation emerges as an increased density of leaves within a single tic-tac of a clock, whereas space-contraction results from the corresponding decrease of density of events per leaf. The operational procedure of building up the coordinate system introduces an in-principle indistinguishability between neighboring events, resulting in a network that is coarse-grained, the thickness of the event being a function of the observer's clock. The illustrated simple classical construction can be extended to space dimension greater than one, with the price of anisotropy of the maximal speed, due to the Weyl-tiling problem. This issue is cured if the causal network is quantum, as e.g. in a quantum cellular automaton, and isotropy is recovered by quantum coherence via superposition of causal paths. We thus argue that in a causal network description of space–time, the quantum nature of the network is crucial. (shrink)

The special theory of relativity holds significant interest for scientific perspectivists. In this paper, I distinguish between two related meanings of “perspectival,” and argue that reference frames are perspectives, provided that perspectival means “being conditional” rather than “being partial.” Frame-dependent properties such as length, time duration, and simultaneity, are not partially measured in a reference frame, but their measurements are conditional on the choice of frame. I also discuss whether the constancy of the speed of light depends on perspectival factors (...) such as the idealized definition of the speed of light in a perfect vacuum and the Einstein synchronization convention. Furthermore, I argue for the view that the constancy of its speed is a robust property of light according to the conditions of currently acceptable experimental setups pertaining to special relativity, and conclude that this view supports perspectivism. (shrink)

The conventionalistic aspects of physical world perception are reviewed with an emphasis on the constancy of the speed of light in relativity theory and the irreversibility of measurements in quantum mechanics. An appendix contains a complete proof of Alexandrov's theorem using mainly methods of affine geometry.

Recently, Dewar (2019) has suggested that one can apply the strategy of 'sophistication' - as exemplified by sophisticated substantivalism as a response to the diffeomorphism invariance of General Relativity - to gauge theories such as electrodynamics. This requires a shift to the formalism of fibre bundles. In this paper, I develop and defend this suggestion. Where my approach differs from previous discussions is that I focus on the metaphysical picture underlying the fibre bundle formalism. In particular, I aim to affirm (...) the physical reality of gauge properties. I argue that this allows for a local and separable explanation of the Aharonov-Bohm effect. Its puzzling features are explained by a form of holism inherent to fibre bundles. (shrink)