爱华网推理中的逻辑关系可能会被语言的非字面和间接使用模糊化。但是我们通常还是可以最小化这种模糊，并且有时候可以通过定义完全消除模糊——通过阐明或修改语言表达的意义。最常见的定义有三种：报道性定义、实指定义和语境定义。首先，我们来分析定义的结构。重构定义在评估一个定义之前，最好先对其进行重构，从而我们能够知道什么被定义了，什么提供了定义。这就要求区分定义的两个方面：被定义项（需要被定义的）和定义项（提供定义的）。重构定义的时候，被定义项先被列出，放在左边；然后列出定义项，放在右边。我们采用在重构后的定义的被定义项和定义项之间加入符号"=df."（读作"被定义为"）的方法。例如：例2-21 幼犬 =df. 年幼的狗例2-22 三角形 =df. 有且只有三个内角的平面图形例2-23 立方体 =df. 有六个面的三维体，每个面都是直的正方形每一个定义左边的表达式是被定义项，右边的表达式是定义项。日常的定义可以用各种不同的方式来表达，即类似于下列"律师"和"代理律师"的定义方法：例2-24 要成为代理律师就必须先做一名律师。例2-24a 说一个人是代理律师就是说这个人是一名律师。例2-24b "代理律师"的含义是"律师"。上述三个定义可以简洁地重构为"代理律师 =df.律师"。其中，"代理律师"是被定义项，"律师"是定义项。报道性定义定义例2-21～例2-24旨在给出语言表达式中某个词语的日常意义。字典和翻译手册中有很多这类定义。定义要充分，报道性定义的两边必须是完全相同的意义：一个报道性定义是充分的当且仅当其两边是同义词或有等同的意义(即，两边的含义相同)。否则，定义就是不充分的。报道性定义不充分的表现主要有定义过宽、定义过窄，或者既过宽又过窄。例如：例2-25 姐妹=df.女性例2-25定义过宽，因为其定义项同时选出了不是姐妹的人（比如，一个没有姐姐或妹妹的女性）。结果使得定义的两边意义不同。例2-26 姐妹=df.成年女性同胞例2-26定义过窄，因为其定义者漏掉了未成年的姐妹。例2-27 姐妹=df.成年同胞例2-27定义既过宽又过窄，因为其定义项在选出了某些兄弟的同时又漏掉了未成年的姐妹。显然，一个成年男性同胞不是一个姐姐或妹妹，一个两岁的姐姐或妹妹不是成年同胞。因此例2-27的两边意义不同。检验报道性定义当一个报道性定义不充分时，反例是检验不充分的方法。一个简单的反例就可以检验出。例2-25的反例是非同胞的成年女性；例2-26的反例是未成年的姐妹；例2-27的反例是成年同胞兄弟或未成年姐妹。一个没有反例的报道性定义是充分的。看到一个定义时，我们可以用一个思考实验来判断定义是否有反例。如果我们用这个方法来分析例2-21～例2-24，我们很快就可以发现反例是不可能的，例如，一个代理律师却不是律师，或者一个姐妹不是女性同胞。在任何可能世界，一个人如果是代理律师，他就是律师；如果一个人是姐妹，那她就一定是女性同胞。既然这些定义的反例是不可能的，我们就可以得出结论：这些定义是充分的。见专栏2-4。专栏2-4 反例和报道性定义报道性定义的反例是这样一种情况：它满足一边却不满足另一边。如果没有反例，报道性定义就是充分的。反例检验法的深层原则是：除非证明不充分，否则就是充分的。报道性定义只有在至少存在一个反例的情况下才是不充分的。在《拉凯斯篇》中，古希腊哲学家柏拉图（公元前428—公元前347）给"勇气"下了一个通用的定义，我们来检验这个定义的充分性。例2-28 勇气=df.在战争中勇往直前例2-28是充分的，只要不存在满足一边但却不满足另一边的情况。反例可以是现实生活中的例子，或者思考实验中只存在于思维中的可能场景（见专栏2-4）。作为例2-28的反例，只要使人相信这样的场景：某人很勇敢但是没有在战场上勇往直前，或者某人可能在战场上勇往直前但却不勇敢。这里就有一个这样的思考实验：一个战士在战场上采取后退策略的情况（迷惑敌人，从而可以更猛烈地反击）。因为这样的情况是可能的（并且确实发生过），虚构的战士的行为满足了例2-28的被定义项，但却不满足其定义项，因此这就是《拉凯斯篇》定义的一个反例。
进行思考实验时，我们必须遵守一些规则。首先，被描述的场景必须是在逻辑上连贯的，否则就不满足一个合乎逻辑的可能世界。其次，场景必须用同一种语言描述清楚，不能改变词语的含义。最后，我们必须知道如何使用描述场景的词语：从是否偏离常规看法的角度出发，我们没有理由怀疑自己对于词语含义的把握是不合规则的。（见专栏2-5）专栏2-5 可能情境和报道性定义一个报道性定义是充分的当且仅当不存在任何这样的情境：在该情境中，某些东西满足定义的一边但却不满足定义的另一边。只有在没有反例的情况下一个报道性定义才是充分的。报道性定义的反例是这样一种可能情况：反例词语的含义满足定义的一边，但不满足定义的另一边。作为反例，场景必须是连贯的，并且在描述的过程中不能改变词语的含义。实指定义和语境定义对于表达式含义的定义，并非所有的定义都旨在给出一个与被定义项同义的定义项，比如，我们现在要讲的实指定义和语境定义。实指定义的定义项提供了被定义项的一些范例，比如：例2-29 要成为一个社会主义国家就要有跟古巴一样的社会经济系统。例2-30 大都市是像伦敦、圣保罗或者东京那么大的城市。语境定义在定义项中提供另一个表达式或语境，而在该语境中，被定义项以及它的严格同义词都没有出现。例如，连词"除非"在逻辑中有时被定义为与"或者……或者"等价：例2-31 "P 除非Q"等价于"或者P 或者Q"。这里的定义项在逻辑意义上等同于被定义项，因为它们都用同一种逻辑关系将"P"和"Q"联结起来，但是这个定义的两边含义不同。
