It is the aim of this paper to develop and defend an interpretation of level of scientific discipline within the truth-maker framework. In particular, I exploit the mereological relation of proper parthood, which is integral to truth-maker semantics, in order to provide an account of scientific level.

We reconsider the Nagelian theory of reduction and argue that, contrary to a widely held view, it is the right analysis of intertheoretic reduction. The alleged difficulties of the theory either vanish upon closer inspection or turn out to be substantive philosophical questions rather than knock-down arguments.

Reduction and reductionism have been central philosophical topics in analytic philosophy of science for more than six decades. Together they encompass a diversity of issues from metaphysics and epistemology. This article provides an introduction to the topic that illuminates how contemporary epistemological discussions took their shape historically and limns the contours of concrete cases of reduction in specific natural sciences. The unity of science and the impulse to accomplish compositional reduction in accord with a layer-cake vision of the sciences, the (...) seminal contributions of Ernest Nagel on theory reduction and how they strongly conditioned subsequent philosophical discussions, and the detailed issues pertaining to different accounts of reduction that arise in both physical and biological science (e.g., limit-case and part-whole reduction in physics, the difference-making principle in genetics, and mechanisms in molecular biology) are explored. The conclusion argues that the epistemological heterogeneity and patchwork organization of the natural sciences encourages a pluralist stance about reduction. (shrink)

The history of developmental biology is interwoven with debates as to whether mechanistic explanations of development are possible or whether alternative explanatory principles or even vital forces need to be assumed. In particular, the demonstrated ability of embryonic cells to tune their developmental fate precisely to their relative position and the overall size of the embryo was once thought to be inexplicable in mechanistic terms. Taking a causal perspective, this Element examines to what extent and how developmental biology, having turned (...) molecular about four decades ago, has been able to meet the vitalist challenge. It focuses not only on the nature of explanations but also on the usefulness of causal knowledge – including the knowledge of classical experimental embryology – for further scientific discovery. It also shows how this causal perspective allows us to understand the nature and significance of some key concepts, including organizer, signal and morphogen. This title is also available as Open Access on Cambridge Core. (shrink)

The role of contingent contexts in formulating relations between properties of systems at different descriptive levels is addressed. Based on the distinction between necessary and sufficient conditions for interlevel relations, a comprehensive classification of such relations is proposed, providing a transparent conceptual framework for discussing particular versions of reduction, emergence, and supervenience. One of these versions, contextual emergence, is demonstrated using two physical examples: molecular structure and chirality, and thermal equilibrium and temperature. The concept of stability is emphasized as a (...) basic guiding principle of contextual property emergence. (shrink)

The purpose of this work is to discuss which relation can be established between molecular chemistry, on the one hand, and macrochemistry and nanochemistry, on the other hand. In order to do this, we will consider molecular chemistry as an underlying level, and macrochemistry and nanochemistry as emergent levels. Emergence is characterized in very different ways in the philosophical literature; we will not discuss those differences. We will address a distinction between inter-domain emergence and intra-domain emergence. It is our purpose (...) to argue that, from a basal micro-molecular level, macrochemistry and nanochemistry emerge in parallel. The emergence of macrochemistry is an inter-domain emergence, while the emergence of the nanolevel is an intra-domain one. If this is the case, therefore macrochemistry and nanochemistry are not “successive” levels, but parallel ones. This discussion will be held from an ontological point of view, instead of the classical characterization in terms of scale. (shrink)

Methodological reductionists practice ‘wannabe reductionism’. They claim that one should pursue reductionism, but never propose how. I integrate two strains in prior work to do so. Three kinds of activities are pursued as “reductionist”. “Successional reduction” and inter-level mechanistic explanation are legitimate and powerful strategies. Eliminativism is generally ill-conceived. Specific problem-solving heuristics for constructing inter-level mechanistic explanations show why and when they can provide powerful and fruitful tools and insights, but sometimes lead to erroneous results. I show how traditional metaphysical (...) approaches fail to engage how science is done. The methods used do so, and support a pragmatic and non-eliminativist realism. (shrink)

