We show a sense in which the spacetime property of effective completeness—a type of “local hole-freeness” or “local inextendibility”—is not stable.

Here, we clarify the relationship among three space-time conditions of interest: geodesic completeness, hole-freeness, and inextendibility. In addition, we introduce a related fourth condition: effective completeness.

We divide analytic metaphysics into naturalistic and non-naturalistic metaphysics. The latter we define as any philosophical theory that makes some ontological (as opposed to conceptual) claim, where that ontological claim has no observable consequences. We discuss further features of non-naturalistic metaphysics, including its methodology of appealing to intuition, and we explain the way in which we take it to be discontinuous with science. We outline and criticize Ladyman and Ross's 2007 epistemic argument against non-naturalistic metaphysics. We then present our own (...) argument against it. We set out various ways in which intellectual endeavours can be of value, and we argue that, in so far as it claims to be an ontological enterprise, non-naturalistic metaphysics cannot be justified according to the same standards as science or naturalistic metaphysics. The lack of observable consequences explains why non-naturalistic metaphysics has, in general, failed to make progress, beyond increasing the standards of clarity and precision in expressing its theories. We end with a series of objections and replies. (shrink)

The aim of this paper is to place the considerations provided by a philosophical family of positions called “spacetime structuralism” in the context of the debate between classical views: substantivalism and relationism in the philosophy of spacetime. Altough this task was somehow tackled in the past by other researchers, they never stated most generally, what exactly the problem with spacetime structuralism as a standpoint was. I view that problem as the problem of its autonomy and potential reducibility to both of (...) the classical views. I modestly suggest a general viewpoint on spacetime structuralism: as a purely interpretative endeavour. (shrink)

In the recent philosophical debate about the relationship between symmetries and physical equivalence, two approaches have been distinguished: motivationalism and interpretationalism. In this paper, I point out that there are variants of interpretationalism that have not been taken into account by the proponents of motivationalism. I also argue that some of these overlooked variants of interpretationalism are not prone to the motivationalists’ criticism and overall are the most attractive positions available.

A widespread view in physics holds that the implementation of time reversal in standard quantum mechanics must be given by an anti-unitary operator. In foundations and philosophy of physics, however, there has been some discussion about the conceptual grounds of this orthodoxy, largely relying on either its obviousness or its mathematical-physical virtues. My aim in this paper is to substantively change the traditional structure of the debate by highlighting the philosophical commitments underlying the orthodoxy. I argue that the persuasive force (...) of the orthodoxy can benefit from a relational metaphysics of time and a by-stipulation view on symmetries. Within such philosophical background, I submit, the orthodoxy of time reversal in standard quantum mechanics could find a fertile terrain to lay the groundwork for a more thorough conceptual justification. (shrink)

Two views on the direction of time can be distinguished—primitivism and non-primitivism. According to the former, time’s direction is an in-built, fundamental property of the physical world. According to the latter, time’s direction is a derivative property of a fundamentally directionless reality. In the literature, non-primitivism has been widely supported since most our fundamental dynamical laws are time-reversal invariant. In this paper, I offer a way out to the primitivist. I argue that we do have good grounds to support a (...) primitive direction of time in the quantum realm. The rationale depends on exploiting the metaphysical and dynamical underdetermination of quantum theories to make a case in favor of primitivism. In particular, primitivism can be grounded in spontaneous collapse theories. The specific sense in which these theories capture a primitive direction of time is that, when the ontology of the theory is seriously taken into account, it does not remain invariant under time reversal. In taking GRW with a matter-density field, I will argue that primitivism about the direction of time can be defended in the quantum case. (shrink)

Symmetry-based inferences have permeated many discussions in philosophy of physics and metaphysics of science. It is claimed that symmetries in our physical theories would allow us to draw metaphysical conclusions about the world, a view that I call ‘symmetry inferentialism’. This paper is critical to this view. I claim that (a) it assumes a philosophically questionable characterization of the relevant validity domain of physical symmetries, and (b) it overlooks a distinction between two opposing ways through which relevant physical symmetries become (...) established. My conclusion is that symmetry inferentialism loses persuasive force when these two points are taken into consideration. (shrink)

