Published online by Cambridge University Press: 01 January 2022
This article considers the following question: What is the relationship between supervenience and reduction? I investigate this formally: first, by introducing a recent argument by Christian List to the effect that one can have supervenience without reduction; then, by considering how the notion of Nagelian reduction can be related to the formal apparatus of definability and translation theory; then, by showing how, in the context of propositional theories, topological constraints on supervenience serve to enforce reducibility; and, finally, by showing how constraints derived from the theory of ultraproducts can enforce reducibility in the context of first-order theories.
Versions of this article were presented at the New Perspectives on Inter-theory Reduction Workshop (held at the University of Salzburg), the Second Annual Bristol-MCMP Workshop on Foundations of Physics (at the Munich Center for Mathematical Philosophy), and the PSA. I am grateful to the audiences at those events for helpful questions and commentary and to Laurenz Hudetz and Katie Robertson for many discussions of these and related ideas.