This article investigates and resolves the question whether gauge symmetry can display analogs of the famous Galileo’s ship scenario. In doing so, it builds on and clarifies the work of Greaves and Wallace on this subject.

A classic result in the foundations of Yang-Mills theory, due to J. W. Barrett ["Holonomy and Path Structures in General Relativity and Yang-Mills Theory." Int. J. Th. Phys. 30, ], establishes that given a "generalized" holonomy map from the space of piece-wise smooth, closed curves based at some point of a manifold to a Lie group, there exists a principal bundle with that group as structure group and a principal connection on that bundle such that the holonomy map corresponds to (...) the holonomies of that connection. Barrett also provided one sense in which this "recovery theorem" yields a unique bundle, up to isomorphism. Here we show that something stronger is true: with an appropriate definition of isomorphism between generalized holonomy maps, there is an equivalence of categories between the category whose objects are generalized holonomy maps on a smooth, connected manifold and whose arrows are holonomy isomorphisms, and the category whose objects are principal connections on principal bundles over a smooth, connected manifold. This result clarifies, and somewhat improves upon, the sense of "unique recovery" in Barrett's theorems; it also makes precise a sense in which there is no loss of structure involved in moving from a principal bundle formulation of Yang-Mills theory to a holonomy, or "loop", formulation. (shrink)

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

The article proposes a novel approach to the much discussed question of which symmetries have ‘direct empirical significance’ and which do not. The approach is based on a development of a recently proposed framework by Hilary Greaves and David Wallace, who claim that, contrary to the standard folklore among philosophers of physics, ‘local’ symmetries may have direct empirical significance no less than ‘global’ ones. Partly vindicating the standard folklore, a result is derived here from a number of plausible assumptions, that (...) states that local symmetries can indeed have no direct empirical significance. Ways to interpret the result are considered and possible morals are outlined. 1 Introduction2 Greaves and Wallace on Interior versus Non-interior Symmetries3 Elaborating on the Greaves/Wallace Framework4 The Result5 Problems with ’t Hooft’s Beam Splitter6 Summary and Conclusion. (shrink)

The world appears to be well described by gauge theories; why? I suggest that gauge is more than mathematical redundancy. Gauge-dependent quantities can not be predicted, but there is a sense in which they can be measured. They describe “handles” though which systems couple: they represent real relational structures to which the experimentalist has access in measurement by supplying one of the relata in the measurement procedure itself. This observation leads to a physical interpretation for the ubiquity of gauge: it (...) is a consequence of a relational structure of physical quantities. (shrink)

This essay is an attempt to sketch the evolution of type theory from its beginnings early in the last century to the present day. Central to the development of the type concept has been its close relationship with set theory to begin with and later its even more intimate relationship with category theory. Since it is effectively impossible to describe these relationships (especially in regard to the latter) with any pretensions to completeness within the space of a comparatively short article, (...) I have elected to offer detailed technical presentations of just a few important instances. (shrink)

Questions about the relation between identity and discernibility are important both in philosophy and in model theory. We show how a philosophical question about identity and dis- cernibility can be ‘factorized’ into a philosophical question about the adequacy of a formal language to the description of the world, and a mathematical question about discernibility in this language. We provide formal definitions of various notions of discernibility and offer a complete classification of their logical relations. Some new and surprising facts are (...) proved; for instance, that weak dis- cernibility corresponds to discernibility in a language with constants for every object, and that weak discernibility is the most discerning nontrivial discernibility relation. (shrink)

Quantum field theory (QFT) combines quantum mechanics with Einstein's special theory of relativity and underlies elementary particle physics. This book presents a philosophical analysis of QFT. It is the first treatise in which the philosophies of space-time, quantum phenomena, and particle interactions are encompassed in a unified framework. Describing the physics in nontechnical terms, and schematically illustrating complex ideas, the book also serves as an introduction to fundamental physical theories. The philosophical interpretation both upholds the reality of the quantum world (...) and acknowledges the irreducible cognitive elements in its representation. The interpretation is based on an analysis of our ways of thinking as the are embedded in the logical structure of QFT. The author argues that philosophical categories are significant only if they play active and essential roles in our knowledge and hence constitute part of the theories in actual use. Thus she regards physical theories as primary, extracts their categorical structure, and uses it to rethink key philosophical questions. Among the questions this book tries to answer are: What are the quantum properties independent of measurements? How do we refer to individual things in a continuous field? How do theories relate to objects? What are the general conditions of the world and of our ways of thinking that make possible our knowledge of the microscopic realm, which is so intangible and counterintuitive? As a penetrating analysis of vital themes in contemporary science, the book will engage the interest of students and professionals in physics and philosophy alike. (shrink)

