It is generally acknowledged that the requirement that the laws of a spacetime theory be covariant under a general coordinate transformation is a restriction on the form but not the content of the theory. The prevalent view in the physics community holds that the substantive version of general covariance – exhibited, for example, by Einstein’s general theory of relativity – consists in the requirement that diffeomorphism invariance is a gauge symmetry of the theory. This conception of general covariance is explained (...) and confronted by two challenges. One challenge claims, in effect, that substantive general covariance is not deserving of the name since, just as it is possible to rewrite any spacetime so that it satisfies formal general covariance, so it is also possible to rewrite the theory so that it satisfies the proffered version of substantive general covariance. The other challenge claims that the proffered version of substantive general covariance is not strong enough to guarantee the intended meaning of general covariance. Both challenges are discussed in terms of concrete examples. It is argued that both challenges fail but, at the same time, that they help to clarify what is at stake on the seemingly never ending dispute over the nature and status of general covariance. (shrink)

In this paper an outline of a metaphysical conception of modern science is presented in which a fundamental distinction is drawn between scientific principles, laws and theories. On this view, ontologicalprinciples, rather than e.g. empirical data, constitute the core of science. The most fundamental of these principles are three in number, being, more particularly (A) the principle of the uniformity of nature, (B) the principle of the perpetuity of substance, and (C) the principle of causality.These three principles set basic constraints (...) on the methodology of both empirical and theoretical science. The uniformity principle is central to the empirical aspect of science, suggesting a methodology consisting in the attempt to discover empiricallaws, while the causality principle is central to the theoretical aspect of science, suggesting the postulation of scientifictheories capable of indicating the causal basis of the laws. And the perpetuity principle functions so as to form a bridge between the theories and the laws. (shrink)

Professor Rudolph A. Marcus, recipient of the 1992 Nobel Prize in Chemistry, is a distinguished theoretical chemist. Two important theories happen to bear his name: the Rice Ramsperger Kassel Marcus theory of unimolecular reactions and the Marcus theory of electron transfer reactions. When considering Marcus’ work, one finds characteristics of it that bear striking similarity to those that can be found in the work of some famous scientists. Such characteristics appear then as common recurring patterns in the work of theoreticians. (...) Among them we find the following: the creation of new theories, driven by experiments that preceding theories were unable to explain; the use of thought experiments; the generalization and extensions from one realm of science to another; the making of predictions and the finding of new properties from correlations among series of data; the use of variational principles; the providing of different demonstrations of an equation; the introduction of new types of coordinates; the innovative capacity to use, by somehow recreating it under the pressure of the physical problem, a mathematical method previously unknown to the author; and finally, the presentation of formulations of the same theory in different mathematical and physical languages. Before discussing in some detail the above points, a brief description of Marcus’ work is first presented for the convenience of the reader. (shrink)

In his general theory of relativity (GR) Einstein sought to generalize the special-relativistic equivalence of inertial frames to a principle according to which all frames of reference are equivalent. He claimed to have achieved this aim through the general covariance of the equations of GR. There is broad consensus among philosophers of relativity that Einstein was mistaken in this. That equations can be made to look the same in different frames certainly does not imply in general that such frames are (...) physically equivalent. We shall argue, however, that Einstein's position is tenable. The equivalence of arbitrary frames in GR should not be equated with relativity of arbitrary motion, though. There certainly are observable differences between reference frames in GR (differences in the way particles move and fields evolve). The core of our defense of Einstein's position will be to argue that such differences should be seen as fact-like rather than law-like in GR. By contrast, in classical mechanics and in special relativity (SR) the differences between inertial systems and accelerated systems have a law-like status. The fact-like character of the differences between frames in GR justifies regarding them as equivalent in the same sense as inertial frames in SR. (shrink)

