There is a venerable position in the philosophy of space and time that holds that the geometry of spacetime is conventional, provided one is willing to postulate a “universal force field.” Here we ask a more focused question, inspired by this literature: in the context of our best classical theories of space and time, if one understands “force” in the standard way, can one accommodate different geometries by postulating a new force field? We argue that the answer depends on one’s (...) theory. In Newtonian gravitation the answer is yes; in relativity theory, it is no. (shrink)

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

This article investigates the problem of the identity of the parts of space in Newton’s natural philosophy, as well as the holistic or structuralist nature of Newton’s ontology of space. Additionally, this article relates the lessons reached in this historical and philosophical investigation to analogous debates in contemporary space-time ontology. While previous contributions, by Nerlich, Huggett, and others, have proven to be informative in evaluating Newton’s claims, it will be argued that the underlying goals of Newton’s views have largely eluded (...) prior analysis and that Newton’s approach is similar, and lends support, to several current structuralist trends in the conception of space-time ontology. (shrink)

This essay presents an alternative to contemporary substantivalist and relationist interpretations of quantum gravity hypotheses by means of an historical comparison with the ontology of space in the seventeenth century. Utilizing differences in the spatial geometry between the foundational theory and the theory derived from the foundational, in conjunction with nominalism and platonism, it will be argued that there are crucial similarities between seventeenth century and contemporary theories of space, and that these similarities reveal a host of underlying conceptual issues (...) that the substantival/relational dichotomy fails to distinguish. (shrink)

While there is a longstanding discussion about the interpretation of the extended, general principle of relativity, there seems to be a consensus that the special principle of relativity is absolutely clear and unproblematic. However, a closer look at the literature on relativistic physics reveals a more confusing picture. There is a huge variety of, sometimes metaphoric, formulations of the relativity principle, and there are different, sometimes controversial, views on its actual content. The aim of this paper is to develop a (...) precise language in order to provide a precise formulation of the principle. In view of the fact that the special relativity principle is considered as a universal meta-law, which must be valid for all physical laws in all situations, we try to keep the formalism as general as possible. The benefit of the formal reconstruction is that it makes explicit all the necessary conceptual components of the principle; it brings out many subtle details and the related conceptual problems. (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)

The physical concept of locality is first analyzed in the special relativistic quantum regime, and compared with that of microcausality and the local commutativity of quantum fields. Its extrapolation to quantum general relativity on quantum bundles over curved spacetime is then described. It is shown that the resulting formulation of quantum-geometric locality based on the concept of local quantum frame incorporating a fundamental length embodies the key geometric and topological aspects of this concept. Taken in conjunction with the strong equivalence (...) principle and the path-integral formulation of quantum propagation, quantum-geometric locality leads in a natural manner to the formulation of quantum-geometric propagation in curved spacetime. Its extrapolation to geometric quantum gravity formulated over quantum spacetime is described and analyzed. (shrink)

We give a precise and modern mathematical characterization of the Newtonian spacetime structure (ℕ). Our formulation clarifies the concepts of absolute space, Newton's relative spaces, and absolute time. The concept of reference frames (which are “timelike” vector fields on ℕ) plays a fundamental role in our approach, and the classification of all possible reference frames on ℕ is investigated in detail. We succeed in identifying a Lorentzian structure on ℕ and we study the classical electrodynamics of Maxwell and Lorentz relative (...) to this structure, obtaining the important result that there exists only one intrinsic generalization of the Lorentz force law which is compatible with Maxwell equations. This is at variance with other proposed intrinsic generalizations of the Lorentz force law appearing in the literature. We present also a formulation of Newtonian gravitational theory as a curve spacetime theory and discuss its meaning. (shrink)

Where modern formulations of relatively theory use differentiable manifolds to space-time, Einstein simply used open sets of R 4 , following the then current methods of differential geometry. This fact aids resolution of a number of outstanding puzzles concerning Einstein's use of coordinate systems and covariance principles, including the claimed physical significance of covariance principles, their connection to relativity principles, Einstein's apparent confusion of coordinate systems and frames of reference, and his failure to distinguish active and passive transformations, especially in (...) the context of his hole and point-coincidence arguments. (shrink)