In discussions about whether the Principle of the Identity of Indiscernibles is compatible with structuralist ontologies of mathematics, it is usually assumed that individual objects are subject to criteria of identity which somehow account for the identity of the individuals. Much of this debate concerns structures that admit of non-trivial automorphisms. We consider cases from graph theory that violate even weak formulations of PII. We argue that (i) the identity or difference of places in a structure is not to be (...) accounted for by anything other than the structure itself and that (ii) mathematical practice provides evidence for this view. We want to thank Leon Horsten, Jeff Ketland, Øystein Linnebo, John Mayberry, Richard Pettigrew, and Philip Welch for valuable comments on drafts of this paper. We are especially grateful to Fraser MacBride for correcting our interpretation of two of his papers and for other helpful comments. CiteULike Connotea Del.icio.us What's this? (shrink)

I consider the question of how literally one can construe the “gauge argument,” which is the canonical means of understanding the putatively central import of local gauge symmetry principles for fundamental physics. As I argue, the gauge argument must be afforded a heuristic reading. Claims to the effect that the argument reflects a deep “logic of nature” must, for numerous reasons I discuss, be taken with a grain of salt.

We analyze the geometric foundations of classical Yang-Mills theory by studying the relationships between internal relativity, locality, global/local invariance, and background independence. We argue that internal relativity and background independence are the two independent defining principles of Yang-Mills theory. We show that local gauge invariance -heuristically implemented by means of the gauge argument- is a direct consequence of internal relativity. Finally, we analyze the conceptual meaning of BRST symmetry in terms of the invariance of the gauge fixed theory under general (...) local gauge transformations. (shrink)

After decades of neglect philosophers of physics have discovered gauge theories--arguably the paradigm of modern field physics--as a genuine topic for foundational and philosophical research. Incidentally, in the last couple of years interest from the philosophy of physics in structural realism--in the eyes of its proponents the best suited realist position towards modern physics--has also raised. This paper tries to connect both topics and aims to show that structural realism gains further credence from an ontological analysis of gauge theories--in particular (...) U(1) gauge theory. In the first part of the paper the framework of fiber bundle gauge theories is briefly presented and the interpretation of local gauge symmetry will be examined. In the second part, an ontological underdetermination of gauge theories is carved out by considering the various kinds of non-locality involved in such typical effects as the Aharonov-Bohm effect. The analysis shows that the peculiar form of non-separability figuring in gauge theories is a variant of spatiotemporal holism and can be distinguished from quantum theoretic holism. In the last part of the paper the arguments for a gauge theoretic support of structural realism are laid out and discussed. (shrink)

Richard Healey argues that the Aharonov- Bohm effect demands the recognition of either nonlocal or nonseparable physics in much the way that violations of Bell's inequality do. A careful examination of the effect and the arguments, though, shows that Healey's interpretation of the Aharonov- Bohm effect depends critically on his interpretation of gauge theories, and that the analogy with violations of Bell's inequalities fails.

I apply homotopy type theory to the hole argument as formulated by Earman and Norton. I argue that HoTT gives a precise sense in which diffeomorphism-related Lorentzian manifolds represent the same spacetime, undermining Earman and Norton’s verificationist dilemma and common formulations of the hole argument. However, adopting this account does not alleviate worries about determinism: general relativity formulated on Lorentzian manifolds is indeterministic using this standard of sameness and the natural formalization of determinism in HoTT. Fixing this indeterminism results in (...) a more faithful mathematical representation of general relativity as used by physicists. It also gives a substantive notion of general covariance. (shrink)

Homotopy Type Theory is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might be (...) expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory, and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics?2.1 A characterization of a foundation for mathematics2.2 Autonomy3 The Basic Features of Homotopy Type Theory3.1 The rules3.2 The basic ways to construct types3.3 Types as propositions and propositions as types3.4 Identity3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types5.1 Tokens as mathematical objects?5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy7.1 Framework7.2 Semantics7.3 Metaphysics7.4 Epistemology7.5 Methodology8 Possible Objections to this Account8.1 A constructive foundation for mathematics?8.2 What are concepts?8.3 Isn’t this just Brouwerian intuitionism?8.4 Duplicated objects8.5 Intensionality and substitution salva veritate9 Conclusion9.1 Advantages of this foundation. (shrink)

