Functionalism, Reductionism, and Levels of Reality

Abstract

I consider a problem for functional reductionism based on the following tension. Say that b is functionally reduced to a. On one hand, a and b turn out to be identical, and identity is a symmetric relation. On the other hand, functional reductionism implies that a and b are asymmetrically related: if b is functionally reduced to a, then a is not functionally reduced to b. Thus we ask, how can a and b be asymmetrically related if they are the same thing? I propose a solution to this tension by distinguishing between ontological levels and levels of description.