Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (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)

If is often taken for granted that on a rotating disk it is possible to operate a global 3+1 splitting of spacetime such that both lengths and time intervals are uniquely defined in terms of measurements performed by real rods and real clocks at rest on the platform. This paper shows that this assumption, although widespread and apparently trivial, leads to an anisotropy of the velocity of two light beams traveling in opposite directions along the rim of the disk, which (...) in turn implies some recently pointed out paradoxical consequences undermining the self-consistency of the special theory of relativity (SRT). A correct application of the SRT solves the problem and recovers complete internal consistency for the theory. As an immediate consequence, it is shown that the Sagnac effect only depends on the nonhomogeneity of time of the platform and has nothing to do with any anisotropy of the speed of light along the rim of the disk, contrary to an incorrect but widely held idea. (shrink)

This paper is an amalgam of physics and mathematical logic. It contains an elementary axiomatization of spacetime in terms of the primitive concepts of particle, signal, and transmission and reception. In the elementary language formed with these predicates we state AxiomsE, C, andU, which are naturally interpretable as basic physical properties of particles and signals. We then determine all mathematical models of this axiom system; these represent certain generalizations of the standard model. Also, the automorphism groups of the models are (...) determined. Finally we give another physical model and discuss the philosophical implications. (shrink)

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

This is a personal, incomplete, and very informal take on the role of logic in general philosophy of science, which is aimed at a broader audience. We defend and advertise the application of logical methods in philosophy of science, starting with the beginnings in the Vienna Circle and ending with some more recent logical developments.

By inserting the dialogue between Einstein, Schlick and Reichenbach into a wider network of debates about the epistemology of geometry, this paper shows that not only did Einstein and Logical Empiricists come to disagree about the role, principled or provisional, played by rods and clocks in General Relativity, but also that in their lifelong interchange, they never clearly identified the problem they were discussing. Einstein’s reflections on geometry can be understood only in the context of his ”measuring rod objection” against (...) Weyl. On the contrary, Logical Empiricists, though carefully analyzing the Einstein–Weyl debate, tried to interpret Einstein’s epistemology of geometry as a continuation of the Helmholtz–Poincaré debate by other means. The origin of the misunderstanding, it is argued, should be found in the failed appreciation of the difference between a “Helmholtzian” and a “Riemannian” tradition. The epistemological problems raised by General Relativity are extraneous to the first tradition and can only be understood in the context of the latter, the philosophical significance of which, however, still needs to be fully explored. (shrink)

Part I of this paper introduces a range of mechanistic theories of causality, including process theories and the complex-systems theories, and some of the problems they face. Part II argues that while there is a decisive case against a purely mechanistic analysis, a viable theory of causality must incorporate mechanisms as an ingredient, and describes one way of providing an analysis of causality which reaps the rewards of the mechanistic approach without succumbing to its pitfalls.

Michael Friedman’s project both historically and systematically testifies to the importance of the relativized a priori. The importance of implicit definitions clearly emerges from Schlick’s General Theory of Knowledge . The main aim of this paper is to show the relationship between both and the relativized a priori through a detailed discussion of Friedman’s work. Succeeding with this will amount to a contribution to recent scholarship showing the importance of Hilbert for Logical Empiricism.

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 concept of empiricism evokes both a historical tradition and a set of philosophical theses. The theses are usually understood to have been developed by Locke, Berkeley, and Hume. But these figures did not use the term “empiricism,” and they did not see themselves as united by a shared epistemology into one school of thought. My dissertation analyzes the debate that elevated the concept of empiricism (and of an empiricist tradition) to prominence in English-language philosophy. -/- In the 1870s and (...) ’80s a lively debate about psychology emerged. Neo-Kantian idealists criticized the very idea that the mind can be studied scientifically. A group of philosopher-psychologists responded, often in Mind. They were among the first to call themselves “empiricists,” arguing that psychology could provide a scientific basis for philosophical progress. Idealists held that empirical psychology depended on premises developed by Locke, Berkeley, and Hume. These premises were allegedly absurd because they rendered ideas of extension, as well as other ideas crucial to natural science, unreal. Those who wanted to advance psychology towards becoming a legitimate science were forced to engage these philosophical attacks, while at the same time to develop empirical theories that could successfully explain some characteristics of experience. I show how James’s theory of space perception accomplished both tasks. -/- In developing this theory, James found he had to reject the Lockean notion that reality is associated with passively-registered sensations. James also abandoned Berkeley and Hume’s claim that ideas are ultimately derived from atomic sensations. Instead, James presented experimental evidence that sensation is a continuous stream. The mind must actively parse this stream if it is to gain a coherent representation of its environment. I argue that James’s stream-of-thought thesis served as a presupposition of his entire psychology. The thesis showed how the labor of investigating the mind could be divided between philosophers and scientists, and in a manner sensitive to the concerns of both. The stream thesis also provided a scientific basis for a new philosophical empiricism that, I argue, has a hidden legacy in the history of analytic philosophy. (shrink)

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