This article deals with empty spacetime and the question of its physical reality. By “empty spacetime” we mean a collection of bare spacetime points, the remains of ridding spacetime of all matter and fields. We ask whether these geometric objects—themselves intrinsic to the concept of field—might be observable through some physical test. By taking quantum-mechanical notions into account, we challenge the negative conclusion drawn from the diffeomorphism invariance postulate of general relativity, and we propose new foundational ideas regarding the possible (...) observation—as well as conceptual overthrow—of this geometric ether. (shrink)

Predictivists use the no miracle argument to argue that “novel” predictions are decisive evidence for theories, while mere accommodation of “old” data cannot confirm to a significant degree. But deductivists claim that since confirmation is a logical theory-data relationship, predicted data cannot confirm more than merely deduced data, and cite historical cases in which known data confirmed theories quite strongly. On the other hand, the advantage of prediction over accommodation is needed by scientific realists to resist Laudan’s criticisms of the (...) no miracle argument. So, if the deductivists are right, the most powerful argument for realism collapses. There seems to be an inescapable contradiction between these prima facie plausible arguments of predictivists and deductivists; but this puzzle can be solved by understanding what exactly counts as novelty, if novel predictions must support the no miracle argument, i.e., if they must be explainable only by the truth of theories. Taking my cues from the use-novelty tradition, I argue that (1) the predicted data must not be used essentially in building the theory or choosing the auxiliary assumptions. This is possible if the theory and its auxiliary assumptions are plausible independently of the predicted data, and I analyze the consequences of this requirement in terms of best explanation of diverse bodies of data. Moreover, the predicted data must be (2) a priori improbable, and (3) heterogeneous to the essentially used data. My proposed notion of novelty, therefore, is not historical, but functional. Hence, deductivists are right that confirmation is independent of time and of historical contingencies such as if the theorist knew a datum, used it, or intended to accommodate it. Predictivists, however, are right that not all consequences confirm equally, and confirmation is not purely a logical theory-data relation, as it crucially involves background epistemic conditions and the notion of best explanation. Conditions (1)–(3) make the difference between prediction and accommodation, and account for the confirming power of theoretical virtues such as non ad-hocness, non-fudging, non-overfitting, independence and consilience. I thus show that functional novelty (a) avoids the deductivist objections to predictivism, (b) is a gradual notion, in accordance with the common intuition that confirmation comes in degrees, and (c) supports the no miracle argument, so vindicating scientific realism. (shrink)

Philosophy can shed light on mathematical modeling and the juxtaposition of modeling and empirical data. This paper explores three philosophical traditions of the structure of scientific theory—Syntactic, Semantic, and Pragmatic—to show that each illuminates mathematical modeling. The Pragmatic View identifies four critical functions of mathematical modeling: (1) unification of both models and data, (2) model fitting to data, (3) mechanism identification accounting for observation, and (4) prediction of future observations. Such facets are explored using a recent exchange between two groups (...) of mathematical modelers in plant biology. Scientific debate can arise from different modeling philosophies. (shrink)

This essay examines the underdetermination problem that plagues structuralist approaches to spacetime theories, with special emphasis placed on the epistemic brands of structuralism, whether of the scientific realist variety or not. Recent non-realist structuralist accounts, by Friedman and van Fraassen, have touted the fact that different structures can accommodate the same evidence as a virtue vis-à-vis their realist counterparts; but, as will be argued, these claims gain little traction against a properly constructed liberal version of epistemic structural realism. Overall, a (...) broad construal of spacetime theories along epistemic structural realist lines will be defended which draws upon both Friedman’s earlier work and the convergence of approximate structure over theory change, but which also challenges various claims of the ontic structural realists. (shrink)

The aim of this essay is to introduce philosophers of science to some recent philosophical discussions of the nature and origin of the direction of time. The essay is organized around books by Hans Reichenbach, Paul Horwich, and Huw Price. I outline their major arguments and treat certain critical points in detail. I speculate at the end about the ways in which the subject may continue to develop and in which it may connect with other areas of philosophy.

