Type Realism Reconsidered

Abstract Realism about types is the view that types are abstract and repeatable objects. Although type realists seem to agree that types, unlike properties, are objects in their own right, they argue that there is a metaphysically intimate tie between the existence conditions of types and properties. In particular, most type realists believe that types are, in a certain sense, determined by the properties that underlie them. I argue that this is a mistake, especially for those type realists who believe that social and cultural types such as works of music and fiction or words are artifacts. I offer an alternative version of type realism where social and cultural types are dependent objects that should be understood in analogy with concrete artifacts.