推理中的逻辑关系可能会被语言的非字面和间接使用模糊化。但是我们通常还是可以最小化这种模糊，并且有时候可以通过定义完全消除模糊──通过阐明或修改语言表达的意义。最常见的定义有三种：报道性定义、实指定义和语境定义。首先，我们来分析定义的结构。

重构定义

在评估一个定义之前，最好先对其进行重构，从而我们能够知道什么被定义了，什么提供了定义。这就要求区分定义的两个方面：被定义项（需要被定义的）和定义项（提供定义的）。重构定义的时候，被定义项先被列出，放在左边；然后列出定义项，放在右边。我们采用在重构后的定义的被定义项和定义项之间加入符号“=df.”（读作“被定义为”）的方法。例如：

例2-21 幼犬 =df. 年幼的狗

例2-22 三角形 =df. 有且只有三个内角的平面图形

例2-23 立方体 =df. 有六个面的三维体，每个面都是直的正方形

每一个定义左边的表达式是被定义项，右边的表达式是定义项。日常的定义可以用各种不同的方式来表达，即类似于下列“律师”和“代理律师”的定义方法：

例2-24 要成为代理律师就必须先做一名律师。

例2-24a 说一个人是代理律师就是说这个人是一名律师。

例2-24b “代理律师”的含义是“律师”。

Loading...

未加载完，尝试【刷新】or【关闭小说模式】or【关闭广告屏蔽】。

尝试更换【Firefox浏览器】or【Chrome谷歌浏览器】打开多多收藏！

移动流量偶尔打不开，可以切换电信、联通、Wifi。

收藏网址：www.finalbooks.work

(＞人＜；)