A case study of the development of quantum field theory and of S-matrix theory, from their inceptions to the present, is presented. The descriptions of science given by Kuhn and by Lakatos are compared and contrasted as they apply to this case study. The episodes of the developments of these theories are then considered as candidates for competing research programs in Lakatos' methodology of scientific research programs. Lakatos' scheme provides a reasonable overall description and a plausible assessment of the relative (...) value of these two programs in terms of progressive and degenerating problem shifts. Also discussed are the roles of various types of models as they have been used in these areas of theoretical high-energy physics. (shrink)

Turing’s paper on computable numbers has played its role in underpinning different perspectives on the world of information. On the one hand, it encourages a digital ontology, with a perceived flatness of computational structure comprehensively hosting causality at the physical level and beyond. On the other, it can give an insight into the way in which higher order information arises and leads to loss of computational control—while demonstrating how the control can be re-established, in special circumstances, via suitable type reductions. (...) We examine the classical computational framework more closely than is usual, drawing out lessons for the wider application of information–theoretical approaches to characterizing the real world. The problem which arises across a range of contexts is the characterizing of the balance of power between the complexity of informational structure and the means available to bring this information back into the computational fold. We proceed via appropriate mathematical modelling to a more coherent view of the computational structure of information, relevant to a wide spectrum of areas of investigation. (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)

This paper defends the Quine-Putnam mathematical indispensability argument against two objections raised by Penelope Maddy. The objections concern scientific practices regarding the development of the atomic theory and the role of applied mathematics in the continuum and infinity. I present two alternative accounts by Stephen Brush and Alan Chalmers on the atomic theory. I argue that these two theories are consistent with Quine’s theory of scientific confirmation. I advance some novel versions of the indispensability argument. I argue that these new (...) versions accommodate Maddy’s history of the atomic theory. Counter-examples are provided regarding the role of the mathematical continuum and mathematical infinity in science. (shrink)

A theory of relativity, along with its appropriate group of Lorentz-type transformations, is presented. The theory is developed on a metric withR×S 3 topology as compared to ordinary relativity defined on the familiar Minkowskian metric. The proposed theory is neither the ordinary special theory of relativity (since it deals with noninertial coordinate systems) nor the general theory of relativity (since it is not a dynamical theory of gravitation). The theory predicts, among other things, that finite-mass particles in nature have maximum (...) rotational velocities, a prediction highly supported by recent experiments on 14 nuclei, such as 159 Yb that survives fission with angular velocities of up to 0.9 of the predicted value but does not reach it. (shrink)

ArgumentIn 1895 when the Lumière brothers unveiled their cinematographic camera, many scientists were elated. Scientists hoped that the machine would fulfill a desire that had driven research for nearly half a century: that of capturing the world in its own image. But their elation was surprisingly short-lived, and many researchers quickly distanced themselves from the new medium. The cinematographic camera was soon split into two machines, one for recording and one for projecting, enabling it to further escape from the laboratory. (...) The philosopher Henri Bergson joined scientists, such as Etienne-Jules Marey, who found problems with the new cinematographic order. Those who had worked to make the dream come true found that their efforts had been subverted. This essay focuses on the desire to build a cinematographic camera, with the purpose of elucidating how dreams and reality mix in the development of science and technology. It is about desired machines and their often unexpected results. The interplay between what “is” (the technical), what “ought” (the ethical), and what “could” be (the fantastical) drives scientific research. (shrink)

Several authors have used the expression ‘formal asymmetry’ to characterize Einstein's method of introducing conceptual innovations. Prior to his use of formal asymmetries, however, Einstein relied upon analogy to introduce his major concepts, but without satisfactory results. He gradually refined another technique, reflection upon empirical problems, into the method of formal asymmetries, with impressive results. This historical study, based upon a textual analysis of Einstein's publications, raises a series of questions regarding the place of formal asymmetries in his work.

