2. Functional reductionism

This section introduces functional reductionism as presented by Lewis (Reference Lewis1970, Reference Lewis1972) and Butterfield and Gomes (Reference Butterfield and Gomes2020a). In section 2.1, I introduce the view and highlight the features of the account that will be crucial for the topic of the article. In section 2.2, I present an example of functional reduction in the Lewisian model to situate our discussion within a realistic case of reduction in science.

2.1 Lewisian Functional Reductionism

Take a theory (this will be our “top” theory) and call T-terms the theoretical terms $ \tau _{1},\ldots \tau _{n}$ introduced by the theory, and call the rest of the terms in which the theory is couched O-terms.Footnote ⁴ Let’s then form the postulate of the theory T:

$$ T (\tau _{1},\ldots \tau _{n}). $$

This is a sentence that contains all the theoretical postulates of the theory (e.g., $ \vec{F}=m\vec{a}$ ), expressed as a long conjunction. If we replace the T-terms with open variables, we obtain the realization formula of T:

$$ T (x_{1},\ldots x_{n}). $$

Any n-tuple of entities that satisfies this formula may be said to realize the theory T. We can now introduce the Ramsey sentence, which says that T is realized:

$$ \exists x_{1},\ldots x_{n} T (x_{1},\ldots x_{n}). $$

Accordingly, we can also define a modified Ramsey sentence, which states that T is uniquely realized, that is, that there is just one set of entities that realize the theory:

$$ \exists y_{1},\ldots y_{n} \forall x_{1},\ldots x_{n}(T[x_{1},\ldots x_{n}]\equiv .y_{1}=x_{1}\wedge \ldots \wedge y_{n}=x_{n}). $$

Then, let’s introduce the Carnap sentence, the role of which is to interpret the T-terms:

$$ \exists x_{1},\ldots x_{n} T (x_{1},\ldots x_{n}) \rightarrow T(\tau _{1},\ldots \tau _{n}). $$

It says that if T is realized, then the n-tuple of entities named by $\tau _{1},\ldots \tau _{n}$ is a realization of T. Thus, assuming that T is uniquely realized,Footnote ⁵ the Carnap sentence is logically equivalent to a series of sentences that explicitly defines the T-terms, purely by means of O-terms:

$$ \tau _{1}{{{def}}\atop{=}}\, \imath y_{1} \exists y_{2},\ldots y_{n}\forall x_{1},\ldots x_{n}(T[x_{1},\ldots x_{n}]\equiv .y_{1}=x_{1}\wedge \ldots \wedge y_{n}=x_{n})$$

$$\tau _{n}{{{def}}\atop{=}}\, \imath y_{n} \exists y_{1},\ldots y_{n-1}\forall x_{1},\ldots x_{n}(T[x_{1},\ldots x_{n}]\equiv .y_{1}=x_{1}\wedge \ldots \wedge y_{n}=x_{n}). $$

That is, assuming that our theory is uniquely realized, once we write down the postulate of the theory and we derive the realization formula, we can derive an explicit definition for each of the theoretical terms in the theory. As Lewis (Reference Lewis1972, 255) claims,

This is what I have called functional definition. The T-terms have been defined as the occupants of the causal roles specified by the theory T; as the entities, whatever those may be, that bear certain causal relations to one another and to the referents of the O-terms.

Thus this is a formal way to functionally characterize the theoretical entities postulated by a certain theory. But suppose now that a second theory $ T^{*}$ is introduced. This will be our “bottom” theory. $ T^{*}$ introduces a new set of theoretical terms, which we can call $ O^{*}$ -terms. $ O^{*}$ -terms are either $ T^{*}$ -terms or O-terms. Suppose further that

$$T* \vdash T[\rho _{1}\ldots \rho _{n}], $$

