{'fraction_non_alphanumeric': 0.03152551429334758, 'fraction_numerical': 0.012145748987854251, 'mean_word_length': 5.029677819083023, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Is thermodynamics fundamental?

It is a common view in philosophy of physics that thermodynamics is a non-fundamental theory. This is motivated in particular by the fact that thermodynamics is considered to be a paradigmatic example for a theory that can be reduced to another one, namely statistical mechanics. For instance, the statement"temperature is mean molecular kinetic energy"has become a textbook example for a successful reduction, despite the fact that this statement is not correct for a large variety of systems. In this article, we defend the view that thermodynamics is a fundamental theory, a position that we justify based on four case studies from recent physical research. We explain how entropic gravity (1) and black hole thermodynamics (2) can serve as case studies for the multiple realizability problem which blocks the reduction of thermodynamics. Moreover, we discuss the problem of the reducibility of phase transitions and argue that bifurcation theory (3) allows the modelling of"phase transitions"on a thermodynamic level even in finite systems. It is also shown that the derivation of irreversible transport equations in the Mori-Zwanzig formalism (4) does not, despite recent claims to the contrary, constitute a reduction of thermodynamics to quantum mechanics. Finally, we briefly discuss some arguments against the fundamentality of thermodynamics that are not based on reduction.


Introduction
It is beyond doubt that thermodynamics is among the most important physical theories. This is evident both from the prominent role it plays in the physics curriculum and in physical research and from its numerous applications in chemistry and engineering. But whether it is a fundamental theory is a much more subtle question. Prima facie, there appears to be plenty of evidence for this view. Many physicists appear to be more confident in the validity of the second law of thermodynamics than in anything else their discipline has ever achieved. Thermodynamics is used to learn about black holes and quantum gravity, areas where little to no microscopic knowledge is currently available-implying that we are confident that it still holds there. And finally, philosophers of physics (who typically show much more interest in fundamental theories like general relativity or quantum mechanics than in non-fundamental ones) have spent a considerable amount of time thinking about thermodynamics.
On the other hand, many philosophers of physics have come to the conclusion that thermodynamics is not a fundamental theory. This view has two closely connected motivations. First, is argued that thermodynamics can be reduced to quantum (or classical) mechanics in the framework of statistical mechanics (Nagel, 1961). Second, it is argued that thermodynamics is only approximately correct, for example due to the fact that its statements about phase transitions are true only for infinite systems (Callender, 2001). The reduction of thermodynamics is, however, not an easy task. A particularly important problem in this context is multiple realizability. This problem, originally studied in the philosophy of mind (Putnam, 1967), has also received some attention in the philosophy of thermodynamics (Batterman, 2000). For example, it is frequently claimed that "temperature" (a macroscopic property of thermodynamic systems) could be reduced to "mean molecular kinetic energy" (a microscopic property). However, this microscopic definition of temperature holds only for gases, whereas numerous other systems realize "temperature" in very different ways (Bickle, 1998;Needham, 2010).
The discussions of this problem and its implications for the reducibility of thermodynamics typically concern a rather basic level of physics, being concerned with temperature and occasionally with phase transitions. This stands in marked contrast to other sub-fields of the philosophy of thermal physics, such as black hole thermodynamics (Wallace, 2018(Wallace, , 2019Curiel, 2014), the study of thermodynamic irreversibility (Wallace, 2015;Robertson, 2020;te Vrugt, 2021c), or even the metaphysics of statistical mechanics (te Vrugt, forthcoming), which often take place on a considerably technical level and take into account very recent results from research in physics. To close this gap, the present work discusses the fundamentality of thermodynamics using four case studies, namely entropic gravity (1), black hole thermodynamics (2), phase transitions in spatially resolved thermodynamics (3), and the derivation of irreversible master equations in the Mori-Zwanzig formalism (4). Based on these diverse physical results, we argue that thermodynamics is a fundamental theory that cannot be reduced to statistical mechanics. The results of our discussion are, as will be discussed below, relevant also for more general debates in philosophy of science and physics, such as the multiple realizability problem, the problem of the thermodynamic limit and the problem of the arrow of time. For instance, it is shown how modern developments of thermodynamics (Thiele et al., 2019) facilitate the description of phase transitions without the infinite idealization usually thought to be required here.
This article is structured as follows. In Section 2, we introduce the problem of the fundamentality of thermodynamics. Section 3 explains how "fundamentality" is understood in this work. In Section 4, we address the multiple realizability problem. Case studies in physics are then provided in Section 5 (entropic gravity), Section 6 (black hole thermodynamics), Section 7 (phase transitions), and Section 8 (arrow of time). Some arguments against the fundamentality of thermodynamics are discussed in Section 9. The discussion is concluded in Section 10.

Fundamentality of thermodynamics: Why bother?
Many physicists have considered thermodynamics to be one of the most fundamental theories in physics-if not the most fundamental one. This view was expressed in a famous quote by Eddington (1935, p. 81): The law that entropy always increases-the second law of thermodynamics-holds, I think, the supreme position among the laws of Nature. If someone points out to you that your pet theory of the universe is in disagreement with Maxwell's equations-then so much the worse for Maxwell's equations. If it is found to be contradicted by observation-well, these experimentalists bungle things sometimes. But if your theory is found to be against the second law of thermodynamics I can give you no hope; there is nothing for it but to collapse in deepest humiliation A similar perspective has been taken by Einstein (1970, p. 33) 1 [Classical thermodynamics] is the only theory of universal content concerning which I am convinced that, within the framework of the applicability of its basic concepts, it will never be overthrown.
Such a view can be found also in more application-focused treatments of thermodynamics: Together, continuum mechanics and thermodynamics form the fundamental theory at the heart of many disciplines in science and engineering (Tadmor et al., 2012, p. xi) On the other hand, it is rather common-in particular in the philosophical foundations of thermodynamicsto see thermodynamics not as a fundamental theory. This is expressed in the following two quotes from the philosophical literature: But we don't think that thermodynamics is a fundamental theory (North, 2011, p. 312) But some people, it seems to me, have too much respect for thermodynamics. They take the field, from a foundational perspective, too seriously. And this taking of the field too seriously is responsible for significant errors in the foundations of statistical mechanics. (Callender, 2001, p. 540) The latter position is typically based on two sorts of arguments. First, it is argued that thermodynamics holds only approximately or that there are exceptions. Second, it is argued that thermodynamics can be reduced to (classical or quantum) statistical mechanics. These two arguments are closely related since it is the reduction that is supposed to uncover the required corrections to thermodynamics.
Hence, the fundamentality of thermodynamics appears to be an open and quite controversial topic. This problem is of possible importance also for philosophy in general. There is a long (and increasingly popular) tradition of using scientific theories as a basis for solving metaphysical problems, a line of research that is known as "inductive metaphysics" (Scholz, 2018) or "scientific metaphysics" (Ladyman and Ross, 2007). Thermodynamics is no exception here and has inspired, e.g., work on the special composition question (te Vrugt, 2021b) and the nature of processes (Needham, 2013(Needham, , 2018). An argument that can be raised against such approaches is based on the premises that (a) thermodynamics might not be fundamental and (b) only fundamental sciences should be used in metaphysical research. While there are good reasons of rejecing (b) (see Needham (2013); te Vrugt (2021b, forthcoming) for a discussion), the case for "thermodynamic metaphysics" can be made even stronger if premise (a) is also refuted.
Another reason why this problem is important has to do with the status of thermodynamics and Einstein's view of it. Thermodynamics is a "principle theory" or "phenomenological theory", i.e., it is not based on some microscopic model of matter, but simply rests on empirically very well-supported principles that are thought to hold for any system irrespective of its microscopic constitution. This means, in particular, that we can apply them even if we do not know the microscopic structure of the system we want to apply it to. As discussed in detail by Brown (2005), Einstein was inspired by this feature of thermodynamics when he invented special relativity. Around 1905, there had been a variety of attempts to explain, e.g., the null result of the Michelson-Morley experiment, based on considerations about the microscopic structure of the experimental system (which, however, was not known due to the status of condensed matter physics at that time). Instead of developing a microscopic theory, Einstein simply introduced two phenomenological postulates (the principle of relativity and the light postulate) that he took to hold universally, and thereby invented special relativity. Nowadays, it is still generally believed among physicists that whatever our microscopic theories look like, they have to obey the universal laws of relativity (although some philosophers, such as Brown himself, argue instead that we should see special relativity as emerging from microscopic dynamical laws). Thus, given that they have been introduced in quite a similar spirit, it seems a little strange that the theory of relativity is generally considered a fundamental theory whereas thermodynamics is not.
It should be noted that in this paper we adopt a rather generous view of what counts as thermodynamics. In particular, we take it to include the minus first law of thermodynamics proposed by Brown and Uffink (2001) (based on Uhlenbeck and Ford (1963)), which captures the tendency of nonequilibrium systems to approach equilibrium, as well as various results that are discussed in physics as nonequilibrium thermodynamics (de Groot and Mazur, 1962), stochastic thermodynamics (Seifert, 2012), or quantum thermodynamics (Vinjanampathy and Anders, 2016). Some authors (such as Myrvold (2020b)) have argued for a more conservative understanding. We believe that our general concept is a more accurate reflection of how thermodynamics is understood in physics, but if you have reservations here, feel free to replace the word "thermodynamics" by something like "extended thermodynamics" every time it appears in the article, and to read it as arguing for the fundamentality of this extended theory.

Understanding fundamentality
An important observation to make regarding the quotes on the fundamentality of thermodynamics from Section 2 is that they are not all based on the same idea of "fundamentality". Eddington (1935) andEinstein (1970) for example (in whose quotes the word "fundamentality" does not appear explicitly) consider thermodynamics to be fundamental because one can be extremely sure that it holds. In contrast, in the quote from Tadmor et al. (2012) (which comes from an engineering textbook), "fundamental theories" presumably means something much more modest, along the lines of "the most important theories for science and engineering" or "the theory that most of science and engineering are based on". A reasonable debate about whether thermodynamics is fundamental calls for some account of what we take "fundamental" to mean.
There are several notions of fundamentality in the philosophical literature. Foundationalist conceptions hold that there is a fundamental level of reality, usually conceived as inhabited by a realm of entities (pluralism) rather than a single one, and/or characterised by a range of facts not depending on anything else at the base of a hierarchy, upper levels of which depend on lower. But foundationalism may also take the form of monism, according to which there is a single fundamental thing, the universe as a whole, whose parts depend on the whole and which could generate a hierarchy of dependent parts (Morganti, 2020a,b). Although such hierarchies express an ordering of what is more fundamental than what, distinguishing more fundamental entities or facts from others need not involve commitment to either form of fundamentalism-whether there are ultimate atoms or an all-encompassing whole. Often, the more fundamental relation is understood based on grounding (Tahko, 2018). Grounding, however, is an ontological relation that holds between things in the world (objects or facts), but not between descriptions of the world such as scientific theories.
The more fundamental relation might, in a scientific context, be construed in terms of reduction, what is less fundamental being reducible to what is more fundamental, and this in turn might be construed as being derivable from, in some appropriate sense of "derivable". Derivability need not necessarily be understood in the now unfashionable Nagelian sense (Nagel, 1961, Ch. 11) of being logically deducible from, but more loosely, allowing for approximations and for conclusions falling within specified margins of error and under certain restrictions. Although derivations may take very different forms in particular cases, they generally fall back on a well-developed understanding of the appropriate requirements, lack of which is the main criticism of the notion of grounding (Bliss and Trogdon, 2021). In the wake of criticisms of the inapplicability of the Nagelian requirement of strict logical deduction, doubts have even arisen about the feasibility of general models of reduction which can serve as criteria by which particular cases of reduction might be reasonably assessed. Crowther (2020) seems to take the relation of being more fundamental between theories, or parts thereof, as given and understands reduction in terms of being broadly derivable (within appropriate limits of precision) from a more fundamental theory.
Questions of fundamentality are concerned with objects or what is said of objects with the aid of predicates expressing properties and relations used to formulate facts with sentences conjoined in the form of theories. Here our main concern is with theories and the properties and relations they govern, without commitment to any form of foundationalism or hierarchy of facts or objects. From this point of view, an appropriate notion of fundamentality is that a fact or theory is fundamental if it is part of or belongs to a complete minimal basis (CMB) that determines everything else or to which everything else is reduced 2 . "Complete" here indicates that everything else is reduced to the CMB, and "minimal" means that no proper part (subset) of this basis is complete (Tahko, 2018). Ideally, a consistency condition should be satisfied to preclude the trivial case of a contradiction entailing anything. Perhaps this is entailed by the condition that no proper part is complete. But as acknowledged in Section 9.4, in the present state of physics there are plausible candidates for membership of a CMB that are mutually inconsistent. Since we are not dealing here with some unspecified ideal future state of science, a provisional condition would be to consider a fact to be accommodated by the CMB only if it is accommodated by a consistent part of it, and the minimality condition is that the system would not be complete were a proper part removed from any consistent part. This seems close to the way in which physics currently looks for a fundamental theory, namely by looking for a small set of principles that everything else can be derived from.
A particular axiomatization of a theory would take certain predicates as primitive and define others in terms of them. Certain extensive properties might be taken as primitive in a particular formulation of thermodynamics, for example, and intensive properties defined in terms of them. But another formulation might adopt some of the defined terms of the first formulation as primitive and introduce definitions of what were primitives in the first formulation. Clearly, being a primitive predicate in a particular formulation of a theory does not make it more fundamental than the predicates defined in terms of it. On the CMB conception of fundamentality, all predicates of a theory in the CMB would have the same status. Predicates featuring in non-fundamental theories reducible to the CMB would be non-fundamental only if eliminable by reduction to predicates featuring in fundamental theories in the CMB. Here we take it that thermodynamics is fundamental, i.e. part of some CMB to which everything is reducible. This article will be concerned for the most part with objections to the reducibility of thermodynamics based on the idea of multiple realizability. A discussion of other objections against the fundamentality of thermodynamics is taken up later, in Section 9.
The reductionist view on science (Oppenheim and Putnam, 1958), and with it the idea that the fundamental theories are those that everything else is reduced to, has fallen out of fashion in recent years. Neither has physics been able to (or can be expected to be able to in the next few years) find a "theory of everything", nor has the reduction of most (if any) special sciences to physics been achieved in practice. For this reason, Morganti (2020b) gives, in his review of fundamentality in philosophy of physics, this idea only a rather brief mention before moving to more sophisticated concepts. For example, one may assume that there is something like a "layered reality" and then take the fundamental theory to be the description of the deepest layer, or one may (as suggested by Ney (2019)) define fundamentality in terms of explanatory maximality rather than explanatory completeness, i.e., the fundamental theory is the one that has the largest scope and accuracy.
However, as long as one does not reject the idea of reduction altogether (and given that reduction is still widely discussed in philosophy of science, this does not appear to be a majority view), it is still reasonable to argue that, if a theory A can be reduced to another theory B, theory B is more fundamental than theory A, and that a fundamental theory should not be reducible to another one. Hence, rather than giving up the idea of a CMB in general, one can adapt it to anti-reductionist challenges by refining the notion of "everything" appearing in its definition. If, for example, psychology or the social sciences cannot, in principle, be reduced to physics, then the completeness criterion might be satisfied already by a set of axioms that everything in physics can be reduced to. The notion of fundamentality would thereby become a more context-dependent one, but this is quite in line with how the understanding of fundamentality has recently developed (Morganti, 2020b).

Reduction and multiple realizability
We now turn to a particularly interesting issue which may pose a problem for reduction, namely multiple realizability. The idea of multiple realizability as a problem for reduction first appeared as an argument in the philosophy of mind in opposition to the view (defended, e.g., by Place (1956) and Smart (1959)) that every mental kind is identical with a neural kind, so that pain is identical with a certain brain state. Against this, Putnam (1967) has argued that many different animals-humans, reptiles, birds, ...-all seem to experience pain, but have quite different neuroanatomies, which makes it unlikely that they all exhibit the same neural kind. Moreover, according to the identity thesis, the identity between pain and neural state would be a natural law, so that anything feeling pain would exemplify this neural kind. But while it seems plausible that Martians or sentient robots could feel pain, their neuroanatomy would be very different from that of humans, which makes it implausible that they would exhibit the same neural kinds. There is a distinction here between multiple realizability (there could be different realizations) and multiple realization (there are different realizations). Pain in humans and reptiles is an example of multiple realization, whereas pain in humans and Martians is an example of multiple realizability. Fodor (1974) takes reductionism to imply that every natural kind in a special science corresponds to a natural kind in physics (assuming both physics and the special science to be ideally completed). Reductionism would then entail that there is a natural kind in physics that corresponds to pain. But due to multiple realizability, what corresponds to the mental kind "pain" in physics would be a disjunction of all possible physical realizations of pain. This disjunction will (due to the diversity of the possible realizations) not be a natural kind figuring in any physical theory. Consequently, there is no natural kind in physics that corresponds to the mental kind "pain", and thus reductionism fails. (This paragraph and the previous paragraph follow Bickle (2020).) The problem of multiple realizability also arises in the context of thermodynamics. Although the statement "temperature is mean molecular kinetic energy" has been taken as a paradigmatic example of reduction, this is unfortunate since the claim is, for most systems, wrong (Menon and Callender, 2013). Electromagnetic radiation or a system of spins can also have a temperature (playing the same physical role as the temperature of gases), yet this temperature cannot be interpreted as a mean kinetic energy (Needham, 2010). A more extensive discussion of multiple realizability in the context of thermodynamics/statistical mechanics was provided by Batterman (2000) using the example of renormalization group theory.
Note that by "temperature" we always mean the thermodynamic temperature here. One can, of course, also define temperature as mean molecular kinetic energy; this is referred to as "kinetic temperature" Mandal et al. (2019). If we speak about temperature in thermodynamics, we do not usually mean the kinetic temperature since the thermodynamic temperature of a system is not usually given by the kinetic temperature (except, e.g., for a gas in thermal equilibrium). Similar ambiguities can arise also for other quantities, in particular for active matter systems (which consist of self-propelled particles and are far from thermodynamic equilibrium). Here, it has been found that, e.g., the mechanical definitions of pressure (Wittkowski et al., 2014) or flow velocity (te Vrugt et al., 2022a) do not coincide with the thermodynamic definitions of the same quantities. This, of course, makes it even clearer that, e.g., the thermodynamic pressure is not simply identical with some mechanical quantity, otherwise it would not be possible for them to disagree.
There is no universal agreement that multiple realizability really constitutes a problem for reduction. Clapp (2001) has argued that it is legitimate to identify higher-level kinds with disjunctive kinds, while Kim (1992) argues that while kinds might have multiple realizations, they have only one in each specific context. For example, human-pain or reptile-pain correspond to only one brain state, i.e., one neural kind. We thus have a series of "local reductions" (Kim, 1989), and this is all that we can reasonably ask for. Temperature, according to this view, cannot be reduced in general, but can be reduced for each system it plays a role in. Regarding such properties, Kim (1999, pp. 17-18) argues: 3 It follows then that multiply realizable properties are ipso facto causally and nomologically heterogeneous. This is especially obvious when one reflects on the causal inheritance principle. All this points to the inescapable conclusion that E, because of its causal/nomic heterogeneity, is unfit to figure in laws, and is thereby disqualified as a useful scientific property However, at least for the case of temperature this response does not do justice to the corresponding science (here thermodynamics) (Needham, 2009). A box of gas (where temperature is realized by mean kinetic energy) can be in thermal equilibrium with a radiation heat bath (where temperature is realized by the temperature of the electromagnetic radiation). If we distinguish between kinetic temperature and radiation temperature and just reduce each of them, we are overlooking the fact that the reason that box and radiation are in equilibrium is precisely the fact that they exhibit one common property, namely that of having the same temperature (regardless of which microscopic origin this temperature has). An account of reduction that makes temperature "unfit to figure in laws" is, in our view, unfit to provide a reasonable account of physics.
The fact that thermodynamics has figured as a paradigm example in the discussion has led to it playing a central role in the debate concerning psychophysical reduction. Bickle (1998) has used it in his defense of the so-called "new wave" reduction to block what he views as the strongest type of multiple realizability argument, namely one based on multiple realizability within the same individual: Consider temperature (as a thermodynamic kind). For any aggregate of molecules, there are an indefinite number of realizations of the kinetic-theory analog, mean molecular kinetic energy, in terms of the microcanonical ensemble, the finest specification of a gas's microphysical state in which the location and the momentum (and thus the kinetic energy) of each constituent molecule are individually fixed. Obviously, indefinitely many distinct microcanonical ensembles of a fixed volume of gas can produce the same mean molecular kinetic energy. Thus at the lowest level of microphysical description, temperature is vastly multiply realizable in the same aggregate of molecules at different times. Yet this reduction is a textbook example of intertheoretic reduction, reconstructable within the new-wave account. (Bickle, 1998, p. 125) This discussion confuses "microcanonical ensemble" and "point in phase space" 4 , but the idea is clear enough. Essentially, Bickle argues that multiple realizability cannot be a problem for psychophysical reductionism because it can also be found in thermodynamics, which is reducible. We appear to have an argument of the following form -Premise 1: Thermodynamics is reducible to statistical mechanics.
-Premise 2: If reduction does not allow for multiple realizability, then thermodynamics is not reducible to statistical mechanics. -Conclusion: Reduction allows for multiple realizability.
As an argument against the multiple realizability objection against reduction, this of course begs the questionperhaps thermodynamics is not reducible (because of multiple realizability) despite the widespread belief that it is. Bickle (1998, pp. 33-40) provides an explicit discussion of how thermodynamics is supposedly reduced to statistical mechanics, and thus takes it as an established fact that premise 1 is true. However, his analysis of the reduction focuses exclusively on gases and thus does not solve the problem in general. A more generous interpretation of Bickle's argument would be that the reducibility of thermodynamics is used as a premise in an argument countering the multiple realizability objection against psychophysical reduction. But then, this premise calls for further investigation. Due to the central role thermodynamics plays in the reduction debate, the problem of the multiple realizability of temperature is thus also of wider interest in philosophy of science.
A similar point of view has also been expressed by Menon and Callender (2013, p. 200): One does not need to look at phase transitions to notice that any claim about the reduction of thermodynamics to statistical mechanics must be based on a conception of reduction that is compatible with multiple realizability. Temperature, that most basic of thermodynamic properties, is not (the claims of numerous philosophers notwithstanding) simply "mean molecular kinetic energy". It is a multiply realizable functional kind. If our notion of reduction precludes the existence of such properties, then the project of reducing thermodynamics cannot even get off the ground.
Of course, we fully agree with the observation that temperature exhibits multiple realizability. However, the wording in the quote from Menon and Callender (and also the discussion following it) strongly suggests that they see "the project of reduction not getting off the ground" as something problematic that should be avoided. In our opinion, however, the analysis should go exactly the other way round-multiple realizability poses a problem for reduction, and if this means that a specific project of reduction cannot get off the ground, then we have to live with it.
At this point, we should discuss the following response to our arguments against Bickle, Menon, and Callender: The adequacy of a definition of "reduction" should take into consideration whether it classifies things as "reduction" that we think should clearly be classified as such. After all, we would not have an idea of what reduction probably is without such examples. (Similarly, a definition of "science" which excludes physics as a science or counts homeopathy as a science would be reasonably considered a failure because we are sure that whatever "science" might precisely be, physics surely is one and homeopathy surely is not.) We might now proceed to argue that the relation of thermodynamics and statistical mechanics is such a clear case, and that we should therefore adapt our analysis of reduction in such a way that it classifies the relation between thermodynamics and statistical mechanics, whatever else it might be, as reduction.
Two arguments can be raised against this objection. First, it is not consistent with the way that the problem "Can thermodynamics be reduced to statistical mechanics?" is generally discussed, given that a variety of authors have expressed considerable scepticism regarding the reducibility of thermodynamics. Thus (unlike in the cases of physics and homeopathy) we do not appear to have a "clear case" here. Second, it should be noted that, even though we spend most of this article talking about reduction, we are ultimately interested in fundamentality. In our view, the derivability of thermodynamics from statistical mechanics faces so many problems that, if one adapts the definition of "reduction" in such a way that the relation between thermodynamics and statistical mechanics still counts as a reduction, then this notion of "being reducible to" is not an appropriate basis for a definition of "being more fundamental than".

Entropic gravity: a case study for multiple realizablity
So far, we have addressed the fundamentality and reducibility of thermodynamics in a rather general way. Now we present two arguments against the reducibility of thermodynamics to statistical mechanics that are both based on the multiple realizability problem. The first concerns entropic gravity, the second classical black hole thermodynamics.
Let us start with a brief recap the essential ideas behind the derivation of the Newton's law of gravity in the framework of entropic gravity by Verlinde (2011). The idea of entropic gravity is to show that (threedimensional) space and gravity are emergent. It is based on the holographic principle, a standard result from quantum gravity according to which all three-dimensional systems can be described simply via information encoded on their two-dimensional surface (by analogy with a hologram, where a three-dimensional picture is saved on a two-dimensional surface). Depending on one's physical and philosophical commitments, the surface description can be considered more fundamental than the bulk description, and thus the holographic principle can be taken to show that the world, on a fundamental level, is two-and not three-dimensional (Dieks et al., 2015, pp. 204-205).
What is conceptually interesting here is that gravity is taken to be an "entropic" force. Such forces arise not from fundamental interactions, but for statistical reasons. A well-known example (also used by Verlinde (2011) as an illustration) is a polymer. If we stretch it by an amount ∆x, the number of possible configurations (and therefore the entropy) is reduced. The polymer twists in order to maximize its entropyan effect that you will be familiar with, e.g., from cables on your headphones or computer. Consequently, by its tendency to approach equilibrium (state with maximal entropy), the polymer will exhibit an "entropic" force counteracting the force that is pulling it. This force is governed by expressions of the form (5.6) (see below). The basic idea behind entropic gravity is that gravity is nothing more than this-the particle's motion in a "gravitational field" corresponds to the tendency of the bits of information on a surface to maximize their entropy.
We follow Verlinde (2011) and Dieks et al. (2015). Let us consider a spherical surface on which some unspecified microscopic dynamics takes place. This dynamics can be described in an information-theoretical way, according to which little pieces of this surface encode a bit of information. These bits tend towards a thermodynamic equilibrium distribution. The number of bits N on this surface is Here, the reasonable assumption has been made that N is proportional to the area A, and the proportionality constant has been written as c 3 {pG q. This serves as a definition of G, while c is the speed of light and the reduced Planck constant. We then define a radius R by and introduce a temperature T via the equipartition rule where E is the total energy, assumed to be distributed evenly over all degrees of freedom, and k B is the Boltzmann constant. The energy can be related to a mass M by Via the holographic principle, the dynamics of the bits on the surface can be considered to describe the dynamics of things in what might prove to be the "inside" of the surface. Now assume that, on this inside, a particle with mass m approaches the screen by a distance ∆x. Motivated by an argument from Bekenstein (1973), Verlinde takes this to correspond to an entropy change We finally define an "entropic force" by F ∆x " T ∆S.
(5.6) Equations (5.1) -(5.6) can be combined to give In summary, microscopic dynamics describing the information on the holographic screen gives rise to thermodynamic behaviour on a large-scale level, which leads to the emergence of gravity. If this theory is correct (which, of course, is a very big if), then we can construct a rather straightforward argument for why thermodynamics is more fundamental than gravity: Entropic (i.e., thermodynamic) effects are the reason for the existence of gravity, and thus general relativity can be reduced to thermodynamics.
However, entropic gravity does not, prima facie, appear to provide an argument for the fundamentality of thermodynamics. Recall that Verlinde's argumentation assumes gravity to be related to coarse-graining, and thus to emerge from some microscopic dynamics. In this sense, it is this microscopic dynamics that is most fundamental. However, Verlinde's article also makes little to no explicit assumptions as to what this microscopic dynamics looks like. It is simply assumed that whatever it is, it will give rise to the sort of relations between (for example) entropy and temperature that we are familiar with from more "standard" applications of thermodynamics (such as in polymer physics). Let us call the actual microdynamics M 1 , and let us assume that M 2 ,...,M n are some other microdynamics that also give rise to thermodynamics on a higher level. Gravity would then emerge also from, say, M 2 . Thus, gravity is not explained by the fact that the microdynamics is M 1 rather than M 2 . A CMB in the sense of a "theory of everything" to which the laws governing all physical interactions including gravity can be reduced therefore needs to include thermodynamics.
By the general multiple realizability argument, this would then imply that, while we perhaps can reduce gravity to thermodynamics, we cannot reduce it to M 1 . Gravity would here be analogous to pain: Gravity exists in a universe with microdynamics M 1 and exists in a universe with microdynamics M 2 , just like pain exists in humans, reptiles, and Martians with different physiological realizations. If pain is, due to this multiple realizability, not reducible to the microscopic physiology of humans, reptiles, and Martians, then gravity is not reducible to M 1 (or M 2 ), although it is (or at least might be) reducible to thermodynamics.
An objection that comes to mind is that we are dealing here with hypothetical different microdynamics. Pain in humans and pain in reptiles both exist, whereas in the gravity case only M 1 is the actual microdynamics. We are, to use the terminology introduced in Section 4, concerned with multiple realizability rather than multiple realization. However, it is not clear why this should be detrimental to the force of the anti-reductionist argument. As far as we currently know, Martians do not exist (let alone their pain), but nevertheless the pain of Martians plays a considerable role in the debate about psychophysical reductionism. Second, imagine a situation in which suddenly all animals except for the humans are killed (for example because the earth is destroyed and only the humans escape via a spaceship). If pain was not reducible prior to this catastrophe because it existed (with a different physiological realization) in reptiles, then it seems unlikely that it suddenly becomes reducible after the last crocodile has stopped breathing. Thus, reducibility does not appear to depend on whether possible alternative microrealizations actually do exist at the time in question.
Finally, one might wonder why we have posed the argument in this section using the rather speculative example of entropic gravity rather than based on some other case where it is established (rather than just assumed) that thermodynamics can emerge from different microdynamics. There are two reasons. First, general relativity is usually taken to be a fundamental theory, and thus a relation of thermodynamics to general relativity is of particular interest for the problem of fundamentality. Second, by analyzing the case of entropic gravity, we have not only learned something about the reduction of thermodynamics; we have also learned something about the (possible) reduction of general relativity.
6 Classical black hole thermodynamics: a second case study in multiple realizability A second argument for the multiple realizability thesis in the context of gravity and thermodynamics can be obtained from black hole thermodynamics (Bekenstein, 1972). This field is interesting since-as will be explained below-it provides (in its classical form) a possible case in which entropy and temperature are not related to any statistical theory.
Black hole thermodynamics emerged from the observations that the laws governing the mechanics of black holes (Bardeen et al., 1973) can be stated in a way that has a striking similarity to the laws of thermodynamics: -Zeroth law: Throughout a black hole's event horizon, the surface gravity κ is constant. (Analogous to the zeroth law of thermodynamics requiring constancy of T throughout a system in thermal equilibrium.) -First law: The total mass M , its area A, rotational velocity Ω, and angular momentum J are related by dM " κ 8π dA`ΩdJ. (6.1) (Analogous to the first law of thermodynamics requiring dE " T dS´pdV`ΩdJ). -Second law: For any process, one has dA ě 0. (Analogous to second law of thermodynamics, requiring dS ě 0). -Third law: κ " 0 cannot be reached. (Analogous to the third law of thermodynamics, requiring that T " 0 cannot be reached).
(List adapted from Curiel (2014).) Note that the laws of black hole thermodynamics are purely geometrical results (more specifically, theorems of differential geometry (Dougherty and Callender, 2016)). As can be seen, there is a quite remarkable analogy between the laws governing black holes and the laws of ordinary thermodynamics. In these laws, the surface gravity κ plays the role of the temperature and the area A plays the role of an entropy. There has been a considerable debate in philosophy of physics about whether this is more than an analogy. Dougherty and Callender (2016), for example, have argued that this is in fact nothing more than a formal analogy, whereas Wallace (2018) has argued that black holes are genuine thermodynamic objects. A widely held view is something like the following (Curiel, 2014): For classical black holes, the surface gravity is not a temperature (the analogy between classical thermodynamics and the laws for black holes is merely formal) since they cannot come into thermal equilibrium in the way an ordinary thermodynamic object would-the latter would, if placed in a heat bath of thermal radiation with temperature T , itself (in equilibrium) emit radiation with such a temperature and therefore have this temperature. A classical black hole, by contrast, would simply absorb all radiation and therefore have a temperature of zero. Therefore, its surface gravity has nothing to do with a temperature. A quantum black hole, on the other hand, would emit Hawking radiation with temperature κ{p2πq, such that the surface gravity is (up to a prefactor) just the temperature defined in the usual way. For quantum black holes, the analogy is therefore more than formal. Curiel (2014) has argued against this view by pointing out that defining heat exchange via an equilibrium in terms of electromagnetic radiation might not be appropriate for classical black holes, which will emit energy via gravitational radiation (a phenomenon that has recently been confirmed experimentally (Abbott et. al., (2016))). Just as electromagnetic radiation was found to be a mode of heat exchange, so might gravitational radiation. Curiel then proceeds by constructing a Carnot cycle in which a classical black hole couples to an ordinary thermodynamic system. In this cycle, the black hole's surface gravity plays the role of temperature and the area plays the role of entropy.
Suppose Curiel's analysis is right 5 . In this case, we would have another argument for the multiple realizability thesis. The reason is that the statistical mechanics of black holes is based on quantum gravity (Wallace, 2019), whereas classical black holes are extremely simple objects that can be fully described by a very small number of parameters. Consequently, the entropy of a classical black hole does not-unlike the entropy of a classical many-particle system-arise from a large-scale statistical description, it is simply a basic property of the black hole, which is a single object.
It seems that at this point, our position could be subject to a similar criticism to that aimed at Lewis' (1986) discussion of relations, which involved using the example of a classical hydrogen atom. Against this, Ladyman and Ross (2007, p. 20) argue that "[t]here are not, nor were there ever, any 'classical hydrogen atoms'". Their broader message is that philosophical inferences often start from outdated scientific views, and that this often leads to unreasonable metaphysical positions. If we now develop a philosophical argument based on a thermodynamic perspective on classical general relativity, aren't we making the same mistake given that the world is fundamentally quantum?
First, it should be noted that, while there is a very well established quantum theory of the hydrogen atom, there is no established quantum theory of gravity and one could also construct such an argument in precisely the opposite way (classical general relativity is the best empirically confirmed theory we have in this field and should thus be our starting point). Second, even if we assume that black holes have a quantum description like the one used in (for example) string theory, this does not change the fact that even if they did not have such a quantum description (i.e., if they were completely classical objects), they would still be subject to thermodynamics. Consequently, the fact that they can be described by thermodynamics does not hold in virtue of them having a statistical-mechanical description, and is thus not less fundamental. On the "quantum viewpoint", we are, to use the terminology from Section 4, concerned with multiple realizability and not with multiple realization (temperature can be realized both by mean molecular kinetic energy and by the surface gravity of classical black holes).
Classical black holes thus provide a particularly interesting example of multiple realizability. If the surface gravity of a classical black hole is a physical temperature, then it would provide a particularly striking counterexample for the typical claim that "temperature is mean molecular kinetic energy". The black hole has no constituents that could have a kinetic energy (in fact, it has no constituents at all since it is just a region of spacetime), yet it still has a temperature. We have thus found a realization of "temperature" that is very different from "mean kinetic energy", further supporting the multiple realizability thesis regarding thermodynamics. While the fact that there are different ways to realize "temperature" microscopically in different systems (such as ideal gases, solids, radiation baths, ...) has been acknowledged by a variety of authors (Needham, 2010;Bickle, 1998;Menon and Callender, 2013), it is quite remarkable to find a realization that does not have anything to do with statistical mechanics, i.e., that is not "microscopic" at all.
One could now, following Kim (1999), infer from the multiple realizability of temperature that we should not think about "temperature" as a property that can play a role in scientific explanations (see Section 4). However, if we wish to explain why a black hole and a block of iron in thermal contact exchange no heat, then the explanation is the fact that they have the same temperature. For the role an object plays in a thermodynamic cycle, it does (at least on an abstract level) not matter whether it has a certain mean molecular kinetic energy or a certain surface gravity as long as these lead to the same temperature. See Needham (2009) for a similar response to Kim in the context of thermodynamics and Marras (2002) for such a response in the context of psychology.
Another approach that is worth mentioning here is the derivation of equations for gravity using the phasefield formalism by Schmitz (2017). (Phase fields are discussed in more detail in Section 7.) This allows, in a purely thermodynamic way based on a combined phase-field/entropic approach, the derivation of equations with the same structure as those for gravity. The phase-field here can be considered as "spatially resolved thermodynamics". This formalism leads to the Poisson equation of gravitation and also includes terms which are related to the curvature of space. It further generates terms possibly explaining nonlinear extensions known from modified Newtonian dynamics (MOND) (Milgrom, 1983) approaches. As an example, consider the dimensionless entropy of a black hole given by with the Planck length l p . Equation (6.2) can be derived within the phase-field approach when using it to assign an entropy to a geometric object (in this case a sphere) (Schmitz, 2018). See Schmitz et al. (2022) for a further development of this idea. This is another example where thermodynamic considerations are used even though there is no microscopic physics that one could do statistical mechanics for in order to derive it (a geometric sphere does not consist of particles).
In summary, we have, using the examples of entropic gravity and classical black hole thermodynamics, shown that thermodynamic aspects of gravity provide an interesting argument in favour of the multiple realizability thesis regarding thermodynamics, and thus against the reducibility of thermodynamics to statistical mechanics.

Phase transitions and the phase-field model
A widely discussed problem in the debate about the alleged reduction of thermodynamics is the definition of phase transitions. Thermodynamics describes phase transitions using singularities of a thermodynamic potential such as the free energy. 6 Using the microscopic definition of the free energy based on the partition function Z from statistical mechanics, however, one can show that the free energy cannot have a singularity except in the thermodynamic limit where the particle number N goes to infinity (Menon and Callender, 2013). Callender (2001, p. 549) summarizes this problem in the following propositions 1. real systems have finite N ; 2. real systems display phase transitions; 3. phase transitions occur when the partition function has a singularity; 4. phase transitions are governed/described by classical or quantum statistical mechanics (through Z) These four propositions are inconsistent because in statistical mechanics, Z can only have a singularity for infinite N . Various authors, such as Prigogine (1997) and Liu (1999), have rejected proposition 4 and inferred that phase transitions are an emergent, non-reducible phenomenon. If proposition 4 is incorrect, then statistical mechanics cannot describe phase transitions (a central phenomenon in thermodynamics), and thus thermodynamics cannot be reduced to statistical mechanics. As emphasized by Menon and Callender (2013), this problem is closely related to the issue of multiple realizability. From the perspective of finite-N statistical mechanics, there is only a quantitative difference between the transition from water to ice and the transition from cold to lukewarm water. Consequently, statistical mechanics is unable to identify the various phenomena which we refer to as "phase transitions" as a single natural kind. Callender (2001, p. 550), however, argues Clearly the weakest link in the chain is 3; consequently, we ought to affirm 1, 2, 4 and conclude the denial of 3. That is, we should say that real finite systems give rise to the sort of behaviour associated with phase transitions in thermodynamics even when the partition function is not singular.
What Callender wishes to show here is that the conventional argument for the non-reducibility of thermodynamics is based on taking a particular aspect of thermodynamics (the fact that it describes phase transitions by singularities) too seriously. Denying proposition 3 is an alternative way of avoiding the inconsistency illustrated above, and one that is supposed to leave the reduction of thermodynamics to statistical mechanics unharmed.
However, denying proposition 3 leaves the problem of identifying a natural kind "phase transitions" unsolved, since abandoning 3 means we now no longer have a definition of a phase transition. Several solutions to this problem have been proposed (Menon and Callender, 2013). First, one could argue that we were wrong to think about phase transitions as a natural kind-perhaps phase transitions are, as Kadanoff (2009, p. 778) argued, just "products of the human imagination". Second, one could try to re-define phase transitions in such a way that they can arise already in finite N systems. Various ways to do this have been proposed (see Menon and Callender (2013)). In both cases, we would have a correction of thermodynamics by statistical mechanics, which can be advanced as an argument against seeing thermodynamics as fundamental. And in both cases, this is based on the assumption that thermodynamics is not capable of modelling finite-size effects. In our view, this is a consequence of the fact that philosophers don't take thermodynamics seriously enough. Modern approaches of thermodynamics are considerably more powerful in this regard than philosophers usually believe. To see why, it is helpful to take a brief look at some limitations of the classical approach and treatments of phase transitions in modern materials science.
While classical thermodynamics allows for the description of phase-equilibria between bulk phases, it does not describe the process of a phase transition itself. The reason is that this would also require the incorporation of the existence of boundaries between different phases which appear and disappear during the phase transition. This is beyond the scope of classical thermodynamics, which does not have a specific length scale and so does not provide information about structures that do have length scales. Describing the evolution of structures requires the description of interfaces, and the finite thickness of interfaces introduces a characteristic length scale (Schmitz, 2003). The basic premise of phase-field models is the existence of a diffusive interface between two phases, which is described by a phase field φ (Steinbach, 2009). Such an interface can be introduced simply for numerical convenience, but also because its existence is implied by basic principles of irreversible thermodynamics pioneered by Onsager (1931) (Emmerich, 2008). Early models of this type are the Cahn-Hilliard equation (Cahn, 1965;Cahn and Hilliard, 1958) and the Allen-Cahn equation (Allen and Cahn, 1976), which describe a conserved and a non-conserved order parameter φ, respectively.
Phase field models, which are nowadays regularly applied to describe phase transitions in technical processes like solidification of complex alloys, thus constitute an extension of thermodynamics towards "spatially resolved thermodynamics" or "time-dependent theories of phase transitions". In the materials science community, phase-field models, in particular their numerical implementation in the form of software packages such as MICRESS (2021) have been widely adopted because of their ability to describe phase transitions in complex alloy systems and the resulting evolution of highly complex structures relevant for technical applications. Moreover, the phase-field concept itself can be related to fundamental concepts of analytical philosophy like mereology (Schmitz, 2020) and mereotopology (Schmitz, 2022). Reviews of the phase-field approach can be found in Emmerich (2008), Steinbach (2009), and Provatas and Elder (2011).
The thermodynamic limit has been studied in recent work by Thiele et al. (2019) using the example of liquid-liquid phase separation, which can be described using the Cahn-Hilliard equation. This equation is given by with a phase-field φ, a positive mobility Q, and a free energy where κ,ã, and b are positive constants. In particular, we haveã " apT´T c q with the temperature T , the critical temperature T c , and a ą 0. The Cahn-Hilliard theory allows us to find the equilibrium state of the system as the minimum of a free energy that is a very simple function of a local concentration field φ. In the thermodynamic limit of an infinite system size (and only there), the critical temperature at which a phase transition occurs can be found using a simple standard procedure (known as the Maxwell construction). Here, the order parameter changes discontinuously. To see this, note that the gradient contribution in Eq. (7.2) (the term proportional to κ) becomes irrelevant for an infinite system, so that the condition for a minimum of F (equilibrium) becomes µ " apT´T c qφ`bφ 3 (7.3) with the constant chemical potential µ. For T ą T c , there is only one solution (the homogeneous density φ 0 ), whereas for T ă T c , there can (depending on T and φ 0 ) be demixing in regions with densities φ˘" a apT c´T q{b (binodals). The homogeneous state φ 0 remains metastable when crossing the binodal and becomes unstable after crossing the spinodal (where it changes from a local minimum to a local maximum of the free energy). The spinodals are given by φ s "˘aapT c´T q{p3bq. Since phase coexistence requires that φ´ď φ 0 ď φ`, it is only possible below the phase transition temperature T b " T c´b φ 2 0 {a. Thus, for φ 0 ‰ 0, the order parameter δφ " pφ max´φmin q{2 makes a discontinuous jump by a apT c´Tb q{pbq at the temperature T b (first-order phase transition). 7 Thiele et al. (2019) then proceed to show that, if one considers a finite system where interfaces are relevant instead, the Cahn-Hilliard equation still allows us to model the occurrence of demixing in the system. In the finite case, it corresponds to a bifurcation (which is the mathematical description of a sudden qualitative change of a system upon a change of a control parameter (Strogatz, 1994)). The bifurcation diagrams replace the thermodynamic phase diagrams. Bifurcations are commonly studied using a linear stability analysis. This method allows us to study the stability of a homogeneous state φ h in Eq. (7.1) by considering a small perturbation ∆φ " φ´φ h , linearizing Eq. (7.1) via a Taylor expansion around φ h and solving the resulting linear equation with the ansatz ∆φ9 exppλp k¨ rq, (7.4) where λ is the growth rate, k the wavenumber, and r the position. The homogeneous state is unstable for λ ą 0, since perturbations then grow exponentially. One finds (here in one dimension) λpkq " Qpφ h qκk 2 pk 2´k2 q (7.5) with k 2 "´papT´T c q`3bφ 2 0 q{κ. In a domain of size L, λ then becomes positive for φ n "˘d 1 3bˆa pT c´T q´ˆκ 2πn L˙2˙( 7.6) with n P N. Evidently, we get φ n Ñ φ s for L Ñ 8, i.e., in the thermodynamic limit. The standard description of phase transitions is thus recovered. However, more importantly, one can also describe demixing for the case of finite L, and one has obtained a finite-size equivalent of the spinodal. Similarly, a finite-size equivalent of the binodal can also be defined as the concentration value where the inhomogeneous state becomes the global minimum of the free energy. Numerical methods then facilitate the construction of a bifurcation diagram that replaces the phase diagram in the finite system and approaches the phase diagram for increasing L.
(This paragraph and the previous paragraph closely follow Thiele et al. (2019). See Holl et al. (2020) for a discussion of this issue for a more complex model.) What is interesting about this result is that the Cahn-Hilliard equation used for the finite-size system is a simple phenomenological model based on just one order parameter (the field φ), rather than a microscopic statistical description of a many-particle system. Thus, we are clearly in the realm of thermodynamics and not of statistical mechanics. 8 Nevertheless, we are able to describe not only the phase transitions that occur in the limit of an infinite system size, but also the effects that arise from the system actually having a finite size (such as interface contributions). A denial of Callender's proposition 3 should therefore not be taken to imply that thermodynamics is incapable of describing the phenomena we usually call "phase transitions" in a real system.
In the Cahn-Hilliard equation, the kind of behaviour we call a "phase transition" in an infinite system is, in a finite system, associated with a bifurcation. Since "bifurcation" is a perfectly well-defined mathematical concept, this suggests that a re-definition of "phase transition" applicable to finite systems can be developed based on the idea of a bifurcation. Such a definition then allows us to identify the various real-world effects which we refer to as a "phase transition" as one natural kind. Alternatively, we can keep the strict standard definition of a "phase transition", and only talk about bifurcations if we are interested in finite systems.
This brings us to the final question of this section, namely what these findings imply for our overall problem. In general, the problem of phase transitions has led philosophers to two sorts of views. Some have denied 3 and thereby interpreted phase transitions as a failure of thermodynamics, while others have denied 4 and thereby interpreted phase transitions as a failure of statistical mechanics (this is then taken to be an argument against reducibility). However, since both thermodynamics and statistical mechanics are very successful theories, seeing either one of them as a failure in the context of phase transitions suggests rather a failure to appreciate what they are capable of. Whether one denies proposition 3 is the merely terminological question of how we define a "phase transition". But regardless of whether we call it "phase transition" or "bifurcation", it is clear that thermodynamics is able to model the finite-size phenomenoa associated with phase changes.
It is therefore an interesting question whether the models used by Thiele et al. (2019) are reducible to statistical mechanics. In addition to the simple Cahn-Hilliard equation, they have also considered a phase field crystal (PFC) model. The governing equation of PFC models also has the form (7.1), but the free energy is more complex. The microscopic derivation of PFC models has gained some attention by physicists in recent years (te . Therefore, we discuss this issue here based on PFC rather than on phase field models (although also the latter do have a connection to statistical mechanics (Mauri and Bertei, 2021)). PFC models are similar to phase field models, but can be used also on atomistic cases to describe crystallization. A review can be found in Emmerich et al. (2012). PFC models were first proposed on a phenomenological basis (in a thermodynamic spirit) and then derived from statistical mechanics, namely from a microscopic theory known as dynamical density functional theory (DDFT) (te  (this derivation is discussed in detail in Archer et al. (2019) and te Vrugt et al. (2022b)). Thus, we appear to have here a clear case of reduction. However, things are again more complicated than they appear to be at first glance. A study of the solidification of iron by Jaatinen et al. (2009) found that the microscopic predictions of statistical mechanics for the PFC coefficients are not quantitatively accurate. This has to do with the fact that, although PFC models are used to model crystallization, their derivation from statistical mechanics involves certain assumptions (namely small gradients) which are inaccurate for crystallization. On the other hand, one can obtain the PFC parameters by fitting the model to experimental data and thereby use it to describe a wide class of materials. Thus, the reduction of PFC models is an open problem (te . On the other hand, the wide applicability of PFC models suggests that they hold for a variety of different microscopic interactions, such that we again have a case of multiple realizability.

The arrow of time
The problem of the thermodynamic arrow of time (te Vrugt, 2021a), i.e., the (apparent) incompatibility between the macroscopic laws of thermodynamics (which are irreversible due to the monotonous increase of entropy) and the microscopic laws of classical or quantum mechanics (which are invariant under time reversal) provides a particularly interesting case study for the problem of reduction and fundamentality of thermodynamics. There are (at least) three reasons for this. First, it allows us to find further problems for the standard alleged reduction of thermodynamics. Second, claims that a successful reduction has been achieved here have recently been made in the philosophical literature. Third, it can be used as a possible argument against the fundamentality of thermodynamics. This third point will be discussed in Section 9.4.
Let us start with the first point, which can be studied already in the equilibrium case. Callender (2001, p. 545) describes the reduction of equilibrium thermodynamics to statistical mechanics (which describes many-particle systems using probability distributions) as follows (footnote removed): Thermodynamics assumes something like the following: Under a given set of environmental conditions (determined externally by temperature, pressure, etc.), a system will have approximately constant macroscopic properties. A system is in equilibrium just in case it is in such state. Statistical mechanics 'translates' the last claim as: Thermal equilibrium is a stationary probability distribution.
He then argues that this view is problematic, since (among other things) it is inappropriate to describe an equilibrium system via a stationary probability distribution such as the microcanonical distribution because a stationary probability distribution is incompatible with the fact that the system has been in nonequilibrium at some point in the past. He thus concludes that we should instead say that Thermal equilibrium corresponds to a special set of microscopic trajectories that leave the macroscopic properties of a system, for a certain observational timescale, approximately constant (and the time scales need not be the same for all macroscopic observables). (Callender, 2001, p. 547) Interestingly, we are facing here not a problem of thermodynamics, but a problem with its reduction to statistical mechanics. The standard statistical description of an equilibrium system is simply incompatible with the fact that equilibrium systems generally have been nonequilibrium systems at some point in their past.
In general, statistical mechanics will thus have to be based on averaged ("coarse-grained") probability distributions, and it is only by using coarse-graining that it is possible to derive macroscopic irreversible dynamics from microscopic reversible theories. This brings us to the second point, which is the reductionist claim recently made by Robertson (2020). Among the most useful coarse-graining methods is the Mori-Zwanzig formalism (Mori, 1965;Zwanzig, 1960;Nakajima, 1958) (see Grabert (1982) and te  for an introduction), which allows for a systematic derivation of irreversible macroscopic transport equations from reversible microscopic ones. We here briefly sketch this standard derivation following Zeh (2007), Wallace (2015), and te Vrugt (2021c). The starting point is the (reversible) Liouville-von Neumann equation for the density operator ρ (describing the system on a microscopic quantum level) 9 ρptq "´iLρptq, with the Liouvillian L. We now define a projection operator P that projects ρ onto the "relevant" partρ (the macroscopic degrees of freedom), i.e., P ρ "ρ. Moreover, we define an orthogonal projection operator Q " 1´P and an irrelevant density δρ " Qρ. This allows the definition of the following exact transport equation (see Wallace (2015, p. 292) and Zeh (2007, p. 62)): We now note that P iLρ vanishes in most cases (Zeh, 2007, p. 62) and assume two things, namely 1. that the memory kernel (integrand of the time integral) vanishes very rapidly (Markovian approximation). 2. that δρp0q " 0.
This then gives the following irreversible transport equation for the macroscopic degrees of freedom (know as "master equation") Regarding this derivation, Robertson (2020, p. 573) says 9 I think that independently of any given account of reduction, this is a case of reduction-in-practice. After all, the ZZW framework allows us to construct the equations of one theory (SM) from another (CM or QM).
However, things are in fact not so easy for a variety of reasons.
We start with the second assumption. If we want to derive a theory with an arrow of time (thermodynamics) from a theory without one (statistical mechanics), then we need something to fix the direction of this arrow. By far the most common view is that is to be done by initial conditions, and the assumption δρp0q " 0 made here is such an assumption. This is also supported by the fact that seemingly "anti-thermodynamic behaviour" (heat flowing spontaneously from a cold to a hot spin) can be generated artificially by preparing a system in the "wrong" initial conditions (Micadei et al., 2019). In philosophy, the idea that the thermodynamic asymmetry of time can be explained via an initial condition, namely the low-entropy initial state of the universe, is known as the "past hypothesis" (Albert, 2000). What is a matter of debate is whether the past hypothesis is itself in need of explanation (Callender, 2016), which has led some authors to the claim that the past hypothesis itself has the status of a law of nature (Callender, 2004;Chen, 2021). If one adapts this view, then it is clear that we did not derive the laws of thermodynamics from the laws of quantum mechanics, since there was one additional law that is needed (the past hypothesis) which is not among the laws of quantum mechanics.
While this already would make thermodynamics non-reducible to statistical mechanics, it is not obvious that it would make thermodynamics fundamental. One could also argue here that, instead, it is the past hypothesis that is fundamental, and that the past hypothesis is not a part of thermodynamics. Arguments for the latter are (a) the fact that nothing like the past hypothesis appears in the axioms of thermodynamics and (b) that modern formulations of the past hypothesis, backed up by the Mori-Zwanzig derivation (te Vrugt, 2021c), consider the past hypothesis to be a condition on the initial microstate of the universe (Wallace, 2011). Moreover, Dunn (2011, p. 83) has argued that the past hypothesis does not qualify as a (Lewsian) fundamental law since (among other things) it is not a regularity, as a law is required to be. And, finally, it is not even clear that the past hypothesis solves all our problems related to thermodynamic asymmetry. Even if it explains the overall temporal thermodynamic arrow of the universe, it does (perhaps) not explain why it points in the same direction in all subsystems (Winsberg, 2004). We can solve all these problems at once by noticing that the minus first law (the assumption that every isolated system spontaneously approaches equilibrium), which incorporates the temporal asymmetry (Brown and Uffink, 2001), is generally considered to be among the laws of thermodynamics, at least in the philosophical literature. The only reason we would need something like the past hypothesis among our fundamental laws is that it generates the thermodynamic asymmetry of time and fixes its direction. It is thus perfectly acceptable to use this asymmetry itself, or more precisely: the minus first law, as a fundamental law instead. Then, the derivation of the irreversible master equation (8.3) in the Mori-Zwanzig formalism sketched above could, very likely, be reduced to a fundamental basis of laws containing quantum mechanics and thermodynamics. Quantum mechanics gives us Eq. (8.2), and thermodynamics then justifies the two approximations that lead us from Eq. (8.2) to Eq. (8.3). Thus, for our system of laws-our basis, to use the language introduced in Section 3-to be a complete one, we have to add thermodynamics. This makes thermodynamics an element of the CMB and thus a fundamental theory.
There is a second, more technical problem with considering the derivation of Eq. (8.3) to be based on nothing but quantum mechanics, which is related to the Markovian approximation. This is a key step, since it generates the irreversibility. However, unless we have a justification for this step within quantum mechanics, then one cannot really say that we have derived irreversible thermodynamics from quantum statistical mechanics. In practice, the Markovian approximation is made because it is known to work, in particular because irreversible transport equations are known to be empirically successful. There is nothing wrong with introducing empirical hypotheses in a derivation, but one should then be careful when claiming that a "reduction" has been achieved to specify the reducing theory completely. If anything, we have derived statistical mechanics from thermodynamics here, since our knowledge about thermodynamic irreversibility has been used as an input to derive Eq. (8.3) (a result from statistical mechanics). Understanding the microscopic justification of the Markovian approximation is a very challenging problem (see Tóth (2022) for a physical and te Vrugt (2021c) for a philosophical discussion). Of course, such a justification might be found (research on this problem is ongoing), but we emphasize here that it has to be found if a reduction is to be achieved here. And, notably, some physicists (Drossel, 2015) have argued that such a justification is in principle impossible.
Interestingly, the Markov approximation also plays a prominent role in Cartwright's (1983) discussion of phenomenological and fundamental laws (see in particular her discussion of the master equation in Cartwright (1983, pp. 113-118)). There, it is used as an example of an approximation that improves the underlying theory (here quantum mechanics) in its description of a specific phenomenon, an approximation that is not justified by quantum mechanics itself. While Cartwright's position is certainly more radical than the one defended here, the fact that she uses the Markov approximation as the basis for an argument against the view that the fundamental laws (of quantum mechanics) are always true and reproduce the phenomenological laws in specific application contexts should make one question the view that we have an obvious case of reduction here.
To adapt a thought experiment by Weisskopf (1977) 10 , suppose that a group of extremely talented theoretical physicists that has absolutely no empirical knowledge about the world is locked up in a room and presented with the basic laws of quantum mechanics. It has been argued, for example, that these physicists would be able to predict the existence and basic properties of solids (Weisskopf, 1977). If this is the case (we will not discuss here whether it is), then it is very plausible that solid state physics can be reduced to quantum mechanics. The interesting question here is whether these physicists would be able to predict that there is such a thing as a thermodynamic arrow of time. Since they would not know anything about the past hypothesis or about the empirical observations that lead to the Markovian assumption, they would presumably not be able to predict this.
Note that we do not wish to deny here the tremendous successes of derivations in the Mori-Zwanzig formalism (see, e.g., te Vrugt and Wittkowski (2019), te Vrugt et al. (2021), and references therein). For example, they make it possible to obtain microscopic expressions for coefficients appearing as free parameters on the thermodynamic level (such as the viscosity in fluid mechanics (Grabert, 1982)). Moreover, it is possible to derive novel generalizations of existing theories such as DDFT (Wittkowski et al., , 2013. DDFT, however, also provides a good example for how these derivations work in practiceit was known already from phenomenological work (Evans, 1979;Munakata, 1989) and other derivations (Marini Bettolo Marconi and Tarazona, 1999;Archer and Evans, 2004) before it was re-derived in the Mori-Zwanzig framework (Yoshimori, 2005;Español and Löwen, 2009) and then finally generalized in this way . Understanding these subtleties is also necessary in order to truly appreciate statistical mechanics, which is not (just) a tool for deriving thermodynamics, but a theory in its own right (Wallace, 2015).
9 Objections against the fundamentality of thermodynamics 9.1 Microscopic causation Often, it is assumed that the most fundamental explanation of an effect is one which is based on microscopic causal processes. In fact, it has been taken to be the basis of the fundamentality of physics that it is causally complete in the sense of providing causal explanations for everything that takes place in the physical world (see Ney (2019)). Does thermodynamics provide causal explanations? Needham (2009, p. 105) has suggested that it does since, for example, temperature differences cause heat to flow from a warmer to a colder object.
A reservation one might have here is that this would require "downward causation"-a property of a macroscopic object (here its temperature) determining what its parts do. Kim (1999, p. 33), for example, argues that "higher-level properties can serve as causes in downward causal relations only if they are reducible to lower-level properties". Typically, it is assumed that fundamental explanations have to be formulated in terms of properties and causal interactions of the microscopic constituents of a system. All macroscopic properties and processes supervene on the microscopic description of the system. However, as Needham (2009, p. 106) points out, this is based on the assumption that explanations on a lower level are necessarily prior, which itself is in need of explanation.
In fact, the idea of the priority of microscopic causal explanations appears to be based on a classical picture of the world as consisting of tiny billiard balls that bump into each other according to deterministic laws. The properties of the balls and their bumping are then taken to determine everything that takes place on the macroscopic level. However, the world is actually governed by quantum mechanics. Quantum systems are usually entangled with their environment, and the state of an entangled system can not be specified by specifying simply the states of its parts (Maudlin, 1998). (Entanglement has, accordingly, been put forward as an argument for monism (Schaffer, 2010).) The temperature of a many-particle system, while being a statistical property in the classical case, simply depends on the quantum state of the system (as specified by its density operator) in the quantum case. This quantum state is, as we have seen, in most cases not reducible to "microscopic" properties of the system. Moreover, the heat flow between two systems is determined by their quantum states (as is obvious from the fact that we can reverse the direction of heat flow by manipulating these states (Micadei et al., 2019)). Thus, from a quantum-mechanical perspective, it is quite natural to argue that thermodynamic processes such as heat flow are determined by properties possessed by the whole rather than by the combined properties of the parts 11 . 9.2 Level-dependence of special science laws Avoiding the idea of reduction, Dunn (2011) enumerates a number of conditions intended to show that thermodynamics is not a "fundamental science". These are based on Lewis' (1983) account of fundamental laws. In particular, Dunn argues 1. Fundamental laws can only refer to perfectly natural properties. Thermodynamics and the past hypothesis do not satisfy this criterion since they refer to entropy, which is not a perfectly natural property but one related to human observers.
2. Fundamental laws hold at every level, also between fundamental entities, whereas special science laws hold only at their own level of inquiry. Thermodynamics is solely a macroscopic theory not applicable at the level of a few particles. 3. Special science laws are blind to what takes place at the fundamental level. This holds for thermodynamics since it is applies quite independently of what the fundamental laws are.
Objection (1) is based on the fact that entropy, a central quantity of interest in thermodynamics, is closely related to what human observers know about the system (it is often thought of as a measure of "ignorance"). Dunn bases his discussion of natural laws on the theory of Lewis (1973Lewis ( , 1983, who understands them as the axioms of a best system, where the "best system" is the one with the optimal balance of strength and simplicity. These laws have to be formulated only in terms of perfectly natural properties, since otherwise we could make any law simple solely by reformulating it. The axioms of this best system are the fundamental laws (Lewis, 1983). 12 However, the idea of "perfectly natural properties" faces several problems. For our purposes, the most important one is that, since the question what is and is not a "perfectly natural property" is assumed to be a purely metaphysical one, it might be the case that the best candidate for a fundamental theory of physics is not a best system in Lewis' sense if it just happens to be formulated using the "wrong" properties (Loewer, 2007(Loewer, , 2021. Moreover, it is questionable whether "being a natural property" is in fact a natural property (Thompson, 2016), which makes this idea potentially self-defeating. Moreover, even if we do accept the idea of "natural properties", all is not lost here-at least for equilibrium systems, which are the chief realm of thermodynamics. For quantum-mechanical systems in equilibrium, the thermodynamic entropy corresponds to the von Neumann entropy, which is defined as S "´k B Trpρ ln ρq, where Tr is the quantum-mechanical trace and ρ is the system's density operator. This density operator, in turn, represents an objective description of the state of a quantum-mechanical system and is not necessarily related in any way to what human observers know (Wallace, 2021). This stands in contrast to classical statistical mechanics, where ρ represents a probability distribution that is generally thought of as representing human credences. However, the world is fundamentally quantum, not classical. Moreover, there are good reasons for understanding the von Neumann entropy (9.1) to correspond to the thermodynamic entropy (see Chua (2021) for a recent defence of this view). Thus, if ρ is perfectly natural (and there is no reason to assume that it is not), then the (quantum) entropy is too. Regarding (2), Dunn (2011, pp. 86-87) says "fundamental laws hold between entities of fundamental physics, even when we consider these entities singly. [...] These laws of motion, of course, also hold between entities of the special sciences". In fact, (2) actually specifies two requirements: First (2a), fundamental laws hold between the fundamental entities. If we have a criterion for what the fundamental entities are, we can thus identify "the fundamental laws" as the laws holding for these entities. Second (2b), fundamental laws have to satisfy some sort of generality criterion, according to which they have to hold at every level. Concerning (2b), it should be noted that this criterion is based on a unificationist view of science that not everyone shares. Cartwright (1983Cartwright ( , 1999 is notable in this regard (see Näger (2020) for an overview). Of course, if we were to adapt such a view, the idea of looking for "fundamental theory" would need to be revised in general. However, whether (2b) is a reasonable criterion does not really matter here, since (as will be discussed briefly in Section 9.4) thermodynamics does have a pretty wide range of applicability, and thus (2b) will not be the basis for a striking argument against the fundamentality of thermodynamics. What appears to be controversial is whether thermodynamics satisfies (2a).
When making a statement regarding the question whether thermodynamics applies to the fundamental entities of physics, we first need to find out what the fundamental entities are. Dunn (2011, p. 86) does actually mention this problem in a footnote, stating What is a fundamental entity of physics? Following Lewis, we can think of the fundamental entities as those things-whatever they may be-that form the ultimate parts of the Humean mosaic. There is a worry here, that the entities of fundamental physics might not be single particles, but actually massive pluralities of quantum-entangled particles. This possibility is set aside for two reasons. First, we are considering classical correlates of the actual world. Second, it is not clear that [...] this possibility damages any of what is said.
However, this is a bit too quick. While there can be good reasons for studying metaphysical implications of classical systems (te Vrugt, forthcoming), the world is nevertheless governed by quantum mechanics, and if one's argument applies only in a hypothetical world that is not governed by quantum mechanics, then it simply does not apply to our world. And the possibility that this fact damages "what is said" is quite a realistic one. For if one considers entangled many-particle systems to be objects that are more fundamental than their parts-a position that, although not shared universally (see Näger (2021)), is not an unreasonable onethen the fundamental entities might be precisely the macroscopic objects that thermodynamics is usually concerned with. In a sense, Dunn's view can thus be subjected to the same criticism that many modern works in mereology have received by Ladyman and Ross (2007), namely that of simply assuming that physics will eventually provide us with a bunch of mereological atoms that everything else is built from like a house is built from bricks, without taking into account that actual modern physics does not appear to provide us with any such thing.
Even if we assume that thermodynamics applies only to middle-sized objects, it might still be a fundamental theory by criterion (2b) if we assume that the middle-sized objects are or can be the fundamental ones, a view recently defended by Inman (2017) and Bernstein (2021) (see Morganti (2020a)). Let us nevertheless assume, for the sake of the argument, that smaller objects are generally more fundamental. Then, the objection would be that thermodynamics does not apply to small objects. This, however, might have been true for classical "steam engine thermodynamics", but not necessarily for modern versions such as quantum thermodynamics (Vinjanampathy and Anders, 2016). Today, heat flow can also be studied between single atomic nuclei (Micadei et al., 2019;Schmidt and Jurado, 2011). And the black holes discussed earlier should not be forgotten; they are thermodynamic systems yet also very likely to satisfy the criterion of being a fundamental entity.
Finally, (3) is an interesting sort of objection since, for most of this work, we have used the fact that thermodynamics holds regardless of microscopic details as an argument for rather than against the fundamentality of thermodynamics (in particular in our discussion of entropic gravity). The idea that it is characteristic for special sciences to be independent of the fundamental laws certainly stands in a certain tension with the idea that the special sciences should be reducible to these fundamental laws. A problem with Dunn's criterion (3) is, again, that it is helpful for identifying a special science only if we already have an idea of what "the fundamental level" is. For example, Dunn argues that economics is not a fundamental science because it holds regardless of what is going on at the level of particle physics as long as there is something playing the role of money. However, the reverse is also true-particle physics is blind to what the laws of economics are. If we are (for whatever reason) convinced that economics is a fundamental theory, then criterion (3) would imply that the standard model of particle physics is not. This clearly is a very strange result (particle physics is by all accounts more fundamental than economics), showing that (3) is not a particularly useful criterion.

Control theory
A different (but, as we shall see, related) objection is based on the idea, recently defended by Wallace (2014) and Myrvold (2020b), that thermodynamics is something like a "control theory" or "resource theory". On this view, which has received support from quantum information theory (Myrvold, 2021, p. 145), thermodynamics is primarily concerned with the effects of certain manipulations of a physical system, and the central concepts of thermodynamics (heat, work, and entropy) are defined relative to a certain class of manipulations. Myrvold (2020bMyrvold ( , p. 1220 argues: A designation of certain variables as manipulable is not something that appears in, or supervenes on, fundamental physics; it must be added. For this reason, Θ∆ cs is not and cannot be a comprehensive or fundamental physical theory. This constitutes an argument for why Θ∆ cs , which is how Myrvold (2020b) refers to (his understanding of) thermodynamics, is not fundamental. There are (at least) two ways this argument can be met.
First, Myrvold (2020bMyrvold ( , p. 1220 explicitly admits that what he calls Θ∆ cs is a narrower concept than what other authors have understood as "thermodynamics". In particular, it does not include the minus first law. Myrvold (2020a, p. 120) advances certain arguments for why the minus first law should not be considered a law of thermodynamics, in particular that it is not concerned with heat and work. There is no room here to discuss this argument, but it should be noted that, as shown in Section 8, there are good reasons to consider the minus first law to be fundamental. Hence, Myrvold's approach would essentially make thermodynamics a non-fundamental theory simply by removing something fundamental from its axioms. In this case, the non-fundamentality of thermodynamics would result from restricting thermodynamics to what Myrvold calls Θ∆ cs . As noted in Section 2, we employ a broader understanding of thermodynamics in this work.
Second, one might question why a resource theory cannot be fundamental. Myrvold appears to take this as given and does not provide an explicit definition of what he takes to be "fundamental physics". From the understanding we have proposed in Section 3, it does not follow that a resource theory cannot be fundamental, and if (as is likely, see Sections 5 and 6) thermodynamics can tell us something interesting about quantum gravity, it is quite a move to just take it as axiomatic that theories such as thermodynamics cannot be fundamental. Presumably, the motivation here is similar to the idea discussed in Section 9.2 that only perfectly natural properties can feature in fundamental laws-it can be argued that anything that has to do with manipulations is not perfectly natural. However, as has been discussed in Section 9.2, we do not subscribe to the naturalness criterion in this paper. Moreover, Myrvold (2020bMyrvold ( , p. 1222) strongly objects against the view that the Θ∆ cs is subjective, in part because the variables treated as manipulable do not have to be manipulable by humans (he cites applications to volcanoes as an example). We agree to this argument, and therefore maintain that thermodynamics is a fundamental theory.

Generality
Another criterion for "fundamentality" that is behind several recent proposals (such as explanatory maximality) is that a fundamental theory should be one that has a wide range of applicability compared to non-fundamental theories. We should therefore also take a brief look at how thermodynamics fares in this regard. First, it is sometimes argued that thermodynamics applies only to macroscopic systems. As discussed in te Vrugt (2021b) and in Section 9.2, this is a prejudice that is based on not considering modern approaches to the thermodynamics of small systems, such as quantum thermodynamics (Vinjanampathy and Anders, 2016) or stochastic thermodynamics (Seifert, 2012). Second, most of thermodynamics applies only to equilibrium systems. However, there are ways to apply it also in certain regions away from equilibrium (such as nonequilibrium thermodynamics), and the minus first law is a general statement of thermodynamics applying to nonequilibrium systems (stating that they will approach equilibrium). In particular, stochastic thermodynamics is applicable to small non-equilibrium systems (Seifert, 2012)-applications to active matter (Speck, 2016) are a good example. As mentioned in Section 2, we consider all these more recent extensions to be a part of thermodynamics. One can adopt a more restricted definition, but again, it does not seem reasonable to us to defend the view that thermodynamics is not fundamental on the basis of excluding a large part of what, in modern physics, is considered an important part of thermodynamics.
The question is then whether there are isolated systems that do not approach equilibrium or even move away from it. A potentially problematic candidate would be classical self-gravitating systems, where temperature gradients sometimes increase due to a feedback loop arising from negative heat capacity, an effect known as "gravothermal catastrophe" (Lynden-Bell and Wood, 1968). Robertson (2019) has argued that selfgravitating systems can be described by statistical mechanics but not by thermodynamics, and has therefore expressed scepticism regarding the fundamentality of thermodynamics. However, a real sufficiently large star will eventally collapse to a black hole, which is an equilibrium state of a self-gravitating system (Wallace, 2010). Moreover, the view that self-gravitating systems do not exhibit thermodynamic behaviour might be due to too narrow a conception of what "thermodynamics" is (Callender, 2011). Another objection would consider systems moving away from equilibrium due to special initial correlations. (Performing the derivation described in Section 8 with a different initial condition than the one found to be satisfied in physical systems can produce a decreasing entropy (Zeh, 2007, p. 67).) Whether setups such as the spin echo experiment (Hahn, 1950), where a disordered system of spins spontaneously evolves into an ordered one, count as an exception (Ridderbos and Redhead, 1998) is controversial. But even if one takes this view, such exceptions are rare and arise only in highly controlled laboratory environments specifically designed to create them. Regardless of one's view on the spin echo experimental, it is clear that thermodynamics is applicable much more broadly than almost any other theory.
It should be noted here that even quantum field theory and general relativity-which, among all presently used and empirically confirmed scientific theories, are the ones that are most likely to be fundamental-cannot hold everywhere since they are incompatible. (One could therefore reserve the word "fundamental" solely for a yet to be derived exact theory of quantum gravity. But, if we use a definition of "fundamental" that will only be satisfied by a scientific theory that is centuries away or will never be reached, then the word "fundamental" becomes more of less useless for talking about current science (Ney, 2019).) In contrast, thermodynamics applies both to systems governed by quantum field theory and in cosmological contexts where general relativity is relevant, and is often taken to be a useful tool in approaching quantum gravity (as has been discussed earlier). Thus, if we count the spin echo experiment as a violation of thermodynamics (which, as just noted, is not something that everyone does), and we discard thermodynamics as a candidate for a fundamental theory because of this exception, then we also have to discard quantum field theory and general relativity because they will also break down somewhere. Alternatively (and more reasonably), we can weaken the requirement of being an exceptionless theory. In this case, however, we have every reason to think of thermodynamics as a fundamental theory.

Conclusion
It is widely believed among philosophers of physics (and philosophers of science in general) that the relation of thermodynamics to statistical mechanics is a clear case (perhaps the clearest case) of intertheoretical reduction. The main purpose of this paper is to pour a little cold water on this claim. In general, the alleged reduction of thermodynamics is heavily affected by the multiple realizability problem, an issue for which entropic gravity and black hole thermodynamics provide a much more striking example than the commonly discussed scenarios. Moreover, apparent explicit reductions such as the derivation of phase field crystal models or the derivation of irreversibility in the Mori-Zwanzig formalism, do, at a closer look, tend to involve auxiliary assumptions that are motivated primarily by the anticipated reduction. Finally, we have sketched how recent results in phase field modelling might allow for a thermodynamic description of phase transitions even beyond the thermodynamic limit.