Galileo’s dictum that the book of nature “is written in the language of mathematics” is emblematic of the accepted view that the scientific revolution hinged on the conceptual and methodological integration of mathematics and natural philosophy. Although the mathematization of nature is a distinctive and crucial feature of the emergence of modern science in the seventeenth century, this volume shows that it was a far more complex, contested, and context-dependent phenomenon than the received historiography has indicated, and that philosophical controversies (...) about the implications of mathematization cannot be understood in isolation from broader social developments related to the status and practice of mathematics in various commercial, political, and academic institutions. (shrink)

This essay aims to provide a self-contained introduction to time in relativistic cosmology that clarifies both how questions about the nature of time should be posed in this setting and the extent to which they have been or can be answered empirically. The first section below recounts the loss of Newtonian absolute time with the advent of special and general relativity, and the partial recovery of absolute time in the form of cosmic time in some cosmological models. Section II considers (...) the beginning and end of time in a broader class of models in which there is not an analog of Newtonian absolute time. As we will see, reasonable physical assumptions imply that the universe is finite to the past, and Section III turns to consideration of the “beginning” itself. We critically review conventional wisdom that a “singularity” reveals flaws in general relativity and briefly assess ways of avoiding the singularity. (shrink)

The basic principles of dispositional essentialism do not require that the fundamental spatiotemporal relations are dispositional in nature. Nevertheless, Bird (who defends dispositional monism) argues that they possess dispositional essences in virtue of the fact that the obtaining of these relations can be characterised by the satisfaction of a certain counterfactual. In this paper I argue that his suggestion fails, and so, despite his attempt, the case of the spatiotemporal relations remains the ‘big bad bug’ for the thesis of dispositional (...) monism. (shrink)

On an influential view, Newton's mechanics is built into Kant's very theory of exact knowledge. However, Newtonian dynamics had serious explanatory limits already known by 1750. Thus, we might worry that Kant's Analytic is too narrow to ground enough exact knowledge. In this paper, I draw on Enlightenment dynamics to show that Kant's notion of determinate objecthood is sufficiently broad, non-trivial, and still relevant to the present.

This paper attempts to explain the emergence of the logical empiricist philosophy of space and time as a collision of mathematical traditions. The historical development of the ``Riemannian'' and ``Helmholtzian'' traditions in 19th century mathematics is investigated. Whereas Helmholtz's insistence on rigid bodies in geometry was developed group theoretically by Lie and philosophically by Poincaré, Riemann's Habilitationsvotrag triggered Christoffel's and Lipschitz's work on quadratic differential forms, paving the way to Ricci's absolute differential calculus. The transition from special to general relativity (...) is briefly sketched as a process of escaping from the Helmholtzian tradition and entering the Riemannian one. Early logical empiricist conventionalism, it is argued, emerges as the failed attempt to interpret Einstein's reflections on rods and clocks in general relativity through the conceptual resources of the Helmholtzian tradition. Einstein's epistemology of geometry should, in spite of his rhetorical appeal to Helmholtz and Poincaré, be understood in the wake the Riemannian tradition and of its aftermath in the work of Levi-Civita, Weyl, Eddington, and others. (shrink)

The paper investigates possible readings of the later Heisenberg's remarks on the nature of quantum states. It discusses, in particular, whether Heisenberg should be seen as a proponent of the epistemic conception of states – the view that quantum states are not descriptions of quantum systems but rather reflect the state assigning observers' epistemic relations to these systems. On the one hand, it seems plausible that Heisenberg subscribes to that view, given how he defends the notorious "collapse of the wave (...) function" by relating it to a sudden change in the epistemic situation of the observer registering a measured result. On the other hand, his remarks on quantum probabilities as "potentia" or "objective tendencies" are difficult to reconcile with such a reading. The accounts that are attributed to Heisenberg by the different possible readings considered are subjected to closer scrutiny; at the same time, their respective virtues and problems are discussed. _German_ Diese Arbeit untersucht mögliche Lesarten von Heisenbergs späten Bemerkungen über die Natur von Quantenzuständen. Insbesondere wird die Frage diskutiert, ob Heisenberg als Vertreter der epistemischen Auffassung von Quantenzuständen gelten kann – der Idee, dass Quantenzustände nicht Beschreibungen der objektiven Eigenschaften von Quantensystemen sind sondern die epistemischen Beziehungen von Beobachtern zu diesen Systemen widerspiegeln. Einerseits erscheint es plausibel, dass Heisenberg dieser Sichtweise zustimmt, wenn man sich ansieht, wie er den berüchtigten,,Kollaps der Wellenfunktion" verteidigt, indem er ihn mit einer plötzlichen Änderung in der Kenntnis des ein Messergebnis registrierenden Beobachters in Zusammenhang bringt. Andererseits sind seine Bemerkungen über quantenmechanische Wahrscheinlichkeiten als,,Potentia" oder,,objektive Tendenzen" mit einer solchen Lesart nur schwer in Einklang zu bringen. Die Positionen, die Heisenberg den verschiedenen möglichen Lesarten zufolge vertritt, werden eingehenden Untersuchungen unterzogen; gleichzeitig werden ihre jeweiligen Vorzüge und Probleme diskutiert. (shrink)

