Precis of my book by this title, for a symposium.

Mark Hinchliff concludes a recent paper, "The Puzzle of Change," with a section entitled "Is the Presentist Refuted by the Special Theory of Relativity?" His answer is "no." I respond by arguing that presentists face great difficulties in merely stating their position in Minkowski spacetime. I round up some likely candidates for the job and exhibit their deficiencies.

The paper defends a view of structural realism similar to that of French and Ladyman, although it differs from theirs in an important respect: I do not take indistinguishabiity of particles in quantum mechanics to have the significance they think it has. It also differs from Cao's view of structural realism, criticized in my "Critical Notice: Cao's `The Conceptual Development of 20th Century Field Theories".

One of the issues dividing "absolutists" and "relationists" is the question whether all motion is relative motion or, in the words of Earman, spacetime has "structures that support absolute quantities of motion." This paper argues that, despite the enormous literature bearing on the topic, it is problematic to formulate a general criterion for when a quantity counts as absolute in contrast to merely relative in a way that is not hopelessly parasitic on other, presumably distinct, senses of "absolute." Furthermore, I (...) suggest that the vicissitudes of the evolution of the concept of absolute motion have contributed to this difficulty. (shrink)

The ArgumentRecent archival research has brought about a new understanding of the import of Einstein's puzzling remarks (1916) attributing a physical meaning to general covariance. Debates over the scope and meaning of general covariance still persist, even within physics. But already in 1921 Cassirer identified the significance of general covariance as a novel stage in the development of the criterion of objectivity within physics; an account of this development, and its implications, is the primary task undertaken in his monograph of (...) “epistemological considerations” on the theory of relativity. Cassirer's assessment is correct: general covariance, understood as an injunction against dynamical theories with background elements, is a “limiting heuristic principle” guiding Einstein's fundamental conception of a “complete field theory”; as such, it underlies a “separation principle” built into the conceptual framework of the EPR criticism of quantum mechanics. In conclusion, a further parallel is noted: mutual recognition that the principle of general covariance is but a form of “anthropomorphism.”. (shrink)

This brief paper shows how an exact analogue of Einstein's original hole argument can be constructed in the loop representation of quantum gravity. The new argument is based on the embedding of spin-networks in a manifold and the action of the diffeomorphism constraint on them. The implications of this result are then discussed. I argue that the conclusions of many physicists working on loop quantum gravity---Rovelli and Smolin in particular---that the loop representation uniquely supports relationalism are unfounded.

We extend the work of French and Redhead [1988] further examining the relation of quantum statistics to the assumption that quantum entities have the sort of identity generally assumed for physical objects, more specifically an identity which makes them susceptible to being thought of as conceptually individuatable and labelable even though they cannot be experimentally distinguished. We also further examine the relation of such hypothesized identity of quantum entities to the Principle of the Identity of Indiscernibles. We conclude that although (...) such an assumption of identity is consistent with the facts of quantum statistics, methodological considerations show that we should take quantum entities to be entirely unindividuatable, in the way suggested by a Fock space description. (shrink)

We extend the work of French and Redhead [1988] further examining the relation of quantum statistics to the assumption that quantum entities have the sort of identity generally assumed for physical objects, more specifically an identity which makes them susceptible to being thought of as conceptually individuatable and labelable even though they cannot be experimentally distinguished. We also further examine the relation of such hypothesized identity of quantum entities to the Principle of the Identity of Indiscernibles. We conclude that although (...) such an assumption of identity is consistent with the facts of quantum statistics, methodological considerations show that we should take quantum entities to be entirely unindividuatable, in the way suggested by a Fock space description. (shrink)

Doubts are raised concerning Rickles' claim that ``an exact analog of the hole argument can be constructed in the loop representation of quantum gravity'' (Rickles, `A new spin on the hole argument', Studies in History and Philosophy of Modern Physics 36 (2005) 415–434).

I consider different versions of a structuralist view of mathematical objects, according to which characteristic mathematical objects have no more of a 'nature' than is given by the basic relations of a structure in which they reside. My own version of such a view is non-eliminative in the sense that it does not lead to a programme for eliminating reference to mathematical objects. I reply to criticisms of non-eliminative structuralism recently advanced by Keränen and Hellman. In replying to the former, (...) I rely on a distinction between 'basic' and 'constructed' structures. A conclusion is that ideas from the metaphysical tradition can be misleading when applied to the objects of modern mathematics. (shrink)