Leibniz frequently argued that reasons are to be weighed against each other as in a pair of scales, as Professor Marcelo Dascal has shown in his article "The Balance of Reason." In this kind of weighing it is not necessary to reach demonstrative certainty – one need only judge whether the reasons weigh more on behalf of one or the other option However, a different kind of account about rational decision-making can be found in some of Leibniz's writings. In his (...) article "Was Leibniz's Deity an Akrates?" Professor Jaakko Hintikka has argued that Leibniz developed a new vectorial model for rational decisions which is better suited to complicated decisions, where values are complementary to each other. This model, related closely to his work in metaphysics and the philosophy of mind, is a heuristic device which helps in finding rational combinations - and in an ideal case an optimum - between plural inclinations to the good. I shall argue that Leibniz applies more or less implicitly both of these models in his practical rationality. In simple situations he applied the pair of scales model and in more complicated situations he applied the vectorial model. (shrink)

Teller argued that violations of Bell’s inequalities are to be explained by interpreting quantum entangled systems according to ‘relational holism’, that is, by postulating that they exhibit irreducible (‘inherent’) relations. Teller also suggested a possible application of this idea to quantum statistics. However, the basic proposal was not explained in detail nor has the additional idea about statistics been articulated in further work. In this article, I reconsider relational holism, amending it and spelling it out as appears necessary for a (...) proper assessment, and application, of the position. †To contact the author, please write to: FB Philosophie‐Zukunftskolleg, University of Konstanz, Universitätstraße 10, 78464, Konstanz, Germany; e‐mail: matteo.morganti@uni ‐konstanz.de. (shrink)

Schaffner’s model of theory reduction has played an important role in philosophy of science and philosophy of biology. Here, the model is found to be problematic because of an internal tension. Indeed, standard antireductionist external criticisms concerning reduction functions and laws in biology do not provide a full picture of the limits of Schaffner’s model. However, despite the internal tension, his model usefully highlights the importance of regulative ideals associated with the search for derivational, and embedding, deductive relations among mathematical (...) structures in theoretical biology. A reconstructed Schaffnerian model could therefore shed light on mathematical theory development in the biological sciences and on the epistemology of mathematical practices more generally. *Received November 2006; revised March 2009. †To contact the author, please write to: Philosophy Department, University of California, Santa Cruz, 1156 High St., Santa Cruz, CA 95064; e‐mail: [email protected]. (shrink)

A serious flaw in Hartry Field’s instrumental account of applied mathematics, namely that Field must overestimate the extent to which many of the structures of our mathematical theories are reflected in the physical world, underlies much of the criticism of this account. After reviewing some of this criticism, I illustrate through an examination of the prospects for extending Field’s account to classical equilibrium statistical mechanics how this flaw will prevent any significant extension of this account beyond field theories. I note (...) in the conclusion that this diagnosis of Field’s program also points the way to modifications that may work. (shrink)

Abstract The historical evolution of the principle of relativity from Galileo to Einstein is briefly traced, and purported difficulties with Einstein's formulation of the principle are examined and dismissed. This formulation is then compared to a precise version formulated recently in the geometrical language of spacetime theories. We claim that the recent version is both logically puzzling and fails to capture a crucial physical insight contained in the earlier formulations. The implications of this claim for the modern treatment of general (...) dynamical symmetries are discussed. (shrink)

The purpose of this paper is twofold: a) to explore the compatibility of Minkowski’s space-time representation of the Special theory of relativity with a dynamic conception of space-time; b) to locate its roots in invariant features - like entropic relations - of the propagation of signals in space-time. From its very beginning Minkowski’s four-dimensional space-time was associated with a static view of reality, e.g. a block universe. Einstein added his influential voice to this conception when he wrote: ‘From a “happening” (...) in three-dimensional space, physics becomes (…) an “existence” in the four-dimensional “world”.’ (Einstein, Relativity 1920, 122) Yet it is by no means clear that Minkowski himself was a believer in the block universe. In his 1908 Cologne lecture on ‘Space and Time’ he speaks of a four-dimensional physics but concedes that a ‘necessary’ time order can be established at every world point. Although the conception of the block universe has gained much currency, an alternative view has been in circulation since the 1910s according to which the trajectories of particles constitute histories in space-time. (Robb 1914, Cunningham 1915, Carathéodorys 1924, Schlick 1917, Reichenbach 1924). (shrink)