It is widely accepted that the notion of an inertial frame is central to Newtonian mechanics and that the correct space-time structure underlying Newton’s methods in Principia is neo-Newtonian or Galilean space-time. I argue to the contrary that inertial frames are not needed in Newton’s theory of motion, and that the right space-time structure for Newton’s Principia requires the notion of parallelism of spatial directions at different times and nothing more. Only relative motions are definable in this framework, never absolute (...) ones. (shrink)

Within philosophy of physics it is broadly accepted that presentism as an empirical hypothesis has been falsified by the development of special relativity. In this article, I identify and reject an assumption common to both presentists and advocates of the block universe and then offer an alternative version of presentism that does not begin from spatiotemporal structure, which is an empirical hypothesis, and which has yet to be falsified. While some features of familiar presentism are lost, a sufficient core remains (...) to warrant the label. (shrink)

Scholars have long recognized that Newton regarded Descartes as his principal philosophical interlocutor when composing the first edition of Philosophiae Naturalis Principia Mathematica in 1687. The arguments in the Scholium on space and time, for instance, can profitably be interpreted as focusing on the conception of space and motion in part two of Descartes's Principles of Philosophy (1644). What is less well known, however, is that this Cartesian conception, along with Descartes's attempt to avoid Galileo's fate in 1633, serves as (...) an essential background to understanding Newton's own (poorly understood) view of the theological implications of his theory of space and motion. In particular, after withdrawing Le Monde from publication in 1633 because of its Copernican leanings, Descartes later introduced what some regard as a “fudge factor” into the theory of motion in the Principles: from an ordinary perspective the earth does move; but from a philosophical one, it does not. This background indicates the novelty and originality of Newton's own attempt to explicate how scriptural passages concerning the motions of the heavenly bodies can be reconciled with the philosophical views he developed during the 1680s. New evidence from archival sources and correspondence supports this argument, shedding light on the Scholium and on Newton's conception of philosophy's relation to theology. (shrink)

This paper compares Newton’s and Descartes’s conceptions of the complex relationship between physics and metaphysics.

Substantivalists believe that spacetime and its parts are fundamental constituents of reality. Relationalists deny this, claiming that spacetime enjoys only a derivative existence. I begin by describing how the Galilean symmetries of Newtonian physics tell against both Newton's brand of substantivalism and the most obvious relationalist alternative. I then review the obvious substantivalist response to the problem, which is to ditch substantival space for substantival spacetime. The resulting position has many affinities with what are arguably the most natural interpretations of (...) special and general relativity. I move on to consider and reject two recent antisubstantivalist lines of thought. The interim conclusion is that the best argument for relationalism is an appeal to Ockham's razor. However, for this to be successful there must be genuine relationalist theories that share the theoretical virtues of their substantivalist rivals but without the additional ontological commitment. The bulk of the paper is therefore an investigation of various concrete relationalist proposals. I distinguish three options for the relationalist in the face of the success of Galilean invariant physics and trace how these generalise to relativistic physics. One of the options is particularly promising but, since its basic objects end up being spacetime points, this does not help the prospects of relationalism as traditionally conceived. I end with some reflections on the fate of substantivalism in the aftermath of the Hole Argument, concluding that we have as yet to be given good reasons to abandon the natural, substantivalist interpretation of current physics. (shrink)

