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)

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)

This chapter contains sections titled: Introduction: The Problem of Emergence and Reduction The Varieties of Reductionism: Ontological and Epistemological The Reduction and Emergence Debate Today: Specific Cases Seeming to Warrant the Label of Ontological or Epistemological Emergence Questions for Future Research.

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)

I critically evaluate Bickle’s version of scientific theory reduction. I press three main points. First, a small point, Bickle modifies the new wave account of reduction developed by Paul Churchland and Clifford Hooker by treating theories as set-theoretic structures. But that structuralist gloss seems to lose what was distinctive about the Churchland-Hooker account, namely, that a corrected theory must be specified entirely by terms and concepts drawn from the basic reducing theory. Set-theoretic structures are not terms or concepts but the (...) structures that they describe. Second, and more serious, a familiar problem for classical positivist account of reduction resurfaces within this newest wave of thinking, namely, commitment to property identities and inter-theoretic bridge laws (a problem I discussed at more length in "Collapse of the New Wave"). Indeed, this problem is exacerbated by Bickle’s conciliatory treatment of property plasticity, since he is willing to grant that a large number of special science terms denote multiply realized properties, at least if realistically construed. Still, in the end, Bickle sidesteps the reduction of properties by appealing to Hooker’s "function-to-structure token reduction." This is an interesting move with an intriguing concept of reduction. But problems remain. For, third, Bickle and Hooker's function-to-structure token reduction is actually a guised form of eliminative materialism. But that should be unacceptable since the position extends well beyond any modest revisionism for suspect items from a folk theory, say, in folk psychology or folk biology. Instead, it applies to functional terms and concepts employed throughout well-developed and explanatorily successful sciences. (shrink)

I critically evaluate the influential new wave account of theory reduction in science developed by Paul Churchland and Clifford Hooker. First, I cast doubt on claims that the new wave account enjoys a number of theoretical virtues over its competitors, such as the ability to represent how false theories are reduced by true theories. Second, I argue that the genuinely novel claim that a corrected theory must be specified entirely by terms from the basic reducing theory is in fact too (...) restrictive for scientific practice and should be rejected. Basic theories co-evolve with nonbasic theories in a mutually interactive way, and thus the basic theories incorporate the concepts and concerns of nonbasic theories. Third, I show that once its ontological consequences are duly noted, the reductive part the new wave account collapses into the classical theory developed within the logical empiricist tradition. As such, it still falls prey to standard anti-reductionist argument based upon multiple realizability and the cross-classification of special science and physical science terms. (shrink)

Jaegwon Kim is one of the most preeminent and most influential contributors to the philosophy of mind and metaphysics. This collection of essays presents the core of his work on supervenience and mind with two sets of postscripts especially written for the book. The essays focus on such issues as the nature of causation and events, what dependency relations other than causal relations connect facts and events, the analysis of supervenience, and the mind-body problem. A central problem in the philosophy (...) of mind is the problem of explaining how the mind can causally influence bodily processes. Professor Kim explores this problem in detail, criticizes the nonreductionist solution of it, and offers a modified reductionist solution of his own. Both professional philosophers and their graduate students will find this an invaluable collection. (shrink)

As Aristotle stated, scientific explanation is based on deductive argument--yet, Wesley C. Salmon points out, not all deductive arguments are qualified explanations. The validity of the explanation must itself be examined. _Four Decades of Scientific Explanation_ provides a comprehensive account of the developments in scientific explanation that transpired in the last four decades of the twentieth century. It continues to stand as the most comprehensive treatment of the writings on the subject during these years. Building on the historic 1948 essay (...) by Carl G. Hempel and Paul Oppenheim, "Studies in the Logic of Explanation,” which introduced the deductive-nomological model on which most work on scientific explanation was based for the following four decades, Salmon goes beyond this model's inherent basis of describing empirical knowledge to tells us “not only _what,_ but also _why_.” Salmon examines the predominant models in chronological order and describes their development, refinement, and criticism or rejection. _Four Decades of Scientific Explanation_ underscores the need for a consensus of approach and ongoing evaluations of methodology in scientific explanation, with the goal of providing a better understanding of natural phenomena. (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)

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)

The positivistic Received View construed scientific theories syntactically as axiomatic calculi where theoretical terms were given a partial semantic interpretation via correspondence rules connecting them to observation statements. This paper assesses what, with hindsight, seem the most important defects in the Received View; surveys the main proposed successor analyses to the Received View--various Semantic Conception versions and the Structuralist Analysis; evaluates how well they avoid those defects; examines what new problems they face and where the most promising require further development (...) or leave unanswered questions; explores implications of recent work on models for understanding theories; and rebuts the few criticisms of the Semantic Conception that have surfaced. (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)

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.

The positivistic Received View construed scientific theories syntactically as axiomatic calculi where theoretical terms were given a partial semantic interpretation via correspondence rules connecting them to observation statements. This paper assesses what, with hindsight, seem the most important defects in the Received View; surveys the main proposed successor analyses to the Received View—various Semantic Conception versions and the Structuralist Analysis; evaluates how well they avoid those defects; examines what new problems they face and where the most promising require further development (...) or leave unanswered questions; explores implications of recent work on models for understanding theories; and rebuts the few criticisms of the Semantic Conception that have surfaced. (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)