It is often claimed that one can avoid the kind of underdetermination that is a typical consequence of symmetries in physics by stipulating that symmetry-related models represent the same state of affairs (Leibniz Equivalence). But recent commentators (Dasgupta 2011; Pooley 2021; Pooley and Read 2021; Teitel 2021a) have responded that claims about the representational capacities of models are irrelevant to the issue of underdetermination, which concerns possible worlds themselves. In this paper I distinguish two versions of this objection: (1) that (...) a theory’s formalism does not (fully) determine the space of physical possibilities, and (2) that the relevant notion of possibility is not physical possibility. I offer a refutation of each. (shrink)

'The arrow of time' refers to the curious asymmetry that distinguishes the future from the past. Reversing the Arrow of Time argues that there is an intimate link between the symmetries of 'time itself' and time reversal symmetry in physical theories, which has wide-ranging implications for both physics and its philosophy. This link helps to clarify how we can learn about the symmetries of our world, how to understand the relationship between symmetries and what is real, and how to overcome (...) pervasive illusions about the direction of time. Roberts explains the significance of time reversal in a way that intertwines physics and philosophy, to establish what the arrow of time means and how we can come to know it. This book is both mathematically and philosophically rigorous yet remains accessible to advanced undergraduates in physics and the philosophy of physics. This title is also available as Open Access on Cambridge Core. (shrink)

Why is gauge symmetry so important in modern physics, given that one must eliminate it when interpreting what the theory represents? In this paper we discuss the sense in which gauge symmetry can be fruitfully applied to constrain the space of possible dynamical models in such a way that forces and charges are appropriately coupled. We review the most well-known application of this kind, known as the 'gauge argument' or 'gauge principle', discuss its difficulties, and then reconstruct the gauge argument (...) as a valid theorem in quantum theory. We then present what we take to be a better and more general gauge argument, based on Noether's second theorem in classical Lagrangian field theory, and argue that this provides a more appropriate framework for understanding how gauge symmetry helps to constrain the dynamics of physical theories. (shrink)

Science and mathematics continually change in their tools, methods, and concepts. Many of these changes are not just modifications but progress---steps to be admired. But what constitutes progress? This dissertation addresses one central source of intellectual advancement in both disciplines: reformulating a problem-solving plan into a new, logically compatible one. For short, I call these cases of compatible problem-solving plans "reformulations." Two aspects of reformulations are puzzling. First, reformulating is often unnecessary. Given that we could already solve a problem using (...) an older formulation, what do we gain by reformulating? Second, some reformulations are genuinely trivial or insignificant. Merely replacing one symbol with another does not lead to intellectual progress. What distinguishes significant reformulations from trivial ones? According to what I call "conceptualism" (or "conceptual empiricism"), reformulations are intellectually significant when they provide a different plan for solving problems. Significant reformulations provide inferentially different routes to the same solution. In contrast, trivial reformulations provide exactly the same problem-solving plans, and hence they do not change our understanding. This answers the second question about what distinguishes trivial from significant reformulations. However, the first question remains: what makes a new way of solving an old problem valuable? Here, a bevy of practical considerations come to mind: one formulation might be faster, less complicated, or use more familiar concepts. According to "instrumentalism," these practical benefits are all there is to reformulating. Some reformulations are simply more instrumentally valuable for meeting the aims of science than others. At another extreme, "fundamentalism" contends that a reformulation is valuable when it provides a more fundamental description of reality. According to this view, some reformulations directly contribute to the metaphysical aim of carving reality at its joints. Conceptualism develops a middle ground between instrumentalism and fundamentalism, preserving their benefits without their costs. I argue that the epistemic value of significant reformulations does not reduce to either practical or metaphysical value. Reformulations are valuable because they are a constitutive part of problem-solving. Both science and mathematics aim at solving all possible problems within their respective domains. Meeting this aim requires being able to plan for any possible problem-solving context, and this requires reformulating. By reformulating, we clarify what we need to know to solve problems. Still, one might wonder whether the value of reformulations requires underlying differences in explanatory power. According to "explanationism," a reformulation is valuable only when it provides a better explanation. Explanationism stands as a rival middle ground position to my own. However, it faces numerous counterexamples. In many cases, two reformulations provide the same explanation while nonetheless providing different ways of understanding a phenomenon. Hence, reformulating can be valuable even when neither formulation is more explanatory. Methodologically, I draw on a variety of case studies to support my account of reformulation. These range from classical mechanics to quantum chemistry, along with examples from mathematics. Symmetry arguments provide a paradigmatic example: the mathematics of symmetry groups radically recasts quantum mechanics and quantum chemistry. Nevertheless, elementary approaches exist that eschew this additional mathematical apparatus, solving problems in a more tedious but less mathematically-demanding manner. Further examples include reformulations of quantum field theory, Arabic vs. Roman numerals, and Fermat's little theorem in number theory. In each case, my account identifies how reformulations change and improve our understanding of science and mathematics. (shrink)