In this article I shall defend, against the conventional understanding of the matter, that two coherent and tenable approaches to time reversal can be suitably introduced in standard quantum mechanics: an “orthodox” approach that demands time reversal to be represented in terms of an anti-unitary and anti-linear time-reversal operator, and a “heterodox” approach that represents time reversal in terms of a unitary, linear time-reversal operator. The rationale shall be that the orthodox approach in quantum theories assumes a relationalist metaphysics of (...) time, according to which time reversal is nothing but motion reversal. But, when one shifts gears and turn to a substantivalist metaphysics of time the heterodox approach to time reversal in quantum mechanics comes up in a more natural way. (shrink)

The notion of time reversal has caused some recent controversy in philosophy of physics. The debate has mainly put the focus on how the concept of time reversal should be formally implemented across different physical theories and models, as if time reversal were a single, unified concept that physical theories should capture. In this paper, I shift the focus of the debate and defend that the concept of time reversal involves at least three facets, where each of them gives rise (...) to opposing views. In particular, I submit that any account of time reversal presupposes (explicitly or implicitly) modal, metaphysical, and heuristic facets. The comprehension of this multi-faceted nature of time reversal, I conclude, shows that time reversal can be coherently said in many ways, suggesting a disunified concept. (shrink)

Symmetry fundamentalism claims that symmetries should be taken metaphysically seriously as part of the fundamental ontology. The main aim of this paper is to bring some novel objections against this view. I make two points. The first places symmetry fundamentalism within a broader network of philosophical commitments. I claim that symmetry fundamentalism entails idealization realism which, in turn, entails the reification of further theoretical structures. This might lead to an overloaded ontology as well as open the way to criticisms from (...) metaphysical frameworks that reject such reifications. The second point contrasts symmetry fundamentalism with the now common view that regards symmetries as stipulations guiding empirical research and theory construction. I claim that both views clash each other and cannot be held together. I finish the paper with a more positive prospect that will be developed in future work—symmetry deflationism. (shrink)

The aim of this article is to argue that a temporal asymmetry may be established within the framework of quantum field theory, independently of any violation of CP, and thereby T, in weak interactions, and independently of the property of time reversal invariance that its dynamical equations instantiate. Particularly, I shall argue that the temporal asymmetry can be stemmed from assessing the links between the proper group of symmetries of the theory and the ontology of the theory: arguments applied to (...) establish which elements and magnitudes remain invariants under group transformations can also be used to establish a temporal asymmetry. (shrink)

Christopher Timpson proposes a deflationary view about information, according to which the term ‘information’ is an abstract noun and, as a consequence, information is not part of the material contents of the world. The main purpose of the present article consists in supplying a critical analysis of this proposal, which will lead us to conclude that information is an item even more abstract than what Timpson claims. From this view, we embrace a pluralist stance that recognizes the legitimacy of different (...) interpretations of the concept of information. (shrink)

The paper, as Part I of a two-part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage-setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic view, and thereby offers a hybrid semantic view, (...) which at once secures the view's logical foundations and enhances its applicability. The dilemma of either losing touch with the practice of science or yielding up the benefits of the model theory is thus avoided. (shrink)

The concepts in the title refer to properties of physical theories and this paper investigates their nature and relations. The first three concepts, especially gauge invariance and indeterminism, have been widely discussed in connection to spacetime theories and the hole argument. Since the gauge invariance principle is at the crux of the issue, this paper aims at clarifying the nature of gauge invariance. I first explore the following chain of relations: gauge invariance $\Rightarrow $ the conservation laws $\Rightarrow $ the (...) Cauchy problem $\Rightarrow $ indeterminism. Then I discuss gauge invariance in light of our understanding of the above relations and the possibility of spontaneous symmetry breaking. (shrink)

Fragmentalism was first introduced by Kit Fine in his ‘Tense and Reality’. According to fragmentalism, reality is an inherently perspectival place that exhibits a fragmented structure. The current paper defends the fragmentalist interpretation of the special theory of relativity, which Fine briefly considers in his paper. The fragmentalist interpretation makes room for genuine facts regarding absolute simultaneity, duration and length. One might worry that positing such variant properties is a turn for the worse in terms of theoretical virtues because such (...) properties are not involved in physical explanations and hence theoretically redundant. It will be argued that this is not right: if variant properties are indeed instantiated, they will also be involved in straightforward physical explanations and hence not explanatorily redundant. Hofweber and Lange, in their ‘Fine’s Fragmentalist Interpretation of Special Relativity’, object that the fragmentalist interpretation is in tension with the right explanation of the Lorentz transformations. It will be argued that their objection targets an inessential aspect of the fragmentalist framework and fails to raise any serious problem for the fragmentalist interpretation of special relativity. (shrink)

