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)

Reductionism is often understood to include two theses: (1) every singular occurrence that the special sciences can explain also can be explained by physics; (2) every law in a higher-level science can be explained by physics. These claims are widely supposed to have been refuted by the multiple realizability argument, formulated by Putnam (1967, 1975) and Fodor (1968, 1975). The present paper criticizes the argument and identifies a reductionistic thesis that follows from one of the argument's premises.

Four current accounts of theory reduction are presented, first informally and then formally: (1) an account of direct theory reduction that is based on the contributions of Nagel, Woodger, and Quine, (2) an indirect reduction paradigm due to Kemeny and Oppenheim, (3) an "isomorphic model" schema traceable to Suppes, and (4) a theory of reduction that is based on the work of Popper, Feyerabend, and Kuhn. Reference is made, in an attempt to choose between these schemas, to the explanation of (...) physical optics by Maxwell's electromagnetic theory, and to the revisions of genetics necessitated by partial biochemical reductions of genetics. A more general reduction schema is proposed which: (1) yields as special cases the four reduction paradigms considered above, (2) seems to be in better accord with both the canons of logic and actual scientific practice, and (3) clarifies the problems of meaning variance and ontological reduction. (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)

Carnap’s work was instrumental to the liberalization of empiricism in the 1930s that transformed the logical positivism of the Vienna Circle to what came to be known as logical empiricism. A central feature of this liberalization was the deployment of the Principle of Tolerance, originally introduced in logic, but now invoked in an epistemological context in “Testability and Meaning”. Immediately afterwards, starting with Foundations of Logic and Mathematics, Carnap embraced semantics and turned to interpretation to guide the choice of a (...) theoretical language for science. The first thesis of this paper is that recourse to an intended interpretation led to a partial retrenchment of the conventionalism implied by the Principle of Tolerance. It required that the choice of a language be based on abstraction from a context; this procedure later became a component of the process of explication that was distinctive to Carnap’s mature views. The interpretive origin of formal systems also ensured their likely syntactic consistency, an issue on which Carnap was strongly criticized by figures such as Beth and Gödel. The second thesis of this paper is that this reliance on an intended interpretation enabled constructed formal systems to be relevant to the development of empirical science. (shrink)

On the basis of distinctions between those properties of entities that can be defined without reference to other entities and those that (in different ways) cannot, this note argues that non-trivial forms of frequency-dependent selection of entities should be interpreted as selection occurring at a level higher than that of those entities. It points out that, except in degenerately simple cases, evolutionary game-theoretic models of selection are not models of individual selection. Similarly, models of genotypic selection such as heterosis cannot (...) be legitimately interpreted as models of genic selection. The analysis presented here supports the views that: (i) selection should be viewed as a multi-level process; (ii) upper-level selection is ubiquitous; (iii) kin selection should be viewed as a type of group selection rather than individual selection; and (iv) inclusive fitness is not an individual property. (shrink)

Despite all the criticism showered on Nagel’s classic account of reduction, it meets a fundamental desideratum in an analysis of reduction that is difficult to question, namely of providing for a proper identification of the reducing theory. This is not clearly accommodated in radically different accounts. However, the same feature leads me to question Nagel’s claim that the reducing theory can be separated from the putative bridge laws, and thus to question his notion of heterogeneous reduction. A further corollary to (...) the requirement that all the necessary conditions be incorporated in an adequate formulation of the putative reducing theory is that the standard example of gas temperature is not reducible to average molecular kinetic energy. As originally conceived, Nagel’s conception of reduction takes no account of approximate reasoning and this failure has certainly restricted its applicability, perhaps to the point of making it unrealistic as a model of reduction in science. I suggest approximation can be accommodated by weakening the original requirement of deduction without jeopardizing the fundamental desideratum. Finally, I turn to briefly consider the idea sometimes raised of the ontological reducibility of chemistry. (shrink)

