It wouldn't do to ignore what the coiner of the type-token distinction had to say about types. Unfortunately it cannot be adequately unpacked without an in-depth explication of Peirce's semiotics, which cannot be embarked upon here. (See the entries on Charles Sanders Peirce and Peirce's theory of signs.) Peirce said types “do not exist”, yet they are “definitely Significant Forms” that “determine things that do exist” (4.423). A type, or “legisign” as he also calls it, “has a definite identi