Something is wrong with current discussions about theory reduction. The question of whether higher level theories are reducible to lower level theories cannot be posed in a sensible way if methodological principles that are needed to evaluate scientific theories are disregarded. If this is recognized, the problem looses much of its alleged importance.

The term philosophy of chemistry is here construed broadly to include some publications from the history of chemistry and chemical education. Of course this initial selection of material has inevitably been biased by the interests of the author. This bibliography supersedes that of van Brakel and Vermeeren (1981), although no attempt has been made to include every single one of their entries, especially in languages other than English. Also, readers interested particularly in articles in German may wish to consult the (...) bibliography by Dittus and Mayer which also contains some material not included here (Dittus and Mayer, 1992). The aim is to maintain an up-to-date version of this bibliography and to publish a revised version in due course. Suggestions for further inclusions should be sent to the author. (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)

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)

In this paper, the (possible) role of model theory forstructuralism and structuralist definitions of ``reduction'' arediscussed. Whereas it is somewhat undecisive with respect tothe first point – discussing some pro's and con's ofthe model theoretic approach when compared with a syntacticand a structuralist one – it emphasizes that severalstructuralist definitions of ``reducibility'' do not providegenerally acceptable explications of ``reducibility''. This claimrests on some mathematical results proved in this paper.

IntroductionThe identity thesis asserts that for every psychological state P there is a neural state N such that P=N. In the hope of rendering IT clear and plausible many identity theorists have compared psycho-neural identity claims to such theoretical identities as temperature is identical with molecular mean kinetic energy. However such a comparison admits a weak and a strong interpretation. According to the weak interpretation, psycho-neural identities are said to be like theoretical identities in the sense that the former are (...) contingent claims just as the latter are presumed to be. Identity theorists have appealed to the contingent status of IT in order to meet prima facie objections of the following sort. We can imagine ourselves undergoing a pain, although we are not undergoing the neural process which the identity theorist claims is identical with the pain. Indeed we can imagine ourselves being in pain and yet not having a brain at all. Hence IT is false. Identity theorists have replied by arguing that this objection merely shows that IT is not a necessary truth, or that psychological and neurological terms do not have the same meaning. (shrink)

I argue that kripke's reviews about scientific reduction and identity merely restate familiar empiricist theses in somewhat paradoxical language. I reconstruct a kripkean argument for natural necessity and conclude that it too restates empiricist orthodoxy in paradoxical language. I suggest that this difficulty is endemic to modern essentialism.

The applicability of Nagel's concept of theory reduction, and related concepts of reduction, to the reduction of genetics to molecular biology is examined using the lactose operon in Escherichia coli as an example. Geneticists have produced the complete nucleotide sequence of two of the genes which compose this operon. If any example of reduction in genetics should fit Nagel's analysis, the lactose operon should. Nevertheless, Nagel's formal conditions of theory reduction are inapplicable in this case. Instead, it is argued that (...) genetics has been partially reduced to molecular biology in the sense of token-token reduction. (shrink)

I invoke the conceptual machinery of contemporary possible-world semantics to provide an account of the metaphysical status of "bridge laws" in intertheoretic reductions. I argue that although bridge laws are not definitions, and although they do not necessarily reflect attribute-identities, they are supervenient. I.e., they are true in all possible worlds in which the reducing theory is true.

Part I of this trilogy, Historical and Scientific Setting, set out a general context for selecting a certain subclass of inter-theoretic relations as achieving appropriate explanatory and ontological unification – hence for properly being labelled reductive. Something of the complexity of these relations in real science was explored. The present article concentrates on the role which identity plays in structuring the reduction relation and so in achieving ontological and explanatory unification.

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)