Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...) not be specified by a set of axioms in a formal language. We survey various accounts of scientific theories entertained in the 20th century -- removing some misconceptions, and clearing a path for future research. (shrink)

I consider two usages of the expression "gauge theory". On one, a gauge theory is a theory with excess structure; on the other, a gauge theory is any theory appropriately related to classical electromagnetism. I make precise one sense in which one formulation of electromagnetism, the paradigmatic gauge theory on both usages, may be understood to have excess structure, and then argue that gauge theories on the second usage, including Yang-Mills theory and general relativity, do not generally have excess structure (...) in this sense. (shrink)

Category Theory has developed rapidly. This book aims to present those ideas and methods which can now be effectively used by Mathe­ maticians working in a variety of other fields of Mathematical research. This occurs at several levels. On the first level, categories provide a convenient conceptual language, based on the notions of category, functor, natural transformation, contravariance, and functor category. These notions are presented, with appropriate examples, in Chapters I and II. Next comes the fundamental idea of an adjoint (...) pair of functors. This appears in many substantially equivalent forms: That of universal construction, that of direct and inverse limit, and that of pairs offunctors with a natural isomorphism between corresponding sets of arrows. All these forms, with their interrelations, are examined in Chapters III to V. The slogan is "Adjoint functors arise everywhere". Alternatively, the fundamental notion of category theory is that of a monoid -a set with a binary operation of multiplication which is associative and which has a unit; a category itself can be regarded as a sort of general­ ized monoid. Chapters VI and VII explore this notion and its generaliza­ tions. Its close connection to pairs of adjoint functors illuminates the ideas of universal algebra and culminates in Beck's theorem characterizing categories of algebras; on the other hand, categories with a monoidal structure lead inter alia to the study of more convenient categories of topological spaces. (shrink)

Space, Time, and Stuff is an attempt to show that physics is geometry: that the fundamental structure of the physical world is purely geometrical structure. Along the way, he examines some non-standard views about the structure of spacetime and its inhabitants, including the idea that space and time are pointless, the idea that quantum mechanics is a completely local theory, the idea that antiparticles are just particles travelling back in time, and the idea that time has no structure whatsoever. The (...) main thrust of the book, however, is that there are good reasons to believe that spaces other than spacetime exist, and that it is the existence of these additional spaces that allows one to reduce all of physics to geometry. Philosophy, and metaphysics in particular, plays an important role here: the assumption that the fundamental laws of physics are simple in terms of the fundamental physical properties and relations is pivotal."--P. [4] of cover. (shrink)

According to the semantic view of scientific theories, theories are classes of models. I show that this view -- if taken seriously as a formal explication -- leads to absurdities. In particular, this view equates theories that are truly distinct, and it distinguishes theories that are truly equivalent. Furthermore, the semantic view lacks the resources to explicate interesting theoretical relations, such as embeddability of one theory into another. The untenability of the semantic view -- as currently formulated -- threatens to (...) undermine scientific structuralism. (shrink)

Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject.

Hume famously warned us that the ‘[The] ultimate springs and principles are totally shut up from human curiosity and enquiry’. Or, again, Newton: ‘Hitherto I have not been able to discover the cause of these properties of gravity … and I frame no hypotheses.’ Aristotelian science was concerned with just such questions, the specification of occult qualities, the real essences that answer the question What is matter, etc?, the preoccupation with circular definitions such as dormative virtues, and so on. The (...) rise of modern science is usually seen as a break with the sterility of Aristotelianism, so what exactly is it that modern science does discover, if it is not the essential nature of matter, of force, of energy, of space and time? A famous answer was provided by Poincaré: ‘The true relations between these real objects are the only reality we can attain.’ This is often regarded as the manifesto of so-called structural realism, as espoused in recent years by John Worrall, for example ). In response to the arguments of Larry Laudan against convergent realism, Worrall points to the continuity in the formal relations between elements of reality expressed by mathematical equations, while the intrinsic nature of these elements of reality gets constantly revised. (shrink)

Those looking for holism in contemporary physics have focused their attention primarily on quantum entanglement. But some gauge theories arguably also manifest the related phenomenon of nonseparability. While the argument is strong for the classical gauge theory describing electromagnetic interactions with quantum “particles”, it fails in the case of general relativity even though that theory may also be formulated in terms of a connection on a principal fiber bundle. Anandan has highlighted the key difference in his analysis of a supposed (...) gravitational analog to the Aharonov-Bohm effect. By contrast with electromagnetism in the original Aharonov-Bohm effect, gravitation is separable and exhibits no novel holism in this case. Whether the nonseparability of classical gauge theories of non-gravitational interactions is associated with holism depends on what counts as the relevant part-whole relation. Loop representations of quantized gauge theories of non- gravitational interactions suggest that these conclusions about holism and nonseparability may extend also to quantum theories of the associated fields. (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.

I argue that the metaphysical import of the Aharonov-Bohm effect has been overstated: correctly understood, it does not require either rejection of gauge invariance or any novel form of nonlocality. The conclusion that it does require one or the other follows from a failure to keep track, in the analysis, of the complex scalar field to which the magnetic vector potential is coupled. Once this is recognised, the way is clear to a local account of the ontology of electrodynamics ; (...) I sketch a possible such account. (shrink)

This is a prize-winning study of an area of physics not previously explored by philosophy: gauge theory. Gauge theories have provided our most successful representations of the fundamental forces of nature. But how do such representations work? Healey defends an original answer to this question.

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.

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.

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)

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 defend the interpretation of the Aharonov-Bohm effect originally advanced by Aharonov and Bohm, i.e., that it is caused by an interaction between the electron and the vector potential. The defense depends on taking the fiber bundle formulation of electrodynamics literally, or almost literally.