This chapter defends Platonism about types: the thesis that all types exist at all times. Following Nicholas Wolterstorff, the associate-function is introduced: a one-to-one mapping of properties onto types. It is then argued that Platonism follows from two premises: that a type exists at a time, if the property of which it is the associate exists at that time; and that all properties exist at all times. The chapter goes on to defend these two premises (notably against Armstrong's rival account of the existence-conditions of properties, and against the objections to both premises raised by Robert Howell) before arguing that Platonism about types is, in fact, far less disruptive of our intuitions than may, at first, be supposed.
Keywords: Armstrong, Robert Howell, property, Nicholas Wolterstorff, Platonism