The Anderson-Friedman absolute objects program has been a favorite analysis of the substantive general covariance that supposedly characterizes Einstein's General Theory of Relativity (GTR). Absolute objects are the same locally in all models (modulo gauge freedom). Substantive general covariance is the lack of absolute objects. Several counterexamples have been proposed, however, including the Jones-Geroch dust and Torretti constant curvature spaces counterexamples. The Jones-Geroch dust case, ostensibly a false positive, is resolved by noting that holes in the dust in some models (...) ensure that no physically relevant nonvanishing timelike vector field exists there, so no absolute object exists. The Torretti constant curvature spaces case, allegedly a false negative, is resolved by testing an irreducible piece of the metric, the conformal metric density of weight -2/3, for absoluteness; this geometric object is absolute. A new counterexample is proposed involving the orthonormal tetrad said to be necessary to couple spinors to a curved metric. The threat of finding an absolute object in GTR + spinors is overcome by the use of an alternative spinor formalism that takes a symmetric square root of the metric (with the help of the matrix diag(-1,1,1,1)), eliminating 6 of the 16 tetrad components as irrelevant. The importance of eliminating irrelevant structures, as Anderson emphasized, is clear. The importance of the choice of physical fields is also evident. A new counterexample due to Robert Geroch and Domenico Giulini, however, finds an absolute object in vacuum GTR itself, namely the scalar density $g$ given by the metric components' determinant. Thus either the definition of absoluteness or its use to analyze GTR's substantive general covariance is flawed. Anderson's belief that all absolute objects are nonvariational (that is, not varied in a suitable action principle) and vice versa is also falsified by the Geroch-Giulini counterexample. However, it remains plausible that all nonvariational fields are absolute, so adding nonvariationality as a necessary condition for absoluteness, as Hiskes once suggested, would likely leave no useful work to the Anderson-Friedman condition of sameness in all models. Simply having only variational fields in an action principle (suitably free of irrelevant fields) might be a satisfactory analysis of substantive general covariance, if one exists. This proposal also resembles the suggestion that GTR is "already parameterized," if one decides to parameterize theories by defining the nonvariational fields in terms of preferred coordinates called clock fields. More questions need to be addressed. Which fields should be tested for absoluteness: only primitive fields (which ones?), or all or some (which?) of their concomitants also? Geroch observes that some kinds of geometric objects, such as tangent vectors, scalar densities, and tangent vector densities of non-unit weight, satisfy the condition of sameness in all models if they merely fail to vanish. If these "susceptible" geometric objects can hardly help being absolute, to what degree are they, or the theories harboring them, responsible for this absoluteness? The answer to this question helps to determine the significance of the Geroch-Giulini counterexample. (shrink)

Modern cosmology treats space and time, or rather space-time, as concrete particulars. The General Theory of Relativity combines the distribution of matter and energy with the curvature of space-time. Here space-time appears as a concrete entity which affects matter and energy and is affected by the things in it. I question the idea that space-time is a concrete existing entity which both substantivalism and reductive relationism maintain. Instead I propose an alternative view, which may be called non-reductive relationism, by arguing (...) that space and time are abstract entities based on extension and changes. (shrink)

This paper explores the possibility of constructing a Cartesian space-time that can resolve the dilemma posed by a famous argument from Newton's early essay, De gravitatione. In particular, Huygens' concept of a center-of-mass reference frame is utilized in an attempt to reconcile Descartes' relationalist theory of space and motion with both the Cartesian analysis of bodily impact and conservation law for quantity of motion. After presenting a modern formulation of a Cartesian space-time employing Huygens' frames, a series of Newtonian counter-replies (...) are developed in order to estimate the viability of this relationalist project. (shrink)