I explore the relationship between a prominent analysis of intrinsic properties, due to Langton and Lewis, and the phenomenon of quantum entanglement. As I argue, the analysis faces a puzzle. The full analysis classifies certain properties of entangled particles as intrinsic. But when combined with an extremely plausible assumption about duplication, the main part of the analysis classifies those properties as non-intrinsic instead. I conclude that much of Lewis’s metaphysics is in trouble: Lewis based many of his metaphysical views—his thesis (...) of Humean supervenience, for instance, and his account of recombination—on an analysis of intrinsicality which does not sit well with quantum phenomena. (shrink)

Gauge symmetries play a central role, both in the mathematical foundations as well as the conceptual construction of modern (particle) physics theories. However, it is yet unclear whether they form a necessary component of theories, or whether they can be eliminated. It is also unclear whether they are merely an auxiliary tool to simplify (and possibly localize) calculations or whether they contain independent information. Therefore their status, both in physics and philosophy of physics, remains to be fully clarified. In this (...) overview we review the current state of affairs on both the philosophy and the physics side. In particular, we focus on the circumstances in which the restriction of gauge theories to gauge invariant information on an observable level is warranted, using the Brout-Englert-Higgs theory as an example of particular current importance. Finally, we determine a set of yet to be answered questions to clarify the status of gauge symmetries. (shrink)

A thought experiment demonstrates that physicalism about consciousness entails a para- doxical duplication of physical information. Moreover, objective existence acquires the status of a physical property. To avoid this paradox, one requires a concept of objectivity in which individuation is finite and incomplete. Finite individuation requires objective uncertainty and is thus corroborated by the contemporary sciences. Finite individuation and objective uncer- tainty prevent existence from becoming a physical property, thus defeating physicalism about consciousness and resolving the paradox.

The dynamics of general relativity is encoded in a set of ten differential equations, the so-called Einstein field equations. It is usually believed that Einstein's equations represent a physical law describing the coupling of spacetime with material fields. However, just six of these equations actually describe the coupling mechanism: the remaining four represent a set of differential relations known as Bianchi identities. The paper discusses the physical role that the Bianchi identities play in general relativity, and investigates whether these identities (...) --qua part of a physical law-- highlight some kind of a posteriori necessity in a Kripkean sense. The inquiry shows that general relativistic physics has an interesting bearing on the debate about the metaphysics of the laws of nature. (shrink)

Seungbae Park argues that Bas van Fraassen’s rejection of inference to the best explanation (IBE) is problematic for his contextual theory of explanation because van Fraassen uses IBE to support the contextual theory. This paper provides a defense of van Fraassen’s views from Park’s objections. I point out three weaknesses of Park’s objection against van Fraassen. First, van Fraassen may be perfectly content to accept the implications that Park claims to follow from his views. Second, even if van Fraassen rejects (...) IBE he may still endorse particular arguments that instantiate IBE. Third, van Fraassen does not, in fact, use IBE to support his contextual theory. (shrink)

A common adage runs that, given a theory manifesting symmetries, the syntax of that theory should be modified in order to construct a new theory, from which symmetry-variant structure of the original theory has been excised. Call this strategy for explicating the underlying ontology of symmetry-related models reduction. Recently, Dewar has proposed an alternative to reduction as a means of articulating the ontology of symmetry-related models—what he calls sophistication, in which the semantics of the original theory is modified, and symmetry-related (...) models of that theory are treated as if they are isomorphic. In this paper, we undertake a critical evaluation of sophistication about symmetries—we find the programme underdeveloped in a number of regards. In addition, we clarify the interplay between sophistication about symmetries, and a separate debate to which Dewar has contributed—viz., that between interpretational versus motivational approaches to symmetry transformations. (shrink)

Philosophy and Phenomenological Research, EarlyView.