Recent decades have seen a revived interest in super-substantivalism, the idea that spacetime is the only fundamental substance and matter some kind of aspect, property or consequence of spacetime structure. However, the metaphysical debate so far has misidentified a particular variant of super-substantivalism with the position per se. I distinguish between a super-substantival core commitment and different ways of fleshing it out. I then investigate how general relativity and alternative spacetime theories square with the different variants of super-substantivalism.

I describe how relativistic field theory generalizes the paradigm property of material systems, the possession of mass, to the requirement that they have a mass–energy–momentum density tensor T µ associated with them. I argue that T µ does not represent an intrinsic property of matter. For it will become evident that the definition of T µ depends on the metric field g µ in a variety of ways. Accordingly, since g µ represents the geometry of spacetime itself, the properties of (...) mass, stress, energy, and momentum should not be seen as intrinsic properties of matter, but as relational properties that material systems have only in virtue of their relation to spacetime structure. (shrink)

I argue that Earman and Norton's familiar "hole argument" raises questions as to whether GTR is a deterministic theory only given a certain assumption about determinism: namely, that to ask whether a theory is deterministic is to ask about the physical situations described by the theory. I think this is a mistake: whether a theory is deterministic is a question about what sentences can be proved within the theory. I show what these sentences look like: for interesting theories, a harmless (...) bit of infinitary logic puts in an appearance. (shrink)

A ‘duality’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, duality-related theories appear to make very different ontological claims about the world—differing in e.g. space-time structure, fundamental ontology, and mereological structure. In light of this, duality-related theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of dual theories, what (...) is one to say about the ontology of the world? In this paper, we undertake a comprehensive and non-technical survey of the landscape of possible ontological interpretations of duality-related theories. We provide a significantly enriched and clarified taxonomy of options—several of which are novel to the literature. (shrink)

There is broad consensus as to what a rigid body is in classical mechanics. The idea is that a rigid body is an undeformable body. In this paper I show that, if this identification is accepted, there are therefore rigid bodies which are unstable. Instability here means that the evolution of certain rigid bodies, even when isolated from all external influence, may be such that their identity is not preserved over time. The result is followed by analyzing supertasks that are (...) possible in infinite systems of rigid bodies. I propose that, if we wish to preserve our original intuitions regarding the necessary stability of rigid bodies, then the concept of rigid body must be clearly distinguished from that of undeformable body. I therefore put forward a new definition of rigid body. Only the concept of undeformable body is holistic and every connected part of a rigid body in this new sense is always a rigid body in this new sense. Finally, I briefly discuss the connection between this conceptual distinction and the dimensionality of space, thereby enabling it to be supported from a new and interesting perspective. (shrink)

The merits of David Lewis’s Best System Account of natural law are frequently debated. But to my knowledge, the prospects for extending the BSA to cover meta-laws have never been examined. I shall identify two obstacles facing the most natural way of extending the BSA to cover meta-laws. The BSA’s fans should consider how these obstacles are to be overcome. Meta-laws are laws about laws. For example, Einstein’s special theory of relativity incorporates a meta-law: The content of the [special] relativity (...) theory can … be summarized in one sentence: all natural laws must be so conditioned that they are covariant with respect to Lorentz transformations. [The special theory of relativity] is not a theory in the usual sense but is better regarded as a second-level theory, or a theory of theories that constrains first-level theories. The principle of relativity is an example of a symmetry principle: a principle requiring that the first-order laws be unchanged under a given transformation. Long before Einstein proposed the principle of relativity, other spacetime symmetries were widely believed to be meta-laws: that the first-order laws are covariant under arbitrary spatial displacements, temporal displacements and spatial rotations. These spacetime symmetries require the laws to treat all spatial locations and directions alike and all moments alike. For instance, symmetry under temporal displacements rules out a fundamental force law specifying that a given force declines with the inverse-square of the distance before a given moment but with the inverse-cube of the distance at and after that moment. Wigner characterizes such a symmetry principle as ‘a superprinciple which is in …. (shrink)

