基础概念
【定义】是在柏拉图时代就已经充分研究的概念。【定义】要回答的问题是：到底它是什么？亚里士多德对【定义】的定义是：“阐明某物到底是什么的解释（account which signifies what it is to be for something ）”。这里最关键的是“到底（或应当）是什么（what it is to be）”。这个短语（希腊语）经过罗马时代的翻译者译成拉丁文成为“essentia”，后来成为英语“essence”（本质）的源语。也就是说，【定义】的实质就在于陈述某事物的本质是什么的命题。那么什么是事物的“本质”呢？这个问题，是整个亚氏形而上学学说的中心问题，不是一两句话可以说清楚的。大致地说，就是在定义某个概念时，是内涵式（intensional）定义，亦即，根据该概念的属性、特征定义。这种定义有两个部分组成：
• 主类（genus）：已经存在的概念，是新概念定义中的一部分，所有包含相同主类的定义（新概念）都应当是该主类的成员。例如：用动物来定义人，【主类】是“动物”，定义的新概念是“人”，因此“人”应当是“动物”的成员。
• 区别特征（differentia）：新定义中包含的不属于主类的属性。例如：关于“人”的定义：具有推理能力的动物；“具有推理能力的”就是主类没有的属性，这个属性，就叫做“区别特征”。
下面再看几个例子：
• 三角形：三条直线围成的平面图形；
• 四边形：四条直线围成的平面图形；
这两个定义可以看做是由一个【主类】和两个【区别特征】构成：
【主类】：“平面图形”
【区别特征】：三角形： 三条直线围成的；四边形：四条直线围成的
从一个已定义概念加入更多的区别特征形成新概念，这个过程称作“微分或细化”（differentiation），从两个或多个概念定义中抽取共同部分，这个过程称作“抽象”（abstraction）。例：
• 正方形：所有内角皆为直角、且所有的边都相等的四边形；
• 长方形：所有内角皆为直角的四边形；
• 此处从“正方形”和“长方形”定义中可以抽出“内角皆为直角的四边形”，作为公因子，而这个公因子恰好是“长方形”的定义，因此，正方形的定义就可以用此公因子替换得：
• 正方形：所有的边都相等的长方形。
总结：利用【主类】和【区别特征】对概念进行定义可以总结出公式：当有n（n>1）个【主类】和m（m>0）个【区别特征】时：
定义：主类1和主类2和…主类n-1和主类n，它们都具有非主类区别特征1和非主类区别特征2…和非主类区别特征n-1和非主类区别特征n。
利用【主类】，我们可以构造“…是…”（is-a 关系）的句子：
一个正方形是一个长方形，它又是一个四边形，它又是一个平面图形，它又是…
一个正方形是一个菱形，它又是一个四边形，它又是一个平面图形，它又是…
而利用【区别特征】则可以构造“…具有…”（has-a）的句子：
一个正方形具有一个其为直角的内角；
一个正方形具有一条直线围边；
这里最让人感到有魅力的地方是，当所有【概念】的定义都是以【主类】和【区别特征】的形式定义时，我们就可以形成一个以节点和连接线构成的【有向图】层次结构，这个结构在数学上称作“有向非循环图”，这样我们就可以用“图论”（graph theory）研究概念层次了。
最后再引入一个概念：【物种（species）】。不要误会，这不是生物学中的物种概念，尽管使用了同样的单词。所谓【物种】就是个体定义的直接上位概念。
评论：