I offer an explanation of why inertial and gravitational mass are equal in Newtonian gravitation. I then argue that this is an example of a kind of explanation that is not captured by standard philosophical accounts of scientific explanation. Moreover, this form of explanation is particularly important, at least in physics, because demands for this kind of explanation are used to motivate and shape research into the next generation of physical theories. I suggest that explanations of the sort I describe (...) reveal something important about one way in which physical theories may be related diachronically. (shrink)

Many explanations in physics rely on idealized models of physical systems. These explanations fail to satisfy the conditions of standard normative accounts of explanation. Recently, some philosophers have claimed that idealizations can be used to underwrite explanation nonetheless, but only when they are what have variously been called representational, Galilean, controllable or harmless idealizations. This paper argues that such a half-measure is untenable and that idealizations not of this sort can have explanatory capacities.

Recent work by Robert Batterman and Alexander Rueger has brought attention to cases in physics in which governing laws at the base level “break down” and singular limit relations obtain between base- and upper-level theories. As a result, they claim, these are cases with emergent upper-level properties. This paper contends that this inference—from singular limits to explanatory failure, novelty or irreducibility, and then to emergence—is mistaken. The van der Pol nonlinear oscillator is used to show that there can be a (...) full explanation of upper-level properties entirely in base-level terms even when singular limits are present. Whether upper-level properties are emergent depends not on the presence of a singular limit but rather on details of the ampliative approximation methods used. The paper suggests that focusing on explanatory deficiency at the base level is key to understanding emergence in physics. (shrink)

One of the defining features of the classical gene was its position. In molecular genetics, positions are defined instead as nucleotide numbers and there is no clear correspondence with its classical counterpart. However, the classical gene position did not simply disappear with the development of the molecular approach, but survived in the lab associated to different genetic practices. The survival of classical gene position would illustrate Waters’ view about the practical persistence of the genetic approach beyond reductionism and anti-reductionist claims. (...) We show instead that at the level of laboratory practices there are also reductive processes, operating through the rise and fall of different techniques. Molecular markers made the concept of classical gene position practically dispensable, leading us to rethink whether it had any causal role or was just a mere heuristic. (shrink)

We argue against claims that the classical ℏ → 0 limit is “singular” in a way that frustrates an eliminative reduction of classical to quantum physics. We show one precise sense in which quantum mechanics and scaling behavior can be used to recover classical mechanics exactly, without making prior reference to the classical theory. To do so, we use the tools of strict deformation quantization, which provides a rigorous way to capture the ℏ → 0 limit. We then use the (...) tools of category theory to demonstrate one way that this reduction is explanatory: it illustrates a sense in which the structure of quantum mechanics determines that of classical mechanics. (shrink)

This article elaborates local selective realism in view of the shifting from classical to quantum electrodynamics. After some introductory remarks, we critically address what we call global selective realism, hence setting forth the background for outlining local selective realism. When examining the transition from classical to quantum electrodynamics, we evaluate both continuities and discontinuities in observational features, mathematical structures, and ontological presuppositions. Our argument leads us to criticise the narrow understanding of limiting-case strategies, and to reject the claim that we (...) need a fully coherent theoretical framework to account for the transition from one theory to its successor in the case of electrodynamics. We close with a few remarks on the scope of local selective realism. (shrink)

This paper challenges a popular thesis which we call the explanatory primitiveness thesis (for short, EPT), namely, the thesis that identities leave no logical space wherein explanatory questions may be formulated and explanatory gaps may reside. We argue that while EPT is, in all likelihood, flawless when the relevant domain consists of identity statements flanked by proper names of individuals it is a mistake to hold that the thesis generalizes to cover all identity statements. In particular, we argue that EPT (...) fails decisively with respect to an important class of identity statements, viz., those in which natural kinds are identified across different theoretical levels (i.e., the so-called inter-level type-identities). If correct, our result shows EPT to be much more limited in scope than is usually supposed. Moreover, and perhaps more significantly, it shows that there is no inherent absurdity in the idea that certain type-identity statements, in particular psychophysical type-identity statements, suffer from an explanatory gap. (shrink)