Temporal betweenness in space-time is defined solely in terms of light signals, using a signalling relation that does not distinguish between the sender and the receiver of a light signal. Special relativity and general relativity are considered separately, because the latter can be treated only locally. We conclude that the (local) coherence of time can be described if we know only which pairs of space-time points are light-connected. Other consequences in the case of special relativity: (1) a categorical axiom system (...) exists in terms of nondirected light connection alone, with neither particle nor time order as a primitive concept, though we do not actually present the axioms; (2) any concept definable by coordinates is also definable in terms of nondirected light signals if and only if it is invariant under Lorentz transformations, translations, dilations, space reflections, and time reflections; and (3) any transformation of space-time (not necessarily continuous) which preserves nondirected light connection is a product of transformations just listed above. The bulk of the paper is devoted to proving that the definitions we give correspond to their intended interpretations in the usual space-time continua. (shrink)

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

In this paper the classical topic of “conventionality” in defining the simultaneity (or synchrony) of distant events is tackled again, and the validity of Reichenbach's view is carefully circumscribed. In particular, the role of “one-way” assumptions in the foundations of special relativity is emphasized. The restriction by the round-trip isotropy condition on the admissible distance functions in inertial frames is studied, and its relevance to several issues (absolute simultaneity, the interpretation of Michelson–Morley type experiments, the self-measured speed of a clock) (...) is shown. Two “clock transport” synchronizations in an inertial frame, using self-measured speed and “proper distance,” are presented in detail, and the agreement of the synchronies so established with standard synchrony is proven to be non- circular. By assuming a reasonable concept of “convention” this result is shown to dissolve several objections by supporters of a strong version of conventionalism. Throughout, a number of common misapprehensions in the literature are pointed out. (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)

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)

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)

Our main goal in this paper is to present and scrutinize Reichenbach’s own naturalism in our contemporary context, with special attention to competing versions of the concept. By exploring the idea of Reichenbach’s naturalism, we will argue that he defended a liberating, therapeutic form of naturalism, meaning that he took scientific philosophy to be a possible cure for bad old habits and traditional ways of philosophy. For Reichenbach, naturalistic scientific philosophy was a well-established form of liberation. We do not intend (...) to suggest that Reichenbach acted as an inventor of naturalism; nonetheless, invoking the term and the idea of ‘naturalism’ is more than a simple rhetorical strategy for rehabilitating Reichenbach as a forerunner of this field. We think that his ideas can make a valuable contribution to contemporary debates, and that he presents an interesting case among the other scientifically oriented proponents of his time. After presenting a short reconstruction of the meaning of naturalism—or, more appropriately, naturalisms—in order to be able to correctly situate Reichenbach within his own as well as a systematic context, we discuss Reichenbach’s naturalism against the background of his scientific philosophy, his views on the relation of common-sense knowledge to science, and his efforts at popularization. To delve deeper into this topic, we present a case study to show how Reichenbach argued that in both scientific and philosophical discussions, it is necessary to move from the request and value of truth to probability. And, finally, we argue that the liberation of knowledge and nature was a socio-political program for Reichenbach, who talked about his own scientific philosophy as “a crusade.” By emphasizing this aspect of Reichenbach’s naturalism, we may be in a better position to situate him in the history of analytic philosophy in general, and in the yet-to-be-written narrative of the naturalistic movement in particular. (shrink)