In Mind in a Physical World (1998), Jaegwon Kim has recently extended his ongoing critique of `non-reductive materialist' positions in philosophy of mind by arguing that Nagel's model of reduction is the wrong paradigm in terms of which to contest the issue of psychophysical reduction, and that an altogether different model of scientific reduction – a functional model of reduction – is needed. In this paper I argue, first, that Kim's conception of the Nagelian model is substantially impoverished and potentially (...) misleading; second, that his own functional model is problematic in several respects; and, third, that the basic idea underlying his functional model can well be accommodated within a properly reinterpreted Nagelian model. I conclude with some reflections on the issue of psychophysical reduction. (shrink)

Unlike the overall framework of Ernest Nagel's work on reduction, his theory of intertheoretic connection still has life in it. It handles aptly cases where reduction requires complex representation of a target domain. Abandoning his formulation as too liberal was a mistake. Arguments that it is too liberal at best touch only Nagel's deductivist theory of explanation, not his condition of connectability. Taking this condition seriously gives a powerful view of reduction, but one which requires us to index explanatory power (...) to sciences as they are formulated at particular times. While we may thereby reduce more than philosophers have supposed, we must abandon hope (as Nagel did) of saying anything useful about reductionism. (shrink)

The inapplicability of variations on theory reduction in the context of genetics and their irrelevance to ongoing research has led to an anti-reductionist consensus in philosophy of biology. One response to this situation is to focus on forms of reductive explanation that better correspond to actual scientific reasoning (e.g. part–whole relations). Working from this perspective, we explore three different aspects (intrinsicality, fundamentality, and temporality) that arise from distinct facets of reductive explanation: composition and causation. Concentrating on these aspects generates new (...) forms of reductive explanation and conditions for their success or failure in biology and other sciences. This analysis is illustrated using the case of protein folding in molecular biology, which demonstrates its applicability and relevance, as well as illuminating the complexity of reductive reasoning in a specific biological context. (shrink)

A belief common among philosophers and biologists alike is that Mendelian genetics has been or is in the process of being reduced to molecular genetics, in the sense of formal theory reduction current in the literature. The purpose of this paper is to show that there are numerous empirical and conceptual difficulties which stand in the way of establishing a systematic inferential relation between Mendelian and molecular genetics. These difficulties, however, have little to do with the traditional objections which have (...) been raised to reduction. (shrink)

The Three Papers comprising this series, together with my earlier [34] also published in this journal, constitute an attempt to set out the major issues in the theoretical domain of reduction and to develop a general theory of theory reduction. The fourth paper, [34], though published separately from this trio, is integral to the presentation and should be read in conjunction with these papers. Even so, the presentation is limited in scope – roughly, to intertheoretic reduction among empirical theories – (...) and informal in presentation – not least because a satisfying formal account of theories has yet to be offered. And despite the length, the treatment is still condensed; often corroborating and/or intuitively helpful detail has had to be consigned to footnotes or omitted. I approach the problem from within my own naturalistic realist philosophy of science and formal analysis of abstract hierarchy in theory. The sources for the former are [25], [29], [31], and [32] and those for the latter essentially [27] and [30]. Hierarchical notions played a significant role in the already published [34]. (shrink)

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the function (...) and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

The present paper surveys the three most prominent accounts in contemporary debates over how sound reduction should be executed. The classical Nagelian model of reduction derives the laws of the target-theory from the laws of the base theory plus some auxiliary premises (so-called bridge laws) connecting the entities of the target and the base theory. The functional model of reduction emphasizes the causal definitions of the target entities referring to their causal relations to base entities. The new-wave model of reduction (...) deduces not the original target theory but an analogous image of it, which remains inside the vocabulary of the base theory. One of the fundamental motivations of both the functional and the new-wave model is to show that bridge laws can be evaded. The present paper argues that bridge laws—in the original Nagelian sense—are inevitable, i.e. that none of these models can evade them. On the one hand, the functional model of reduction needs bridge laws, since its fundamental concept, functionalization, is an inter-theoretical process dealing with entities of two different theories. Theoretical entities of different theories (in a general heterogeneous case) do not have common causal relations, so the functionalization of an entity—without bridge laws—can only be executed in the framework of its own theory. On the other hand, the so-called images of the new-wave account cannot be constructed without the use of bridge laws. These connecting principles are needed to guide the process of deduction within the base theory; without them one would not be able to recognize if the deduced structure was an image of the target theory. (shrink)

Various scientific theories stand in a reductive relation to each other. In a recent article, we have argued that a generalized version of the Nagel-Schaffner model (GNS) is the right account of this relation. In this article, we present a Bayesian analysis of how GNS impacts on confirmation. We formalize the relation between the reducing and the reduced theory before and after the reduction using Bayesian networks, and thereby show that, post-reduction, the two theories are confirmatory of each other. We (...) then ask when a purported reduction should be accepted on epistemic grounds. To do so, we compare the prior and posterior probabilities of the conjunction of both theories before and after the reduction and ask how well each is confirmed by the available evidence. (shrink)

This paper analyzes the generation and function of hitherto ignored or misrepresented interfield theories , theories which bridge two fields of science. Interfield theories are likely to be generated when two fields share an interest in explaining different aspects of the same phenomenon and when background knowledge already exists relating the two fields. The interfield theory functions to provide a solution to a characteristic type of theoretical problem: how are the relations between fields to be explained? In solving this problem (...) the interfield theory may provide answers to questions which arise in one field but cannot be answered within it alone, may focus attention on domain items not previously considered important, and may predict new domain items for one or both fields. Implications of this analysis for the problems of reduction and the unity and progress of science are mentioned. (shrink)

This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (shrink)

The present paper has two aims. First, we reconstruct the core of molecular genetics (MOLGEN) i.e. the array of theoretical assumptions which underly all or most applications of molecular genetics. Second, we define a reduction relation p reducing character-factor genetics (CFG) to MOLGEN. That p is a reduction relation is proved by establishing that p satisfies the two major conditions which are discussed in the literature as necessary or ‘essential’ for reduction. This substantiates the claim that molecular genetics is ‘better (...) than’ or ‘more progressive-than’ character-factor genetics-which is commonly held true today. The paper continues, and relies heavily on the definitions given in part 1 (Balzer and Dawe [1985]). The enumeration of the definitions and sections in the present paper continues that of part 1. References to definitions with numbers smaller than 8 and to sections number I-4 always refer to part 1. (shrink)

Over the past thirty years Paul Feyerabend has developed an extremely distinctive and influentical approach to problems in the philosophy of science. The most important and seminal of his published essays are collected here in two volumes, with new introductions to provide an overview and historical perspective on the discussions of each part. Volume 1 presents papers on the interpretation of scientific theories, together with papers applying the views developed to particular problems in philosophy and physics. The essays in volume (...) 2 examine the origin and history of an abstract rationalism, as well as its consequences for the philosophy of science and methods of scientific research. Professor Feyerabend argues with great force and imagination for a comprehensive and opportunistic pluralism. In doing so he draws on extensive knowledge of scientific history and practice, and he is alert always to the wider philosophical, practical and political implications of conflicting views. These two volumes fully display the variety of his ideas, and confirm the originality and significance of his work. (shrink)

The scope and nature of reductionist explanation in quantum physics is analyzed, with special attention being paid to the situation in quantum physics.

Roughly speaking, classical statistical physics is the branch of theoretical physics that aims to account for the thermal behaviour of macroscopic bodies in terms of a classical mechanical model of their microscopic constituents, with the help of probabilistic assumptions. In the last century and a half, a fair number of approaches have been developed to meet this aim. This study of their foundations assesses their coherence and analyzes the motivations for their basic assumptions, and the interpretations of their central concepts. (...) The most outstanding foundational problems are the explanation of time-asymmetry in thermal behaviour, the relative autonomy of thermal phenomena from their microscopic underpinning, and the meaning of probability. A more or less historic survey is given of the work of Maxwell, Boltzmann and Gibbs in statistical physics, and the problems and objections to which their work gave rise. Next, we review some modern approaches to (i) equilibrium statistical mechanics, such as ergodic theory and the theory of the thermodynamic limit; and to (ii) non-equilibrium statistical mechanics as provided by Lanford's work on the Boltzmann equation, the so-called Bogolyubov-Born-Green-Kirkwood-Yvon approach, and stochastic approaches such as `coarse-graining' and the `open systems' approach. In all cases, we focus on the subtle interplay between probabilistic assumptions, dynamical assumptions, initial conditions and other ingredients used in these approaches. (shrink)

Philosophers now treat the relationship between classical genetics and molecular biology as a paradigm of nonreduction and this example is playing an increasingly prominent role in debates about the reducibility of theories in other sciences. This paper shows that the anti-reductionist consensus about genetics will not withstand serious scrutiny. In addition to defusing the main anti-reductionist objections, this critical analysis uncovers tell-tale signs of a significant reduction in progress. It also identifies philosophical issues relevant to gaining a better understanding of (...) what is now happening in genetics and of what we might expect to happen in other sciences. (shrink)