Homotopy Type Theory is a proposed new language and foundation for mathematics, combining algebraic topology with logic. An important rule for the treatment of identity in HoTT is path induction, which is commonly explained by appeal to the homotopy interpretation of the theory's types, tokens, and identities as spaces, points, and paths. However, if HoTT is to be an autonomous foundation then such an interpretation cannot play a fundamental role. In this paper we give a derivation of path induction, motivated (...) from pre-mathematical considerations, without recourse to homotopy theory. (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)

In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, at least according (...) to some speculative research programs. (shrink)

Structural realist interpretations of generally relativistic spacetimes have recently come to enjoy a remarkable degree of popularity among philosophers. I present a challenge to these structuralist interpretations that arises from considering cosmological models in general relativity. As a consequence of their high degree of spacetime symmetry, these models resist a structuralist interpretation. I then evaluate the various strategies available to the structuralist to react to this challenge. †To contact the author, please write to: Department of Philosophy, 9500 Gilman Drive, 0119, (...) University of California, San Diego, La Jolla, CA 92093‐0119; e‐mail: [email protected]. (shrink)

Some authors have claimed that ante rem structuralism has problems with structures that have indiscernible places. In response, I argue that there is no requirement that mathematical objects be individuated in a non-trivial way. Metaphysical principles and intuitions to the contrary do not stand up to ordinary mathematical practice, which presupposes an identity relation that, in a sense, cannot be defined. In complex analysis, the two square roots of –1 are indiscernible: anything true of one of them is true of (...) the other. I suggest that ‘i’ functions like a parameter in natural deduction systems. I gave an early version of this paper at a workshop on structuralism in mathematics and science, held in the Autumn of 2006, at Bristol University. Thanks to the organizers, particularly Hannes Leitgeb, James Ladyman, and Øystein Linnebo, to my commentator Richard Pettigrew, and to the audience there. The paper also benefited considerably from a preliminary session at the Arché Research Centre at the University of St Andrews. I am indebted to my colleagues Craige Roberts, for help with the linguistics literature, and Ben Caplan and Gabriel Uzquiano, for help with the metaphysics. Thanks also to Hannes Leitgeb and Jeffrey Ketland for reading an earlier version of the manuscript and making helpful suggestions. I also benefited from conversations with Richard Heck, John Mayberry, Kevin Scharp, and Jason Stanley. CiteULike Connotea Del.icio.us What's this? (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)

The classical field theories that underlie the quantum treatments of the electromagnetic, weak, and strong forces share a peculiar feature: specifying the initial state of the field determines the evolution of some degrees of freedom of the theory while leaving the evolution of some others wholly arbitrary. This strongly suggests that some of the variables of the standard state space lack physical content-intuitively, the space of states of such a theory is of higher dimension than the corresponding space of genuine (...) physical possibilities. The structure of such theories can helpfully be characterized in terms of the action of symmetry groups on their space of states; and the conceptual problems surrounding their strange behavior can be sharpened in light of the observation that it is usually possible to eliminate the redundant variables associated with these symmetries-which turn out to be precisely those variables whose evolution is unconstrained by the dynamical laws of the theory. This paper discusses this approach, uses it to frame questions about the interpretation of classical gauge theories, and to reflect (pessimistically) on our prospects of reaching satisfactory answers to these questions. (shrink)

Symmetries in physics are most commonly recognized and discussed in terms of their function in the mathematical formalism of the theories. Discussion of the observation of symmetries in nature is less common. This paper analyses the observation of particular symmetries such as Lorentz and gauge symmetries, distinguishing between direct observation of the symmetry itself and indirect evidence, the latter being the observation of some consequence of the symmetry are, in an important sense, directly observed, while local symmetries such as gauge (...) symmetry are not. (shrink)

It is often said that the Aharonov-Bohm effect shows that the vector potential enjoys more ontological significance than we previously realized. But how can a quantum-mechanical effect teach us something about the interpretation of Maxwell's theory—let alone about the ontological structure of the world—when both theories are false? I present a rational reconstruction of the interpretative repercussions of the Aharonov-Bohm effect, and suggest some morals for our conception of the interpretative enterprise.

The Hole Argument is primarily about the meaning of general covariance in general relativity. As such it raises many deep issues about identity in mathematics and physics, the ontology of space–time, and how scientific representation works. This paper is about the application of a new foundational programme in mathematics, namely homotopy type theory, to the Hole Argument. It is argued that the framework of HoTT provides a natural resolution of the Hole Argument. The role of the Univalence Axiom in the (...) treatment of the Hole Argument in HoTT is clarified. (shrink)

