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

When once-successful physical theories are abandoned, common wisdom has it that their characteristic theoretical entities are abandoned with them: examples include phlogiston, light rays, Newtonian forces, Euclidean space. But sometimes a theory sees ongoing use, despite being superseded. What should scientific realists say about the characteristic entities of the theories in such cases? The standard answer is that these ‘theoretical relicts’ are merely useful fictions. In this paper we offer a different answer. We start by distinguishing horizontal reduction (in which (...) a superseded theory approximates the successor theory) from vertical reduction (in which a higher-level theory abstracts away from the lower-level theory, but nonetheless can be constructed from it); these are usually regarded as having different ontological consequences. We describe a ‘verticalization’ procedure which transforms horizontal reductions into vertical reductions. The resulting verticalized theories are abstractions rather than approximations, with restricted domains. We identify a sense in which the higher-level theory describes distinct subject matters from the lower-level theory, enabling in certain cases the higher-level theory to retain distinctive explanatory power even in the presence of reduction. We suggest that theoretical entities from superseded theories should be retained in a scientific realist worldview just when, reinterpreted as higher-level abstractions, those theories and their characteristic entities continue to perform distinctive explanatory work in providing the best explanation for less-fundamental phenomena of interest. In slogan form: a good relict is an emergent relict. (shrink)

Reduction between theories in physics is often approached as an a priori relation in the sense that reduction is often taken to depend only on a comparison of the mathematical structures of two theories. I argue that such approaches fail to capture one crucial sense of “reduction,” whereby one theory encompasses the set of real behaviors that are well-modeled by the other. Reduction in this sense depends not only on the mathematical structures of the theories, but also on empirical facts (...) about where our theories succeed at describing real systems, and is therefore an a posteriori relation. (shrink)

I show explicitly how concerns about wave function collapse and ontology can be decoupled from the bulk of technical analysis necessary to recover localized, approximately Newtonian trajectories from quantum theory. In doing so, I demonstrate that the account of classical behavior provided by decoherence theory can be straightforwardly tailored to give accounts of classical behavior on multiple interpretations of quantum theory, including the Everett, de Broglie-Bohm and GRW interpretations. I further show that this interpretation-neutral, decoherence-based account conforms to a general (...) view of inter-theoretic reduction in physics that I have elaborated elsewhere, which differs from the oversimplified and often ambiguous picture that treats reduction simply as a matter of taking limits. This interpretation-neutral account rests on a general three-pronged strategy for reduction between quantum and classical theories that combines decoherence, an appropriate form of Ehrenfest's Theorem, and a decoherence-compatible mechanism for collapse. It also incorporates a novel argument as to why branch-relative trajectories should be approximately Newtonian, which is based on a little-discussed extension of Ehrenfest's Theorem to open systems, rather than on the more commonly cited but less germane closed-systems version. In the Conclusion, I briefly suggest how the strategy for quantum-classical reduction described here might be extended to reduction between other classical and quantum theories, including classical and quantum field theory and classical and quantum gravity. (shrink)

I distinguish two types of reduction within the context of quantum-classical relations, which I designate “formal” and “empirical”. Formal reduction holds or fails to hold solely by virtue of the mathematical relationship between two theories; it is therefore a two-place, a priori relation between theories. Empirical reduction requires one theory to encompass the range of physical behaviors that are well-modeled in another theory; in a certain sense, it is a three-place, a posteriori relation connecting the theories and the domain of (...) physical reality that both serve to describe. Focusing on the relationship between classical and quantum mechanics, I argue that while certain formal results concerning singular \ limits have been taken to preclude the possibility of reduction between these theories, such results at most provide support for the claim that singular limits block reduction in the formal sense; little if any reason has been given for thinking that they block reduction in the empirical sense. I then briefly outline a strategy for empirical reduction that is suggested by work on decoherence theory, arguing that this sort of account remains a fully viable route to the empirical reduction of classical to quantum mechanics and is unaffected by such singular limits. (shrink)

Virtually all philosophers of science have construed fundamental theories as descriptions of entities, properties, and/or structures. Call this the “descriptive-ontological” view. I argue that this view is incorrect, at least insofar as physical theories are concerned. I propose a novel construal of theories that I call the “prescriptive-dynamical” view. The central tenet of this view, roughly put, is that the _essential_ content of fundamental physical theories is a _prescription for interfacing with natural systems and translating local data into compact theoretical (...) language_. The descriptive-ontological aspects of theories, if any, are taken as _inessential_ content on this view: they do not contribute to the predictive success of the theory. Rather than describing _what is there_, the essence of a physical theory is to tell us _what to do_ when interfacing with a physical system. (shrink)

