Online research in philosophy

In a recent critique of the doctrine of emergentism championed by its classic advocates up to C. D. Broad, Jaegwon Kim (Philosophical Studies 63:31–47, 1999) challenges their view about its applicability to the sciences and proposes a new account of how the opposing notion of reduction should be understood. Kim is critical of the classic conception advanced by Nagel and uses his new account in his criticism of emergentism. I question his claims about the successful reduction achieved in the sciences and argue that his new account has not improved on Nagel’s and that the critique of emergentism he bases on it is question-begging in important respects.

The paper sets out a new strategy for theory reduction by means of functional sub-types. This strategy is intended to get around the multiple realization objection. We use Kim’s argument for token identity (ontological reductionism) based on the causal exclusion problem as starting point. We then extend ontological reductionism to epistemological reductionism (theory reduction). We show how one can distinguish within any functional type between functional sub-types. Each of these sub-types is coextensive with one type of realizer. By this means, a conservative theory reduction is in principle possible despite multiple realization. We link this account with Nagelian reduction as well as Kim’s functional reduction.

The paper sets out a new strategy for theory reduction by means of functional sub-types. This strategy is intended to get around the multiple realization objection. We use Kim's argument for token identity (ontological reductionism) based on the causal exclusion problem as starting point. We then extend ontological reductionism to epistemological reductionism (theory reduction). We show how one can distinguish within any functional type between functional sub-types. Each of these sub-types is coextensive with one type of realizer. By this means, a conservative theory reduction is in principle possible, despite multiple realization. We link this account with Nagelian reduction, as well as with Kim's functional reduction.

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.

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.

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.

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.

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.