The author endeavours to show two things: first, that Schrödingers (and Eckarts) demonstration in March (September) 1926 of the equivalence of matrix mechanics, as created by Heisenberg, Born, Jordan and Dirac in 1925, and wave mechanics, as created by Schrödinger in 1926, is not foolproof; and second, that it could not have been foolproof, because at the time matrix mechanics and wave mechanics were neither mathematically nor empirically equivalent. That they were is the Equivalence Myth. In order to make the (...) theories equivalent and to prove this, one has to leave the historical scene of 1926 and wait until 1932, when von Neumann finished his magisterial edifice. During the period 1926–1932 the original families of mathematical structures of matrix mechanics and of wave mechanics were stretched, parts were chopped off and novel structures were added. To Procrustean places we go, where we can demonstrate the mathematical, empirical and ontological equivalence of ‘the final versions of’ matrix mechanics and wave mechanics. -/- The present paper claims to be a comprehensive analysis of one of the pivotal papers in the history of quantum mechanics: Schrödingers equivalence paper. Since the analysis is performed from the perspective of Suppes structural view (‘semantic view’) of physical theories, the present paper can be regarded not only as a morsel of the internal history of quantum mechanics, but also as a morsel of applied philosophy of science. The paper is self-contained and presupposes only basic knowledge of quantum mechanics. For reasons of length, the paper is published in two parts; Part I appeared in the previous issue of this journal. Section 1 contains, besides an introduction, also the papers five claims and a preview of the arguments supporting these claims; so Part I, Section 1 may serve as a summary of the paper for those readers who are not interested in the detailed arguments. (shrink)

In the last decade, structural realism has been presented as the most promising strategy for developing a defensible realist view of science. Nevertheless, controversy still continues in relation to the exact meaning of the proposed structuralism. The stronger version of structural realism, the so-called ontic structural realism, has been argued for on the basis of some ideas related to quantum mechanics. In this paper, I will first outline these arguments, mainly developed by Steven French and James Ladyman, then challenge them, (...) putting a particular emphasis on a metaphysical principle which, even though it is crucial for the whole argument, hasn't been, in my opinion, clearly stated and examined yet. My overall view will be that a weaker version of the form of realism we are considering is more plausible – namely, epistemic structural realism. (shrink)

Model theoretic considerations purportedly show that a certain version of structural realism, one which articulates the nvtion of structure via Ramsey sentences, is in fact trivially true. In this paper we argue that the structural realist is by no means forced to Ramseyfy in the manner assumed in the formal proof. However, the structural realist's reprise is short-lived. For, as we show, there are related versions of the model theoretic argument which cannot be so easily blocked by the structural realist. (...) We examine various ways in which the structural realist may respond, and conclude that the best way of blocking the model theoretic argument involves formulating his Ramseyfied theories using intensional operators. Introduction The model theoretic arguments On Ramseyfying away predicates The model theoretic argument bites back Restricting the second order quantifiers 5.1 Naturalness 5.2 Intrinsic 5.3 Qualitative 5.4 Contingent and causal Intensional operators and relations between properties Conclusion. (shrink)

Experimental realism aims at striking a middle ground between scientific realism and anti-realism, between the success of experimental physics it would explain and the realism about scientific theories it would supplant. This middle ground reinstates the engineering idea that belief in scientific entities is justified on purely experimental grounds, without any commitment to scientific theories and laws. This paper argues that there is no defensible middle ground to be staked out when it comes to justifying physicists' belief in colored quarks, (...) and that experimental realism shifts, under analysis, into scientific realism. (shrink)

This essay contains a partial exploration of some key concepts associated with the epistemology of realist philosophies of science. It shows that neither reference nor approximate truth will do the explanatory jobs that realists expect of them. Equally, several widely-held realist theses about the nature of inter-theoretic relations and scientific progress are scrutinized and found wanting. Finally, it is argued that the history of science, far from confirming scientific realism, decisively confutes several extant versions of avowedly 'naturalistic' forms of scientific (...) realism. (shrink)

The ‘ontic’ form of structural realism , roughly speaking, admits a complete elimination of the objects in the discourse of scientific theories, leaving us with structures only. As put by the defenders of such a claim, the idea is that all there is are structures and, if the relevant structures are to be set-theoretical constructs , as it has also been claimed, then the relations which appear in such structures should be taken to be ‘relations without the relata’. As far (...) as we know, there is not a definition of structure in standard mathematics which fits their intuitions, and even category theory seems not to correspond adequately the OSR claims. Since OSR is also linked with the semantic approach to theories, the structures to be dealt with are taken to be set-theoretical constructs. But these are ‘relational’ structures where the involved relations are built from basic objects , and so no complete elimination of the relata is possible, although it would be adequate for characterizing OSR. In this paper we present a definition of a kind of relation that does not depend on the particular objects being related in the sense that the ‘relation’ continues to hold even if the relata are exchanged by suitable objects. Although there is not a ‘complete’ elimination of relata, our definition might be viewed as an alternative way of finding adequate mathematical ‘set-theoretical’ frameworks for describing at least some of the intuitions regarding OSR within a ‘set-theoretical’ framework. (shrink)