This paper investigates the question of, and the degree to which, Newton’s theory of space constitutes a third-way between the traditional substantivalist and relationist ontologies, i.e., that Newton judged that space is neither a type of substance/entity nor purely a relation among such substances. A non-substantivalist reading of Newton has been famously defended by Howard Stein, among others; but, as will be demonstrated, these claims are problematic on various grounds, especially as regards Newton’s alleged rejection of the traditional substance/accident dichotomy (...) concerning space. Nevertheless, our analysis of the metaphysical foundations of Newton’s spatial theory will strive to uncover its unique and innovative characteristics, most notably, the distinctive role that Newton’s “immaterialist” spatial ontology plays in his dynamics. (shrink)

This paper investigates Newton’s ontology of space in order to determine its commitment, if any, to both Cambridge neo-Platonism, which posits an incorporeal basis for space, and substantivalism, which regards space as a form of substance or entity. A non-substantivalist interpretation of Newton’s theory has been famously championed by Howard Stein and Robert DiSalle, among others, while both Stein and the early work of J. E. McGuire have downplayed the influence of Cambridge neo-Platonism on various aspects of Newton’s own spatial (...) hypotheses. Both of these assertions will be shown to be problematic on various grounds, with special emphasis placed on Stein’s influential case for a non-substantivalist reading. Our analysis will strive, nonetheless, to reveal the unique or forward-looking aspects of Newton’s approach, most notably, his critical assessment of substance ontologies, that help to distinguish his theory of space from his neo-Platonic contemporaries and predecessors. (shrink)

We tentatively propose two guiding principles for the construction of theories of physics, which should be satisfied by a possible future theory of quantum gravity. These principles are inspired by those that led Einstein to his theory of general relativity, viz. his principle of general covariance and his equivalence principle, as well as by the two mysterious dogmas of Bohr's interpretation of quantum mechanics, i.e. his doctrine of classical concepts and his principle of complementarity. An appropriate mathematical language for combining (...) these ideas is topos theory, a framework earlier proposed for physics by Isham and collaborators. Our "Principle of general tovariance" states that any mathematical structure appearing in the laws of physics must be definable in an arbitrary topos (with natural numbers object) and must be preserved under so-called geometric morphisms. This principle identifies geometric logic as the mathematical language of physics and restricts the constructions and theorems to those valid in intuitionism: neither Aristotle's principle of the excluded third nor Zermelo's Axiom of Choice may be invoked. Subsequently, our "Equivalence principle" states that any algebra of observables (initially defined in the topos Sets) is empirically equivalent to a commutative one in some other topos. (shrink)

Timelines is an inquiry into the nature of time, both as an apparent feature of the external physical world and as a fundamental feature of our experience of ourselves in the world. The principal argument of Timelines is that our coventional ideas about time are largely mistaken and that what we think of as independent physical time is actually our calibration of a certain relation between events. Namely, the relation between time-keeping events and the causal sequential differences of physical processes (...) which are real and independent of us. (shrink)

Philosophy Compass, Volume 17, Issue 10, October 2022.

In this article, we explore the heuristic power of the theoretical distinction between framework and interaction theories applied to the case of General Relativity. According to the distinction, theories and theoretical elements can be classified into two different groups, each with clear ontological, epistemic and functional content. Being so, to identify the group to which a theory belongs would suffice to know a priori its prospects and limitations in these areas without going into a detailed technical analysis. We make the (...) exercise here with General Relativity, anticipate its ontological, epistemic and functional content and show afterwords that such expectations are justified in this case, being consistent with formal issues of General Relativity. With this, we attempt to make a case for the use of the distinction as a powerful tool for scientific and philosophical analysis. (shrink)

The violation of Bell’s inequality has shown that quantum theory and relativity are in tension: reality is nonlocal. Nonetheless, many have argued that GRW-type theories are to be preferred to pilot-wave theories as they are more compatible with relativity: while relativistic pilot-wave theories require a preferred slicing of space-time, foliation-free relativistic GRW-type theories have been proposed. In this paper I discuss various meanings of ‘relativistic invariance,’ and I show how GRW-type theories, while being more relativistic in one sense, are less (...) relativistic in another. If so, the initial claim that GRW-type theories have a greater compatibility with relativity is unwarranted: both type of theories violate relativity, one way or another. (shrink)