Several philosophers have argued that ‘constraints’ constrain (and thereby explain) by virtue of being modally stronger than ordinary laws of nature. In this way, a constraint applies to all possible systems, for a variety of possibility that is broader (that is, more inclusive) than the variety we employ when we say that the ordinary laws of nature apply to all physically possible systems. Explanations by constraint are thus more broadly unifying than ordinary causal explanations. Philosophical examples of good candidates for (...) constraints have heretofore been drawn almost exclusively from fundamental physics. This paper argues for the existence of such constraints (even multiple levels of them) in at least one human science (linguistics), not just in physics. (shrink)

I argue that the best spacetime setting for Newtonian gravitation (NG) is the curved spacetime setting associated with geometrized Newtonian gravitation (GNG). Appreciation of the ‘Newtonian equivalence principle’ leads us to conclude that the gravitational field in NG itself is a gauge quantity, and that the freely falling frames are naturally identified with inertial frames. In this context, the spacetime structure of NG is represented not by the flat neo-Newtonian connection usually made explicit in formulations, but by the sum of (...) the flat connection and the gravitational field. 1 Introduction2 Newtonian Gravity: The Orthodox Approach3 Newtonian Gravity: Additional Symmetries4 Cosmological Considerations5 A Newtonian Equivalence Principle: Inertial Frames in Newtonian Gravitation6 Theory Equivalence?7 Conclusion. (shrink)

In his book, Physical Relativity, Harvey Brown challenges the orthodox view that special relativity is preferable to those parts of Lorentz's classical ether theory it replaced because it revealed various phenomena that were given a dynamical explanation in Lorentz's theory to be purely kinematical. I want to defend this orthodoxy. The phenomena most commonly discussed in this context in the philosophical literature are length contraction and time dilation. I consider three other phenomena of this kind that played a role in (...) the early reception of special relativity in the physics literature: the Fresnel drag effect in the Fizeau experiment, the velocity dependence of electron mass in beta-ray deflection experiments by Kaufmann and others, and the delicately balanced torques on a moving charged capacitor in the Trouton-Noble experiment. I offer historical sketches of how Lorentz's dynamical explanations of these phenomena came to be replaced by their now standard kinematical explanations. I then take up the philosophical challenge posed by the work of Harvey Brown and Oliver Pooley and clarify how those kinematical explanations work. (shrink)

‘‘The strange Story of the Concept which inaugurated Modern Theoretical Physics’’ is the title of a lecture which I delivered on the invitation of Professor Franco Selleri at the University of Bari about 20 years ago. Since Professor Selleri himself has written several interesting papers on this concept and since the centennial of the birth of modern theoretical physics will be celebrated soon, I found it appropriate to dedicate this essay, containing so far unpublished critical and historical comments on this (...) concept, to Professor Selleri on the occasion of his 70th birthday. It should be emphasized that the critical comments in this essay are not intended to question the validity of the theory initiated by this concept, a theory which in the realm of its applicability is daily corroborated by numerous experiments in high-energy laboratories all over the world. Although these critical remarks refer almost exclusively to the first publication of this theory, a publication which has been hailed as ‘‘the most important paper written in the 20th century,’’ they discuss profound problems of general importance for the study of the foundations of physics. (shrink)

In the history of Newtonian Mechanics physicists and astronomers did not rely on so-called inertial frames, indeed they were not able to identify such frames. So the usual neo-Newtonian formalism of Newtonian Mechanics contains some superfluous components. In the present paper I will formulate a formal system for classical particle mechanics in Leibnizian space-time, where a relation, a counterpart of the second law of motion, between force on bodies and derivative of their momentum will be defined relative to every, inertial (...) or not, reference frame. And I will present a view that in the research process under Newtonian mechanics the accumulation of those models of the relation that satisfied some realistic conditions determined an additional structure of non-rotating frames to Leibnizian space-time. (shrink)