The aim of this doctoral dissertation is to closely explore the nature of Einstein’s block universe and to tease out its implications for the nature of time and human freedom. Four questions, in particular, are central to this dissertation, and set out the four dimensions of this philosophical investigation: (1) Does the block universe view of time follow inevitably from the theory of special relativity? (2) Is there room for the passage of time in the block universe? (3) Can we (...) distinguish past from future in the block universe? (4) Is there room for human freedom in the block universe? Although the answer of most philosophers would be yes, triple no, my own answer, controversially, is no, triple yes. -/- I thereby challenge the status quo with respect to each of these metaphysical questions, and argue that none of these questions can be answered from looking at physics alone. Physics may constrain our metaphysics, but it certainly does not settle it. What is needed in order to answer these questions, are additional metaphysical assumptions that fall outside the scope of modern physics. My primary goal in this dissertation, therefore, is not to settle the debates on the nature of time and human freedom, but to clarify them by expliciting the metaphysical assumptions that are otherwise left implicit. (shrink)

Gerald Holton has famously described Einstein’s career as a philosophical “pilgrimage”. Starting on “the historic ground” of Machian positivism and phenomenalism, following the completion of general relativity in late 1915, Einstein’s philosophy endured (a) a speculative turn: physical theorizing appears as ultimately a “pure mathematical construction” guided by faith in the simplicity of nature and (b) a realistic turn: science is “nothing more than a refinement ”of the everyday belief in the existence of mind-independent physical reality. Nevertheless, Einstein’s mathematical constructivism (...) that supports his unified field theory program appears to be, at first sight, hardly compatible with the common sense realism with which he countered quantum theory. Thus, literature on Einstein’s philosophy of science has often struggled in finding the thread between ostensibly conflicting philosophical pronouncements. This paper supports the claim that Einstein’s dialog with Émile Meyerson from the mid 1920s till the early 1930s might be a neglected source to solve this riddle. According to Einstein, Meyerson shared (a) his belief in the independent existence of an external world and (b) his conviction that the latter can be grasped only by speculative means. Einstein could present his search for a unified field theory as a metaphysical-realistic program opposed to the positivistic-operationalist spirit of quantum mechanics. (shrink)

Michael Friedman’s Dynamics of Reason is a welcome contribution to the ongoing articulation of philosophical perspectives for understanding the sciences in the context of post-positivist philosophy of science. Two perspectives that have gained advocacy since the demise of the “received view” are Quinean naturalism and Kuhnian relativism. In his 1999 Stanford lectures, Friedman articulates and defends a neo-Kantian perspective for philosophy of science that opposes both of these perspectives. His proffered neo-Kantian perspective is presented within the context of the problem (...) of theory change or “scientific revolutions,” and its main feature is a conception of scientific knowledge that requires “relativized constitutive a priori principles.” The lectures make up the first part of the book; the second part of the book, “Fruits of Discussion,” is a further elaboration and defence of the ideas advanced in the lectures. The resulting book serves as a useful sequel to Friedman’s impressive historical studies in Foundations of Space-Time Theories, Kant and the Exact Sciences, and Reconsidering Logical Positivism. In the preface, Friedman tells us that this book represents the philosophical viewpoint that he has arrived at as a result of completing these works. As such, it is not surprising that the prominent themes of the book are ones that have occupied Friedman’s attention in the past, viz., the importance of a priori principles in the exact sciences, the conventionalism of the logical positivists, and, more generally, an articulation of what remains defensible in neo-Kantian philosophy of science. (shrink)

Kripke has argued that definitions of units of measurements provide examples of statements that are both contingent and a priori. In this paper I argue that definitions of units of measurement are intended to be stipulations of what Kripke calls "theoretical identities": a stipulation that two terms will have the same rigid designation. Hence such a definition is both a priori and necessary. The necessity arises because such definitions appeal to natural kind properties only, which on Kripke's account are necessary.