In his 2009 PSA Recent Ph.D. Award winning contribution to the bi-annual PSA Conference at Pittsburgh in 2008, C. Wu ̈thrich mounted an argument against struc- turalism about space-time in the context of the General Theory of Relativity, to the effect that structuralists cannot discern space-time points. An “abysmal embarrass- ment” for the structuralist, Wu ̈thrich judged. Wu ̈thrich’s characterisation of space-time structuralism is however incorrect. We demonstrate how, on the basis of a correct char- acterisation of space-time structuralism, it (...) is possible to discern space-time points in the GTR-structures under consideration. Thus Wu ̈thrich’s argument crumbles. (shrink)

According to realist structuralism, mathematical objects are places in abstract structures. We argue that in spite of its many attractions, realist structuralism must be rejected. For, first, mathematical structures typically contain intra-structurally indiscernible places. Second, any account of place-identity available to the realist structuralist entails that intra-structurally indiscernible places are identical. Since for her mathematical singular terms denote places in structures, she would have to say, for example, that 1 = − 1 in the group (Z, +). We call this (...) the identity problem and conclude that nominalism is presently the safest route for the structuralist. (shrink)

In a recent paper in this journal, Kosso ([2000]) discussed the observational status of continuous symmetries of physics. While we are in broad agreement with his approach, we disagree with his analysis. In the discussion of the status of gauge symmetry, a set of examples offered by 't Hooft ([1980]) has influenced several philosophers, including Kosso; in all cases the interpretation of the examples is mistaken. In this paper, we present our preferred approach to the empirical significance of symmetries, re-analysing (...) the cases of gauge symmetry and general covariance. Direct and indirect empirical significance Global and local continuous symmetries Gauge symmetry 3.1 Local gauge symmetry 3.1.1 Discussion of the first claim 3.1.2 Discussion of the second claim 3.2 Global gauge symmetry Space-time symmetries Direct and indirect empirical significance again Conclusion. (shrink)

Richard Healey argues that the Aharonov-Bohm effect demands the recognition of either nonlocal or nonseparable physics in much the way that violations of Bell's inequality do. A careful examination of the effect and the arguments, though, shows that Healey's interpretation of the Aharonov-Bohm effect depends critically on his interpretation of gauge theories, and that the analogy with violations of Bell's inequalities fails.

This paper examines the so-called "gauge argument" sometimes used by physicists to motivate the introduction of gauge fields, here facilitated by an informal exposition of the fiber bundle formalism. The discussion suggests some preliminary ways of understanding the connection between gauge fields and interactions.

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...) type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

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)

This article explores the relation between the concept of symmetry and its formalisms. The standard view among philosophers and physicists is that symmetry is completely formalized by mathematical groups. For some mathematicians however, the groupoid is a competing and more general formalism. An analysis of symmetry that justifies this extension has not been adequately spelled out. After a brief explication of how groups, equivalence, and symmetries classes are related, we show that, while it’s true in some instances that groups are (...) too restrictive, there are other instances for which the standard extension to groupoids is too un restrictive. The connection between groups and equivalence classes, when generalized to groupoids, suggests a middle ground between the two. *Received July 2007. †To contact the authors, please write to: Alexandre Guay, UFR Sciences et Techniques, Université de Bourgogne, 9 Avenue Alain Savary, 21078 Dijon Cedex, France; e‐mail: [email protected] ; or to Brian Hepburn, Department of Philosophy, University of British Columbia, 1866 Main Mall E370, Vancouver, BC, Canada V6T 1Z1; e‐mail: [email protected]. (shrink)

The aim of this paper is twofold: First, to present an examination of the principles underlying gauge field theories. I shall argue that there are two principles directly connected to the two well-known theorems of Emmy Noether concerning global and local symmetries of the free matter-field Lagrangian, in the following referred to as "conservation principle" and "gauge principle". Since both these express nothing but certain symmetry features of the free field theory, they are not sufficient to derive a true interaction (...) coupling to a new gauge field. For this purpose it is necessary to advocate a third, truly empirical principle which may be understood as a generalization of the equivalence principle. The second task of the paper is to deal with the ontological question concerning the reality status of gauge potentials in the light of the proposed logical structure of gauge theories. A nonlocal interpretation of topological effects in gauge theories and, thus, the non-reality of gauge potentials in accordance with the generalized equivalence principle will be favoured. (shrink)