This work is an analysis of F. P. Ramsey's philosophy of science. Twentieth-century philosophy of science was marked by attempts to consider the relation between scientific theories and our knowledge of the empirical world through considerations of abstract mathematical structure. Such considerations led Bertrand Russell to an account of the relation between our theoretical picture of the world and its real nature as a relation of structural similarity. Subsequently, Max Newman gave what has become a well-known logico-mathematical objection to this (...) account. William Demopoulos recently showed that Newman's problem applied not only to Russell's realist account, but also to a variety of otherwise disparate accounts of theoretical knowledge. The common element underlying these accounts is a conception of theories as abstract formal structures. Many such accounts have incorporated key elements of Ramsey's views, most notably the Ramsey-sentence. Moreover, Demopoulos has interpreted Ramsey's own view of theories as sharing the essential features of those abstract views, and therefore their common problem. My analysis aims to show that this abstract conception of theories does not adequately characterize Ramsey's view. Namely, his account of theories was not an attempt to do the epistemology of science in the fashion of Russell or Eddington, or of subsequent structuralist views that have adopted the Ramsey-sentence. I show this by a broader exposition of Ramsey's work on the nature of theories, comparing his seminal paper with his many other remarks on the nature and purpose of theories. I begin by discussing the historical context of Newman's objection, and a generalization of it that shows its broad applicability to abstract characterizations of theoretical knowledge. I then reconstruct Ramsey's view of theories, to show how far it extends beyond the Ramsey-sentence picture. Finally, I discuss the relevance of this view to contemporary debates concerning realism and instrumentalism. I characterize Ramsey's view as focused not on grounding our theoretical knowledge in abstract structure, but instead on demystifying the role of theoretical language and concepts in a theory's application to the world. (shrink)

This paper addresses and proposes to resolve a longstanding problem in the philosophy of physics: whether and in what sense Albert Einstein’s Chasing the Light thought experiment was significant in the development of the theory of special relativity. Although Einstein granted this thought experiment pride of place in his 1949 Autobiographical Notes, philosophers and physicists continue to debate about what, if anything, the experiment establishes. I claim that we ought to think of Chasing the Light as Einstein’s first attempt to (...) problematize the very idea of the electromagnetic ether frame, and that it thereby contributed to his eventual adoption of one of special relativity’s two foundational axioms: the “light postulate”. This interpretation requires the assumption that Einstein had presupposed special relativity’s other axiom, the “principle of relativity”, when initially considering Chasing the Light. This argument is novel insofar as it provides evidence that such a presupposition by Einstein is both conceptually and historically plausible. Moreover, this paper directly challenges John D. Norton’s compelling claim that Chasing the Light is best understood as a refutation of emission theories of light propagation; while both interpretations of the experiment are conceptually coherent, I argue that the interpretation found in this paper is supported more straightforwardly by historical evidence. (shrink)

Recent debates in philosophy of science have witnessed the rise of two major proposals. On the one hand, regarding the conceptual structure of scientific theories, some believe that they exhibit constitutive elements. The constitutive elements of a theory are the components that play the role of laying the foundations of empirical meaningfulness, and whose acceptance is prior to empirical research. On the other hand, as for the nature of scientific knowledge and its relation to nature, perspectival realism has pursued a (...) middle ground in classic debates between realism and antirealism, by assuming that although knowledge is always situated both historically and culturally, scientific statements have truth values and constitute genuine claims about a mind-independent world. In this paper, I argue that these two lines of research are not only compatible but complement each other, and provide a common view of science. I contend that a theoretical perspective is a set of constitutive elements where models and representations may develop, and stress that both constitutivism and perspectivism have numerous shared characteristics, such as their vindication of the historicity of scientific knowledge, their recognition of human epistemic limits, and a very similar conception of truth. (shrink)

It has been claimed, recently, that the fact that all the non-gravitational fields are locally Poincaré invariant and that these invariances coincide, in a certain regime, with the symmetries of the spacetime metric is miraculous in general relativity. In this paper I show that, in the context of GR, it is possible to account for these so-called miracles of relativity. The way to do so involves integrating the realisation that the gravitational field equations impose constraints on the behaviour of matter (...) in a novel interpretation of the equivalence principle, which dictates the determination of local inertial frames through gravitational interaction. This proposed explanation of the miracles can also deal with the problematic cases for attempts at explaining them in the context of the standard geometrical perspective on relativity theory. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

