 Some functionalists assume that the functional property P and the property that plays the P-role, P*, are identical. On this view (also called ‘filler-’, ‘realizer’ or ‘occupant-functionalism’) a specification of the relevant role—typically obtained by a logical construction (the so called “Ramsey sentence”) from the theory containing a predicate that signifies this property—merely serves as a description to pick out the property that plays the functional role in the actual world. That is, ‘P’ refers to the underlying property that actually plays the role, namely P*. Others (so called ‘role-functionalists’) assume that the functional property P is a “higher order” property; it is simply the property of playing the relevant role and is not to be identified with any given underlying property P* that does so. On this view, P* merely realizes P; it is not identical with P. Given its denial of property identity, this latter view seems less apt to a reductionist interpretation. However, there may be means by which the higher-order properties might be logically constructed from lower-order ones that count as reductive (Putnam 1970).