On standard accounts of scientific theorizing, the role of idealizations is to facilitate the analysis of some real world system by employing a simplified representation of the target system, raising the obvious worry about how reliable knowledge can be obtained from inaccurate descriptions. The idealizations involved in the Aharonov–Bohm effect do not, it is claimed, fit this paradigm; rather the target system is a fictional system characterized by features that, though physically possible, are not realized in the actual world. The (...) point of studying such a fictional system is to understand the foundations of quantum mechanics and how its predictions depart from those of classical mechanics. The original worry about the use of idealizations is replaced by a new one; namely, how can actual world experiments serve to confirm the AB effect if it concerns the behavior of a fictional system? Struggle with this issue helps to account for the fact that almost three decades elapsed before a consensus emerged that the predicted AB effect had received solid experimental support. Standard accounts of idealizations tout the role they play in making tractable the analysis of the target system; by contrast, the idealizations involved in the AB effect make its analysis both conceptually and mathematically challenging. The idealizations required for the AB effect are also responsible for the existence of unitarily inequivalent representations of the canonical commutation relations and of the current algebra, representations which an observer confined to the electron’s configuration space could invoke to ‘explain’ AB-type effect without the need to posit a hidden magnetic field. The goal of this paper is to bring to the attention of the philosophers of science these and other aspects of the AB effect which are neglected or inadequately treated in literature. (shrink)

On standard accounts of scientific theorizing, the role of idealizations is to facilitate the analysis of some real world system by employing a simplified representation of the target system, raising the obvious worry about how reliable knowledge can be obtained from inaccurate descriptions. The idealizations involved in the Aharonov–Bohm effect do not, it is claimed, fit this paradigm; rather the target system is a fictional system characterized by features that, though physically possible, are not realized in the actual world. The (...) point of studying such a fictional system is to understand the foundations of quantum mechanics and how its predictions depart from those of classical mechanics. The original worry about the use of idealizations is replaced by a new one; namely, how can actual world experiments serve to confirm the AB effect if it concerns the behavior of a fictional system? Struggle with this issue helps to account for the fact that almost three decades elapsed before a consensus emerged that the predicted AB effect had received solid experimental support. Standard accounts of idealizations tout the role they play in making tractable the analysis of the target system; by contrast, the idealizations involved in the AB effect make its analysis both conceptually and mathematically challenging. The idealizations required for the AB effect are also responsible for the existence of unitarily inequivalent representations of the canonical commutation relations and of the current algebra, representations which an observer confined to the electron’s configuration space could invoke to ‘explain’ AB-type effect without the need to posit a hidden magnetic field. The goal of this paper is to bring to the attention of the philosophers of science these and other aspects of the AB effect which are neglected or inadequately treated in literature. (shrink)

Among the most interesting features of Homotopy Type Theory is the way it treats identity, which has various unusual characteristics. We examine the formal features of “identity types” in HoTT, and how they relate to its other features including intensionality, constructive logic, the interpretation of types as concepts, and the Univalence Axiom. The unusual behaviour of identity types might suggest that they be reinterpreted as representing indiscernibility. We explore this by defining indiscernibility in HoTT and examine its relationship with identity. (...) We argue that identity types are a primitive component of HoTT and cannot be reduced to indiscernibility. (shrink)

I consider the question of how literally one can construe the “gauge argument,” which is the canonical means of understanding the putatively central import of local gauge symmetry principles for fundamental physics. As I argue, the gauge argument must be afforded a heuristic reading. Claims to the effect that the argument reflects a deep “logic of nature” must, for numerous reasons I discuss, be taken with a grain of salt.

In the philosophical literature on Yang-Mills theories, field formulations are taken to have more structure and to be local, while curve-based formulations are taken to have less structure and to be nonlocal. I formalize the notion of locality at issue and show that theories with less structure are nonlocal. However, the amount of structure had by some formulation is independent of whether it uses fields or curves. The relevant difference in structure is not a difference in set-theoretic structure. Rather, it (...) is a difference in the structure of the category of models of the theory. (shrink)

Rovelli’s “Why Gauge?” offers a parable to show that gauge-dependent quantities have a modal and relational physical significance. We subject the morals of this parable to philosophical scrutiny and argue that, while Rovelli’s main point stands, there are important disanalogies between his parable and Yang-Mills type gauge theory.