Reichenbach's Philosophy of Space and Time (1928) avoids most of the logical positivist pitfalls it is generally held to exemplify, notably both conventionalism and verificationism. To see why, we must appreciate that Reichenbach's interest lies in how mathematical structures can be used to describe reality, not in how words like 'distance' acquire meaning. Examination of his proposed "coordinative definition" of congruence shows that Reichenbach advocates a reductionist analysis of the relations figuring in physical geometry (contrary to common readings that attribute (...) to him a holistic conventionalism), while embracing a thoroughly holistic understanding of empirical confirmation (contrary to rival operationalist readings). (shrink)

The objection that Einstein's principle of general covariance is not a relativity principle and has no physical content is reviewed. The principal escapes offered for Einstein's viewpoint are evaluated.

In this paper I claim that Earman and Norton 's hole argument against substantivalist interpretations of General Relativity assumes that the substantivalist must adopt a conception of determinism which I argue is unsatisfactory. Butterfield and others have responded to the hole argument by finding a conception of determinism open to the substantivalist that is not prone to the hole argument. But, unfortunately for the substantivalist, I argue this conception also turns out to be unsatisfactory. Accordingly, I search for a conception (...) of determinism that is both independently plausible and capable of blocking the hole argument. (shrink)

I argue that we need not accept Quine's holistic conception of mathematics and empirical science. Specifically, I argue that we should reject Quine's holism for two reasons. One, his argument for this position fails to appreciate that the revision of the mathematics employed in scientific theories is often related to an expansion of the possibilities of describing the empirical world, and that this reveals that mathematics serves as a kind of rational framework for empirical theorizing. Two, this holistic conception does (...) not clearly demarcate pure mathematics from applied mathematics. In arguing against Quine, I present a formal account of applied mathematics in which the mathematics employed in an empirical theory plays a role that is analogous to the epistemological role Kant assigned synthetic a priori propositions. According to this account, it is possible to insulate pure mathematics from empirical falsification, and there is a sense in which applied mathematics can also be labeled as a priori. (shrink)

In De gravitatione, Newton contends that Descartes' physics is fundamentally untenable since the "fixed" spatial landmarks required to ground the concept of inertial motion cannot be secured in the constantly changing Cartesian plenum. Likewise, it is has often been alleged that the collision rules in Descartes' Principles of Philosophy undermine the "relational" view of space and motion advanced in this text. This paper attempts to meet these challenges by investigating the theory of connected gears (or "kinematics of mechanisms") for a (...) potential Cartesian method of positing the permanent reference frames necessary to uphold Descartes' conservation law for the quantity of motion. In particular, the insights gained from an examination of the kinematics of mechanisms will provide the Cartesian with much needed resources to counter the two threats posed above. (shrink)

This paper examines Descartes' problematic relational theory of motion, especially when viewed within the context of his dynamics, the Cartesian natural laws. The work of various commentators on Cartesian motion is also surveyed, with particular emphasis placed upon the recent important texts of Garber and Des Chene. In contrast to the methodology of most previous interpretations, however, this essay employs a modern "spacetime" approach to the problem. By this means, the role of dynamics in Descartes' theory, which has often been (...) neglected in favor of kinematic factors, is shown to be central to finding a solution to the puzzle of Cartesian motion. (shrink)

This essay explores the possibility of constructing a structural realist interpretation of spacetime theories that can resolve the ontological debate between substantivalists and relationists. Drawing on various structuralist approaches in the philosophy of mathematics, as well as on the theoretical complexities of general relativity, our investigation will reveal that a structuralist approach can be beneficial to the spacetime theorist as a means of deflating some of the ontological disputes regarding similarly structured spacetimes.

Around the turn of the century, Poincare and Hilbert each published an account of geometry that took the discipline to be an implicit definition of its concepts. The terms ‘point’, ‘line’, and ‘plane’ can be applied to any system of objects that satisfies the axioms. Each mathematician found spirited opposition from a different logicist—Russell against Poincare' and Frege against Hilbert— who maintained the dying view that geometry essentially concerns space or spatial intuition. The debates illustrate the emerging idea of mathematics (...) as the science of structure. The article closes with some remarks on structuralist and nonstructuralist themes in Frege's own development of arithmetic. (shrink)

