原型理论是由弗洛伊德提出的。原型理论是一种彻底扬弃传统亚里士多德逻辑中的必要和充分条件的理论,它主张外延或内涵语义的集合论取向。因此,它反对范畴的定义基础模型,如:将“鸟”定义为由“有羽毛”、“有喙”与“能够飞”三种特征构成的生物。

  原型理论则将范畴当作为由一些不相等状态元素所构成的,如,知更鸟比起企鹅更有鸟的原型性。这衍生出范畴内层级的概念,这在许多认知科学与认知语义学的模型中,都是主要的核心概念。

  原型理论基本层次范畴:最大化在范畴内共享属性的项目数,最小化在范畴外共享属性的项目数。在功能上认为,基本层次范畴是将世界分解为最大限度数量的资讯性范畴。

  原型的概念与维特根斯坦的理论相关,而不利于传统范畴概念。这导致,在文本意义上,将语义元件视为可能的而非必要的要素。