where $ \rho _{1}\ldots \rho _{n}$ are $ O^{*}$ -terms, introduced independently from the terms $ \tau _{1},\ldots \tau _{n}$ . $ T[\rho _{1}\ldots \rho _{n}]$ is called the weak reduction premise for T, and it does not contain T-terms. It says that T is realized by an n-tuple of entities $ \rho _{1}\ldots \rho _{n}$ . Thus T is realized by an n-tuple of entities expressed in the vocabulary of the new theory. Now, Lewis (Reference Lewis1970) points out that the postulate $ T (\tau _{1},\ldots \tau _{n})$ can be derived from the weak reduction premise together with some bridge laws of the following form, which are usually taken as separate empirical hypotheses:

$$ \rho _{1}=\tau _{1}, \ldots, \rho _{n}=\tau _{n}. $$

Alternatively, the bridge laws can be derived from $ T^{*}$ alone. In the case in which T is uniquely realized by an n-tuple of entities named by $ \rho _{1}\ldots \rho _{n}$ , we can accept the following sentence, which we can call the strong reduction premise for T:

$$ \forall x_{1},\ldots x_{n}(T[x_{1},\ldots x_{n}]\equiv .\rho _{1}=x_{1}\wedge \ldots \wedge \rho _{n}=x_{n}). $$

This sentence logically implies the following definitions, which are $ O^{*}$ -sentences and can therefore be theorems of $ T^{*}$ :

$$ \rho _{1}= \imath y_{1} \exists y_{2},\ldots y_{n}\forall x_{1},\ldots x_{n}(T[x_{1},\ldots x_{n}]\equiv .y_{1}=x_{1}\wedge \ldots \wedge y_{n}=x_{n})$$

$$\rho _{n}= \imath y_{n} \exists y_{1},\ldots y_{n-1}\forall x_{1},\ldots x_{n}(T[x_{1},\ldots x_{n}]\equiv .y_{1}=x_{1}\wedge \ldots \wedge y_{n}=x_{n}).$$

This entails the theoretical identifications $ \rho _{1}=\tau _{1}, \ldots, \rho _{n}=\tau _{n}$ by transitivity of identity; that is, the strong reduction premise entails the theoretical identifications by itself. We thus have bridge laws in the form of identities between the two theories. Thanks to functionalism and functional identifications, these bridge laws are directly deduced from the reducing theory.

Having introduced the core of the Lewisian framework, let’s draw some further considerations. To begin with, we can see how this account exemplifies functional reductionism. First, it is a form of functionalism, because the “Ramseyfication” of the two theories is explicitly used to formulate functional definitions of the entities described by the theories. Second, it is a reductionist account. The Lewisian framework sets out intertheoretic reduction in the Nagelian sense, because the upper theory is taken to be derivable from the bottom theory, with the advantage of having bridge laws as deduced and not postulated, as stressed by Butterfield and Gomes (Reference Butterfield and Gomes2020a). These bridge laws have the special form of identity statements, as they follow from the identifications of the functional profiles given by functionalism.Footnote ⁶ Moreover, the account can accommodate the revised version of Nagelian reduction, as we can take as T the corrected version of the original theory from the outset.

Furthermore, as you can notice, this form of functional reductionism is spelled out in terms of theories. However, in Lewis’s account, this functional reductionism about theories, which leads to identity relations between theoretical terms, is meant to be a way to ensure functional reduction about ontology as well. Lewis makes this clear in several places, for instance, in the passage quoted earlier, where he stated that the T-terms refer to “the entities, whatever those may be, that bear certain causal relations to one another and to the referents of the O-terms” (Lewis Reference Lewis1972, 255).Footnote ⁷ The passage from theory to ontology is indeed straightforward. On the assumption that the theoretical terms refer to actual entities, the theoretical functionalization is just a means to codify in a scientifically accurate way the causal roles played by the worldly entities referred to by the theoretical terms. Thus functional reduction of theoretical terms is a guide to functional reduction of entities; that is, once we functionally define a theoretical term in the upper theory and find some other theoretical term in the bottom theory with the same role, we can infer that there is a bottom entity (referred to by the term $\rho _{i}$ ) to which the upper entity (denoted by $\tau _{i}$ ) is reduced.