This paper develops and defends three related forms of relationism about spacetime against attacks by contemporary substantivalists. It clarifies Newton's globes argument to show that it does not bear on relations that fail to determine geodesic motions, since the inertial effects on which Newton relies are not simply correlated with affine structure, but must be understood in dynamical terms. It develops remarks by Sklar and van Fraassen into relational versions of Newtonian mechanics, and argues that Earman does not show them (...) to trivialize the debate. (shrink)

Noncommutative geometries generalize standard smooth geometries, parametrizing the noncommutativity of dimensions with a fundamental quantity with the dimensions of area. The question arises then of whether the concept of a region smaller than the scale—and ultimately the concept of a point—makes sense in such a theory. We argue that it does not, in two interrelated ways. In the context of Connes’ spectral triple approach, we show that arbitrarily small regions are not definable in the formal sense. While in the scalar (...) field Moyal–Weyl approach, we show that they cannot be given an operational definition. We conclude that points do not exist in such geometries. We therefore investigate (a) the metaphysics of such a geometry, and (b) how the appearance of smooth manifold might be recovered as an approximation to a fundamental noncommutative geometry. (shrink)

Numerous approaches to a quantum theory of gravity posit fundamental ontologies that exclude spacetime, either partially or wholly. This situation raises deep questions about how such theories could relate to the empirical realm, since arguably only entities localized in spacetime can ever be observed. Are such entities even possible in a theory without fundamental spacetime? How might they be derived, formally speaking? Moreover, since by assumption the fundamental entities cannot be smaller than the derived and so cannot ‘compose’ them in (...) any ordinary sense, would a formal derivation actually show the physical reality of localized entities? We address these questions via a survey of a range of theories of quantum gravity, and generally sketch how they may be answered positively. (shrink)

Can a theory turn back, as it were, upon itselfand vouch for its own features? That is, canthe derived elements of a theory be the veryprimitive terms that provide thepresuppositions of the theory? This form of anall-embracing feature assumes a totality inwhich there occurs quantification over thattotality, quantification that is defined bythis very totality. I argue that the Machprinciple exhibits such a feature ofall-embracing nature. To clarify the argument,I distinguish between on the one handcompleteness and on the other wholeness andtotality, (...) as different all-embracing features:the former being epistemic while the latter –ontological.I propose an analogy between the Mach principleas a possible selection principle in generalrelativity, and the vicious-circle principle infoundations of mathematics. I finally concludewith a consequence of this analogyvis-à-vis completeness and totality,viz., both should be constrained if they wereto be valid concepts for a physical theory. (shrink)

The idea of truthmakers is important for doing serious metaphysics, since a truthmaker principle can give us important guidance in finding out what we would like to include into our ontology. Recently, David Lewis has argued against Armstrong’s argument that a plausible truthmaker principle requires us to accept facts. I would like to take a close look at the argument. I will argue in detail that the Humean principle of recombination on which Lewis relies is not plausible (independently of the (...) issue of facts). Then I will show that the right truthmaker principle that vindicates facts is superior to the modified truthmaker principle that Lewis has proposed. This will lead into the topic of being and existence. It turns out that truthmaking and facts are plausible, well suited for one another, and very coherent with a plausible conception of being. (shrink)

This paper outlines a new interpretation of an argument of Kant's for the existence of absolute space. The Kant argument, found in a 1768 essay on topology, argues for the existence of Newtonian-Euclidean absolute space on the basis of the existence of incongruous counterparts (such as a left and a right hand, or any asymmetrical object and its mirror-image). The clear, intrinsic difference between a left hand and a right hand, Kant claimed, cannot be understood on a relational view of (...) space - for in terms of the spatial relations of their parts, there is no difference to be found. Kant's argument has been interpreted by, among others, Graham Nerlich (in 1973, Hands, Knees and Absolute Space, The Journal of Philosophy). I briefly discuss Nerlich, and then offer a different reconstruction of the argument, one that appears to be closer to Kant's text. The reconstruction, however, essentially involves ascription of primitive identity to parts of space. Comparing the Kantian absolutist account of incongruous counterparts using primitive identity to the correct relationist account, I conclude that the absolutist account pays a heavy metaphysical price, without buying any genuine explanatory advantage over the relationist. I go on to examine recent suggestions that parity-non-conservation phenomena in quantum physics allow a stronger version of Kant's challenge to relationism. On closer examination, it turns out that here too the absolutist or substantivalist must be appealing to space parts with primitive identity in order to claim an advantage over relationists; and here too, I argue the substantivalist story really has no advantage over the correct relationist account. (shrink)