The objective of this thesis is to present a naturalised metaphysics of information, or to naturalise information, by way of deploying a scientific metaphysics according to which contingency is privileged and a-priori conceptual analysis is excluded (or at least greatly diminished) in favour of contingent and defeasible metaphysics. The ontology of information is established according to the premises and mandate of the scientific metaphysics by inference to the best explanation, and in accordance with the idea that the primacy of physics (...) constraint accommodates defeasibility of theorising in physics. This metametaphysical approach is used to establish a field ontology as a basis for an informational structural realism. This is in turn, in combination with information theory and specifically mathematical and algorithmic theories of information, becomes the foundation of what will be called a source ontology, according to which the world is the totality of information sources. Information sources are to be understood as causally induced configurations of structure that are, or else reduce to and/or supervene upon, bounded (including distributed and non-contiguous) regions of the heterogeneous quantum field (all quantum fields combined) and fluctuating vacuum, all in accordance with the above-mentioned quantum field-ontic informational structural realism (FOSIR.) Arguments are presented for realism, physicalism, and reductionism about information on the basis of the stated contingent scientific metaphysics. In terms of philosophical argumentation, realism about information is argued for primarily by way of an indispensability argument that defers to the practice of scientists and regards concepts of information as just as indispensable in their theories as contingent representations of structure. Physicalism and reductionism about information are adduced by way of the identity thesis that identifies the substance of the structure of ontic structural realism as identical to selections of structure existing in re to combined heterogeneous quantum fields, and to the total heterogeneous quantum field comprised of all such fields. Adjunctly, an informational statement of physicalism is arrived at, and a theory of semantic information is proposed, according to which information is intrinsically semantic and alethically neutral. (shrink)

In this paper, some conceptual issues are addressed in order to make sense of what string theory is supposed to tell us about spacetime. The dualities in string theory are used as a starting point for our argumentation. We explore the consequences of a standard view towards these dualities, namely that the dual descriptions represent the same physical situation. Given this view, one has to understand string theory in a manner such that what counts as physical spacetime is based only (...) on the shared physical content—or common core—of the dual descriptions. In general such a spatiotemporal picture does not have to agree with, or be similar to, any of the ones suggested by naïve readings of the dual descriptions. However, in certain regimes or limits, one or the other of the initial dual descriptions may give a good effective description of physical spacetime. (shrink)

Eleanor Knox has argued that our concept of spacetime applies to whichever structure plays a certain functional role in the laws (the role of determining local inertial structure). I raise two complications for this approach. First, our spacetime concept seems to have the structure of a cluster concept, which means that Knox's inertial criteria for spacetime cannot succeed with complete generality. Second, the notion of metaphysical fundamentality may feature in the spacetime concept, in which case spacetime functionalism may be uninformative (...) in the absence of answers to fundamental metaphysical questions like the substantivalist/relationist debate. (shrink)

It has been recently debated whether there exists a so-called “easy road” to nominalism. In this essay, I attempt to fill a lacuna in the debate by making a connection with the literature on infinite and infinitesimal idealization in science through an example from mathematical physics that has been largely ignored by philosophers. Specifically, by appealing to John Norton’s distinction between idealization and approximation, I argue that the phenomena of fractional quantum statistics bears negatively on Mary Leng’s proposed path to (...) easy road nominalism, thereby partially defending Mark Colyvan’s claim that there is no easy road to nominalism. (shrink)

I argue that a common philosophical approach to the interpretation of physical theories—particularly quantum field theories—has led philosophers astray. It has driven many to declare the quantum field theories employed by practicing physicists, so-called ‘effective field theories’, to be unfit for philosophical interpretation. In particular, such theories have been deemed unable to support a realist interpretation. I argue that these claims are mistaken: attending to the manner in which these theories are employed in physical practice, I show that interpreting effective (...) field theories yields a robust foundation for a more refined approach to scientific realism in the context of quantum field theory. The paper concludes by briefly sketching some general morals for interpretive practice in the philosophy of physics. (shrink)

A growing literature is premised on the claim that quantum mechanics provides evidence for metaphysical indeterminacy. But does it? None of the currently fashionable realist interpretations involve fundamental indeterminacy and the ‘standard interpretation’, to the extent that it can be made out, doesn't require indeterminacy either.