Patricia Smith Churchland's Neurophilosophy argues that a mind is the same thing as the complex patterns of neural activity in a human brain and, furthermore, that we will be able to find out interesting things about the mind by studying the brain. I basically agree with this stance and my comments are divided into four sections. First, comparisons between human and non?human primate brains are discussed in the context, roughly, of where one should locate higher functions. Second, I examine Churchland's (...) views on reduction and levels of organization, which I find mostly congenial. Third, a key point of disagreement about the relationship and importance of language to specifically human cognition is taken up. I like Churchland's critique of certain sentential paradigms, but I try to show using an analogy with cellular coding systems why we need to get a better theory of ?sentences?. Finally, I discuss how the models introduced in the last chapter might be extended to make better contact with neurobiology and language. (shrink)

The antireductionist arguments of many philosophers (e.g., Baker, Fodor and Davidson) are motivated by a worry that successful reduction would eliminate rather than conserve the mental. This worry derives from a misunderstanding of the empiricist account of reduction, which, although it does not underwrite "cognitive suicide", should be rejected for its positivist baggage. Philosophy of psychology needs more detailed attention to issues in natural science which serve as analogies for reduction of the mental. I consider a range of central cases, (...) including water and H 2 O, genes and DNA, and common sense and scientific solidity. The last case is illuminated by Eddington's Two Tables paradox, a resolution which suggests the plasticity of the mental under reduction. If reduction of the mental is like any of these cases, it is neither empiricist nor eliminative. (shrink)

The doctrine of eliminative materialism holds that belief-desire psychology is massively referentially disconnected. We claim, however, that it is not at all obvious what it means to be referentially (dis)connected. The two major accounts of reference both lead to serious difficulties for eliminativism: it seems that elimination is either impossible or omnipresent. We explore the idea that reference fixation is a much more local, partial, and context-dependent process than was supposed by the classical accounts. This pragmatic view suggests that elimination (...) is not the prime model for understanding the complex relations between the mind and brain sciences, and that we have little ground for concluding that in general psychological kinds do not exist. We suggest that reference changes are better seen as continuous rather than completely eliminative. (shrink)

The historical development of the electronic configuration model is traced and the status of the model with respect to quantum mechanics is examined. The successes and problems raised by the model are explored, particularly in chemical ab initio calculations. The relevance of these issues to whether chemistry has been reduced to quantum mechanics is discussed, as are some general notions on reduction.

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)

A classification of models of reduction into three categories — theory reductionism, explanatory reductionism, and constitutive reductionism — is presented. It is shown that this classification helps clarify the relations between various explications of reduction that have been offered in the past, especially if a distinction is maintained between the various epistemological and ontological issues that arise. A relatively new model of explanatory reduction, one that emphasizes that reduction is the explanation of a whole in terms of its parts is (...) also presented in detail. Finally, the classification is used to clarify the debate over reductionism in molecular biology. It is argued there that while no model from the category of theory reduction might be applicable in that case, models of explanatory reduction might yet capture the structure of the relevant explanations. (shrink)

This is a first tentative examination of the possibility of reinstating reduction as a valid candidate for presenting relations between mental and physical properties. Classical Nagelian reduction is undoubtedly contaminated in many ways, but here I investigate the possibility of adapting to problems concerning mental properties an alternative definition for theory reduction in philosophy of science. The definition I offer is formulated with the aid of non-monotonic logic, which I suspect might be a very interesting realm for testing notions concerning (...) localized mental-physical reduction. The reason for this is that non-monotonic reasoning by definition is about appeals made not only to explicit observations, but also to an implicit selection of background knowledge containing heuristic information. The flexibility of this definition and the fact that it is not absolute, i.e. that the relation of reduction may be retracted or allowed to shift without fuss, add at least an interesting alternative factor to current materialist debates. South African Journal of Philosophy Vol. 25(2) 2006: 102-112. (shrink)

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions of a reducing theory (...) T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (shrink)