This paper aims to defend scientific realism against two versions of agnostic empiricism: a naive agnostic position, which suggests that the only rational option is to remain agnostic as to the truth of theoretical assertions, and van Fraassen's more sophisticated agnostic empiricism - which may be called "Hypercritical Empiricism". It first argues that given semantic realism, naive agnostic empiricism cannot be maintained: there is no relevant epistemic difference between theoretical assertions and observational ones. It then focuses on van Fraassen's more (...) sophisticated alternative to scientific realism and suggests that an attitude towards science which involves less than aiming at theoretical truth and believing in theories would be, in some concrete respect that empiricists should recognize, worse off than the recommended realist attitude. To this end, the paper develops the so-called conjunction argument into a diachronic argument for scientific realism. (shrink)

In this paper I show that Einstein made essential use of aim-oriented empiricism in scientific practice in developing special and general relativity. I conclude by considering to what extent Einstein came explicitly to advocate aim-oriented empiricism in his later years.

All change involves temporal variation of properties. There is change in the physical world only if genuine physical magnitudes take on different values at different times. I defend the possibility of change in a general relativistic world against two skeptical arguments recently presented by John Earman. Each argument imposes severe restrictions on what may count as a genuine physical magnitude in general relativity. These restrictions seem justified only as long as one ignores the fact that genuine change in a relativistic (...) world is frame-dependent. I argue on the contrary that there are genuine physical magnitudes whose values typically vary with the time of some frame, and that these include most familiar measurable quantities. Frame-dependent temporal variation in these magnitudes nevertheless supervenes on the unchanging values of more basic physical magnitudes in a general relativistic world. Basic magnitudes include those that realize an observer's occupation of a frame. Change is a significant and observable feature of a general relativistic world only because our situation in such a world naturally picks out a relevant class of frames, even if we lack the descriptive resources to say how they are realized by the values of basic underlying physical magnitudes. (shrink)

Traditional analyses of the curve fitting problem maintain that the data do not indicate what form the fitted curve should take. Rather, this issue is said to be settled by prior probabilities, by simplicity, or by a background theory. In this paper, we describe a result due to Akaike [1973], which shows how the data can underwrite an inference concerning the curve's form based on an estimate of how predictively accurate it will be. We argue that this approach throws light (...) on the theoretical virtues of parsimoniousness, unification, and non ad hocness, on the dispute about Bayesianism, and on empiricism and scientific realism. * Both of us gratefully acknowledge support from the Graduate School at the University of Wisconsin-Madison, and NSF grant DIR-8822278 (M.F.) and NSF grant SBE-9212294 (E.S.). Special thanks go to A. W. F. Edwards.William Harper. Martin Leckey. Brian Skyrms, and especially Peter Turney for helpful comments on an earlier draft. (shrink)

The realist programme has degenerated by now to the point where it is quite beyond salvage. A token of this degeneration is that there are altogether too many realisms. It is as though by splitting into a confusing array of types and kinds, realism has hoped that some one variety might yet escape extinct. I shall survey the debate, and some of these realisms, below. Here I would just point out the obvious; that in so far as the successes of (...) science mount while realism continues to decline we must conclude that scientific success lends no support to realism. Since it is unlikely to support anti-realism, we have some reason to suspect that the philosophical debate over realism does not concern issues that can be settled by developments in the sciences, no matter how successful science may be. Further, since that success grounds a culture of acceptance for science and its entities, we have reason to believe that the existence of those entities is also not actually the issue that concerns realism. Afortiori, it is not the issue that concerns anti-realism either; nor, I might add, is anti-realism the winner in the philosophical debate that realism has lost. (shrink)