In this dissertation, I present a novel account of the components that have a peculiar epistemic role in our scientific inquiries, since they contribute to establishing a form of coordination. The issue of coordination is a classic epistemic problem concerning how we justify our use of abstract conceptual tools to represent concrete phenomena. For instance, how could we get to represent universal gravitation as a mathematical formula or temperature by means of a numerical scale? This problem is particularly pressing when (...) justification for using these abstract tools comes, in part or entirely, from knowledge which is not independent from them, thus leading to threats of circularity. Achieving coordination between some abstract conceptual tools and the concrete phenomena that they are supposed to represent is usually a complex process, which involves several epistemic components. Some of these components eventually provide stable conditions for applying those abstract representations to concrete phenomena. It is in this sense of providing certain conditions of applicability that different philosophical traditions, as well as some contemporary reappraisals, view these components as constitutive or a priori. In this work, I present a new gradualist, contextualist, and relational approach to understand these constitutive components of scientific inquiry. It is gradualist inasmuch as the degree to which some component is constitutive depends on three quantifiable features: quasi-axiomaticity, generative potential, and empirical shielding. Since the quantification of these three features impinges on the history and practice of using these components in a scientific context, my approach is a contextualist one. Finally, my approach is relational in a double sense: first, it identifies ordinal relationships among epistemic components with respect to their constitutive character; second, these relationships are relative to a scientific framework of inquiry. After introducing my account and a classic example of constitutively a priori principles, i.e., Friedman’s (2001) analysis of Newtonian mechanics, I turn to my own case studies to demonstrate the advantages of my approach. Firstly, I discuss Okasha’s (2018) view of endogenization as a pervasive theoretical strategy in evolutionary biology and suggest that the constitutive character of the core Darwinian principles progressively increases with endogenization. Secondly, I apply a conceptual distinction between two varieties or scopes of coordination – general coordination and coordination in measurement – to Ohm’s work on electrical conductivity. This distinction allows me to pinpoint to what extent components along different dimensions (e.g., instrumentation, measurement, theorising, etc.) were constitutive of the forms of coordination which Ohm relied on. Thirdly, I discuss the epistemic function of the Hardy-Weinberg principle in the history and practice of population genetics. I assess this principle in terms of my account and identify approximation and stability as two components that are highly constitutive, in that they contribute to justifying its use in population genetics. Finally, applying my account to these case studies enables me to identify at least three qualitatively different types of constitutive components: domain-specific theoretical principles, material components, and domain-independent assumptions underlying reasoning abilities. In the light of my results, I draw some general conclusions on epistemic justification and scientific knowledge. (shrink)

The relativistic revolution led to varieties of neo-Kantianism in which constitutive principles define the object of scientific knowledge in a domain-dependent and historically mutable manner. These principles are a priori insofar as they are necessary premises for the formulation of empirical laws in a given domain, but they lack the self-evidence of Kant’s a priori and they cannot be identified without prior knowledge of the theory they purport to frame. In contrast, the rationalist endeavors of a few masters of theoretical (...) physics have led to comprehensibility conditions that are easily admitted in a given domain and yet suffice to generate the theory of this domain. The purpose of this essay is to compare these two kinds of relativized a priori, to discuss the nature of the comprehensibility conditions, and to demonstrate their effectiveness in a modular conception of physical theories. (shrink)

In 1907 Einstein had the insight that bodies in free fall do not “feel” their own weight. This has been formalized in what is called “the principle of equivalence.” The principle motivated a critical analysis of the Newtonian and special-relativistic concepts of inertia, and it was indispensable to Einstein’s development of his theory of gravitation. A great deal has been written about the principle. Nearly all of this work has focused on the content of the principle and whether it has (...) any content in Einsteinian gravitation, but more remains to be said about its methodological role in the development of the theory. I argue that the principle should be understood as a kind of foundational principle known as a criterion of identity. This work extends and substantiates a recent account of the notion of a criterion of identity by William Demopoulos. Demopoulos argues that the notion can be employed more widely than in the foundations of arithmetic and that we see this in the development of physical theories, in particular space–time theories. This new account forms the basis of a general framework for applying a number of mathematical theories and for distinguishing between applied mathematical theories that are and are not empirically constrained. (shrink)