In this paper I argue that (at least many) philosophical thought experiments are unreliable. But I argue that this notion of unreliability has to be understood relative to the goal of thought experiments as knowledge producing. And relative to that goal many thought experiments in science are just as unreliable. But in fact thought experiments in science play a varied role and I will suggest that knowledge production is a goal only under quite limited circumstances. I defend the view that (...) these circumstances can (sometimes) arise in philosophy as well. (shrink)

Bohr's complementarity interpretation is represented as the relativization of the quantum mechanical description of a system to the maximal Boolean subalgebra (in the non-Boolean logical structure of the system) selected by a classically described experimental arrangement. Only propositions in this subalgebra have determinate truth values. The concept of a minimal revision of a Boolean subalgebra by a measurement is defined, and it is shown that the nonmaximal measurement of spin on one subsystem in the spin version of the Einstein—Podolsky—Rosen experiment (...) actually selects an appropriate maximal Boolean subalgebra ℛ′ in the logical structure of the composite system, via a minimal revision of the maximal Boolean subalgebra & associated with the preparation of the singlet spin state. This provides an explanation for the determinate truth values of propositions in ℛ′ referring to the second subsystem within the framework of the complementarity interpretation. (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 existence of a definite tangent space structure (metric with Lorentzian signature) in the general theory of relativity is the consequence of a fundamental assumption concerning the local validity of special relativity. There is then at the heart of Einstein's theory of gravity an absolute element which depends essentially on a common feature of all the non-gravitational interactions in the world, and which has nothing to do with space-time curvature. Tentative implications of this point for the significance of the vacuum (...) solutions in general relativity, and for the issue of quantising gravity, are briefly examined. (shrink)

We discuss Einstein's ideas on the need for a theory that is both objective and local and also his suggestion for realizing such a theory through nonlinear field equations. We go on to analyze the nonlocality implied by the quantum theory, especially in terms of the experiment of Einstein, Podolsky, and Rosen. We then suggest an objective local field model along Einstein's lines, which might explain quantum nonlocality as a coordination of the properties of pulse-like solutions of the nonlinear equations (...) that would represent particles. Finally, we discuss the implications of our model for Bell's inequality. (shrink)

This article considers recent arguments against the proposition that one and the same object cannot go out of existence and then come into existence again (so that, e.g., teleportation would involve change of identity.). It argues that these arguments can be evaded by adopting a four-dimensional ontology, according to which human beings, trees, etc., have temporal as well as spatial parts.

The debate concerning the relations between matter and motion has the same age as philosophy itself. In modern times this problem was transformed into the one concerning the relations between mass and energy. Newton identified mass with matter. Classical thermodynamics brought this conception to its logical conclusion, establishing an ontic dichotomy between mass-matter and energy. On the basis of this pre-relativistic conception, Einstein's famous equation has been interpreted as a relation of equivalence between mass-matter and energy. Nevertheless, if we reject (...) this epistemologically illegitimate identification, it is possible to elaborate a unitary conception of matter, which at the same time is an argument for the unity between matter and motion. In particular, the classical antithesis between matter and field becomes obsolete in the frame of the proposed interpretation. (shrink)

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

What is simultaneous with an event is what can interact with it; events have duration; therefore, any given event has distant events simultaneous with it, even according to Special Relativity. Consequently, the extension of our pre-relativistic judgments of distant simultaneity are largely preserved.

This paper examines the epistemological significance of the present situation of underdetermination in quantum mechanics. After analyzing this underdetermination at three levels---formal, ontological, and methodological---the paper considers implications for a number of variants of the thesis of scientific realism in fundamental physics and reassesses Lakatos‘ characterization of progress in physical theory in light of the present situation. Next, this paper considers the implications of underdetermination for Weinberg’s ‘‘dream of a final theory.’’ Finally, the paper concludes by suggesting how one might (...) still think of realism and progress in fundamental physics despite the possibility of persistent underdetermination in quantum mechanics. (shrink)