Two approaches to understanding the idealizations that arise in the Aharonov–Bohm effect are presented. It is argued that a common topological approach, which takes the non-simply connected electron configuration space to be an essential element in the explanation and understanding of the effect, is flawed. An alternative approach is outlined. Consequently, it is shown that the existence and uniqueness of self-adjoint extensions of symmetric operators in quantum mechanics have important implications for philosophical issues. Also, the alleged indispensable explanatory role of (...) said idealizations is examined via a minimal model explanatory scheme. Last, the idealizations involved in the AB effect are placed in a wider philosophical context via a short survey of part of the literature on infinite and essential idealizations. (shrink)

A major obstacle facing interpreters of quantum field theory is a proliferation of different theoretical frameworks. This article surveys three of the main available options—Lagrangian, Wightman, and algebraic QFT—and examines how they are related. Although each framework emphasizes different aspects of QFT, leading to distinct strengths and weaknesses, there is less tension between them than commonly assumed. Given the limitations of our current knowledge and the need for creative new ideas, I urge philosophers to explore puzzles, tools, and techniques from (...) all three approaches. (shrink)

I explore some of the ways that assumptions about the nature of substance shape metaphysical debates about the structure of Reality. Assumptions about the priority of substance play a role in an argument for monism, are embedded in certain pluralist metaphysical treatments of laws of nature, and are central to discussions of substantivalism and relationalism. I will then argue that we should reject such assumptions and collapse the categorical distinction between substance and property.

Philosophers of physics and physicists have long been intrigued by the analogies and disanalogies between gravitational theories and gauge theories. Indeed, repeated attempts to collapse these disanalogies have made us acutely aware that there are fairly general obstacles to doing so. Nonetheless, there is a special case space-time dimensions) in which gravity is often claimed to be identical to a gauge theory. I subject this claim to philosophical scrutiny in this article. In particular, I analyse how the standard disanalogies can (...) be overcome in dimensions, and consider whether really licenses the interpretation of gravity as a gauge theory. Our conceptual analysis reveals more subtle disanalogies between gravity and gauge, and connects these to interpretive issues in classical and quantum gravity. 1 Introduction1.1 Motivation1.2 Prospectus2 Disanalogies3 Three-dimensional gravity and gauge3.1 gravity3.2 Chern–Simons3.2.1 Cartan geometry3.2.2 Overcoming obst-gauge via Cartan connections3.3 Disanalogies collapsed4 Two More Disanalogies4.1 What about the symmetries?4.2 The phase spaces of the two theories5 Summary and Conclusion. (shrink)

Suppose that one thinks that certain symmetries of a theory reveal “surplus structure”. What would a formalism without that surplus structure look like? The conventional answer is that it would be a reduced theory: a theory which traffics only in structures invariant under the relevant symmetry. In this paper, I argue that there is a neglected alternative: one can work with a sophisticated version of the theory, in which the symmetries act as isomorphisms.

I argue that the Holonomy Interpretation, at least as it has been presented in Richard Healey’s Gauging What’s Real, faces serious problems. These problems are revealed when certain approximations and idealizations that are innate in the original formulation of the Aharonov-Bohm effect are thrust aside; in particular, when the temporal dimension is taken into account. There are two ways in which time re-appears in the picture: by considering complete solutions to the original problem, where the magnetic flux is static, and (...) by examining the effects of time dependent magnetic fluxes. Both cases expose explanatory gaps in the Interpretation, as well as conflicts between it and customary ideas about relativistic locality and local action on which the Interpretation depends. (shrink)

In der modernen Physik spielen Symmetrien eine herausragende Rolle zur Identifikation und Klassifizierung der fundamentalen Theorien und Entitäten. Symmetrien dienen der Darstellung invarianter Strukturen, das geeignete mathematische Werkzeug hierfür ist die Gruppentheorie. Eine Struktur lässt sich als eine Menge von Relationen verstehen, die einer Menge von Objekten aufgeprägt sind. Strukturell charakterisierte Objekte sind daher wesentlich über ihre relationalen Eigenschaften charakterisiert. Sieht man die theoretischen Entitäten wissenschaftlicher Theorien vornehmlich in dieser strukturellen Weise an, vertritt man eine moderate Variante eines wissenschaftlichen Realismus, (...) die als Strukturenrealismus bekannt ist. Im Umfeld dieser drei Konzepte – Symmetrien, Strukturen, Realismus – bewegt sich der folgende Aufsatz. (shrink)

