Abstract
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.
Acknowledgements
We are very grateful to the Editor and three anonymous referees of this journal for a number of helpful comments. The work of Christian Sachse on this paper has been supported by the Swiss National Science Foundation, grant nr. 100011‐105218/1.