The ArgumentThe aim of this paper is to provide a critical perspective for Einstein's opposition to the Copenhagen interpretation of quantum physics, by analyzing the ingenious rhetoric of Bohr's principle of complementarity. I argue that what Bohr presents as arguments of “inevitability” are in fact merely arguments for the consistency of the quantum-mechanical scheme. Einstein's resistance to being persuaded by this potent technique of argumentation, and his rejection of Bohr's interpretation of quantum physics, appear consequently as an eminently reasonable position (...) and not as a conservative stand, as it is often presented by the adherents of the Copenhagen orthodoxy. (shrink)

In his “A Programmatic Attempt at an Anthropology of Knowledge,” published in 1981, Yehuda Elkana briefly introduced the notions of dramatic and epic theater as metaphors for distinct and opposite conceptions of history. He elaborated more fully on this theme in a paper published in 1982 on the occasion of the Albert Einstein centenary celebration. Elkana there criticized the “myth of simplicity” surrounding Einstein, and proposed to replace a “facile holism” often attributed to Einstein with “two-tier thinking.” According to Elkana, (...) Einstein's historical epistemology was a blend of an epic, contingent view of historical scientific change coupled with strong scientific realism. (shrink)

Two definitions of Mach’s principle are proposed. Both are related to gauge theory, are universal in scope and amount to formulations of causality that take into account the relational nature of position, time, and size. One of them leads directly to general relativity and may have relevance to the problem of creating a quantum theory of gravity.

We use joint probabilities to analyze the EPR argument in the Bohm's example of spins.(1) The properties of distribution functions for two, three, or more noncommuting spin components are explicitly studied and their limitations are pointed out. Within the statistical ensemble interpretation of quantum theory (where only statements about repeated events can be made), the incompleteness of quantum theory does not follow, as the consistent use of joint probabilities shows. This does not exclude a completion of quantum mechanics, going beyond (...) it, by a more general theory of single events, using hidden variables, for example. (shrink)

Neutral monism is a position in metaphysics defended by Mach, James, and Russell in the early twentieth century. It holds that minds and physical objects are essentially two different orderings of the same underlying neutral elements of nature. This paper sets out some of the central concepts, theses and the historical background of ideas that inform this doctrine of elements. The discussion begins with the classic neutral monism of Mach, James, and Russell in the first part of the paper, then (...) considers recent neo-Russellian versions in the second half. The chances for a revival of neutral monism are probably slight; its key ideas and starting points lie far from those in contemporary philosophy of mind. A better route might be through the philosophy of science and a deeper understanding of causation. (shrink)

If true, this is one the the most important papers in the history of mathematics. the natural numbers are defined and one to one correspondence between the natural numbers is made precise. the paper deals with the very fundamentals of arithmetic and the logical principles differ quite markedly from those used by georg cantor.

The research on which the present paper makes a point in aimed at designing a cognitive model of Albert Einstein's discovery that is based on fundamental Einstein's publications and placed, ideally, at a meso-level, between macro-historical and micro-cognitive reconstructions (e.g. protocol analysis). As in a cognitive-historical analysis, we will trace some discovery heuristics in the construction of representations, that are on a continuum with those we employ in ordinary problem solving. Firstly, some theory-specific, reflexive heuristics—named orientative heuristics—are traced: inner perfection, (...) explain-or-assume, explanatory correspondence, and covariance/invariance. Then, other well-known abstractive heuristics as analogical and imagistic reasoning, thought experiment, limiting case analysis (e.g. Nersessian 1992) are shown occurring in Einstein's key-publications. A sketch of a socio-cognitive model for his discovery is then presented following two suggestions: (a) an idea of Van Fraassen about discovery phases, and (b) the Humean distinction between beliefs and ideas. (shrink)

*A shortened version of this paper will appear in Current Controversies in Philosophy of Science, Dasgupta and Weslake, eds. Routledge.* This paper describes the case that can be made for a high-dimensional ontology in quantum mechanics based on the virtues of avoiding both nonseparability and non locality.

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