This scientific realist and ontologically laden reading of functional reductionism is not peculiar to Lewis but rather explicitly underlies most of the cases in which the view is applied. As such, we can take it as an integral part of the view. In the philosophy of mind (cf. Kim Reference Kim1998), the reduction of folk psychology to physiology is used to functionally reduce mental states to brain states; in Lam and Wüthrich (Reference Lam and Wüthrich2018, Reference Lam and Wüthrich2020), theoretical reduction of general relativity to quantum gravity backs the functional reduction of space-time to nonspatiotemporal structures; in Albert (Reference Albert2015) and Lorenzetti (Reference Lorenzetti2022), theoretical reduction between laws of quantum mechanics and classical laws is used to argue for the functional reduction of three-dimensional entities to quantum wave functions; finally, a realist stance is supported by Butterfield and Gomes (Reference Butterfield and Gomes2020b) in the recovery of time from geometrodynamics.Footnote ⁸

We can thus notice that, given that the Lewisian model delivers (deduced) bridge laws in the form of identities between the theoretical terms, if we give an ontological interpretation of those terms, then it follows that functional reduction entails (type) identity relations between the elements of the two ontologies.Footnote ⁹ That is, once we functionalize a theory and then find out another theory the entities of which can realize the former theory, we are committed to drawing theoretical identifications across the two theories. If an entity belonging to the bottom theory plays the role that we associated with another entity within the top theory, those two entities are identical. This is the feature around which the puzzle of identity revolves and that will be crucial for the coming sections. Before that, however, I introduce a more concrete example of functional reduction to see how the identification works.

2.2 An Example of Functional Reduction

I present here an example of functional reduction in physics, concerning classical and quantum systems, drawing on Lorenzetti (Reference Lorenzetti2022). This is a simple instance of functional reduction, but it is nevertheless a realistic case study, and it allows us to see more closely how functional reductionism works in the Lewisian model and how it leads to identity relations. The scheme followed here would be the same for more complex cases, although the details would be less tractable. For example, the model could be similarly applied to cases like the functional reduction of space-time structures to spin networks in loop quantum gravity (cf. Lam and Wüthrich Reference Lam and Wüthrich2018, sec. 5) and the functional reduction of thermodynamic entropy to Gibbsian entropy in the context of thermodynamics and statistical mechanics (cf. Robertson Reference Robertson2022).

Our example concerns the functional reduction of a single-particle classical system to a single-particle quantum system.Footnote ¹⁰ Take first a quantum system associated with a wave function $\psi$ , subject to a potential $ V(x)$ . The Schrödinger equation for the system is

(1) $$\it i{{\unicode{x0127}}} {{\partial \psi } \over {\partial t}} = \hat H\psi ,$$

where $\hat{H}$ is the self-adjoint Hamiltonian: $\hat{H}=({\hat{p}^{2}}/{2m})+V(\hat{x})$ . Now say that we have an isolated and localized wave packet defined over configuration space. Its position, according to Ehrenfest’s theorem, can be said to evolve in this way:Footnote ¹¹

(2) $$ { {d}\over{dt}}\langle \hat{x} \rangle ={ {\langle \hat{p}\rangle }\over{m}}. $$

Similarly, for the momentum operator,

(3) $$ { {d}\over{dt}}\langle \hat{p} \rangle = - \left\langle { {\partial V(\hat{x})}\over{\partial x}} \right\rangle. $$

If we assume that $ \langle ({\partial V(\hat{x})})/{\partial x} \rangle$ is equal to $ ({\partial V(\langle \hat{x}\rangle ) })/{\partial x}$ —an assumption that is justified here by the fact that this is a localized wave packet—then the expectation values of the position and the momentum evolve like the classical position and momentum, and thus Equation 3 is equivalent to Newton’s second law. In fact, we can write the following:

(4) $$ m {{d^{2} \langle \hat{x} \rangle }\over{dt^{2}} }= {{d \langle \hat{p}\rangle }\over{dt}} = - {{\partial V(\langle \hat{x}\rangle ) }\over{\partial x}}, $$