The principle of 'information causality' can be used to derive an upper bound---known as the 'Tsirelson bound'---on the strength of quantum mechanical correlations, and has been conjectured to be a foundational principle of nature. In this paper, however, I argue that the principle has not to date been sufficiently motivated to play this role; the motivations that have so far been given are either unsatisfactorily vague or else amount to little more than an appeal to intuition. I then consider how (...) one might begin to successfully motivate the principle. I argue that a compelling way of so doing is to understand it as a generalisation of Einstein's principle of the mutually independent existence---the 'being-thus'---of spatially distant things, interpreted as a special methodological principle. More specifically: I describe an argument, due to Demopoulos, to the effect that the quantum-mechanical no-signalling condition can be viewed as a generalisation, appropriate to an irreducibly statistical theory such as quantum mechanics, of the Einsteinian principle. And I then argue that a compelling way to motivate information causality is to in turn consider it as a further generalisation of the Einsteinian principle that is appropriate to a theory of communication. I nevertheless describe important obstacles that must yet be overcome if the project of establishing information causality as a foundational principle of nature is to succeed. (shrink)

Isaac Newton is best known as a mathematician and physicist. He invented the calculus, discovered universal gravitation and made significant advances in theoretical and experimental optics. His master-work on gravitation, the Principia, is often hailed as the crowning achievement of the scientific revolution. His significance for philosophers, however, extends beyond the philosophical implications of his scientific discoveries. Newton was an able and subtle philosopher, working at a time when science was not yet recognized as an activity distinct from philosophy. He (...) engaged with the work of Rene Descartes and G.W. Leibniz, and showed sensitivity to the work of John Locke, Francis Bacon, Pierre Gassendi and Henry More, to name just a few. In his time, Newton was not perceived as a scientific outsider, but as an active and knowledgeable participant in philosophical debates.... (shrink)

Newton began his Principia with three Axiomata sive Leges Motus. We offer an interpretation of Newton’s dual label and investigate two tensions inherent in his account of laws. The first arises from the juxtaposition of Newton’s confidence in the certainty of his laws and his commitment to their variability and contingency. The second arises because Newton ascribes fundamental status both to the laws and to the bodies and forces they govern. We argue the first is resolvable, but the second is (...) not. However, the second tension shows that Newton conceives laws as formal causes of bodies and forces. This neo-Aristotelian conception goes missing in Kantian accounts of laws, as well as accounts that stress laws’ grounding in powers and capacities. (shrink)

In this paper I argue that physics is, always was, and probably always will be voiceless with respect to tense and passage, and that, therefore, if, as I believe, tense and passage are the essence of time, physics’ contribution to our understanding of time can only be limited. The argument, in a nutshell, is that if "physics has no possibility of expression for the Now", to quote Einstein, then it cannot add anything to the study of tense and passage, and (...) specifically, cannot add anything to the debate between deniers and affirmers of the existence or reality of tense and passage. Since relativity theory did not equip physics with a new language with which to speak of tense and passage, I draw the further conclusion that relativity theory has not generated the revolution to our conception of time that is attributed to it. In the last section I discuss the motivations behind the continued but misguided attempts to integrate tense into a relativistic setting, and assess the manners in which relativity theory has nevertheless enhanced, albeit indirectly, our understanding of tense and passage. (shrink)

According to Minkoswki, Einstein's special theory of relativity reveals that ‘space by itself, and time by itself are doomed to fade away into mere shadows’. But perceptual experience represents objects as instantiating shapes like squareness — properties of ‘space by itself’. Thus, STR seems to threaten the veridicality of shape experience. In response to this worry, some have argued that we should analyze the contents of our spatial experiences on the model of traditional secondary qualities. On this picture—defended in recent (...) work by Chalmers —an experience of squareness just represents whatever property usually causes such experiences. This view salvages the veridicality of shape experience, but leaves the nature of the properties we perceive outside our ken. I argue that such a move is unwarranted: STR is compatible with the idea that shape experience acquaints us with the spatial character of our world. In defending this claim, I propose a view on which shape experience presents familiar Euclidean spatial properties veridically, while implicitly representing those properties as instantiated in a particular manner — namely, relative to our own frame of reference. (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)

