Our knowledge of natural categories includes beliefs not only about what is true of them but also about what would be true if the categories had properties other than (or in addition to) their actual ones. Evidence about these beliefs comes from three lines of research: experiments on category-based induction, on hypothetical transformations of category members, and on definitions of kind terms. The 1st part of this article examines results and theories arising from each of these research streams. The 2nd part considers possible unified theories for this domain, including theories based on ideals and norms. It also contrasts 2 broad frameworks for modal category information: one focusing on beliefs about intrinsic or essential properties, the other focusing on interacting causal relations.It's common ground in linguistics, artificial intelligence (AI), and philosophy that our knowledge of natural categories includes information that is resistant to exceptions. Linguists, for example, have described generic sentences, such as Lions have manes, as ones that are true, despite the existence of obvious and sometimes numerous exceptions (such as female lions and immature male lions; see Krifka et al., 1995). Likewise, research on nonmonotonic logic in AI has sought systems that can reason with such sentences without making mistakes or becoming inconsistent when exceptions arise (e.g., Ginsberg, 1987). Some theories in the philosophy of language invest everyday concepts such as lion with a status that allows them to play a role in counterfactual conditionals, such as If Calvin were a lion, he'd have a mane (e.g., Brandom, 1988Brandom, , 1994. Not only does our knowledge of categories withstand exceptional current circumstances, it stands as well in merely possible circumstances that we have not experienced.Cognitive psychology, however, has mostly treated beliefs about categories in terms of what's normal or usual rather than in terms of what's lawlike or exception resistant. Early theories of perceptual categorizing (e.g., Posner & Keele, 1968;Reed, 1972) emphasized the role of prototypes, consisting of average values of category members along their physical dimensions. According to these theories, if people have to classify, for example, schematic faces into two previously identified sets, they mentally compute a prototype for each set, where the prototype specifies the average values of the members of that set on dimensions such as width of mouth, length of nose, and distance between eyes. To decide which set a novel face belongs to, people then determine the distance between the new face and each of the category prototypes. Finally, people assign the new face to the set whose prototype is closest to this new item.National Science Foundation Grants SBR-9514491 and SES-9907414 supported this research. Thanks go to Serge Blok, Douglas Medin, Daniel Osherson, and Steven Sloman for comments on an earlier version of this article and to Beth Proffitt for conversations about the material in the first part of the article.Co...