The central motivation behind the scientific realism debate is explaining the impressive success of scientific theories. The debate has been dominated by two rival types of explanations: the first relies on some sort of static, referentially transparent relationship between the theory and the unobservable world, such as truthlikeness, representation, or structural similarity; the second relies on no robust relationship between the theory and unobservable reality at all, and instead draws on predictive similarity and the stringent methodology of science to explain (...) success. I argue that this is a false dichotomy, at least insofar as dynamical theories are concerned. The best explanation of the success of dynamical theories, I argue, must appeal to a robust but referentially opaque theory–world relation. The dynamical notion of ‘tracking’ fulfills this promise. I formulate a modified no miracles argument that is liberated from the false dichotomy and show how tracking responds to the modified argument. (shrink)

I argue that it is possible to give an interpretation of the classical ℏ→0 limit of quantum mechanics that results in a partial explanation of the success of classical mechanics. The interpretation...

I argue that philosophical issues concerning reductive explanations help constrain the construction of quantum theories with appropriate state spaces. I illustrate this general proposal with two examples of restricting attention to physical states in quantum theories: regular states and symmetry-invariant states. 1Introduction2Background2.1 Physical states2.2 Reductive explanations3The Proposed ‘Correspondence Principle’4Example: Regularity5Example: Symmetry-Invariance6Conclusion: Heuristics and Discovery.

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)

The aim of this thesis dissertation is to propose a novel position in the debate on scientific realism, modal empiricism, and to show its fruitfulness when it comes to interpreting the cognitive content of scientific theories. Modal empiricism is an empiricist position, according to which the aim of science is to produce empirically adequate theories rather than true theories. However, it suggests adopting a broader comprehension of experience than traditional versions of empiricism, through a commitment to natural modalities. Following modal (...) empiricism, there are possibilities in nature, and constraints on what is possible, and a theory is empirically adequate if it correctly delimits the range of possible experiences. The position rests on a situated and pragmatic conception of natural modalities and of empirical confrontation. We claim that it can do justice to the empirical success of science, while not falling prey to the problem of theory change that undermines scientific realism. We explain how constraints of necessity on phenomena can be known by induction, and how this modal epistemology fits with scientific practice. Finally, we claim that a commitment to natural modalities allows for a rich interpretation of the cognitive content of theories. Modal empiricism could renew some metaphysical debates within a pragmatist framework, by tying them to experience and not being constrained by realist prejudices. -/- L'objet de cette thèse est de proposer une position originale dans le débat sur le réalisme scientifique, l'empirisme modal, et d'en démontrer la fructuosité quand il s'agit de tirer des enseignements du contenu cognitif des théories scientifiques. L'empirisme modal est une position empiriste, suivant laquelle le but de la science n'est pas de produire des théories vraies, mais des théories empiriquement adéquate. Cependant, il propose d'adopter un cadre plus large que les versions traditionnelles d'empirisme pour penser l'expérience, en incorporant un engagement envers les modalités naturelles, ou l'idée qu'il y a du possible dans la nature, et des contraintes sur les possibles. Nos théories sont empiriquement adéquates si elles délimitent correctement l'étendue des expériences possibles. Cette position s'appuie sur une conception située et pragmatique des modalités naturelles et de la confrontation empirique. Nous prétendons qu'elle est à même de rendre justice au succès empirique des sciences, sans pour autant faire face au problème du changement théorique qui mine le réalisme scientifique. Nous expliquons comment les contraintes de nécessité sur les phénomènes peuvent être connues à l'issue d'une induction, et en quoi cette façon de voir s'accorde avec la pratique scientifique. Enfin, nous affirmons qu'un engagement envers les modalités naturelles offre une richesse interprétative à même de renouveler, dans un cadre pragmatiste, plus ouvert que le réalisme, certaines questions métaphysiques tout en les ramenant à l'expérience . (shrink)

This paper attempts to make sense of a notion of ``approximation on certain scales'' in physical theories. I use this notion to understand the classical limit of ordinary quantum mechanics as a kind of scaling limit, showing that the mathematical tools of strict quantization allow one to make the notion of approximation precise. I then compare this example with the scaling limits involved in renormalization procedures for effective field theories. I argue that one does not yet have the mathematical tools (...) to make a notion of ``approximation on certain scales" precise in extant mathematical formulations of effective field theories. This provides guidance on the kind of further work that is needed for an adequate interpretation of quantum field theory. (shrink)