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)

How should we reason in science? Jan Sprenger and Stephan Hartmann offer a refreshing take on classical topics in philosophy of science, using a single key concept to explain and to elucidate manifold aspects of scientific reasoning. They present good arguments and good inferences as being characterized by their effect on our rational degrees of belief. Refuting the view that there is no place for subjective attitudes in 'objective science', Sprenger and Hartmann explain the value of convincing evidence in terms (...) of a cycle of variations on the theme of representing rational degrees of belief by means of subjective probabilities (and changing them by Bayesian conditionalization). In doing so, they integrate Bayesian inference—the leading theory of rationality in social science—with the practice of 21st century science. Bayesian Philosophy of Science thereby shows how modeling such attitudes improves our understanding of causes, explanations, confirming evidence, and scientific models in general. It combines a scientifically minded and mathematically sophisticated approach with conceptual analysis and attention to methodological problems of modern science, especially in statistical inference, and is therefore a valuable resource for philosophers and scientific practitioners. (shrink)

Franz Huber’s (2008a) attempt to unify inductivist and hypothetico-deductivist intuitions on confirmation by means of a single measure are examined and compared with previous work on the theory of verisimilitude or truthlikeness. The idea of connecting ‘the logic of confirmation’ with ‘the logic of acceptability’ is also critically discussed, and it is argued that ‘acceptability’ takes necessarily into account some pragmatic criteria, and that at least two normative senses of ‘acceptability’ must be distinguished: ‘acceptable’ in the sense of ‘being allowed (...) to accept’, and ‘acceptable’ in the sense of ‘being obliged to accept’. Lastly, some connections of confirmation theory with naturalism, intertheoretic reduction, and explanation vs. understanding are explored. (shrink)

In Boltzmannian statistical mechanics macro-states supervene on micro-states. This leads to a partitioning of the state space of a system into regions of macroscopically indistinguishable micro-states. The largest of these regions is singled out as the equilibrium region of the system. What justifies this association? We review currently available answers to this question and find them wanting both for conceptual and for technical reasons. We propose a new conception of equilibrium and prove a mathematical theorem which establishes in full generality (...) -- i.e. without making any assumptions about the system's dynamics or the nature of the interactions between its components -- that the equilibrium macro-region is the largest macro-region. We then turn to the question of the approach to equilibrium, of which there exists no satisfactory general answer so far. In our account, this question is replaced by the question when an equilibrium state exists. We prove another -- again fully general -- theorem providing necessary and sufficient conditions for the existence of an equilibrium state. This theorem changes the way in which the question of the approach to equilibrium should be discussed: rather than launching a search for a crucial factor, the focus should be on finding triplets of macro-variables, dynamical conditions, and effective state spaces that satisfy the conditions of the theorem. (shrink)

Boltzmannian statistical mechanics partitions the phase space of a sys- tem into macro-regions, and the largest of these is identified with equilibrium. What justifies this identification? Common answers focus on Boltzmann’s combinatorial argument, the Maxwell-Boltzmann distribution, and maxi- mum entropy considerations. We argue that they fail and present a new answer. We characterise equilibrium as the macrostate in which a system spends most of its time and prove a new theorem establishing that equilib- rium thus defined corresponds to the largest (...) macro-region. Our derivation is completely general in that it does not rely on assumptions about a system’s dynamics or internal interactions. (shrink)

