Most formal cognitive models propose that knowledge consists of systems of abstract, amodal symbols that are arbitrarily related to what they represent. In contrast, perceptual symbols are modal and analogically related to what they represent. Perceptual symbol systems may be constructed to be fully functional conceptual systems, they may help to solve deep problems such as the symbol grounding problem, and they are consistent with many experimental outcomes.