Online research in philosophy

In this paper, the relation between identity-based reduction and one specific sort of reductive explanation is considered. The notion of identity-based reduction is spelled out and its role in the reduction debate is sketched. An argument offered by Jaegwon Kim, which is supposed to show that identity-based reduction and reductive explanation are incompatible, is critically examined. From the discussion of this argument, some important consequences about the notion of reduction are pointed out.

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.

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.

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.

This paper points out the merit of Nagelian reduction, namely to propose a model of inter-theoretic reduction that retains the scientific quality of the reduced theory and the merit of functional reduction, namely to take multiple realization into account and to offer reductive explanations. By considering Lewis and Kim’s proposal for local reductions, we establish that functional reduction fails to achieve a theory reduction and cannot retain the scientific quality of the reduced theory. We improve on that proposal by showing how one can build functional sub-types that are coextensive with physical realizer types and thereby obtain a theory reduction that is explanatory and that vindicates the scientific quality of the special sciences.

The functionalist conception of mental properties, together with their multiple realizability, is often taken to entail their irreducibility. It might seem that the only way to revise that judgement is to weaken the requirements traditionally imposed on reduction. However, Jaegwon Kim has recently argued that we should, on the contrary, strengthen those requirements, and construe reduction as what I propose to call “logical reduction”, a model of reduction inspired by emergentism. Moreover, Kim claims that what he calls “functional reduction” allows one to reduce (at least some) mental properties by these new standards. I argue against both theses. First, I present a counterexample to the emergentist model of reduction: The model judges irreducible certain properties which are clearly reducible. Second, I contestthat functional reduction as construed by Kim satisfies the emergentist constraints. Functional reduction implies, over and above a functional definition of the reduced property, the indication of its realizers. But the latter information corresponding to the discovery of a (local) bridge law, is empirical and not purely logical.

among them Joseph Levine, David Chalmers, Frank Jackson and Jaegwon Kim?have claimed that there are conceptual grounds sufficient for ruling out the possibility of a reductive explanation of phenomenal consciousness. Their claim assumes a functional model of reduction (regarded by Kim as an alternative to the traditional Nagelian model) which requires an a priori entailment from the facts in the reduction base to the phenomena to be explained. The aim of this paper is to show that this is an unreasonable requirement?a requirement that no reductive explanation in science should be expected to satisfy. I argue that the functional model is not substantively different from the Nagelian model properly understood, and that the question whether consciousness is reductively explainable?in a sense involving property identifications or in some weaker sense compatible with Nagelian reduction?is a fundamentally empirical question, not one that can be settled on conceptual grounds alone. Introduction Kim's critique of the Nagelian model of reduction The functional model of reduction Is consciousness reducible? Psychophysical reduction: concluding remarks.

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.

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.