Functional reductionism characterises inter-theoretic reduction as the recovery of the upper-level behaviour described by the reduced theory in terms of the lower-level reducing theory. For instance, finding a statistical mechanical realiser that plays the functional role of thermodynamic entropy allows for establishing a reductive link between thermodynamics and statistical mechanics. This view constitutes a unique approach to reduction that enjoys a number of positive features, but has received limited attention in the philosophy of science. -/- This paper aims to clarify (...) the meaning of functional reductionism in science, with a focus on physics, to define both its place with respect to other approaches to reduction and its connection to ontology. To do so, we develop and explore two alternative frameworks for functional reduction, called Syntactic Functional Reductionism and Semantic Functional Reductionism. They represent two different possible stances on the view that expand and improve the basic functional reductionist approach along different lines, and make clear how the approach works in practice. The former elaborates on David Lewis’ account, is connected with the syntactic view of theories, is committed to a logical characterisation of functional roles, and is embedded within Nagelian reductionism. The latter adopts a semantic view of theories, spells out functional roles mainly in terms of mathematical roles within the models of theories, and is expressed in terms of the related structuralist approach to reduction. The development of these frameworks has the final goal of advancing functional reductionism, to make it a fully-fledged alternative account for reduction in science. (shrink)

David Wallace's `Dennett's Criterion' plays a key part in establishing realist claims about the existence of a multiverse emerging from the mathematical formalism of quantum physics, even after decoherence is fully appreciated. Although the philosophical preconditions of this criterion are not neutral, they are rarely explicitly addressed conceptually. I tease apart three: (I) a rejection of conceptual bridge laws even in cases of inhomogeneous reduction; (II) a reliance on the pragmatic notion of usefulness to highlight quasi-classical patterns, as seen in (...) a decoherence basis, over others; and (III) a structural realist or `functional realist' point of view that leads to individuating those patterns as real macroscopic objects at the coarse-grained level, as they are seen from the Classical Stance (analogous to Dennett's Intentional Stance). I conclude that the justification of Dennett's Criterion will be intimately tied up with the fate of strong forms of naturalism, and in particular that Wallacian quantum mechanics is a key case study for concretely evaluating his `math-first' structural realism (Wallace 2022). (shrink)