The claim that distant simultaneity with respect to an inertial observer is conventional arose in the context of a space-and-time rather than a spacetime ontology. Reformulating this problem in terms of a spacetime ontology merely trivializes it. In the context of flat space, flat time, and a linear inertial structure (a purely space-and-time formalism), we prove that the hyperplanes of space for a given inertial observer are determined by a purely spatial criterion that depends for its validity only on the (...) two-way light principle, which is universally regarded as empirically verified. All (empirically determined) “spacetime” entities, such as the conformal structure or light surface equation, are used in a purely mathematical manner that is independent of and hence isneutral with respect to the ontological status that is ascribed to them. In this regard, our criterion is significantly stronger than thespacetime criterion recently advanced by D. Malament, which appeals explicitly to the conformal orthogonality of spacetime vectors and to the invariance of the conformal-orthogonal structure of spacetime under the causal automorphisms of spacetime. Once the hyperplanes of space for a given inertial observer have been determined by our empirical and purely spatial criterion, the following holds: there exists one and only one $\vec \varepsilon $ -synchronization procedure, namely the standard procedure proposed by Einstein, such that the planes of common time are thesame as the nonconventional hyperplanes of space for the inertial observer. It follows that our criterion provides an empirical even if indirect method for determining that the one-way speed of light is the same as the average two-way speed of light. In addition, two inertial observers that are not at rest with respect to each other necessarily havedifferent hyperplanes of space, and consequently their respective spatial views cannot be encompassed in a single three-dimensional space. Hence, our purely spatial criterion provides an empirical motivation for adopting the more comprehensive spacetime ontology. (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)

This chapter contains sections titled: Relationism, Substantivalism and Space‐time Conventionalism about Space‐time Black Holes and Singularities Horizons and Uniformity Conclusion.

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

It is a commonplace in the philosophy of physics that any local physical theory can be represented using arbitrary coordinates, simply by using tensor calculus. On the other hand, the physics literature often claims that spinors \emph{as such} cannot be represented in coordinates in a curved space-time. These commonplaces are inconsistent. What general covariance means for theories with fermions, such as electrons, is thus unclear. In fact both commonplaces are wrong. Though it is not widely known, Ogievetsky and Polubarinov constructed (...) spinors in coordinates in 1965, enhancing the unity of physics and helping to spawn particle physicists' concept of nonlinear group representations. Roughly and locally, these spinors resemble the orthonormal basis or "tetrad" formalism in the symmetric gauge, but they are conceptually self-sufficient and more economical. The typical tetrad formalism is de-Ockhamized, with six extra field components and six compensating gauge symmetries to cancel them out. The Ogievetsky-Polubarinov formalism, by contrast, is Ockhamized, with most of the fluff removed. As developed nonperturbatively by Bilyalov, it admits any coordinates at a point, but "time" must be listed first. Here "time" is defined in terms of an eigenvalue problem involving the metric components and the matrix $diag$, the product of which must have no negative eigenvalues in order to yield a real symmetric square root that is a function of the metric. Thus even formal general covariance requires reconsideration; the atlas of admissible coordinate charts should be sensitive to the types and \emph{values} of the fields involved. Apart from coordinate order and the usual spinorial two-valuedness, Ogievetsky-Polubarinov spinors form, with the metric, a nonlinear geometric object, for which important results on Lie and covariant differentiation are recalled. Such spinors avoid a spurious absolute object in the Anderson-Friedman analysis of substantive general covariance. They also permit the gauge-invariant localization of the infinite-component gravitational energy in General Relativity. Density-weighted spinors exploit the conformal invariance of the massless Dirac equation to show that the volume element is absent. Thus instead of an arbitrary nonsingular matrix with 16 components, 6 of which are gauged away by a new local $O$ gauge group and one of which is irrelevant due to conformal covariance, one can, and presumably should, use density-weighted Ogievetsky-Polubarinov spinors coupled to the 9-component symmetric square root of the part of the metric that fixes null cones. Thus $\frac{7}{16}$ of the orthonormal basis is eliminated as surplus structure. Greater unity between spinors and tensors and the like is achieved, such as regarding conservation laws. Regarding the conventionality of simultaneity, an unusually wide range of $\epsilon$ values is admissible, but some extreme values are inadmissible. Standard simultaneity uniquely makes the spinor transformation law linear and independent of the metric, because transformations among the standard Cartesian coordinate systems fall within the conformal group, for which the spinor transformation law is linear. The surprising mildness of the restrictions on coordinate order as applied to the Schwarzschild solution is exhibited. (shrink)

The physicist's conception of space-time underwent two major upheavals thanks to the general theory of relativity and quantum mechanics. Both theories play a fundamental role in describing the same natural world, although at different scales. However, the inconsistency between them emerged clearly as the limitation of twentieth-century physics, so a more complete description of nature must encompass general relativity and quantum mechanics as well. The problem is a theorists' problem par excellence. Experiment provide little guide, and the inconsistency mentioned above (...) is an important problem which clearly illustrates the intermingling of philosophical, mathematical, and physical thought. In fact, in order to unify general relativity with quantum field theory, it seems necessary to invent a new mathematical framework which will generalise Riemannian geometry and therefore our present conception of space and space-time. Contemporary developments in theoretical physics suggest that another revolution may be in progress, through which a new kind of geometry may enter physics, and space-time itself can be reinterpreted as an approximate, derived concept. The main purpose of this article is to show the great significance of space-time geometry in predetermining the laws which are supposed to govern the behaviour of matter, and further to support the thesis that matter itself can be built from geometry, in the sense that particles of matter as well as the other forces of nature emerges in the same way that gravity emerges from geometry. Scientific research is not a process of steady accumulation of absolute truths, which has culminated in present theories, but rather a much more dynamic kind of process in which there are no final theoretical concepts valid in unlimited domains. (David Bohm). (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)

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)