In this paper I argue that the positivist–conventionalist interpretation of the Restricted Principle of Relativity is flawed, due to the positivists’ own understanding of conventions and their origins. I claim in the paper that, to understand the conventionalist thesis, one has to diambiguate between three types of convention; the linguistic conventions stemming from the fundamental role of mathematical axioms, the conventions stemming from the coordination betweeh theoretical statements and physical, observable facts or entities, and conventions that are made possible by (...) possible revisions to theory. I claim that it is not possible to interpret the Principle of Relativity as based on one of these three types of convention. This renders the conventionalist interpretation of the Principle of Relativity untenable. The paper is part of a larger project that aims to understand the philosophical significance of the Principle of Relativity. (shrink)

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

While Einstein considered that sub specie astern the correct philosophical position regarding geometry was that of the conventionality of geometry, he felt that provisionally it was necessary to adopt a non-conventional stance that he called practical geometry. here we will make the case that even when adopting Einstein’s views we must conclude that practical geometry is conventional after all. Einstein missed the fact that the conventionality of simultaneity leads to a conventional element in the chrono-geometry, since it corresponds to the (...) possibility of different space-time metrics. (shrink)

This article is an attempt to provide an example that illustrates Hans Reichenbach’s concept of coordination. Throughout Reichenbach’s career the concept of coordination played an important role in his understanding of the connection between reality and how it is scientifically described. Reichenbach never fully specified what coordination is and how exactly it works. Instead, we are left with a variety of hints and gestures, many not entirely consistent with each other and several that are subject to change over the course (...) of his career. Using the example of how to discover and construct causal variables, I will show that most of the features of coordination that Reichenbach described can be instantiated together and formulated precisely. (shrink)

info:eu-repo/semantics/publishedVersion.

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.

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

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

By inserting the dialogue between Einstein, Schlick and Reichenbach in a wider network of debates about the epistemology of geometry, the paper shows, that not only Einstein and Logical Empiricists came to disagree about the role, principled or provisional, played by rods and clocks in General Relativity, but they actually, in their life-long interchange, never clearly identified the problem they were discussing. Einstein’s reflections on geometry can be understood only in the context of his “measuring rod objection” against Weyl. Logical (...) Empiricists, though carefully analyzing the Einstein-Weyl debate, tried on the contrary to interpret Einstein’s epistemology of geometry as a continuation of the Helmholtz-Poincaré debate by other means. The origin of the misunderstanding, it is argued, should be found in the failed appreciation of the difference between a “Helmhotzian” and a “Riemannian” tradition. The epistemological problems raised by General Relativity are extraneous to the first tradition and can only be understood in the context of the latter, whose philosophical significance, however, still needs to be fully explored. (shrink)

Is presentism or possibilism compatible with Relativity? This question has been much debated since the argument first proposed by Rietdijk and Putnam. The goal of this text is to study the implications of both special and general relativity, and quantum mechanics, on presentism, possibilism, and eternalism. We put the emphasis on the implicit metaphysical preconceptions underlying each of these different approaches to the question of time. We show that there exists a unique version of presentism which is both non trivial, (...) in the sense that it does not reduce the present to a unique event, and compatible with special relativity and quantum mechanics: the one in which the present of an observer at a point is identified with the past light cone of that point. However, this compatibility is achieved at the cost of a renouncement to the notion of an objective, observer-independent reality. We also argue that no non-trivial version of presentism survives in general relativity, although, if some mechanism forbids the existence of closed timelike curves, then precisely one version of possibilism does survive. We remark that the quoted physical theories force the presentist/possibilist's view of reality to shrink and break up, whereas the eternalist, on the contrary, is forced to grant the status of reality to more and more entities. Finally, we identify mathematics as the "deus ex machina" allowing the eternalist to unify his vision of reality into a coherent whole, and propose him a "idealist deal": to accept a mathematical ontology in exchange for the assurance of surviving any physical theory. (shrink)

Fundamental incompatibility arises at the interface of quantum mechanics and the special theory of relativity with Einstein synchronization, in which simultaneity is not absolute. It has, however, been shown that a relativistic theory preserving absolute simultaneity allows to formulate Lorentz-covariant quantum theory, at a price of introducing a preferred frame of reference manifesting itself in a directional anisotropy of the speed of light. We show that a supposed method of distinguishing between these two theories based on the Doppler effect is (...) insensitive to this anisotropy. Both theories are indistinguishable if only kinematic effects for light or subluminal signals are considered. (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)