I discuss the three distinctions “absolute and relative”, “true and apparent”, and “mathematical and common”, for the specific case of time in Newton’s Principia. I argue that all three distinctions are needed for the project of the Principia and can be understood within the context of that project without appeal to Newton’s wider metaphysical and theological commitments. I argue that, within the context of the Principia, the three claims that time is absolute rather than relative, true rather than apparent, and (...) mathematical rather than common, are to be evaluated with respect to the needs of, and relative to the success of, the project of the Principia. I claim that Newton is thereby offering a new, and empirical, philosophy of time. (shrink)

Einstein’s “point-coincidence argument'” as a response to the “hole argument” is usually considered as an expression of “Leibniz equivalence,” a restatement of indiscernibility in the sense of Leibniz. Through a historical-critical analysis of Logical Empiricists' interpretation of General Relativity, the paper attempts to show that this labeling is misleading. Logical Empiricists tried explicitly to understand the point-coincidence argument as an indiscernibility argument of the Leibnizian kind, such as those formulated in the 19th century debate about geometry, by authors such as (...) Poincaré, Helmholtz or Hausdorff. However, they clearly failed to give a plausible account of General Relativity. Thus the point-coincidence/hole argument cannot be interpreted as Leibnizian indiscernibility argument, but must be considered as an indiscernibility argument of a new kind. Weyl's analysis of Leibniz's and Einstein's indiscernibility arguments is used to support this claim. (shrink)

The Oxford Handbook of the History of Physics brings together cutting-edge writing by more than twenty leading authorities on the history of physics from the seventeenth century to the present day. By presenting a wide diversity of studies in a single volume, it provides authoritative introductions to scholarly contributions that have tended to be dispersed in journals and books not easily accessible to the general reader. While the core thread remains the theories and experimental practices of physics, the Handbook contains (...) chapters on other dimensions that have their place in any rounded history. These include the role of lecturing and textbooks in the communication of knowledge, the contribution of instrument-makers and instrument-making companies in providing for the needs of both research and lecture demonstrations, and the growing importance of the many interfaces between academic physics, industry, and the military. (shrink)

This paper attempts to show how the logical empiricists’ interpretation of the relation between geometry and reality emerges from a “collision” of mathematical traditions. Considering Riemann’s work as the initiator of a 19th century geometrical tradition, whose main protagonists were Helmholtz and Poincaré, the logical empiricists neglected the fact that Riemann’s revolutionary insight flourished instead in a non-geometrical tradition dominated by the works of Christoffel and Ricci-Curbastro roughly in the same years. I will argue that, in the attempt to interpret (...) general relativity as the last link of the chain Riemann–Helmholtz–Poincaré–Einstein, logical empiricists were led to argue that Einstein’s theory of gravitation mainly raised a problem of mathematical under-determination, i.e. the discovery that there are physical differences that cannot be expressed in the relevant mathematical structure of the theory. However, a historical reconstruction of the alternative Riemann–Christoffel–Ricci–Einstein line of evolution shows on the contrary that the main philosophical issue raised by Einstein’s theory was instead that of mathematical over-determination, i.e. the recognition of the presence of redundant mathematical differences that do not have any correspondence in physical reality. (shrink)

I examine a property of theories called "background-independence" that Einsteinian gravitation is thought to exemplify. This concept has figured in the work of Rovelli (2001, 2004), Smolin (2006), Giulini (2007), and Belot (2011), among others. I propose and evaluate a few candidates for background-independence, and I show that there is something chimaerical about the concept. I argue, however, that there is a proposal that clarifies the feature of Einsteinian gravitation that motivates the concept.

Commentators attempting to understand the empirical method that Isaac Newton applies in his Mathematical Principles of Natural Philosophy (1687) are forced to grapple with the thorny issue of how to reconcile Newton's rejection of hypotheses with his appeal to absolute space. On the one hand, Newton claims that his experimental philosophy does not rely on claims that are assumed without empirical evidence, and on the other hand, Newton appeals to an absolute space that, by his own characterization, does not make (...) any impressions on our senses. Howard Stein (1967, 2002) has offered an insightful strategy for reconciling this apparent contradiction and suggested a way to enhance our understanding of Newton's 'empiricism' such that absolute space can be preserved as a legitimate part of Newton's experimental project. Recently, Andrew Janiak (2008) has posed a worthy challenge to Stein's empirical reading of Newton and directed our attention to the metaphysical commitments that underlie the experimental philosophy of Newton's Principia . Although Stein and Janiak disagree on the degree to which Newton's empiricism influences his natural philosophy, both agree and clearly show that an adequate treatment of Newton's empiricism cannot be divorced from consideration of Newton's views on God and God's relationship to nature. (shrink)

