Abstract
The distinction between a type and its tokens is auseful metaphysical distinction. In §1 it is explained what itis, and what it is not. Its importance and wide applicability inlinguistics, philosophy, science and everyday life are brieflysurveyed in §2. Whether types are universals is discussed in§3. §4 discusses some other suggestions for what types are,both generally and specifically. Is a type the sets of its tokens?What exactly is a word, a symphony, a species? §5 asks what atoken is. §6 considers the relation between types and theirtokens. Do the type and all its tokens share the same properties? Mustall the tokens be alike in some or all respects? §7 explains someproblems for the view that types exist, and some problems for the viewthat they don’t. §8 elucidates a distinction often confused withthe type-token distinction, that between a type and anoccurrence of it. It also discusses some problems thatoccurrences might be thought to give rise to, and one way to resolvethem.