In discussions of the Aharonov-Bohm effect, Healey and Lyre have attributed reality to loops $\sigma_0$ (or hoops $[\sigma_0]$), since the electromagnetic potential $A$ is currently unmeasurable and can therefore be transformed. I argue that $[A]=[A+d\lambda]_{\lambda}$ and the hoop $[\sigma_0]$ are related by a meaningful duality, so that however one feels about $[A]$ (or any potential $A\in[A]$), it is no worse than $[\sigma_0]$ (or any loop $\sigma_0\in[\sigma_0]$): no ontological firmness is gained by retreating to the loops, which are just as flimsy (...) as the potentials. And one wonders how the unmeasurability of one entity can invest another with physical reality; would an eventual observation of $A$ dissolve $\sigma_0$, consigning it to a realm of incorporeal mathematical abstractions? The reification of loops rests on the potential's ''gauge dependence''; which in turn rests on its unmeasurability; which is too shaky and arbitrary a notion to carry so much weight. (shrink)

It is widely recognized that ‘global’ symmetries, such as the boost invariance of classical mechanics and special relativity, can give rise to direct empirical counterparts such as the Galileo-ship phenomenon. However, conventional wisdom holds that ‘local’ symmetries, such as the diffeomorphism invariance of general relativity and the gauge invariance of classical electromagnetism, have no such direct empirical counterparts. We argue against this conventional wisdom. We develop a framework for analysing the relationship between Galileo-ship empirical phenomena on the one hand, and (...) physical theories that model such phenomena on the other, that renders the relationship between theoretical and empirical symmetries transparent, and from which it follows that both global and local symmetries can give rise to Galileo-ship phenomena. In particular, we use this framework to exhibit an analogue of Galileo’s ship for the local gauge invariance of electromagnetism. 1 Introduction2 Analogues of Galileo’s Ship? Faraday’s Cage and t’Hooft’s Beam-Splitter2.1 Faraday’s cage2.2 t’Hooft’s beam-splitter3 A Framework for Symmetries I: Systems and Subsystems4 An Example: Coulombic Electrostatics5 A Framework for Symmetries II: The Relationship between Theoretical and Empirical Symmetries6 Newtonian Gravity7 Local Symmetries that Are Not Boundary-Preserving: Classical Electromagnetism and Faraday’s Cage8 Local Boundary-Preserving Symmetries: Klein-Gordon-Maxwell Gauge Theory and t’Hooft’s Beam-Splitter9 Summary10 Conclusions. (shrink)

The logic of gauge theory is considered by tracing its development from general relativity to Yang-Mills theory, through Weyl's two gauge theories. A handful of elements---which for want of better terms can be called \emph{geometrical justice}, \emph{matter wave}, \emph{second clock effect}, \emph{twice too many energy levels}---are enough to produce Weyl's second theory; and from there, all that's needed to reach the Yang-Mills formalism is a \emph{non-Abelian structure group} (say $\mathbb{SU}\textrm{(}N\textrm{)}$).

String theory promises to be able to provide us with a working theory of quantum gravity and a unified description of all fundamental forces. In string theory there are so called ‘dualities’; i.e. different theoretical formulations that are physically equivalent. In this article these dualities are investigated from a philosophical point of view. Semantic and epistemic questions relating to the problem of underdetermination of theories by data and the debate on realism concerning scientific theories are discussed. Depending on ones views (...) on semantic issues and realism different interpretations are possible of the dualities. (shrink)

This article examines the implications of the holonomy interpretation of classical electromagnetism. As has been argued by Richard Healey and Gordon Belot, classical electromagnetism on this interpretation evinces a form of nonseparability, something that otherwise might have been thought of as confined to nonclassical physics. Consideration of the differences between this classical nonseparability and quantum nonseparability shows that the nonseparability exhibited by the classical electromagnetism on the holonomy interpretation is closer to separability than might at first appear.