This paper has two goals. (i) I explore the limits of the mathematical theory of spacetime (more generally, differential geometry) as an analytical tool for interpreting early modern thought. While it dramatically clarifies some issues, it can also lead to misunderstandings of some figures, and is a very poor tool indeed for others - Leibniz in particular. (ii) I will show how to blunt a very influential argument against a relational conception of spacetime - the view that the properties and (...) relations of bodies exhaust the spatiotemporal. (shrink)

What if gravity satisfied the Klein-Gordon equation? Both particle physics from the 1920s-30s and the 1890s Neumann-Seeliger modification of Newtonian gravity with exponential decay suggest considering a "graviton mass term" for gravity, which is _algebraic_ in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is strictly special relativistic in the sense of being invariant under the Poincaré group but not the 15-parameter Bateman-Cunningham conformal group. It therefore exhibits the whole of Minkowski space-time structure, albeit only indirectly concerning volumes. Massive (...) scalar gravity is plausible in terms of relativistic field theory, while violating most interesting versions of Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide to understanding massive scalar gravity: matter sees a conformally flat metric due to universal coupling, but gravity also sees the rest of the flat metric in the mass term. What is the 'true' geometry, one might wonder, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source; thus geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to a critique of conventionalism becomes evident when multi-geometry theories are contemplated. Much as Seeliger envisaged, the smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities---indeed an unconceived alternative. At least one version easily could have been developed before General Relativity; it then would have motivated thinking of Einstein's equations along the lines of Einstein's newly re-appreciated "physical strategy" and particle physics and would have suggested a rivalry from massive spin 2 variants of General Relativity. The Putnam-Grünbaum debate on conventionality is revisited with an emphasis on the broad modal scope of conventionalist views. Massive scalar gravity thus contributes to a historically plausible rational reconstruction of much of 20th-21st century space-time philosophy in the light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the 'universal force' influencing the causal structure. Subsequent works will discuss how massive gravity could have provided a template for a more Kant-friendly space-time theory that would have blocked Moritz Schlick's supposed refutation of synthetic _a priori_ knowledge, and how Einstein's false analogy between the Neumann-Seeliger-Einstein modification of Newtonian gravity and the cosmological constant \Lambda generated lasting confusion that obscured massive gravity as a conceptual possibility. (shrink)

This is the chapter on general relativity for the Cambridge Companion to Einstein which I am co-editing with Christoph Lehner.

Philosophy Compass, Volume 17, Issue 4, April 2022.

Michel Janssen and Harvey Brown have driven a prominent recent debate concerning the direction of an alleged arrow of explanation between Minkowski spacetime and Lorentz invariance of dynamical laws in special relativity. In this article, I critically assess this controversy with the aim of clarifying the explanatory foundations of the theory. First, I show that two assumptions shared by the parties—that the dispute is independent of issues concerning spacetime ontology, and that there is an urgent need for a constructive interpretation (...) of special relativity—are problematic and negatively affect the debate. Second, I argue that the whole discussion relies on a misleading conception of the link between Minkowski spacetime structure and Lorentz invari-ance, a misconception that in turn sheds more shadows than light on our understand-ing of the explanatory nature and power of Einstein’s theory. I state that the arrow connecting Lorentz invariance and Minkowski spacetime is not explanatory and uni-directional, but analytic and bidirectional, and that this analytic arrow grounds the chronogeometric explanations of physical phenomena that special relativity offers. (shrink)

This essay examines Friedman's recent approach to the analysis of physical theories. Friedman argues against Quine that the identification of certain principles as ‘constitutive’ is essential to a satisfactory methodological analysis of physics. I explicate Friedman's characterization of a constitutive principle, and I evaluate his account of the constitutive principles that Newtonian and Einsteinian gravitation presuppose for their formulation. I argue that something close to Friedman's thesis is defensible.