What Do Symmetries Tell Us About Structure?

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

On the Structure of Classical Mechanics

Jill North (North, 2009) has recently argued that Hamiltonian mechanics ascribes less structure to the world than Lagrangian mechanics does. I will argue that North's argument is not sound. In doing so, I will present some obstacles that must be navigated by anyone interested in comparing the amounts of structure that different physical theories ascribe to the world

Morita Equivalence

Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.Comment: 30 page

Mutual Translatability, Equivalence, and the Structure of Theories

This paper presents a simple pair of first-order theories that are not definitionally (nor Morita) equivalent, yet are mutually conservatively translatable and mutually 'surjectively' translatable. We use these results to clarify the overall geography of standards of equivalence and to show that the structural commitments that theories make behave in a more subtle manner than has been recognized

Extension, Translation, and the Cantor-Bernstein Property

The purpose of this paper is to examine in detail a particularly interesting pair of first-order theories. In addition to clarifying the overall geography of notions of equivalence between theories, this simple example yields two surprising conclusions about the relationships that theories might bear to one another. In brief, we see that theories lack both the Cantor-Bernstein and co-Cantor-Bernstein properties

On Einstein Algebras and Relativistic Spacetimes

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 (2012, 2015) and Weatherall (2015), the two are equivalent theories.Comment: 20 page

Skyline Sketches: A Hiker Called Taps Plays Taps

A thru-hiker plays “Taps” on his bugle at Lakes of the Clouds Hut in the White Mountains