This paper provides a survey of several philosophical issues arising in classical electrodynamics arguing that there is a philosophically rich set of problems in theories of classical physics that have not yet received the attention by philosophers that they deserve. One issue, which is connected to the philosophy of causation, concerns the temporal asymmetry exhibited by radiation fields in the presence of wave sources. Physicists and philosophers disagree on whether this asymmetry reflects a fundamental causal asymmetry or is due to (...) statistical or thermodynamic considerations. I suggest that an explanation appealing to the asymmetry of causation is more promising. Another issue concerns the conceptual structure of the theory. Despite its empirical success, classical electrodynamics faces serious foundational problems. Models of charged particles involve what by the theory's own lights are idealizations, I maintain, and this is a feature that is not readily captured by traditional philosophical accounts of scientific theories. Other issues I discuss concern (i) the relation between Lorentz's theory of the electron and Einstein's Theory of Special Relativity; (ii) the notion of the domain of a theory, the question of theory reduction, and the relation between classical and more fundamental quantum theories; and (iii) the role of locality constraints, their relation to the concept of causation; and the status of locality conditions in the semi-classical theory of the Aharanov-Bohm effect. (shrink)

While empirical symmetries relate situations, theoretical symmetries relate models of a theory we use to represent them. An empirical symmetry is perfect if and only if any two situations it relates share all intrinsic properties. Sometimes one can use a theory to explain an empirical symmetry by showing how it follows from a corresponding theoretical symmetry. The theory then reveals a perfect symmetry. I say what this involves and why it matters, beginning with a puzzle that is resolved by the (...) subsequent analysis. I conclude by pointing to applications and implications of the ideas developed earlier in the paper. (shrink)

I show how Sir William Rowan Hamilton’s philosophical commitments led him to a causal interpretation of classical mechanics. I argue that Hamilton’s metaphysics of causation was injected into his dynamics by way of a causal interpretation of force. I then detail how forces are indispensable to both Hamilton’s formulation of classical mechanics and what we now call Hamiltonian mechanics (i.e., the modern formulation). On this point, my efforts primarily consist of showing that the contemporary orthodox interpretation of potential energy is (...) the interpretation found in Hamilton’s work. Hamilton called the potential energy function the “force-function” because he believed that it represents forces at work in the world. Various non-historical arguments for this orthodox interpretation of potential energy are provided, and matters are concluded by showing that in classical Hamiltonian mechanics, facts about the potential energies of systems are grounded in facts about forces. Thus, if one can tolerate the view that forces are causes of motion, then Hamilton provides one with a road map for transporting causation into one of the most mathematically sophisticated formulations of classical mechanics, viz., Hamiltonian mechanics. (shrink)

We argue that Hamiltonian mechanics is more fundamental than Lagrangian mechanics. Our argument provides a non-metaphysical strategy for privileging one formulation of a theory over another: ceteris paribus, a more general formulation is more fundamental. We illustrate this criterion through a novel interpretation of classical mechanics, based on three physical conditions. Two of these conditions suffice for recovering Hamiltonian mechanics. A third condition is necessary for Lagrangian mechanics. Hence, Lagrangian systems are a proper subset of Hamiltonian systems. Finally, we provide (...) a geometric interpretation of the principle of stationary action and rebut arguments for privileging Lagrangian mechanics. (shrink)

A standard line in the contemporary philosophical literature has it that physical theories are equivalent only when they agree on their empirical content, where this empirical content is often understood as being encoded in the equations of motion of those theories. In this article, we question whether it is indeed the case that the empirical content of a theory is exhausted by its equations of motion, showing that (for example) considerations of boundary conditions play a key role in the empirical (...) equivalence (or otherwise) of theories. Having argued for this, we show that philosophical claims made by Weatherall (2016) that electromagnetism in the Faraday tensor formalism is equivalent to electromagnetism in the vector potential formalism, and by Knox (2011) that general relativity is equivalent to teleparallel gravity, can both be called into question. We then show that properly considering the role of boundary conditions in theory structure can potentially restore these claims of equivalence and close with some remarks on the pragmatics of adjudications on theory identity. (shrink)

Elay Shech and John Earman have recently argued that the common topological interpretation of the Aharonov–Bohm (AB) effect is unsatisfactory because it fails to justify idealizations that it presupposes. In particular, they argue that an adequate account of the AB effect must address the role of boundary conditions in certain ideal cases of the effect. In this paper I defend the topological interpretation against their criticisms. I consider three types of idealization that might arise in treatments of the effect. First, (...) Shech takes the AB effect to involve an idealization in the form of a singular limit, analogous to the thermodynamic limit in statistical mechanics. But, I argue, the AB effect itself features no singular limits, so it doesn’t involve idealizations in this sense. Second, I argue that Shech and Earman’s emphasis on the role of boundary conditions in the AB effect is misplaced. The idealizations that are useful in connecting the theoretical description of the AB effect to experiment do interact with facts about boundary conditions, but none of these idealizations are presupposed by the topological interpretation of the effect. Indeed, the boundary conditions for which Shech and demands justification are incompatible with some instances of the AB effect, so the topological interpretation ought not justify them. Finally, I address the role of the non-relativistic approximation usually presumed in discussions of the AB effect. This approximation is essential if—as the topological interpretation supposes—the AB effect constrains and justifies a relativistic theory of the electromagnetic interaction. In this case the ends justify the means. So the topological view presupposes no unjustified idealizations. (shrink)