which is, for narrowly localized wave packets, equivalent to a high approximation to

(5) $$ F = m{\dfrac{d^{2}x}{dt^{2}}} = {\dfrac{dp}{dt}} = -{\dfrac{dV(x)}{dx}}. $$

This means that, within the quantum mechanical picture, the center of the localized wave packet has a trajectory that is identical, up to a very high approximation, to the trajectory of a point particle of mass m within classical mechanics (in the Hamiltonian formulation). Thus the trajectory of the wave packet can be practically considered as a solution to the classical dynamic equation for a classical particle.

This leads to the conclusion that, up to a high approximation, a localized wave packet can behave as a classical point particle. This is all the functional reductionist needs. If all it takes to be a classical point particle is to behave according to Newton’s law for the evolution of a point particle, then we have just recovered a classical particle from the evolution of a wave packet.Footnote ¹² Following the Lewisian approach, functional reduction would proceed by functionally defining the concept of being a “classical point particle” in terms of its role in classical mechanics—as it is expressed by the laws of the theory properly restated in the form of a Ramsey sentence—and then by showing that such behavior is realized by a “highly localized one-particle quantum system.” In such a case, the classical system can be functionally reduced to the quantum system, provided the appropriate conditions. If we adopt a scientific realist stance to functional reduction, as discussed earlier, this entails that the localized quantum system turns out to be identical to the single classical point particle, in the sense that we talk about the same entity.

3. The puzzle of identity

This section introduces a challenge to functional reductionism that I call the puzzle of identity. The issue stems from the fact that functional reductionism embeds a “leveled” and asymmetrical picture of reality, which clashes prima facie with the identity relations described in section 2.

Start by considering the functionalist aspect of the functional reductionist framework. The first step of the functionalist account is the functionalization of a certain property or entity. The second step is to find a realizer for that functional role. The reductionist aspect of functional reductionism then follows from how this functionalization procedure formally works. First, the functional definition is picked out from a top theory, then the functional realizer is found within the ontology of the bottom theory. In this way, the ontology of the upper theory is reduced to the ontology of the bottom theory, in the right context. Thus not only does the account makes a clear distinction between a lower and an upper level but it seems to imply an asymmetrical relation between the two.Footnote ¹³ This is a feature that can be found in the general context of reductionism as well, as stressed by van Riel and van Gulick (Reference van Riel, van Gulick and Edward2019, 1), given that, when an entity x is said to be reduced to an entity y, “then y is in a sense prior to x, is more basic than x, is such that x fully depends upon it or is constituted by it.”

This leveled and asymmetrical conception of reality can indeed be found in those situations in which functional reductionism is applied in practice. For instance, if we functionally reduce classical systems to quantum systems (as we did in our simple earlier example and as is done by Albert [Reference Albert, Ney and David2013, Reference Albert2015] and Lorenzetti [Reference Lorenzetti2022]), or space-time to nonspatiotemporal structures (cf. Lam and Wüthrich Reference Lam and Wüthrich2018), the assumption would be that the former kind of entity is functionally reduced to the latter and not the other way round. The same would hold for the relation between thermodynamic quantities and statistical mechanical ones, as in the functional reductionist account proposed by Robertson (Reference Robertson2022); within the cases considered by Butterfield and Gomes (Reference Butterfield and Gomes2020b); and also in the philosophy of mind, where mental states are functionally reduced to brain states (cf. Lewis Reference Lewis1972; Kim Reference Kim1998).

However, here comes the challenge. In fact, as we have seen, the functional reductionist account presented entails identity, and identity relations are, of course, symmetrical. We can call this issue the “puzzle of identity”: how can reduced and reducing entities be asymmetrically related if they are identical? For instance, how can we combine the asymmetry implicit in the intuition that it is the classical system that is functionally reduced to the quantum one with the fact that the two are the same system?