The traditional absolutist-relationist debate is still clearly formulable in the context of General Relativity Theory (GTR), despite the important differences between Einstein's theory and the earlier context of Newtonian physics. This paper answers recent arguments by Robert Rynasiewicz against the significance of the debate in the GTR context. In his (1996) (‘Absolute vs. Relational Spacetime: An Outmoded Debate?’), Rynasiewicz argues that already in the late nineteenth century, and even more so in the context of General Relativity theory, the terms of (...) the original Descartes–Newton–Leibniz dispute about space are not to be found. Nineteenth-century ether theories of electromagnetism, and the metric field of GTR, he claims, do not lend themselves to being interpreted clearly as either absolute space à la Newton, or relational structures à la either Descartes or Leibniz. I argue that, while in some imaginable theories Rynasiewicz's claim that the classical debate dissolves would be correct, in fact in the most important historical theories he discusses, this is not the case. In particular, I argue that in both Lorentz's ether theory and General relativity theory, there is a clear and compelling way to establish connections to the classical absolutist-relationist disputes, and that in both these theories it is the absolutist position that is prima facie victorious. To support my arguments and give a clear overview of the whole debate, I end by offering definitional sketches of relationism and absolutism (substantivalism) about spacetime in the context of contemporary physics. The sketches show the clear connections between these views today and their ancestors in Newton and Leibniz. But at the same time, they indicate how both views are not just claims about existing physical theories, but rather also bets about how future physics will clarify the ontological picture. (shrink)

This paper formulates generalized versions of the general principle of relativity and of the principle of equivalence that can be applied to general abstract spaces. It is shown that when the principles are applied to the Hilbert space of a quantum particle, its law of coupling to electromagnetic fields is obtained. It is suggested to understand the Aharonov-Bohm effect in light of these principles, and the implications for some related foundational controversies are discussed.

To what extent can constructive mathematics based on intuitionistc logic recover the mathematics needed for spacetime physics? Certain aspects of this important question are examined, both technical and philosophical. On the technical side, order, connectivity, and extremization properties of the continuum are reviewed, and attention is called to certain striking results concerning causal structure in General Relativity Theory, in particular the singularity theorems of Hawking and Penrose. As they stand, these results appear to elude constructivization. On the philosophical side, it (...) is argued that any mentalist-based radical constructivism suffers from a kind of neo-Kantian apriorism. It would be at best a lucky accident if objective spacetime structure mirrored mentalist mathematics. the latter would seem implicitly committed to a Leibnizian relationist view of spacetime, but is it doubtful if implementation of such a view would overcome the objection. As a result, an anti-realist view of physics seems forced on the radical constructivist. (shrink)

While empirical symmetries relate situations, theoretical symmetries relate models of a theory we use to represent them. An empirical symmetry is perfect if and only if any two situations it relates share all intrinsic properties. Sometimes one can use a theory to explain an empirical symmetry by showing how it follows from a corresponding theoretical symmetry. The theory then reveals a perfect symmetry. I say what this involves and why it matters, beginning with a puzzle that is resolved by the (...) subsequent analysis. I conclude by pointing to applications and implications of the ideas developed earlier in the paper. (shrink)

Essay review of Gauging What’s Real: The Conceptual Foundations of Contemporary Gauge Theories R. Healey. Oxford University Press (2007). To be published in the Studies in History and Philosophy of Modern Physics, 39(3):687-693, 2008.

The CPT theorem of quantum field theory states that any relativistic (Lorentz-invariant) quantum field theory must also be invariant under CPT, the composition of charge conjugation, parity reversal and time reversal. This paper sketches a puzzle that seems to arise when one puts the existence of this sort of theorem alongside a standard way of thinking about symmetries, according to which spacetime symmetries (at any rate) are associated with features of the spacetime structure. The puzzle is, roughly, that the existence (...) of a CPT theorem seems to show that it is not possible for a well-formulated theory that does not make use of a preferred frame or foliation to make use of a temporal orientation. Since a manifold with only a Lorentzian metric can be temporally orientable—capable of admitting a temporal orientation—this seems to be an odd sort of necessary connection between distinct existences. The paper then suggests a solution to the puzzle: it is suggested that the CPT theorem arises because temporal orientation is unlike other pieces of spacetime structure, in that one cannot represent it by a tensor field. To avoid irrelevant technical details, the discussion is carried out in the setting of classical field theory, using a little-known classical analog of the CPT theorem. (shrink)