Eleanor Knox has argued that our concept of spacetime applies to whichever structure plays a certain functional role in the laws. I raise two objections to this inertial functionalism. First, it depends on a prior assumption about which coordinate systems defined in a theory are reference frames, and hence on assumptions about which geometric structures are spatiotemporal. This makes Knox’s account circular. Second, her account is vulnerable to several counterexamples, giving the wrong result when applied to topological quantum field theories (...) and parity- and time-asymmetric theories. I advance an alternative account on which our spacetime concept is a cluster concept. On this view, the notion of metaphysical fundamentality may feature in the cluster, in which case spacetime functionalism may be uninformative in the absence of answers to fundamental metaphysical questions like the substantivalist/relationist debate. (shrink)

There exists a common view that for theories related by a ‘duality’, dual models typically may be taken ab initio to represent the same physical state of affairs, i.e. to correspond to the same possible world. We question this view, by drawing a parallel with the distinction between ‘interpretational’ and ‘motivational’ approaches to symmetries.

We address a recent proposal concerning ‘surplus structure’ due to Nguyen et al.. We argue that the sense of ‘surplus structure’ captured by their formal criterion is importantly different from—and in a sense, opposite to—another sense of ‘surplus structure’ used by philosophers. We argue that minimizing structure in one sense is generally incompatible with minimizing structure in the other sense. We then show how these distinctions bear on Nguyen et al.’s arguments about Yang-Mills theory and on the hole argument.

Going from two dimensions to three can shed light on the Aharonov-Bohm debate. The three-dimensional analogy is misleading if taken too literally; it makes sense on a more abstract, formal level. A slight tweak is enough to produce gauge freedom in three dimensions.

In this article I assess the Invariance Principle, which states that only quantities that are invariant under the symmetries of our theories are physically real. I argue, contrary to current orthodoxy, that the variance of a quantity under a theory’s symmetries is not a sufficient basis for interpreting that theory as being uncommitted to the reality of that quantity. Rather, I argue, the variance of a quantity under symmetries only ever serves as a motivation to refrain from any commitment to (...) the quantity in question. (shrink)

I argue that the Hole Argument is based on a misleading use of the mathematical formalism of general relativity. If one is attentive to mathematical practice, I will argue, the Hole Argument is blocked.

I examine the construction process of the “Higgs mechanism” and its subsequent use by Steven Weinberg to formulate the electroweak theory of elementary particle physics. I characterize the development of the Higgs mechanism as a historical process that was guided through analogies drawn to the theories of solid-state physics and that was progressive through diverse contributions in the sixties from a number of physicists working independently. I also offer a detailed comparative study of the similarities and the differences that exist (...) between the approaches taken in these contributions. (shrink)

Many of the advances in string theory have been generated by the discovery of new duality symmetries connecting what were once thought to be distinct theories, solu- tions, processes, backgrounds, and more. Indeed, duality has played an enormously important role in the creation and development of numerous theories in physics and numerous fields of mathematics. Dualities often lie at those fruitful intersections at which mathematics and physics are especially strongly intertwined. In this paper I describe some of these dualities and (...) unpack some of their philosophical conse- quences, focusing primarily on string-theoretic dualities. I argue that dualities fall uncomfortably between symmetries and gauge redundancies, but that they differ in that they point to genuinely new deeper structures. (shrink)

The paper is a kind of opinionated review paper on current issues in the debate about Structural Realism, roughly the view that we should be committed in the structural rather than object-like content of our best current scientific theories. The major thesis in the first part of the paper is that Structural Realism has to take structurally derived intrinsic properties into account, while in the second part key elements of aligning Structural Realism with a Humean framework are outlined.

I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang-Mills theories.

I articulate and discuss a geometrical interpretation of Yang–Mills theory. Analogies and disanalogies between Yang–Mills theory and general relativity are also considered.