It is not the case that David Armstrong and David Lewis's functionalist realism holds that higher-order properties are type-identical to the physical realizer-types within a given world, preserving type physicalism locally.
?Set your confidence on the premises below to see your aggregate.