I respond to the frequent objection that structural realism fails to sharply state an alternative to the standard predicate-logic, object / property / relation, way of doing metaphysics. The approach I propose is based on what I call a ‘math-first’ approach to physical theories (close to the so-called ‘semantic view of theories') where the content of a physical theory is to be understood primarily in terms of its mathematical structure and the representational relations it bears to physical systems, rather than (...) as a collection of sentences that attempt to make true claims about those systems (a ‘language-first’ approach). I argue that adopting the math-first approach already amounts to a form of structural realism, and that the choice between epistemic and ontic versions of structural realism is then a choice between a language-first and math-first view of metaphysics; I then explore the status of objects (and properties and relations) in fundamental and non-fundamental physics for both versions of math-first structural realism. (shrink)

It is often claimed that the social sciences cannot be reduced to a lower-level individualistic science. The standard argument for this position is the Fodorian multiple realizability argument. Its defenders endorse token–token identities between “higher-level” social objects and pluralities/sums of “lower-level” individuals, but they maintain that the properties expressed by social science predicates are often multiply realizable, entailing that type–type identities between social and individualistic properties are ruled out. In this paper I argue that the multiple realizability argument for explanatory (...) holism is unsound. The social sciences are indeed irreducible, but the principled reason for this is that the required token–token identifications cannot in general be carried through. In consequence, paradigmatic social science predicates cannot be taken to apply to the objects quantified over in the lower-level sciences. The result is that typical social science predicates cannot even be held to be co-extensive with individualistic predicates, which means type–type identifications are ruled out too. Multiple realizability has nothing to do with this failure of co-extensiveness, because the relevant social science predicates are not multiply realized in the sense intended by the explanatory holists, a sense which presupposes reductive token–token identifications. (shrink)

Nagel’s official model of theory-reduction and the way it is represented in the literature are shown to be incompatible with the careful remarks on the notion of reduction Nagel gave while developing his model. Based on these remarks, an alternative model is outlined which does not face some of the problems the official model faces. Taking the context in which Nagel developed his model into account, it is shown that the way Nagel shaped his model and, thus, its well-known deficiencies, (...) are best conceived of as a mere by-product of his philosophical background. (shrink)

Assume that water reduces to H2O. If so water is identical to H2O. At the same time, if water reduces to H2O then H2O does not reduce to water–the reduction relation is asymmetric. This generates a puzzle–if water just is H2O it is hard to see how we can account for the asymmetry of the reduction relation. The paper proposes a solution to this puzzle. It is argued that the reduction predicate generates intensional contexts and that in order to account (...) for the asymmetry, we should develop conditions on the meanings of expressions that flank the reduction predicate in true reduction statements. Finally, it is argued that if we adopt this interpretation, we can illuminate the epistemological difference between reduced and reducing item commonly referred to in the literature. (shrink)

In their 2010 paper, Dizadji-Bahmani, Frigg, and Hartmann argue that the generalized version of the Nagel–Schaffner model that they have developed is the right one for intertheoretic reduction, i.e. the kind of reduction that involves theories with largely overlapping domains of application. Drawing on the GNS, DFH presented a Bayesian analysis of the confirmatory relation between the reducing theory and the reduced theory and argued that, post-reduction, evidence confirming the reducing theory also confirms the reduced theory and evidence confirming the (...) reduced theory also confirms the reducing theory, which meets the expectations one has about theories with largely overlapping domains. In this paper, I argue that the Bayesian analysis presented by DFH faces difficulties. In particular, I argue that the conditional probabilities that DFH introduce to model the bridge law entail consequences that run against the GNS. However, I also argue that, given slight modifications of the analysis that are in agreement with the GNS, one is able to account for these difficulties and, moreover, one is able to more rigorously analyse the confirmatory relation between the reducing and the reduced theory. (shrink)

Harold Kincaid in Individualism and the Unity of Science postulates a model of unity-without-reduction in order to accurately describe the relation between individualism and macroeconomics. I present this model and apply it to the description of the relation between chemistry and quantum mechanics. I argue that, when it comes to the description of molecular structure, chemistry and quantum mechanics are unified in Kincaid’s sense. Specifically, the two disciplines contribute to the formation of a unified body of knowledge with respect to (...) molecular structure. (shrink)

Relationships of counterfactual dependence have played a major role in recent debates of explanation and understanding in the philosophy of science. Usually, counterfactual dependencies have been viewed as the explanantia of explanation, i.e., the things providing explanation and understanding. Sometimes, however, counterfactual dependencies are themselves the targets of explanations in science. These kinds of explanations are the focus of this paper. I argue that “micro-level model explanations” explain the particular form of the empirical regularity underlying a counterfactual dependency by representing (...) it as a physical necessity on the basis of postulated microscopic entities. By doing so, micro-level models rule out possible forms the regularity could have taken. Micro-model explanations, in other words, constrain empirical regularities and their associated counterfactual dependencies. I introduce and illustrate micro-level model explanations in detail, contrast them to other accounts of explanation, and consider potential problems. (shrink)

This paper attempts a critical reappraisal of Nagel's (1961, 1970) model of reduction taking into account both traditional criticisms and recent defenses. This model treats reduction as a type of explanation in which a reduced theory is explained by a reducing theory after their relevant representational items have been suitably connected. In accordance with the deductive-nomological model, the explanation is supposed to consist of a logical deduction. Nagel was a pluralist about both the logical form of the connections between the (...) reduced and reducing theories (which could be conditionals or biconditionals) and their epistemological status (as analytic connections, conventions, or synthetic claims). This paper defends Nagel's pluralism on both counts and, in the process, argues that the multiple realizability objection to reductionism is misplaced. It also argues that the Nagel model correctly characterizes reduction as a type of explanation. However, it notes that logical deduction must be replaced by a broader class of inferential techniques that allow for different types of approximation. Whereas Nagel (1970), in contrast to his earlier position (1961), recognized the relevance of approximation, he did not realize its full import for the model. Throughout the paper two case studies are used to illustrate the arguments: the putative reduction of classical thermodynamics to the kinetic theory of matter and that of classical genetics to molecular biology. (shrink)

The relationship whereby one physical theory encompasses the domain of empirical validity of another is widely known as “reduction.” Elsewhere I have argued that one influential methodology for showing that one physical theory reduces to another, associated with the so-called “Bronstein cube” of theories, rests on an oversimplified and excessively vague characterization of the mathematical relationship between theories that typically underpins reduction. I offer what I claim is a more precise characterization of this relationship, which here is based on a (...) more basic notion of reduction between distinct models of a single physical system. Reduction between two such models, I claim, rests on a particular type of approximation relationship between group actions over the models’ state spaces, characterized by a particular function between the model state spaces and a particular subset of the more encompassing model’s state space. Within this approach, I show formally in what sense and under what conditions reduction is transitive, so that reduction of a model 1 to another model 2 and reduction of model 2 to a third model 3 entails direct reduction of model 1 to model 3. Building on this analysis, I consider cases in which reduction of a model 1 to a model 3 may be effected via distinct intermediate models 2a and 2b, and motivate a set of formal consistency requirements between distinct “reduction paths” having the same models as their “end points”. These constraints are explicitly shown to hold in the reduction of a model of non-relativistic classical mechanics to a model of relativistic quantum mechanics, which may be effected by a composite reduction that proceeds either via a model of non-relativistic quantum mechanics or a model of relativistic classical mechanics. I offer some brief speculations as to whether and how this sort of consistency requirement might serve to constrain the reductions relating other theories and models, including the relationship that the Standard Model and general relativity must bear to any viable unification of these frameworks. (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)

A conventional wisdom about the progress of physics holds that successive theories wholly encompass the domains of their predecessors through a process that is often called reduction. While certain influential accounts of inter-theory reduction in physics take reduction to require a single "global" derivation of one theory's laws from those of another, I show that global reductions are not available in all cases where the conventional wisdom requires reduction to hold. However, I argue that a weaker "local" form of reduction, (...) which defines reduction between theories in terms of a more fundamental notion of reduction between models of a single fixed system, is available in such cases and moreover suffices to uphold the conventional wisdom. To illustrate the sort of fixed-system, inter-model reduction that grounds inter-theoretic reduction on this picture, I specialize to a particular class of cases in which both models are dynamical systems. I show that reduction in these cases is underwritten by a mathematical relationship that follows the broad prescriptions of Nagel/Schaffner reduction, and support this claim with several examples. Moreover, I show that this broadly Nagelian analysis of inter-model reduction encompasses several cases that are sometimes cited as instances of the "physicist's" limit-based notion of reduction. (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)

Toy models are highly idealized and extremely simple models. Although they are omnipresent across scientific disciplines, toy models are a surprisingly under-appreciated subject in the philosophy of science. The main philosophical puzzle regarding toy models concerns what the epistemic goal of toy modelling is. One promising proposal for answering this question is the claim that the epistemic goal of toy models is to provide individual scientists with understanding. The aim of this article is to precisely articulate and to defend this (...) claim. In particular, we will distinguish between autonomous and embedded toy models, and then argue that important examples of autonomous toy models are sometimes best interpreted to provide how-possibly understanding, while embedded toy models yield how-actually understanding, if certain conditions are satisfied. _1_ Introduction _2_ Embedded and Autonomous Toy Models _2.1_ Embedded toy models _2.2_ Autonomous toy models _2.3_ Qualification _3_ A Theory of Understanding for Toy Models _3.1_ Preliminaries and requirements _3.2_ The refined simple view _4_ Two Kinds of Understanding with Toy Models _4.1_ Embedded toy models and how-actually understanding _4.2_ Against a how-actually interpretation of all autonomous toy models _4.3_ The how-possibly interpretation of some autonomous toy models _5_ Conclusion. (shrink)

Toy models are highly idealized and extremely simple models. Although they are omnipresent across scientific disciplines, toy models are a surprisingly under-appreciated subject in the philosophy of science. The main philosophical puzzle regarding toy models is that it is an unsettled question what the epistemic goal of toy modeling is. One promising proposal for answering this question is the claim that the epistemic goal of toy models is to provide individual scientists with understanding. The aim of this paper is to (...) precisely articulate and to defend this claim. In particular, we will distinguish between autonomous and embedded toy models, and, then, argue that important examples of autonomous toy models are sometimes best interpreted to provide how-possibly understanding, while embedded toy models yield how-actually understanding, if certain conditions are satisfied. (shrink)

Renormalization group explanations account for the astonishing phenomenon that microscopically very different physical systems display the same macro-behavior when undergoing phase-transitions. Among philosophers, this explanandum phenomenon is often described as the occurrence of a particular kind of multiply realized macro-behavior. In several recent publications, Robert Batterman denies that RG explanations account for this explanandum phenomenon by following the commonality strategy, i.e. by identifying properties that microscopically very different physical systems have in common. Arguing against Batterman’s claim, I defend the view (...) that RG explanations are in accord with the commonality strategy. (shrink)

Synchronic intertheoretic reductions are an important field of research in science. Arguably, the best model able to represent the main relations occurring in this kind of scientific reduction is the Nagelian account of reduction, a model further developed by Schaffner and nowadays known as the generalized version of the Nagel–Schaffner model. In their article, Dizadji-Bahmani, Frigg, and Hartmann specified the two main desiderata of a reduction á la GNS: confirmation and coherence. DFH first and, more rigorously, Tešic later analyse the (...) confirmatory relation between the reducing and the reduced theory in terms of Bayesian confirmation theory. The purpose of this article is to analyse and compare the degree of coherence between the two theories involved in the GNS before and after the reduction. For this reason, in the first section, I will be looking at the reduction of thermodynamics to statistical mechanics and use it as an example to describe the GNS. In the second section, I will introduce three coherence measures which will then be employed in the comparison. Finally, in the last two sections, I will compare the degrees of coherence between the reducing and the reduced theory before and after the reduction and use a few numerical examples to understand the relation between coherence and confirmation measures. (shrink)

I analyze the extent to which classical phase transitions, both first order and continuous, pose a challenge for intertheoretic reduction. My contention is that phase transitions are compatible with a notion of reduction that combines Nagelian reduction and what Thomas Nickles called Reduction2. I also argue that, even if the same approach to reduction applies to both types of phase transitions, there is a crucial difference in their physical treatment: in addition to the thermodynamic limit, in continuous phase transitions there (...) is a second infinite limit involved, which marks an important difference in the reduction of first-order and continuous phase transitions. (shrink)

The principle of mass additivity states that the mass of a composite object is the sum of the masses of its elementary components. Mass additivity is true in Newtonian mechanics but false in special relativity. Physicists have explained why mass additivity is true in Newtonian mechanics by reducing it to Newton’s microphysical laws. This reductive explanation does not fit well with deducibility theories of reductive explanation such as the modern Nagelian theory of reduction, and the a priori entailment theory of (...) reduction that is prominent in the philosophy of mind. Nonetheless, I argue that a reconstruction of the explanation that incorporates distinctively philosophical concepts in fact fits both theories. I discuss the implications of this result for both theories and for the reductive explanation of consciousness. (shrink)

By moving away from the traditional reductionist reading of the quantum theory of atoms in molecules, in this paper we analyze the role played by QTAIM in the relationship between molecular chemistry and quantum mechanics from an emergentist perspective. In particular, we show that such a relationship involves two steps: an intra-domain emergence and an inter-domain emergence. Intra-domain emergence, internal to quantum mechanics, results from the fact that the electron density, from which all the other QTAIM’s concepts are defined, arises (...) from the wavefunction as a coarse-grained magnitude. Inter-domain emergence involves an analogical link, a mapping, between QTAIM’s entities, such as topological atoms and bond paths, and the entities that populate the molecular-chemistry domain, such as chemical atoms and chemical bonds. (shrink)

This paper aims to show that there is a lot of philosophy in the philosophy of chemistry—not only in the problems and questions specific to chemistry, which this science brings up in philosophical discussions, but also in the topics of wider interest like reductionism and emergence, for which chemistry proves to be an ideal case study. The fact that chemical entities and properties are amenable to a quantitative understanding, to measurement and experiment to a greater extent than those in psychology (...) or biology, makes chemistry an ideal case study for those interested in reductionism and emergence. (shrink)

Proponents of mechanistic explanations have recently proclaimed that all explanations in the neurosciences appeal to mechanisms. The purpose of the paper is to critically assess this statement and to develop an integrative account that connects a large range of both mechanistic and dynamical explanations. I develop and defend four theses about the relationship between dynamical and mechanistic explanations: that dynamical explanations are structurally grounded, that they are multiply realizable, possess realizing mechanisms and provide a powerful top-down heuristic. Four examples shall (...) support my points: the harmonic oscillator, the Haken–Kelso–Bunz model of bimanual coordination, the Watt governor and the Gierer–Meinhardt model of biological pattern formation. I also develop the picture of “horizontal” and “vertical” directions of explanations to illustrate the different perspectives of the dynamical and mechanistic approach as well as their potential integration by means of intersection points. (shrink)

I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

Current debates about the integration of traditional and academic ecological knowledge struggle with a dilemma of division and assimilation. On the one hand, the emphasis on differences between traditional and academic perspectives has been criticized as creating an artificial divide that brands TEK as “non-scientific” and contributes to its marginalization. On the other hand, there has been increased concern about inadequate assimilation of Indigenous and other traditional perspectives into scientific practices that disregards the holistic nature and values of TEK. The (...) aim of this article is to develop a practice-based account of the epistemic relations between TEK and AEK that avoids both horns of the dilemma. While relations between TEK and AEK are often described in terms of the “holistic” nature of the former and the “mechanistic” character of the latter, we argue that a simple holism–mechanism divide misrepresents the epistemic resources of both TEK and AEK. Based on the literature on mechanistic explanations in philosophy of science, we argue that holders of TEK are perfectly capable of identifying mechanisms that underlie ecological phenomena while AEK often relies on non-mechanistic strategies of dealing with ecological complexity. Instead of generic characterizations of knowledge systems as either mechanistic or holistic, we propose to approach epistemic relations between knowledge systems by analyzing their heuristics in practice. (shrink)

Functionalism is the view that being x is to play the role of x. This paper defends a functionalist account of three-dimensional entities in the context of Wave Function Realism (WFR), that can explain in detail how we can recover three-dimensional entities out of the wavefunction. In particular, the essay advocates for a novel version of WFR in terms of a functional reductionist approach in the style of David Lewis. This account entails reduction of the upper entities to the bottom (...) ones, when the latter behave appropriately. As applied to WFR, it shows how the wavefunction can turn out to be identical to three-dimensional objects, provided certain conditions. The first major goal of the paper is thus to put forward an improved and more rigorous version of WFR, which dissolves several extant issues about the theory, and can serve as a starting point for future literature on the topic. Moreover, the second major goal of the article is to take WFR as a case study to demonstrate the pros of functional reductionism, especially in the form defended here, thereby helping to bring this view back in the philosophy of science debate. The positive upshots of this paper suggest a possible application of functional reductionism also to other contexts. (shrink)

Currently, there are almost as many conceptions of emergence as authors who address the issue. Most literature on the matter focuses either on discussing, evaluating and comparing particular contributions or accounts of emergence, or on assessing a particular case study. Our aim in this paper is rather different. We here set out to introduce a distinction that has not been sufficiently taken into account in previous discussions on this topic: the distinction between inter-domain emergence—a relation between items belonging to different (...) ontic domains—and intra-domain emergence—a relation between items belonging to a same ontic domain. Our final purpose is not to assume and defend a definite stance on emergence, but to stress the relevance of such distinction when attempting to argue for or against emergence, in the first place. We will also address the connections between emergence so distinguished and more general philosophical perspectives, suggesting where would reductionists and pluralists stand with respect to intra- and inter-domain emergence. (shrink)

Intertheoretic relations are an important topic in the philosophy of science. However, since their classical discussion by Ernest Nagel, such relations have mostly been restricted to relations between pairs of theories in the natural sciences. This paper presents a case study of a new type of intertheoretic relation that is inspired by Montague’s analysis of the linguistic syntax-semantics relation. The paper develops a simple model of this relation. To motivate the adoption of our new model, we show that this model (...) extends the scope of application of the Nagelian models and that it shares the epistemological advantages of the Nagelian model. The latter is achieved in a Bayesian framework. (shrink)

We discuss Boltzmann’s probabilistic explanation of the second law of thermodynamics providing a comprehensive presentation of what is called today the typicality account. Countering its misconception as an alternative explanation, we examine the relation between Boltzmann’s H-theorem and the general typicality argument demonstrating the conceptual continuity between the two. We then discuss the philosophical dimensions of the concept of typicality and its relevance for scientific reasoning in general, in particular for understanding the reduction of macroscopic laws to microscopic laws. Finally, (...) we reply to various common criticisms of the typicality account. (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)

In this paper I reply to Olimpia Lombardi’s comment on my recent book Reducing Chemistry to Physics: Limits, Models, Consequences.

I begin to develop a framework for emergence in the physical sciences. Namely, I propose to explicate ontological emergence in terms of the notion of ‘novel reference’, and of an account of interpretation as a map from theory to world. I then construe ontological emergence as the “failure of the interpretation to mesh” with an appropriate linkage map between theories. Ontological emergence can obtain between theories that have the same extension but different intensions, and between theories that have both different (...) extensions and intensions. I illustrate the framework in three examples: the emergence of spontaneous magnetisation in a ferromagnet, the emergence of masslessness, and the emergence of space, in specific models of physics. The account explains why ontological emergence is independent of reduction: namely, because emergence is primarily concerned with adequate interpretation, while the sense of reduction that is relevant here is concerned with inter-theoretic relations between uninterpreted theories. (shrink)

I argue that there are two distinct approaches to understanding reduction: the ontology-first approach and the theory-first approach. They concern the relation between ontological reduction and inter-theoretic reduction. Further, I argue for the significance of this distinction by demonstrating that either one or the other approach has been taken as an implicit assumption in, and has in fact shaped, our understanding of what statistical mechanics is. More specifically, I argue that the Boltzmannian framework of statistical mechanics assumes and relies on (...) the ontology-first approach, whereas the Gibbsian framework should assume the theory-first approach. -/- . (shrink)

According to the received view, reduction is a deductive relation between two formal theories. In this paper, I develop an alternative approach, according to which reduction is a representational relation between models, rather than a deductive relation between theories; more specifically, I maintain that this representational relation is the one of emulation. To support this thesis, I focus attention on mathematical dynamical systems and I argue that, as far as these systems are concerned, the emulation relation is sufficient for reduction. (...) I then extend this representational model-based view of reduction to the case of empirically interpreted dynamical systems, as well as to a treatment of partial, approximate, and asymptotic reduction. (shrink)

Classical statistical mechanics posits probabilities for various events to occur, and these probabilities seem to be objective chances. This does not seem to sit well with the fact that the theory’s time evolution is deterministic. We argue that the tension between the two is only apparent. We present a theory of Humean objective chance and show that chances thus understood are compatible with underlying determinism and provide an interpretation of the probabilities we find in Boltzmannian statistical mechanics.

Gases reach equilibrium when left to themselves. Why do they behave in this way? The canonical answer to this question, originally proffered by Boltzmann, is that the systems have to be ergodic. This answer has been criticised on different grounds and is now widely regarded as flawed. In this paper we argue that some of the main arguments against Boltzmann's answer, in particular, arguments based on the KAM-theorem and the Markus-Meyer theorem, are beside the point. We then argue that something (...) close to Boltzmann's original proposal is true for gases: gases behave thermodynamic-like if they are epsilon-ergodic, i.e., ergodic on the entire accessible phase space except for a small region of measure epsilon. This answer is promising because there are good reasons to believe that relevant systems in statistical mechanics are epsilon-ergodic. (shrink)

Gibbsian statistical mechanics (GSM) is the most widely used version of statistical mechanics among working physicists. Yet a closer look at GSM reveals that it is unclear what the theory actually says and how it bears on experimental practice. The root cause of the difficulties is the status of the Averaging Principle, the proposition that what we observe in an experiment is the ensemble average of a phase function. We review different stances toward this principle, and eventually present a coherent (...) interpretation of GSM that provides an account of the status and scope of the principle. (shrink)

The “sloppy models” program originated in systems biology, but has seen applications across a range of fields. Sloppy models are dependent on a large number of parameters, but highly insensitive to the vast majority of parameter combinations. Sloppy models proponents claim that the program may explain the success of science. I argue that the sloppy models program can at best provide a very partial explanation. Drawing a parallel with renormalization group realism, I argue that it would only give us grounds (...) for a minimal kind of scientific realism. Nonetheless, the program can offer certain epistemic virtues. (shrink)

Currently, there are almost as many conceptions of emergence as authors who address the issue. Most literature on the matter focuses either on discussing, evaluating and comparing particular contributions or accounts of emergence, or on assessing a particular case study. Our aim in this paper is rather different. We here set out to introduce a distinction that has not been sufficiently taken into account in previous discussions on this topic: the distinction between inter-domain emergence—a relation between items belonging to different (...) ontic domains—and intra-domain emergence—a relation between items belonging to a same ontic domain. Our final purpose is not to assume and defend a definite stance on emergence, but to stress the relevance of such distinction when attempting to argue for or against emergence, in the first place. We will also address the connections between emergence so distinguished and more general philosophical perspectives, suggesting where would reductionists and pluralists stand with respect to intra- and inter-domain emergence. (shrink)

Recently the functional model of reduction has become something like the standard model of reduction in philosophy of mind. In this paper, I argue that the functional model fails as an account of reduction due to problems related to three key concepts: functionalization, realization and causation. I further argue that if we try to revise the model in order to make it more coherent and scientifically plausible, the result is merely a simplified version of what in philosophy of science is (...) known as mechanistic explanation. Hence, instead of analyzing reduction in philosophy of mind in terms of functional reduction, it should be analyzed in terms of mechanistic explanation. (shrink)