Non-reductive physicalists have made a number of attempts to provide the relation of supervenience between levels of properties with enough bite to analyze interesting cases without at the same time losing the relation's acceptability for the physicalist. I criticize some of these proposals and suggest an alternative supplementation of the supervenience relation by imposing a requirement of robustness which is motivated by the notion of structural stability familiar from dynamical systems theory. Robust supervenience, I argue, captures what the non-reductive physicalist (...) wants from supervenience; most importantly, it provides a natural background for reconstructing the notion of (diachronic) property emergence in a way acceptable to physicalists. (shrink)

This paper explicates two notions of emergencewhich are based on two ways of distinguishinglevels of properties for dynamical systems.Once the levels are defined, the strategies ofcharacterizing the relation of higher level to lower levelproperties as diachronic and synchronic emergenceare the same. In each case, the higher level properties aresaid to be emergent if they are novel or irreducible with respect to the lower level properties. Novelty andirreducibility are given precise meanings in terms of the effectsthat the change of a bifurcation (...) or perturbation parameterin the system has. (The same strategy can be applied to otherways of separating levels of properties, like themicro/macro distinction.)The notions of emergence developed here are notions of emergencein a weak sense: the higher level emergent properties wecapture are always structural properties (or are realized insuch properties), that is, they are defined in terms of the lowerlevel properties and their relations. Diachronic and synchronicemergent properties are distinctions within thecategory of structural properties. (shrink)

Given that scientific realism is based on the assumption that there is a connection between a model's predictive success and its truth, and given the success of multiple incompatible models in scientific practice, the realist has a problem. When the different models can be shown to arise as different approximations to a unified theory, however, one might think the realist to be able to accommodate such cases. I discuss a special class of models and argue that a realist interpretation has (...) to understand these models of a system as ‘ perspectival ’, in close analogy to different spatial perspectives onto the same object. For this sort of case, I also respond to Morrison's recent claim that in the process of unifying models into an overarching theory, explanatory and descriptive power are lost, leaving the unified theory with less of a claim to a realist interpretation than the models themselves. Introduction Perspectival models from singular perturbation problems Unification of perspectives without losses of explanatory power Perspectives as different levels of a system Perspectival models, idealizations and pluralism. (shrink)

Is there a problem of causal exclusion between micro- and macro-level physical properties? I argue (following Kim) that the sorts of properties that in fact are in competition are macro properties, viz., the property of a (macro-) system of 'having such-and-such macro properties' (call this a 'macro-structural property') and the property of the same system of 'being constituted by such-and-such a micro- structure' (call this a 'micro-structural property'). I show that there are cases where, for lack of reducibility, there is (...) a prima facie intra-level causal competition between the two kinds of properties. The problem can be resolved without giving up on the causal efficacy of the macro-structural properties if we understand instances of macro-structural properties to be parts of micro-structural property instances. The parthood relation between both kinds of property instances can be mapped onto the way physical theory deals with the relation of their descriptions in the framework of perturbation theory. The application of this framework to the problem of emergent properties is discussed. (shrink)

Kim’s model of ‘functional reduction’ of properties is shown to fail in a class of cases from physics involving properties at different spatial levels. The diagnosis of this failure leads to a non-reductive account of the relation of micro and macro properties.

