  It is generally accepted that linguists are interested in types. Some, e.g. Lyons (1977, p. 28), claim the linguist is interested only in types. Whether this is so or not, linguists certainly appear to be heavily committed to types; they “talk as though” there are types. That is, they often quantify over types in their theories and refer to them by means of singular terms. As Quine has emphasized, a theory is committed to the existence of entities of a given sort if and only if they must be counted among the values of the variables in order for the statements in the theory to be true. Linguistics is rife with such quantifications. For example, we are told that an educated person's vocabulary is about 15,000 words, but Shakespeare's was more nearly 30,000. These are types, as are the twenty-six letters of the English alphabet, and its eighteen cardinal vowels. (Obviously the numbers would be much larger if we were counting tokens). Linguists also frequently refer to types by means of singular terms. According to the O.E.D., for example, the noun ‘color’’ is from early modern English and in addition to its pronunciation [kɒ’ lər] has two "modern current or most usual spellings" [colour, color], eighteen earlier spellings [collor, collour, coloure, colowr, colowre, colur, colure, cooler, couler, coullor, coullour, coolore, coulor, coulore, coulour, culler, cullor, cullour] and eighteen senses (vol. 2, p. 636).  According to Webster's, the word ‘schedule’ has four current pronunciations: ['ske-(,)jü(ə)l], ['ske-jəl] (US), ['she-jəl] (Can) and ['she-(,)dyü(ə)l] (Brit) (p. 1044). Thus, linguistics is apparently committed to the existence of these words, which are types.