定义
旧译界说。定义既是揭示词项内涵的方法，又是揭示词项内涵的命题。或者说，定义既是揭示概念所反映的事物的特有属性的方法，又是揭示概念所反映的事物的特有属性的命题。在一般情况下，定义是给词项所指称的事物下定义，是给概念所反映的事物下定义，不是给词项本身，不是给概念本身下定义。对事物下的定义，也叫做真实定义或实质定义。对语词的解释，叫做语词定义。要正确地定义一类事物，就要认识这类事物的固有属性乃至本质属性。因之下定义的过程就是认识事物的过程。古希腊的亚里士多德在《论辩篇》中论述了什么是定义和应该怎样下定义的问题。他把定义规定为“表明事物的本质的短句”。定义和推理往往是传统逻辑讨论的两个中心议题。形式逻辑的发展愈来愈与认识论有了明显的界限，怎样掌握事物的本质也愈来愈不属于形式逻辑研究的范围。
属加种差定义 任一定义均表现为简短而明确的语句。在定义中指称被定义的事物的词项叫做被定义项，指称用来定义被定义的事物的事物的词项叫做定义项。被定义项总是比定义项简短；而定义项的含义总是比被定义项的含义明显。古罗马逻辑学家A．M．T．S．波爱修最早提出如下定义公式：
概念=概念所归的属+种差。
这种下定义的方式后来被称为通过属和种差下定义；用这种方式下的定义叫做属加种差定义。上述公式中等号左边是被定义项，等号右边是定义项。属和种差组成定义项。所谓种差，就是属下面一个种不同于其它种的特有属性。属加上种差构成被定义事物的特有属性。不能仅仅把种差了解为被定义事物的特有属性。在现代汉语中定义的语言表达形式常有：
被定义项是定义项；
被定义项就是定义项；
定义项叫做被定义项；
等等。定义项在语言形式方面常常是“种差的属”。定义表达的是两个全称肯定命题的合取，而不是一个全称肯定命题。具体的定义如：“商品就是用来交换的劳动产品。”被定义项是“商品”，定义项是“用来交换的劳动产品”。商品的属是“劳动产品”。商品不同于其它劳动产品的种差是“用来交换的。”商品的本质属性是“用来交换的劳动产品”。这一定义从命题方面来说，它是“凡商品是用来交换的劳动产品，并且凡用来交换的劳动产品是商品”．
功用定义和发生定义都是属加种差定义。功用定义中的种差是被定义的种的特殊功用。如“温度计是用以测量温度的物理仪器”。发生定义中的种差是被定义的种发生或形成过程中的特点。如“圆周是平面上一点以等距离绕另一定点运动所形成的封闭曲线”。种差是被定义项所指事物产生发展的原因的那些发生定义，叫做因果定义。如“痢疾是由于杆状菌或阿米巴菌在肠道中寄生而引起的疾病”。
传统逻辑关于定义的规则 传统逻辑认为一个良好的定义必须遵守以下4条规则：①被定义项和定义项的外延是全同关系。(参见谬误)②定义项中不能有含混或比喻的语词。例如，“建筑是凝固的音乐”不能当作定义。③定义项中不能直接或间接包含被定义项。定义项直接包含了被定义项的错误叫做同语反复。定义项间接包含被定义项的错误叫做恶性循环。两种错误都叫做循环定义。(参见谬误)④除非必要，定义项不应包含负词项。如把“商品是不供生产者本人消费的劳动产品”当作定义，则定义项中包含了负词项“不供生产者本人消费的”，它不是以说明商品具有什么特征。但当被定义的事物的特有属性是缺乏某些属性时，定义项中也可以包含负词项。如可以有这样的定义：“生荒地是没有开垦过的荒地。”
形式语言中新符号的定义 在用形式语言表达的形式系统中通过定义引进一个新的符号，总是用此系统的初始符号和在先已有定义的符号来确定该新符号的意义。形式系统中的定义总是依固定次序引进的。它们可以看作是对此系统中某类公式的简化记法或另一记法的规定。通过定义在形式系统中引进新符号的目的是为了便于对那个系统的结构进行研究，而不是增补其结构。波兰现代逻辑学家S．列斯涅夫斯基最早提出了在形式语言中下定义的两条准则。①可消去性准则：一个被定义的符号总是能从该语言的任何公式中消去的。它可形式地陈述如下：在某一形式系统中引入一个新符号的公式S满足可消去性准则，当且仅当，如果S是一个新符号在其中出现的公式，就有一个此新符号不在其中出现的公式S，使得S→(S
S)是能从该系统的公理和在先的定义中推导出来的。②非创新性准则：一个新符号的定义不能使旧符号之间那些先前不可证的公式成为可证的，即该定义不能起到增加新公理的作用。它可形式地陈述如下：在某一形式系统中引入一个新符号的公式S满足非创新性准则，当且仅当，不存在该新符号不在其中出现的公式T，使得S→T可以从该系统的公理和在先的定义推导出来，而T却不能如此推导出来。
日常语言中的某些定义方法 日常语言中的定义往往带有感情色彩，并运用一些类似定义的方法来描述对象。①说服定义，在一般的定义中试图通过在定义项中引入带有一定情绪意义的语词，以影响与激发接受此定义的人产生同样的情绪的定义。如，“自然主义，文学艺术创作中的一种不良倾向，着重描写现实生活中个别现象和琐碎细节，忽视甚至歪曲事物的本质。”作出说服定义的目的是要将包含在定义项中的情绪力量转移到被定义项中去，用以称赞或谴责某事物。②显示定义，把比喻当作定义的一种类似定义的方法。自然语言逻辑研究这类定义的特点。例如，“建筑是凝固的音乐。”③描述定义，列举出事物若干属性以识别事物的方法。这是识别个体的一种有用方法。