We examine some assumptions about the nature of 'levels of reality' in the light of examples drawn from physics. Three central assumptions of the standard view of such levels (for instance, Oppenheim and Putnam 1958) are (i) that levels are populated by entities of varying complexity, (ii) that there is a unique hierarchy of levels, ranging from the very small to the very large, and (iii) that the inhabitants of adjacent levels are related by the parthood relation. Using examples from (...) physics, we argue that it is more natural to view the inhabitants of levels as the behaviors of entities, rather than entities themselves. This suggests an account of reduction between levels, according to which one behavior reduces to another if the two are related by an appropriate limit relation. By considering cases where such inter-level reduction fails, we show that the hierarchy of behaviors differs in several respects from the standard hierarchy of entities. In particular, while on the standard view, lower-level entities are 'micro' parts of higher-level entities, on our view, a system's macro-level behavior can be seen as a ('non-spatial') part of its micro-level behavior. We argue that this second hierarchy is not really in conflict with the standard view and that it better suits examples of explanation in science. (shrink)

The preference for `reductive explanations', i.e., explanations of the behaviour of a system at one `basic' level of sub-systems, seems to be related, at least in the physical sciences, to the success of a formal technique –- perturbation theory –- for extracting insight into the workings of a system from a supposedly exact but intractable mathematical description of the system. This preference for a style of explanation, however, can be justified only in the case of `regular' perturbation problems in which (...) the zeroth-order term in the perturbation expansion (characterizing the `basic' level) is the uniform limit of the exact solution as the perturbation parameter goes to zero. For the much more frequent case of `singular' perturbation problems, various techniques have been developed which all introduce a hierarchy of levels or scales into the solutions. These levels describe processes or sub-systems operating simultaneously at different time or spatial scales. No single level, no reductive explanation in the above sense will provide an adequate explanation of the system behaviour. Explanations involving multiple levels should be recognized as far more common even in supposedly reductionist disciplines like physics. (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)

It is demonstrated that the reduction of a physical theory S to another one, T, in the sense that S can be derived from T holds in general only for the mathematical framework. The interpretation of S and the associated central terms cannot all be derived from those of T because of the qualitative differences between the cognitive levels of S and T. Their cognitively autonomous status leads to an epistemic as well as an ontological pluralism. This pluralism is consistent (...) with the unity of nature in the sense of a substantive monism. (shrink)

Building on previous work, I continue the arguments for scientific realism in the presence of a natural level structure of science. That structure results from a cognitive antireductionism that calls for the retention of mature theories even though they have been "superseded". The level structure is based on "scientific truth" characterized by a theory's validity domain and the confirming empirical data. Reductionism (including fundamentalism) fails cognitively because of qualitative differences in the ontology and semantics of successive theories. This cognitive failure (...) exists in spite of the mathematical success of theory reduction. The claim for scientific realism is strongly based on theory coherence between theories on adjacent levels. Level coherence consists of mathematical relations between levels, as well as of reductive explanations. The latter refers to questions that can be posed (but not answered) on a superseded level, but which can be answered (explained) on the superseding level. In view of the pluralism generated by cognitive antireductionism, theory coherence is claimed to be so compelling that it provides strong epistemic justification for a pluralistic scientific realism. (shrink)

Abstract Philosophers have paid little attention to the kind of reduction involved in transforming an analytically intractable equation into solvable form. I argue that this practice is important because it involves the design of a basic level theory for use in a specific domain. The design process can lead to the construction of a new theory. As a result of my analysis, theory design emerges as an important category of analysis for scientific methodology. Similarities between design in technology and science (...) are explored to illuminate the heuristic function of such reductions. (shrink)

Scientists employ a variety of procedures to eliminate degrees of freedom from computationally and/or analytically intractable equations. In the process, they often construct new models and discover new concepts, laws and functional relations. I argue these procedures embody a central notion of reduction, namely, the containment of one structure within another. However, their inclusion in the philosophical concept of reduction necessitates a reevaluation of many standard assumptions about the ontological, epistemological and functional features of a reduction. On the basis of (...) the reevaluation, I advocate a continuum of reduction which proceeds from the eliminative to the constructive. The metaphysical aspects of theory use in constructive reductions are sketched. (shrink)

Several philosophers of science have claimed that the correspondence principle can be generalized from quantum physics to all of (particularly physical) science and that in fact it constitutes one of the major heuristical rules for the construction of new theories. In order to evaluate these claims, first the use of the correspondence principle in (the genesis of) quantum mechanics will be examined in detail. It is concluded from this and from other examples in the history of science that the principle (...) should be qualified with respect to its nature and relativized with respect to its scope of application. At the same time this conclusion implies a qualification and a relativization of the heuristic power of the principle. Generally speaking, intertheoretical correspondence is primarily of a formal-mathematical and empirical but not of a conceptual nature. Moreover, it only applies to certain parts of the theories involved. Finally, a number of philosophical justifications of the principle are discussed and some conclusions are drawn concerning the debates on theory reduction and on the discovery-justification distinction. (shrink)

According to Wimsatt, a proper treatment of reduction must distinguish between two types of reductionist activities scientists engage in. One of the benefits of better understanding the nature of reduction, he believes, is that it shows that eliminativism, that is, the elimination of concepts and theories from science, is a rather circumscribed and limited affair, especially in the case of inter-level reductionist activities. While I agree with Wimsatt that it is important to distinguish the two types of reductionisms, I show (...) that elimination in inter-level reductionist activities can be a powerful heuristic in science, driving both inter-level and successional reduction. (shrink)

We revive the idea that a deductive-nomological explanation of a scientific theory by its successor may be defensible, even in those common and troublesome cases where the theories concerned are mutually incompatible; and limiting, approximating and counterfactual assumptions may be required in order to define a logical relation between them. Our solution is based on a general characterization of limiting relations between physical theories using the method of nonstandard analysis.

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)

