This paper analyses the anti-reductionist argument from renormalisation group explanations of universality, and shows how it can be rebutted if one assumes that the explanation in question is captured by the counterfactual dependence account of explanation.

It is proposed that we use the term “approximation” for inexact description of a target system and “idealization” for another system whose properties also provide an inexact description of the target system. Since systems generated by a limiting process can often have quite unexpected, even inconsistent properties, familiar limit systems used in statistical physics can fail to provide idealizations, but are merely approximations. A dominance argument suggests that the limiting idealizations of statistical physics should be demoted to approximations.

Despite the close connection between the central limit theorem and renormalization group (RG) methods, the latter should be considered fundamentally distinct from the kind of probabilistic framework associated with statistical mechanics, especially the notion of averaging. The mathematics of RG is grounded in dynamical systems theory rather than probability, which raises important issues with respect to the way RG generates explanations of physical phenomena. I explore these differences and show why RG methods should be considered not just calculational tools but (...) the basis for a physical understanding of complex systems in terms of structural properties and relations. (shrink)

In previous work, I described several examples combining reduction and emergence: where reduction is understood a la Ernest Nagel, and emergence is understood as behaviour that is novel. Here, my aim is again to reconcile reduction and emergence, for a case which is apparently more problematic than those I treated before: renormalization. My main point is that renormalizability being a generic feature at accessible energies gives us a conceptually unified family of Nagelian reductions. That is worth saying since philosophers tend (...) to think of scientific explanation as only explaining an individual event, or perhaps a single law, or at most deducing one theory as a special case of another. Here we see a framework in which there is a space of theories endowed with enough structure that it provides a family of reductions. (shrink)

Foundational puzzles surround gravitational thermal physics—a realm in which stars are treated as akin to molecules in a gas. Whether such an enterprise is successful and the domain of thermal physics extends beyond our terrestrial sphere is disputed. There are successes and paradoxical features. Callender :960–981, 2011) advocates reconciling the two sides of the dispute by taking a broader view of thermodynamics. Here I argue for an alternative position: if we are careful in distinguishing statistical mechanics and thermodynamics, then no (...) reconciliation is required. Both sides can live in harmony because whilst statistical mechanics applies, thermodynamics does not. This state of affairs—the applicability of statistical mechanics without the emergence of thermodynamic behaviour—can be explained in terms of an infamous infinite idealisation: the thermodynamic limit. (shrink)

One of the most unsettling problems in the history of philosophy examines how mathematics can be used to adequately represent the world. An influential thesis, stated by Eugene Wigner in his paper entitled "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," claims that "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve." Contrary to this view, this thesis delineates and implements (...) a strategy to show that the applicability of mathematics is very reasonable indeed. I distinguish three forms of the problem of the applicability of mathematics, and focus on one I call the problem of uncanny accuracy: Given that the construction and manipulation of mathematical representations is pervaded by uncertainty, error, approximation, and idealization, how can their apparently uncanny accuracy be explained? I argue that this question has found no satisfactory answer because our rational reconstruction of scientific practice has not involved tools rich enough to capture the logic of mathematical modelling. Thus, I characterize a general schema of mathematical analysis of real systems, focusing on the selection of modelling assumptions, on the construction of model equations, and on the extraction of information, in order to address contextually determinate questions on some behaviour of interest. A concept of selective accuracy is developed to explain the way in which qualitative and quantitative solutions should be utilized to understand systems. The qualitative methods rely on asymptotic methods and on sensitivity analysis, whereas the quantitative methods are best understood using backward error analysis. The basic underpinning of this perspective is readily understandable across scientific fields, and it thereby provides a view of mathematical tractability readily interpretable in the broader context of mathematical modelling. In addition, this perspective is used to discuss the nature of theories, the role of scaling, and the epistemological and semantic aspects of experimentation. In conclusion, we argue for a method of local and global conceptual analysis that goes beyond the reach of the tools standardly used to capture the logic of science; on their basis, the applicability of mathematics finds itself demystified. (shrink)

This paper presents an in-depth analysis of the anatomy of both thermodynamics and statistical mechanics, together with the relationships between their constituent parts. Based on this analysis, using the renormalization group and finite-size scaling, we give a definition of a large but finite system and argue that phase transitions are represented correctly, as incipient singularities in such systems. We describe the role of the thermodynamic limit. And we explore the implications of this picture of critical phenomena for the questions of (...) reduction and emergence. (shrink)

We argue that two powerful error-theoretic concepts provide a general framework that satisfactorily accounts for key aspects of the explanation of physical patterns. This method gives an objective criterion to determine which mathematical models in a class of neighboring models are just as good as the exact one. The method also emphasizes that abstraction is essential for explanation and provides a precise conceptual framework that determines whether a given abstraction is explanatorily relevant and justified. Hence, it increases our epistemological understanding (...) of how one should go about reconstructing scientific practices by making clear that, at a fundamental level, a key aspect of mathematical modeling consists in exactly solving nearby problems. (shrink)

Classical accounts of intertheoretic reduction involve two pieces: first, the new terms of the higher-level theory must be definable from the terms of the lower-level theory, and second, the claims of the higher-level theory must be deducible from the lower-level theory along with these definitions. The status of each of these pieces becomes controversial when the alleged reduction involves an infinite limit, as in statistical mechanics. Can one define features of or deduce the behavior of an infinite idealized system from (...) a theory describing only finite systems? In this paper, I change the subject in order to consider the motivations behind the definability and deducibility requirements. The classical accounts of intertheoretic reduction are appealing because when the definability and deducibility requirements are satisfied there is a sense in which the reduced theory is forced upon us by the reducing theory and the reduced theory contains no more information or structure than the reducing theory. I will show that, likewise, there is a precise sense in which in statistical mechanics the properties of infinite limiting systems are forced upon us by the properties of finite systems, and the properties of infinite systems contain no information beyond the properties of finite systems. (shrink)