This essay revisits some classic problems in the philosophy of space and time concerning the counting of possibilities. I argue that we should think that two Newtonian worlds can differ only as to when or where things happen and that general relativistic worlds can differ in something like the same way—the first of these theses being quaintly heterodox, the second baldly heretical, according to the mores of contemporary philosophy of physics.

In this article I subject to criticism Field's argument, according to which field theory takes space-time to be substance since it ascribes field properties to space-time points. There is petitio principii error made in this reasoning because Field does not give any justification for his controversial assumption that fields are properties of space-time points. What is more, I suggest, Field's interpretation of field theory is incompatible with the way this theory is understood and utilized by its users, namely scientists. My (...) criticism is based on the assumption that one cannot propose an ontology of a given scientific theory, at the same time imposing on it an interpretation which clashes with the interpretation current among its users. I also suggest that in order to establish the ontology of a scientific theory one should also take into account the way it has been constructed. According to this criterion, field theory does indeed take space-time to be a substance. (shrink)

The article attempts to reconsider the relationship between Leibniz’s and Kant’s philosophy of geometry on the one hand and the nineteenth century debate on the foundation of geometry on the other. The author argues that the examples used by Leibniz and Kant to explain the peculiarity of the geometrical way of thinking are actually special cases of what the Jewish-German mathematician Felix Hausdorff called “transformation principle”, the very same principle that thinkers such as Helmholtz or Poincaré applied in a more (...) general form in their celebrated philosophical writings about geometry. The first two parts of the article try to show that Leibniz’s and Kant’s philosophies of geometry, despite their differences, appear to be preoccupied with the common problem of the impossibility to grasp conceptually the intuitive difference between two figures (such as a figure and its scaled, displaced or mirrored copy). In the third part, it is argued that from the perspective of Hausdorff’s philosophical-geometrical reflections, this very same problem seems to find a more radical application in Helmholtz’s or Poincaré’s thought experiments on the impossibility of distinguishing distorted copies of our universe from the original one. I draw the conclusion that in Hausdorff’s philosophical work, which has received scholarly attention only recently, one can find not only an original attempt to frame these classical arguments from a set-theoretical point of view, but also the possibility of considering the history of philosophy of geometry from an uncommon perspective, where especially the significance of Kant’s infamous appeal to “intuition” can be judged by more appropriate standards. (shrink)

In his 1916 review paper on general relativity, Einstein made the often-quoted oracular remark that all physical measurements amount to a determination of coincidences, like the coincidence of a pointer with a mark on a scale. This argument, which was meant to express the requirement of general covariance, immediately gained great resonance. Philosophers such as Schlick found that it expressed the novelty of general relativity, but the mathematician Kretschmann deemed it as trivial and valid in all spacetime theories. With the (...) relevant exception of the physicists of Leiden (Ehrenfest, Lorentz, de Sitter, and Nordström), who were in epistolary contact with Einstein, the motivations behind the point-coincidence remark were not fully understood. Only at the turn of the 1960s did Bergmann (Einstein’s former assistant in Princeton) start to use the term ‘coincidence’ in a way that was much closer to Einstein’s intentions. In the 1980s, Stachel, projecting Bergmann’s analysis onto his historical work on Einstein’s correspondence, was able to show that what he started to call ‘the point-coincidence argument’ was nothing but Einstein’s answer to the infamous ‘hole argument’. The latter has enjoyed enormous popularity in the following decades, reshaping the philosophical debate on spacetime theories. The point-coincidence argument did not receive comparable attention. By reconstructing the history of the argument and its reception, this paper argues that this disparity of treatment is not justified. This paper will also show that the notion that only coincidences are observable in physics marks every critical step of Einstein’s struggle with the meaning of coordinates in physics. (shrink)