This puzzle has first been raised by van Riel (Reference van Riel2013) as related to reductionism, but it has received little attention, and it is unexplored in the context of functional reductionism—where bridge laws, and thus identity relations, follow deductively from the functionalization process. Notice that, because of this, the tension is more pressing within functional reductionism than it is for general reductionism. In fact, whereas a reductionist can simply avoid the challenge by appealing to a reductionist account that is not formulated in terms of identity, the functional reductionist is necessarily committed to the identity relations, because those follow from the way in which reduction is obtained within the account, that is, via functionalism, as shown before.

One way for the functional reductionist to dissolve the tension would be to reject the claim that reductionism requires any form of asymmetry. In contrast with this counterintuitive move, the aim of the next section is to dissolve the tension while also vindicating the asymmetrical nature of functional reduction by moving the asymmetry from the ontological to the descriptive level. In other words, there is no tension because symmetry and asymmetry operate on different domains.

4. Reconciling identity and asymmetry

This section presents a strategy to deal with the the puzzle of identity. To do so, it appeals to List’s (Reference List2019) systematic framework of systems of levels (cf. Dewar et al. Reference Dewar, Fletcher, Hudetz, Kuś and Skowron2019). Recall that, because functional reduction entails identity, the entities belonging to the top theory (the realized entities) and those entities belonging to the bottom one (the realizers) do not occupy distinct levels within a hierarchy of levels, ontologically speaking. However, the ontological notion of levels at play here is not the only available conception of levels. Most important, one can distinguish between ontological and (more fine-grained) descriptive levels. List introduces a formal account of both notions, showing how systems of descriptive levels can be systematized. This section presents List’s framework for levels of description and argues that this notion can help us to solve the riddle of identity and to make room for (nonontological) asymmetry within functional reductionism.

Before discussing levels of description, let’s see how List (Reference List2019, 854) defines the generic notion of systems of levels:

A system of levels is a pair $ \langle \scr{L}, \scr{S} \rangle$ defined as follows:

• $ \scr{L}$ is a class of objects called levels, and

• $ \scr{S}$ is a class of mappings between levels, called supervenience mappings, where each such mapping $ \sigma$ has a source level L and a target level $ L'$ and is denoted by $ \sigma : L \rightarrow L'$

This is defined such that the following conditions hold:

1. (S1) If $ \scr{S}$ contains $ \sigma : L \rightarrow L'$ and $ \sigma ': L' \rightarrow L''$ , then it also contains the composite mapping $ \sigma \bullet \sigma ': L \rightarrow L''$ .

2. (S2) For each level L, there is an identity mapping $ \textbf{1}_{L}: L \rightarrow L$ in $ \scr{S}$ such that, for every mapping $ \sigma : L \rightarrow L'$ , we have $ \textbf{1}_{L'} \bullet \sigma = \sigma = \sigma \bullet \textbf{1}_{L}$ .

3. (S3) For any pair of levels L and $ L'$ , there is at most one mapping from L to $ L'$ in $ \scr{S}$ .

When $ \scr{S}$ contains the mapping $ \sigma : L \rightarrow L'$ , the level $ L'$ can be said to be supervenient on (or dependent on, determined by, necessitated by) the level L, and thus $ L'$ is the higher level, while L is the lower level. Also, supervenience is taken here to have its usual meaning; that is, a change in $ L'$ is impossible without any change in L.

Now that we have introduced the generic structure for a system of levels—which was needed to characterize the class $ \scr{S}$ of supervenience mappings—we can move to the more particular framework of levels of description. Its purpose is to give a model of levels that can account for the fact that different sciences describe the world in different ways, ranging over different levels of description. Following List (Reference List2019, 862), we introduce the notion of a language. We define a language L as a set of sentences plus (1) a negation operator $ \neg$ such that for every sentence $ \phi \in$ L, there is $ \neg \phi \in$ L, and (2) a consistency criterion, according to which, once we have fixed some sets of sentences as consistent, the remaining sets are classified as inconsistent.Footnote ¹⁴ According to List (Reference List2019, 862), any language L introduces a corresponding ontology, that is, “a minimally rich set of worlds $ \Omega _{L}$ such that each world in $ \Omega _{L}$ ‘settles’ everything that can be expressed in L,” where settling a sentence means to assign it a truth value. By linking truth conditions to the sentences, we are indeed committed to positing the ontology induced by L. In sum, the set $ \Omega _{L}$ represents all the possible ways the world could be according to L.