Sir Arthur Eddington, the celebrated astrophysicist, made great strides towards his own 'theory of everything'in his last two books published in 1936 and 1946. Unlike his earlier lucid and authoritative works, these are strangely tentative and obscure - as if he were nervous of the significant advances that he might be making. This volume examines both how Eddington came to write these uncharacteristic books - in the context of the physics and history of the day - and what value they (...) have to modern physics. The result is an illuminating description of the development of theoretical physics, in the first half of the twentieth century, from a unique point of view: how it affected Eddington's thought. This will provide fascinating reading for scholars in the philosophy of science, theoretical physics, applied mathematics and the history of science. (shrink)

Structural realism has been proposed as an epistemological position interpolating between realism and sceptical anti-realism about scientific theories. The structural realist who accepts a scientific theory thinks that is empirically correct, and furthermore is a realist about the ‘structural content’ of . But what exactly is ‘structural content’? One proposal is that the ‘structural content’ of a scientific theory may be associated with its Ramsey sentence (). However, Demopoulos and Friedman have argued, using ideas drawn from Newman's earlier criticism of (...) Russell's structuralism, that this move fails to achieve an interesting intermediate position between realism and anti-realism. Rather, () adds little content beyond the instrumentalistically acceptable claim that the theory is empirically adequate. Here, I formulate carefully the crucial claim of Demopoulos and Friedman, and show that the Ramsey sentence () is true just in case possesses a full model which is empirically correct and satisfies a certain cardinality condition on its theoretical domain. This suggests that structural realism is not a position significantly different from the anti-realism it attempts to distinguish itself from. Introduction Technical framework Ramsification Empirical adequacy Ramsification empirical adequacy + cardinality constraint Conclusion. (shrink)

Preanalytically, we are all scientific realists. But both philosophers and scientists become uncomfortable when forced into analysis. In the case of scientists, this discomfort often arises from practical difficulties in setting out a carefully described set of objects which adequately account for the phenomena with which they are concerned. This paper offers a set of representative examples of these difficulties for contemporary physicists. These examples challenge the traditional realist vision of mature scientific activity as struggling toward an ontologically well-defined world (...) picture. They challenge antirealist alternatives as well. (shrink)

The quantum gravity program seeks a theory that handles quantum matter fields and gravity consistently. But is such a theory really required and must it involve quantizing the gravitational field? We give reasons for a positive answer to the first question, but dispute a widespread contention that it is inconsistent for the gravitational field to be classical while matter is quantum. In particular, we show how a popular argument falls short of a no-go theorem, and discuss possible counterexamples. Important issues (...) in the foundations of physics are shown to bear crucially on all these considerations. (shrink)

Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung (...) für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt. (shrink)

We outline Ladyman's 'metaphysical' or 'ontic' form of structuralrealism and defend it against various objections. Cao, in particular, has questioned theview of ontology presupposed by this approach and we argue that by reconceptualisingobjects in structural terms it offers the best hope for the realist in thecontext of modern physics.

Department of History and Philosophy of Science. University of Cambridge, Free School Lane, Cambridge CB2 3RH This paper is concerned with the question of whether atomic particles of the same species, i. e. with the same intrinsic state-independent properties of mass, spin, electric charge, etc, violate the Leibnizian Principle of the Identity of Indiscernibles, in the sense that, while there is more than one of them, their state-dependent properties may also all be the same. The answer depends on what exactly (...) the state-dependent properties of atomic particles are taken to be. On the plausible interpretation that these should comprise all monadic and relational properties that can be expressed in terms of physical magnitudes associated with self-adjoint operators that can be defined for the individual particles, then the weakest form of the Principle is shown to be violated for bosons, fermions and higher-order paraparticles, treated in first quantization *Some of the arguments inn this paper appeared in a thesis submited by one of us (S.F.) In partial fulfilment of the requirements for the PhD degree of the University of London, in 1984. entitled 'Identity and ‘Individuality in Classical and Quantum Physics’. (shrink)