In this essay, I examine the curved spacetime formulation of Newtonian gravity known as Newton–Cartan gravity and compare it with flat spacetime formulations. Two versions of Newton–Cartan gravity can be identified in the physics literature—a ‘‘weak’’ version and a ‘‘strong’’ version. The strong version has a constrained Hamiltonian formulation and consequently a well-defined gauge structure, whereas the weak version does not (with some qualifications). Moreover, the strong version is best compared with the structure of what Earman (World enough and spacetime. (...) Cambridge: MIT Press) has dubbed Maxwellian spacetime. This suggests that there are also two versions of Newtonian gravity in flat spacetime—a ‘‘weak’’ version in Maxwellian spacetime, and a ‘‘strong’’ version in Neo-Newtonian spacetime. I conclude by indicating how these alternative formulations of Newtonian gravity impact the notion of empirical indistinguishability and the debate over scientific realism. r 2004 Elsevier Ltd. All rights reserved. (shrink)

I will discuss only one of the several entwined strands of the philosophy of space and time, the question of the relation between the nature of motion and the geometrical structure of the world.1 This topic has many of the virtues of the best philosophy of science. It is of long-standing philosophical interest and has a rich history of connections to problems of physics. It has loomed large in discussions of space and time among contemporary philosophers of science. Furthermore, there (...) is, I think, widespread agreement that recent insights here have lead to a genuine deepening of our understanding. (shrink)

Everyone appreciates a clever mathematical picture, but the prevailing attitude is one of scepticism: diagrams, illustrations, and pictures prove nothing; they are psychologically important and heuristically useful, but only a traditional verbal/symbolic proof provides genuine evidence for a purported theorem. Like some other recent writers (Barwise and Etchemendy [1991]; Shin [1994]; and Giaquinto [1994]) I take a different view and argue, from historical considerations and some striking examples, for a positive evidential role for pictures in mathematics.

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)

Philosophers and scientists have often adopted the orthodox version of calibration which involves standardizing an instrument using a known phenomenon. The essential link between theoretical concepts and empirical data, in the philosophy of measurement, has generated the formulation of principles of coordination, synthetic a priori, and revisables. Operationalist thinking wanted to limit the scope of concepts to operations of measurement that are actually achievable. The coherentist perspective in the philosophy of measurement has operated a recovery of coordinationist epistemology and operationalism, (...) relying on a minimal number of ontological principles. Models of an instrument involve a commitment to separation between idealized theories and material things. However, philosophers and metrologists have advocated the requirement of a rich theoretical content in the modeling of measuring instruments. According to other contributions, the epistemic privilege of measurement precedes a background theory and its robustness lies in the free contact with empirical data. Moreover, the applicability regime of a theory dictates its boundary conditions, which guide the experimenter in the design of measuring instruments and provide the basis for operationalizing the meaning of theoretical terms. I support operational pluralism, measurement operations involving different physical indicators, accompanied by dynamic coherentism. The James Webb Space Telescope calibration program is a significant case. Observations of calibration stars by various methods are used to calculate the factors that convert a measurement in instrumental units to physical units. (shrink)

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

Super-substantivalism (of the type we’ll consider) roughly comprises two core tenets: (1) the physical properties which we attribute to matter (e.g. charge or mass) can be attributed to spacetime directly, with no need for matter as an extraneous carrier “on top of” spacetime; (2) spacetime is more fundamental than (ontologically prior to) matter. In the present paper, we revisit a recent argument in favour of super-substantivalism, based on General Relativity. A critique is offered that highlights the difference between (various accounts (...) of) fundamentality and (various forms of) ontological dependence. This affords a metaphysically more perspicuous view of what super-substantivalism’s tenets actually assert, and how it may be defended. We tentatively propose a re-formulation of the original argument that not only seems to apply to all classical physics, but also chimes with a standard interpretation of spacetime theories in the philosophy of physics. (shrink)

In what sense is the direction of time a matter of convention? In 'The Direction of Time', Hans Reichenbach makes brief reference to parallels between his views about the status of time’s direction and his conventionalism about geometry. In this article, I: (1) provide a conventionalist account of time direction motivated by a number of Reichenbach’s claims in the book; (2) show how forwards and backwards time can give equivalent descriptions of the world despite the former being the ‘natural’ direction (...) of time; and (3) argue that this offers an important middle-ground position between existing realist and antirealist accounts of the direction of time. (shrink)