Despite the common use of the concept of emergence, no uncontroversial theoretical framework has been yet formulated in this regard. In this paper, I examine what this circumstance suggests about the significance and usefulness of this concept. I first trace a brief history of the notion of emergence from its first formulation among the British Emergentists to its contemporary uses. Then, I outline its most common features and examine three examples of emergent phenomena, namely particle decay, free will, and division (...) of labour in ant colonies. These three cases of emergence exhibit different features and imply criteria which only partially overlap. I then suggest that the multiplicity of features and criteria recognised as defining emergence, rather than being a threat to the tenability of the concept, should encourage the assumption of a pluralist attitude that is consistent with both the employment of this idea in different sciences and the recognition of emergent phenomena across different levels of organisation. Finally, I propose that emergence can be approached in a similar way to how Richard Boyd approached the problem of natural kinds, namely by identifying an open cluster of properties, rather than a set of necessary and sufficient conditions. (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)

I discuss arguments about the relationship between different “levels” of explanation in the light of examples involving multi-scale analysis. I focus on arguments about causal competition between properties at different levels, such as Jaegwon Kim’s “supervenience argument.” A central feature of Kim’s argument is that higher-level properties can in general be identified with “micro-based” properties. I argue that explanations from multi-scale analysis give examples of explanations that are problematic for accounts such as Kim’s. I argue that these difficulties suggest that (...) some standard assumptions about causal competition need to be revised. (shrink)

Gallagher [2019] defends a form of naturalised phenomenology based on a non-classical view of science. A central component of this argument involves an analogy between phenomenology and quantum-mechanics: Gallagher suggests that both require us to give up key components of a classical view of the natural world. Here, I try to clarify this analogy and consider two associated problems. The first problem concerns the concept of subjectivity and its different roles in physics and phenomenology, and the second concerns the concept (...) of complementarity in quantum mechanics. I argue that complementarity is poorly suited to the integrative view of science that Gallagher ultimately wishes to defend. Instead, a better model of integration can be found in examples of multiscale modelling, which is widespread in science, including classical physics. Gallagher is right to reject an overly narrow view of naturalism, but we do not need to consider the peculiarities of quantum mechanics to find inspiration for a broader view. (shrink)