I reconstruct from Rietdijk and Putnam’s well-known papers an argument against the applicability of the concept of becoming in Special Relativity, which I think is unaffected by some of the objections found in the literature. I then consider a line of thought found in the discussion of the possible conventionality of simultaneity in Special Relativity, beginning with Reichenbach, and apply it to the debate over becoming. We see that it immediately renders Rietdijk and Putnam’s argument unsound. I end by comparing (...) my approach to others found in the literature, primarily Stein’s. (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)

This paper examines Quine’s web of belief metaphor and its role in his various responses to conventionalism. Distinguishing between two versions of conventionalism, one based on the under-determination of theory, the other associated with a linguistic account of necessary truth, I show how Quine plays the two versions of conventionalism against each other. Some of Quine’s reservations about conventionalism are traced back to his 1934 lectures on Carnap. Although these lectures appear to endorse Carnap’s conventionalism, in exposing Carnap’s failure to (...) provide an explanatory account of analytic truth, they in fact anticipate Quine’s later critique of conventionalism. I further argue that Quine eventually deconstructs both his own metaphor and the thesis of under-determination it serves to illustrate. This enables him to hold onto under-determination, but at the cost of depleting it of any real epistemic significance. Lastly, I explore the implications of this deconstruction for Quine’s indeterminacy of translation thesis. (shrink)

An ab-initio foundation for relativistic spacetime is given, which is a conservative extension of Zermelo’s set theory with urelemente. Primitive entities are worldlines rather than spacetime points. Spacetime points are sets of intersecting worldlines. By the proper axioms, they form a manifold. Entities known in differential geometry, up to a metric, are defined and have the usual properties. A set-realistic point of view is adopted. The intended ontology is a set-theoretical hierarchy with a broad base of the empty set and (...) urelemente. Sets generated from the empty set are mathematically interpreted, all other sets are physically interpreted. (shrink)

Two symmetry arguments are discussed, each purporting to show that there is no more room for a preferred division of spacetime into instants of time in general relativistic cosmology than in Minkowski spacetime. The first argument is due to Gödel, and concerns the symmetries of his famous rotating cosmologies. The second turns upon the symmetries of a certain space of relativistic possibilities. Both arguments are found wanting.

Mathematicians, physicists, and philosophers of physics often look to the symmetries of an object for insight into the structure and constitution of the object. My aim in this paper is to explain why this practice is successful. In order to do so, I present a collection of results that are closely related to (and in a sense, generalizations of) Beth’s and Svenonius’ theorems.

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)

In recent articles, Zangari (1994) and Karakostas (1997) observe that while an &unknown;-extended version of the proper orthochronous Lorentz group O + (1,3) exists for values of &unknown; not equal to zero, no similar &unknown;-extended version of its double covering group SL(2, C) exists (where &unknown;=1-2&unknown; R , with &unknown; R the non-standard simultaneity parameter of Reichenbach). Thus, they maintain, since SL(2, C) is essential in describing the rotational behaviour of half-integer spin fields, and since there is empirical evidence for (...) such behaviour, &unknown;-coordinate transformations for any value of &unknown;<>0 are ruled out empirically. In this article, I make two observations:(a)There is an isomorphism between even-indexed 2-spinor fields and Minkowski world-tensors which can be exploited to obtain generally covariant expressions of such spinor fields.(b)There is a 2-1 isomorphism between odd-indexed 2-spinor fields and Minkowski world-tensors which can be exploited to obtain generally covariant expressions for such spinor fields up to a sign. Evidence that the components of such fields do take unique values is not decisive in favour of the realist in the debate over the conventionality of simultaneity in so far as such fields do not play a role in clock synchrony experiments in general, and determinations of the one-way speed of light in particular.I claim that these observations are made clear when one considers the coordinate-independent 2-spinor formalism. They are less evident if one restricts oneself to earlier coordinate-dependent formalisms. I end by distinguishing these conclusions from those drawn by the critique of Zangari given by Gunn and Vetharaniam (1995). (shrink)

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)

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)

The dynamic nature of physics cannot be captured through an exclusive focus on the static mathematical formulations of physical theories. Instead, we can more fruitfully think of physics as a set of distinctively social, cognitive, and theoretical/methodological practices. An emphasis on practice has been one of the most notable aspects of the recent “naturalistic turn” in general philosophy of science, in no small part due to the arguments of many feminist philosophers of science. A major project of feminist philosophy of (...) physics has been to shine a critical light on the social and cognitive practices in physics, and how those ultimately influence other aspects of the science. Here we argue that traditional philosophy of physics has focused exclusively on the theoretical/methodological practices of physics, and that feminist philosophy of physics seeks to broaden the focus to include the social and cognitive practices as well. (shrink)

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.

The special theory of relativity (STR) is widely supposed to be in tension with A-theories of time, those giving special significance to the present moment. A-theories are diverse in the features they regard as distinctive of the present, but all agree that there is an absolute fact of the matter about which events have the feature of presentness. Famously, the standard notion of simultaneity operationalised within the theory of relativity is not absolute. If A-theorists accept relativistic physics, they must either (...) refine their A-theory and sever joint presentness from simultaneity (‘conciliatory’ responses to the problem), or supplement standard relativity by adding further spacetime structure that grounds a relation of absolute simultaneity (‘supplementing’ responses). This chapter considers the prospects for such approaches, concluding that while there is no knock-down argument from relativity against the A-theory, attempts to marry the A-theory with STR are more trouble than they are worth. (shrink)

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)

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)

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.

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.

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)

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)