Citations of:
Categories and the Foundations of Classical Field Theories
In Elaine Landry (ed.), Categories for the Working Philosopher. Oxford, UK: Oxford University Press (forthcoming)
Add citations
You must login to add citations.


A ‘duality’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, dualityrelated theories appear to make very different ontological claims about the world—differing in e.g. spacetime structure, fundamental ontology, and mereological structure. In light of this, dualityrelated theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of dual theories, what (...) 

Mathematicians, physicists, and philosophers of physics often look to the symmetries of an object for insight into the structure and constitution of the object. My aim in this paper is to explain why this practice is successful. In order to do so, I present a collection of results that are closely related to (and in a sense, generalizations of) Beth’s and Svenonius’ theorems. 

In this essay I begin to lay out a conceptual scheme for: analysing dualities as cases of theoretical equivalence; assessing when cases of theoretical equivalence are also cases of physical equivalence. The scheme is applied to gauge/gravity dualities. I expound what I argue to be their contribution to questions about: the nature of spacetime in quantum gravity; broader philosophical and physical discussions of spacetime.  proceed by analysing duality through four contrasts. A duality will be a suitable isomorphism between models: (...) 

Classical accounts of intertheoretic reduction involve two pieces: first, the new terms of the higherlevel theory must be definable from the terms of the lowerlevel theory, and second, the claims of the higherlevel theory must be deducible from the lowerlevel theory along with these definitions. The status of each of these pieces becomes controversial when the alleged reduction involves an infinite limit, as in statistical mechanics. Can one define features of or deduce the behavior of an infinite idealized system from (...) 

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 YangMills theory and on the hole argument. 

In this article, I examine whether or not the Hamiltonian and Lagrangian formulations of classical mechanics are equivalent theories. I do so by applying a standard for equivalence that was recently introduced into philosophy of science by Halvorson and Weatherall. This case study yields three general philosophical payoffs. The first concerns what a theory is, while the second and third concern how we should interpret what our physical theories say about the world. 1Introduction 2When Are Two Theories Equivalent? 3Preliminaries on (...) 

In this paper we present a schema for describing dualities between physical theories, and illustrate it in detail with the example of bosonization: a bosonfermion duality in twodimensional quantum field theory. The schema develops proposals in De Haro : these proposals include construals of notions related to duality, like representation, model, symmetry and interpretation. The aim of the schema is to give a more precise criterion for duality than has so far been considered. The bosonization example, or bosonfermion duality, has (...) 

In this paper, we examine the relationship between general relativity and the theory of Einstein algebras. We show that according to a formal criterion for theoretical equivalence recently proposed by Halvorson and Weatherall, the two are equivalent theories. 

We discuss ways in which category theory might be useful in philosophy of science, in particular for articulating the structure of scientific theories. We argue, moreover, that a categorical approach transcends the syntaxsemantics dichotomy in 20th century analytic philosophy of science. 

I argue that a criterion of theoretical equivalence due to Glymour :227–251, 1977) does not capture an important sense in which two theories may be equivalent. I then motivate and state an alternative criterion that does capture the sense of equivalence I have in mind. The principal claim of the paper is that relative to this second criterion, the answer to the question posed in the title is “yes”, at least on one natural understanding of Newtonian gravitation. 

David Albert claims that classical electromagnetic theory is not time reversal invariant. He acknowledges that all physics books say that it is, but claims they are ``simply wrong" because they rely on an incorrect account of how the time reversal operator acts on magnetic fields. On that account, electric fields are left intact by the operator, but magnetic fields are inverted. Albert sees no reason for the asymmetric treatment, and insists that neither field should be inverted. I argue, to the (...) 

Quine often argued for a simple, untyped system of logic rather than the typed systems that were championed by Russell and Carnap, among others. He claimed that nothing important would be lost by eliminating sorts, and the result would be additional simplicity and elegance. In support of this claim, Quine conjectured that every manysorted theory is equivalent to a singlesorted theory. We make this conjecture precise, and prove that it is true, at least according to one reasonable notion of theoretical (...) 

This article proposes to explicate theoretical equivalence by supplementing formal equivalence criteria with preservation conditions concerning interpretation. I argue that both the internal structure of models and choices of morphisms are aspects of formalisms that are relevant when it comes to their interpretation. Hence, a formal criterion suitable for being supplemented with preservation conditions concerning interpretation should take these two aspects into account. The two currently most important criteria—generalized definitional equivalence and categorical equivalence—are not optimal in this respect. I put (...) 

This paper attempts to make sense of a notion of ``approximation on certain scales'' in physical theories. I use this notion to understand the classical limit of ordinary quantum mechanics as a kind of scaling limit, showing that the mathematical tools of strict quantization allow one to make the notion of approximation precise. I then compare this example with the scaling limits involved in renormalization procedures for effective field theories. I argue that one does not yet have the mathematical tools (...) 

I discuss several issues related to "classical" spacetime structure. I review Galilean, Newtonian, and Leibnizian spacetimes, and briefly describe more recent developments. The target audience is undergraduates and early graduate students in philosophy; the presentation avoids mathematical formalism as much as possible. 