Many physicists have thought that absolute time became otiose with the introduction of Special Relativity. William Lane Craig disagrees. Craig argues that although relativity is empirically adequate within a domain of application, relativity is literally false and should be supplanted by a Neo-Lorentzian alternative that allows for absolute time. Meanwhile, Craig and co-author James Sinclair have argued that physical cosmology supports the conclusion that physical reality began to exist at a finite time in the past. However, on their view, the (...) beginning of physical reality requires the objective passage of absolute time, so that the beginning of physical reality stands or falls with Craig's Neo-Lorentzian metaphysics. Here, I raise doubts about whether, given Craig's NeoLorentzian metaphysics, physical cosmology could adequately support a beginning of physical reality within the finite past. Craig and Sinclair's conception of the beginning of the universe requires a past boundary to the universe. A past boundary to the universe cannot be directly observed and so must be inferred from the observed matter-energy distribution in conjunction with auxilary hypotheses drawn from a substantive physical theory. Craig's brand of Neo Lorentzianism has not been sufficiently well specified so as to infer either that there is a past boundary or that the boundary is located in the finite past. Consequently, Neo Lorentzianism implicitly introduces a form of skepticism that removes the ability that we might have otherwise had to infer a beginning of the universe. Furthermore, in analyzing traditional big bang models, I develop criteria that Neo-Lorentzians should deploy in thinking about the direction and duration of time in cosmological models generally. For my last task, I apply the same criteria to bounce cosmologies and show that Craig and Sinclair have been wrong to interpret bounce cosmologies as including a beginning of physical reality. (shrink)

In an earlier article on this journal I argued that the problem of empirical underdetermination can for the largest part be solved by theoretical virtues, and for the remaining part it can be tolerated. Here I confront two further challenges to scientific realism based on underdetermination. First, there are four classes of theories which may seem to be underdetermined even by theoretical virtues. Concerning them I argue that (i) theories produced by trivial permutations and (ii) “equivalent descriptions” are compatible with (...) the truth of standard theories; instead (iii) “as if” versions of standard theories are much worse from the point of view of theoretical virtues; finally (iv) mathematically intertranslatable theories either may become empirically decidable in the future, or can be discriminated by theoretical virtues, or realists may simply plead ignorance about their claims. Secondly, I consider Stanford’s underdetermination with respect unconceived alternatives, arguing that it essentially relies on the pessimistic meta-induction from the falsity of all past theories. Therefore, it can be resisted by (a) considering the radical advancement of present with respect to past science, and (b) arguing with selective realism that past successful theories, even if false, always included some true components. (shrink)

This paper engages with the following closely related questions that have recently received some attention in the literature: what is the status of the equivalence principle in general relativity?; how does the metric field obtain its property of being able to act as a metric?; and is the metric of GR derivative on the dynamics of the matter fields? The paper attempts to complement these debates by studying the spin-2 approach to gravity. In particular, the paper argues that three lessons (...) can be drawn from the spin-2 approach: different from what is sometimes claimed in the literature, central aspects of the non-linear theory of GR are already derivable in classical spin-2 theory; in particular, ‘universal coupling’ can be considered a derived ‘theorem’ in both the classical and the quantum spin-2 approach; this provides new insights for the investigation of the equivalence principle; the ‘second miracle’ that Read et al. argue characterises GR is explained in the classical as well as in the quantum version of the spin-2 approach; the spin-2 approach allows for an ontological reduction of the metrical part of spacetime to the dynamics of matter fields. (shrink)

En el ámbito de la teoría general de la relatividad (TGR), se considera que el espaciotiempo es una entidad real. En este sentido, atendiendo al realis mo sobre entidades, surgen problemas como ¿qué tipo de entidad es el espaciotiempo?, ¿cuál es su naturaleza? Tradicionalmente, en atención a dicha teoría conviven dos concepciones realistas: la substancialista, donde el espaciotiempo sería una substancia; y la relacionista, tal que el espaciotiempo correspondería a una “relación entre substancias”.