At this point, we can finally introduce the notion we need. Call a level of description any pair of a language L and its corresponding set of worlds $ \Omega _{L}$ . Then, a system of levels of descriptions $ \langle \scr{L}, \scr{S} \rangle$ is defined as follows (List Reference List2019, 863):

• $ \scr{L}$ is some nonempty class of levels of description, each of which is a pair $ \langle \textbf{L}, \Omega _{L} \rangle$ .

• $ \scr{S}$ is some class of surjective functions of the form $ \sigma : \Omega _{L} \rightarrow \Omega _{L'}$ , where $ \langle \textbf{L}, \Omega _{L} \rangle$ and $ \langle \textbf{L'}, \Omega _{L'} \rangle$ are levels of description in $ \scr{L}$ such that $\scr{S}$ satisfies (S1), (S2), and (S3).

Now, one can take $\scr{L}$ to contain levels of description corresponding to any science, from physics to chemistry. Any such level is going to embed a pair of a level-specific language and the corresponding set of induced (level-specific) worlds. For example, using the model presented here, one can argue that the chemistry level of description is determined by the physical level of description. More precisely, notice that the determination relation between the levels does not hold directly but holds in virtue of the supervenience mapping instantiated between the induced ontologies that respectively constitute the two levels of description. But there is also something more. In fact, levels of description are more fine grained than ontological levels; that is, they encode more information. Different languages, and thus different levels of description, can entail the same system of ontological levels. As List (Reference List2019, 863) crucially remarks, given the framework we have just introduced, “it should be no surprise that different languages can in principle be used to describe the same sets of level-specific worlds, while describing them differently.” Therefore it could be the case that the same ontology, the same ontological level, turns out to be described by different languages and so by distinct (perhaps supervenient) levels of description.

It is now time to take stock of what we have seen so far and make clear how List’s framework can help us with functional reductionism. To recap the problem at stake, identities between realizers and realized entities are at odds with the asymmetry between the two ontologies. However, we can break this impasse by appealing to levels of description; that is, even if functional reduction entails that there is only one ontological level (and ontological symmetry), there is still a sense in which we can say that there are two distinct levels of description in place that can accommodate a kind of asymmetry.

Consider the following quote. Butterfield and Gomes (Reference Butterfield and Gomes2020a, 4), in their introduction to functional reduction, highlight the fact that, within functionalism,

a single entity (extension) is picked out in two independent ways:

1. (a) as the unique occupant of a functional role extracted from the first [top] theory, and

2. (b) as specified by the second [bottom] theory.

This is the functional model that we have seen in section 2 and that entails identity in the form of coextensionality. The same extension is picked out in two different ways, that is, by the top and by the bottom theory. However, let’s now pay attention to how that extension is picked out by those distinct theories. Recall that—in the second section—the top theory was first introduced using theoretical terms (T-terms) and other/observational terms (O-terms). Then, after the “functionalization”—that is, after the application of the Ramsey sentence—the same theory was expressed only via O-terms. At that point, we constructed explicit (functional) definitions for the T-terms $ \tau _{1},\ldots \tau _{n}$ . At the same time, we introduced also a bottom theory, which was supposed to reduce the top theory. The bottom theory was embedded with a new vocabulary containing new theoretical terms ( $ T^{*}$ -terms). The terms in which the theory was expressed ( $ \rho _{1}\ldots \rho _{n}$ ) were called $ O^{*}$ -terms, that is, either $ T^{*}$ -terms or O-terms. Then, we showed that we can build bridge laws $ \rho _{1}=\tau _{1}, \ldots, \rho _{n}=\tau _{n}$ between the terms of the two theories. In this sense, the $ O^{*}$ -term $ \rho _{i}$ introduced by the bottom theory was shown to pick out the same entity that was picked out by the top term $ \tau _{i}$ , which we previously functionally defined. This is the way in which, as Butterfield and Gomes (Reference Butterfield and Gomes2020a) remark, the same entity can be specified both by the bottom theory (using the theoretical terms of that theory) and by the top theory (via functional definitions).

At this point, notice that the two theories were couched in different languages, one using sentences containing T-terms and O-terms and the other using $ O^{*}$ -sentences (containing $ T^{*}$ -terms and O-terms). In the end, the entities postulated by the top theory are coextensional with entities postulated by the bottom theory, but important here is that those entities are independently introduced by two distinct theories expressed in two different languages. If we now recall List’s (Reference List2019) notion of levels of description, we can say that each of those theories corresponds to a different pair $ \langle \textbf{L}, \Omega _{L} \rangle$ , which denotes a level of description. The language $ \textbf{L}_{T}$ of the top theory induces a corresponding ontology, and the language $ \textbf{L}_{B}$ induces a different ontology. Then, it turns out that some of the entities in those ontologies are coextensional. Yet, through the notion of systems of levels of description, we can say that one level (the pair $ \langle \textbf{L}_{T}, \Omega _{L_{T}} \rangle$ ) supervenes on the other level (the pair $ \langle \textbf{L}_{B}, \Omega _{L_{B}} \rangle$ ).

Before concluding, I stress here two important points, also to anticipate some possible questions. The first point I want to highlight concerns the supervenience relation; that is, to secure the ordering of the two levels, we just need the supervenience relation to hold between the induced ontologies $ \Omega _{L}$ and $\Omega _{L'}$ . This means that the supervenience mappings hold between the possible worlds and not within the actual world.

Second, a potential question that can be asked is the following. A central goal of the present approach is to account for the fact that, even though the functionally reduced entities turn out to be identical with their realizers, the two entities are significantly different in certain respects. For example, they may be different epistemologically. Thus one could wonder why we cannot appeal to the old extension/intension distinction, instead of the complex formal machinery presented here; that is, we could maintain that the reduced and reducing entities are coextensive and identical but have a different intension. In other words, reduction generates intensional contexts, in which expressions like “a reduces to b” do not allow for substitutions salva veritate of coreferential terms to “a” or “b.” This would resemble the classic Kripkean account of the Hesperus/Phosphorus case and is roughly the strategy endorsed by van Riel (Reference van Riel2013) in his response to a challenge analogous to the puzzle of identity. However, the problem with this strategy is that—while the intension/extension distinction accounts for the fact that the reduced and the reducing entities are somehow different—it is unable to account for the asymmetry and the hierarchical ordering between the two. In contrast, a central advantage of the proposal defended here is to make room for asymmetry. This is why List’s (Reference List2019) specific framework is particularly suitable for our task, as suggested in the introduction.

To conclude, let’s thus sum up the intuition behind the strategy proposed here to avoid the puzzle of identity. When the ontology of the bottom theory (e.g., quantum systems) plays the right roles, then the entities described by the upper theory (e.g., classical systems) come into play. However, these are not new ontological posits. It’s just the fundamental/bottom ontology behaving in a certain way. This ontology, in the right context, can thus be expressed in terms of the upper theory. This is just a redescription of the same entities. However, because levels of description give us a way to hierarchically order different descriptions, we can maintain that the two levels of description are not on par. In yet other words, ontologically speaking, the entities that are functionally reduced are straightforwardly identical, because they are coextensive. In this respect, they belong to the same ontological level. On the other hand, those entities are originally picked out by different theories, which introduce them via different languages, at different levels of description—which are hierarchically ordered via supervenience mappings. Thus, even within the Lewisian functional reductionist model, there is still room for saying that reduction embeds asymmetrical relations. It is not ontological asymmetry but asymmetry of description.