「分類」(categorization)是我們在世界上生存的重要技能之一，你若把老虎看成小貓，那你必死無疑；「概念上的分類」(conceptual categories)則是語言和想法的支柱。儘管人們擁有相同的分類能力，但是分類的結果卻不太一致。為此，我們對於以下問題有興趣：一、我們如何獲取分類的知道？二、有哪些理論能夠解釋我們如何分類？三、語言的分類是否決定說話者如此看待這個世界？
羅倫斯巴薩羅(Lawrence Barsalou)是這麼描述獲得分類的五個步驟：一、形構整體的架構描述；二、尋求能夠代表該架構描述的代表物(representation)；三、選擇和類別代表物最相近的；四、開始推論其整體；五、儲存該類別的資訊。其中，分類的代表物指的就是概念分類(conceptual)、分類(category)或概念(concept)，以上三詞彙將交替地在文章出現，其指的就是心理上，分類的代表物。
解釋我們如何分類的理論眾多，本文章將提到三個：一、古典模型(classical models)；二、原型模型(prototype models)；三、佳例模型(exemplar models)。古典模型首先將事物的重要特徵(essential features)定義，這決定其是否屬於該類別，但偶爾在同一類別下有不同特徵的，這表示那不是重要特徵，而是邊緣特徵(peripheral features)，其不具有分類的意義。這古典模型裡，「成分分析」(componential anlysis)將一整套的語義特徵去進行定義，這會可以產生一套共有的充分條件和必要條件，只要滿足條件的，我們即可以將其歸類到類別裡。成分分析的目的在於將每個字詞的意義區辨。在古典模型下，依循著這樣子的原則：一、類別內的成員享有共同特徵；二、類別內的成員地位平等，沒有誰優於誰或誰劣於誰；三、類別間有明顯的界線。
當我們遇到不是一個重要特徵能夠決定分類時，我們又產生了「原型模型」。原型模型以「群體相似性」(family resemblance)去維持類別，正如一家人一樣，有一些不同的特質在同一家族裡，但是也不是所有家族成員都擁有這些特質。其和古典模型有些差別：一、不以充分條件和必要條件或重要特徵進行分類，而是使用群體相似性；二、類別內的某些成員會有較好的代表性，成員內並非平等的；三、特徵通常不是固定的，所類別的界線也較模糊。一個字詞內，會有屬於核心(central)和邊陲(peripheral)的部分，再延伸之後就包括比喻的關係(metonymic relations)。在語言學中，動詞、名詞、修飾詞、片語、子句、句子…等，就是屬於原型模型。以名詞這個類別為例，我們都可以找到如：書、銀行、水等的名詞，更容易代表其它如：自由主義、憲法、機構等名詞。有一些心理實驗可以用來證實原型模型的說法，如：要求受試者舉例，觀察其舉例的頻率和順序(production of examples)、直接排序(direct rating)、反應時間(reaction time)、促動(priming)。
佳例模型既不像古典模型有規則定義，也不像原型模型有抽象的群體相似性，佳例模型靠特別的例子進行記憶。佳例模型不會將佳例的記憶轉換為抽象的原型，而會對於佳例有一些鬆散的收集(a loose collection of exemplar memories)。總的來說，佳例模型透過抽像的核心知識以及特定佳例的記憶進行分類。