In this book, Linda Wetzel examines the distinction between types and tokens and argues that types exist (as abstract objects, since they lack a unique ...

The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed 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 a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

Peirce illustrated the type-token distinction by means of the definite article: there is only one word type “the,” but there are likely to be about twenty tokens of it on this page. Not all tokens are inscriptions; some are sounds, whispered or shouted, and some are smoke signals. The type “the” is neither written ink nor spoken sound; it is an abstract object. Or consider the Grizzly Bear, Ursus arctos horribilis. At one time its U.S. range was most of the (...) area west of the Missouri River and it numbered 10,000 in California alone. Today it numbers less than 1,000. Of course no particular bear numbers 1,000 and no particular bear ever had a range comprising most of the area west of the Missouri. It is a type of bear, a species of bear, that has both properties.We are all familiar with this way of talking about types of things. But—aside from being universals—what are types? What makes a token of one type rather than another? How do we know it is a token of that type? Do some types fail to have tokens? What, if anything, do all and only tokens of a particular type have in common other than being tokens of that type? The first half of the paper answers the last question (“Nothing beyond being a token of the type”). The second half contains sketches of answers to the other questions. (shrink)