直接推理

数学领域术语

直接推理又称直言判断的推理。直言判断推理可划分为直言判断的直接推理和直言判断的间接推理。直言判断的直接推理是由一个直言判断前提推出一个直言判断结论的推理。直言判断的间接推理是由两个或两个以上的直言判断前提推出一个直言判断的结论。其中,两个直言判断前提和一个直言判断结论组成的推理,叫作直言三段论。直言三段论就是借助于一个共同概念把两个直言判断联结起来,从而推导出新的结论。例如,“正义的事业是摧不垮的,我们的事业是正义的,因此,我们的事业是不可战胜的”。直言三段论的语言形式一般地是由陈述句组成的复合句,这种复合句具有“因为……,所以……”的形式,属于偏正复句中的因果关系。当然,直言三段论的语言表现形式是多种多样的,除了简单的复合句以外,还可以通过多重复合句形式来表达。另外,直言三段论作为一种思维方式,可以成为一篇文章或一个段落中的基本思维模式。

概念
直接推理就是从一个前提直接推出结论的推理。它有三个特点:第一,前提的单一性(前提只有一个);第二,结论的确定性(前提和结论之间有蕴涵关系,即前提包含结论,前提真,结论必真);第三,推理的直接性(从前提直接引出结论,不像间接推理那样还需要经过中介或其他条件才能进行推理)。对当关系推理、判断变形推理、负判断关系推理、附性法推理都是直接推理。
对当关系的直接推理
对当关系的直接推理就是根据性质判断问的对当关系进行的推理。在A、E、I、O四种性质判断间的对当关系中,有的关系具有制约性质,即由某一判断形式的真或假,能够必然确定另一判断形式的真或假;有的关系不具有制约关系,即由某一判断形式的真或假,不能必然确定另一判断形式的真或假。根据必然性推理的逻辑特征,只有具有制约性质的关系,才能作为有关推理的逻辑依据。
A、E、I、O四种性质判断间的对当关系,包括上反对关系下反对关系矛盾关系从属关系。相应地,对当关系的直接推理便有以下四种共十六个推理有效式:
上反对关系推理
反对关系,存在于A与E之间,二者不能同真,可以同假。因此,根据上反对关系由真可以推假,但不能由假推真(或假)。其有效式有以下两个(→表示推出):
(1)
(2)
下反对关系推理
下反对关系,存在于I与O之间,二者不能同假,可以同真。因此,根据下反对关系由假可以推真,但不能由真推假(或真)。其有效式有以下两个:
(1)
(2)
矛盾关系推理
矛盾关系,存在于A与O、E与I之间,二者既不能同真,也不能同假。因此,根据矛盾关系由真可以推假,由假也可以推真。所以,其前提与结论是等值关系,用 来表示推出。其有效式有以下八个:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
从属关系推理
从属关系存在于A与I、E与O之间,全称真时,特称必真;全称假时,特称真假不定;特称真时,全称真假不定;特称假时,全称必假。因此,根据从属关系,由全称真可推特称真,由特称假可推全称假。其有效式有以下四个:
(1)
(2)
(3)
(4)
性质判断变形的直接推理
性质判断变形的直接推理就是通过改变一个性质判断的形式,由一个性质判断推出另一个性质判断的推理。“变形”的基本方法有换质法换位法两种,还可以将两种方法结合起来运用,这就是换质位法
换质法
换质法就是通过改变前提判断的质(肯定改为否定,否定改为肯定),从而得到一个新判断的推理方法。
换质法有两条规则:
规则1:只改变前提判断的质(联项)。
规则2:结论的谓项与前提谓项必须是矛盾关系。
规则1是由换质法的定义直接导出的。规则2是由换质法的演绎性质决定的,因为有效的演绎推理是前提蕴涵结论的推理,既然改变了原判断的质(联项),为了保证从真前提必然推出真结论,就必须将原判断的谓项换成它的矛盾概念。
根据上述两条规则,A、E、I、O四种性质判断都可以换质。换质法有四个有效式:
(1)
(2)
(3)
(4)
换质法推理有一个特点:前提与结论可以互推,对上述推理的结论再进行换质,就能必然地推出原来的前提。因此,换质法的四个有效式的前提与结论之间也可用互推符号“ ”。
换质法应用很广,它以原判断相反的形式揭示了原判断的思想内容,同时为我们提供了一个等值判断,因此,它不仅在认识上有意义,而且在表达上也有意义。
换位法
换位法就是通过改变前提判断主、谓项的位置,从而推出一个新判断的推理方法。
换位法有两条规则:
规则1:只改变前提判断主项和谓项的位置(不换质);
规则2:前提中不周延的项,在结论中不得周延。
规则1是由换位法的定义直接导出的。规则2是由换位法的演绎性质决定的,因为,一个概念在前提中不周延,就是说前提没有断定它的全部外延,而只断定了它的部分外延;如果它
在结论中变为周延,就是说结论断定了它的全部外延,这样,结论对它的断定范围就超出了前提所断定的范围,这种断定也就不是必然可靠的了。规则2实际上是规定结论的断定范围不得超出前提的断定范围,它保证了合乎规则的换位法推理能够从真前提必然地推出真结论。
根据上述两条规则,换位法有三个有效式:
(1)
(2)
(3)
SOP不能换位。因为换位法不能改变前提的质,即SOP只能换成POS,这样,前提中的主项(S)是不周延的,谓项(P)是周延的,而结论中P换成了主项(不周延),S换成了谓项就变成了周延概念,这样就违背了换位法规则2。
换位法的意义在于:通过换位可以使原判断中谓项周延的情况更加明确。在日常语言中,许多判断的谓项是不带量词的,因此,它们的周延情况就不太明显,这样在理解判断含义时往往容易发生误解。经过换位,使谓项的量明确显示出来,这对准确把握思维对象无疑是有帮助的。
换质位法
换质位法就是既改变前提判断的质,又调换前提判断主、谓项的位置,从而得出一个新判断的推理方法。换质位法通常是先对一个性质判断换质,再对换质的结论进行换位。例如,对“凡是真正的企业家都是熟悉市场经济运行规律的”换质,可以得到“凡是真正的企业家都不是不熟悉市场经济运行规律的”,再对这一结论进行换位,就得到“凡是不熟悉市场经济运行规律的都不是真正的企业家”的结论。在实际思维中,上述推理过程的中间步骤可以省略。例如,从“凡是真正的企业家都是熟悉市场经济运行规律的”前提,可以直接推出“凡是不熟悉市场经济运行规律的都不是真正的企业家”的结论。换质位法的规则是:换质的时候遵守换质的规则,换位的时候遵守换位的规则。
根据换质法和换位法的规则,换质位法只有三个有效式:
(1)
(2)
(3)
SIP不能换质位。因为SIP换质后就成了 ,根据换位法规则2, 是不能换位的,所以SIP不能换质位。
换质位法可以连续使用,例如:
(1)
(2)
换质位法所得判断较之原判断不仅有质的不同,而且主项的思考对象也不同,所以,换质位法兼有换质法、换位法二者的作用和意义。
附性法直接推理
所谓附性法直接推理,是指将标志一定属性的概念分别附加在性质判断的主、谓项前面或后面,从而得出一个新判断的推理形式。例如:
(1) 大学教师是知识分子,
所以优秀的大学教师是优秀的知识分子。
(2) 猪是动物.
所以猪肉是动物肉。
例(1)的前提是A判断,结论仍然是A判断,但其主、谓项前面冠以“优秀的”这一概念;例(2)的前提是A判断,结论仍然是A判断,但其主、谓项后面冠以“肉”这一概念。例(1)可用公式表示为: ;例(2)可用公式表示为: 。可见,附性法直接推理有两个特点:
第一,前提判断和结论判断在质上是保持同一的,即前提判断是肯定的(或否定的),结论判断也必须是肯定的(或否定的)。
第二.前提判断的主、谓项在结论中仍然充当主、谓项,并且分别受到标志一定属性的同一概念的限制。
附性法直接推理必须遵守这样两条规则:
第一,在前提和结论中.附加概念(N)必须保持一致。附加概念(N)不仅在语言形式上是同一的,在意义上也必须保持同一;否则就会犯“偷换概念”的逻辑错误。例如,“鼠是动物,所以,老鼠是老动物。”尽管附加概念(N)都是“老”。但含义各不相同.结果推出荒谬结论。
第二,在结论中,主、谓项的关系必须与前提中的主、谓项的关系保持一致。即原判断主、谓项之间是怎样的关系,在结论中仍然要保持这种关系:否则,会犯“推不出”的逻辑错误。例如,“蚊子是动物,所以,大蚊子是大动物。”前提中的主、谓项的关系是从属关系,结论中的主、谓项的关系却变成了反对关系,明显犯了“推不出”的逻辑错误。
全国各地天气预报查询

上海市

  • 市辖区
  • 云南省

  • 临沧市
  • 云南省

  • 丽江市
  • 云南省

  • 保山市
  • 云南省

  • 大理白族自治州
  • 云南省

  • 德宏傣族景颇族自治州
  • 云南省

  • 怒江傈僳族自治州
  • 云南省

  • 文山壮族苗族自治州
  • 云南省

  • 昆明市
  • 云南省

  • 昭通市
  • 云南省

  • 普洱市
  • 云南省

  • 曲靖市
  • 云南省

  • 楚雄彝族自治州
  • 云南省

  • 玉溪市
  • 云南省

  • 红河哈尼族彝族自治州
  • 云南省

  • 西双版纳傣族自治州
  • 云南省

  • 迪庆藏族自治州
  • 内蒙古自治区

  • 乌兰察布市
  • 内蒙古自治区

  • 乌海市
  • 内蒙古自治区

  • 兴安盟
  • 内蒙古自治区

  • 包头市
  • 内蒙古自治区

  • 呼伦贝尔市
  • 内蒙古自治区

  • 呼和浩特市
  • 内蒙古自治区

  • 巴彦淖尔市
  • 内蒙古自治区

  • 赤峰市
  • 内蒙古自治区

  • 通辽市
  • 内蒙古自治区

  • 鄂尔多斯市
  • 内蒙古自治区

  • 锡林郭勒盟
  • 内蒙古自治区

  • 阿拉善盟
  • 北京市

  • 市辖区
  • 吉林省

  • 吉林市
  • 吉林省

  • 四平市
  • 吉林省

  • 延边朝鲜族自治州
  • 吉林省

  • 松原市
  • 吉林省

  • 白城市
  • 吉林省

  • 白山市
  • 吉林省

  • 辽源市
  • 吉林省

  • 通化市
  • 吉林省

  • 长春市
  • 四川省

  • 乐山市
  • 四川省

  • 内江市
  • 四川省

  • 凉山彝族自治州
  • 四川省

  • 南充市
  • 四川省

  • 宜宾市
  • 四川省

  • 巴中市
  • 四川省

  • 广元市
  • 四川省

  • 广安市
  • 四川省

  • 德阳市
  • 四川省

  • 成都市
  • 四川省

  • 攀枝花市
  • 四川省

  • 泸州市
  • 四川省

  • 甘孜藏族自治州
  • 四川省

  • 眉山市
  • 四川省

  • 绵阳市
  • 四川省

  • 自贡市
  • 四川省

  • 资阳市
  • 四川省

  • 达州市
  • 四川省

  • 遂宁市
  • 四川省

  • 阿坝藏族羌族自治州
  • 四川省

  • 雅安市
  • 天津市

  • 市辖区
  • 宁夏回族自治区

  • 中卫市
  • 宁夏回族自治区

  • 吴忠市
  • 宁夏回族自治区

  • 固原市
  • 宁夏回族自治区

  • 石嘴山市
  • 宁夏回族自治区

  • 银川市
  • 安徽省

  • 亳州市
  • 安徽省

  • 六安市
  • 安徽省

  • 合肥市
  • 安徽省

  • 安庆市
  • 安徽省

  • 宣城市
  • 安徽省

  • 宿州市
  • 安徽省

  • 池州市
  • 安徽省

  • 淮北市
  • 安徽省

  • 淮南市
  • 安徽省

  • 滁州市
  • 安徽省

  • 芜湖市
  • 安徽省

  • 蚌埠市
  • 安徽省

  • 铜陵市
  • 安徽省

  • 阜阳市
  • 安徽省

  • 马鞍山市
  • 安徽省

  • 黄山市
  • 山东省

  • 东营市
  • 山东省

  • 临沂市
  • 山东省

  • 威海市
  • 山东省

  • 德州市
  • 山东省

  • 日照市
  • 山东省

  • 枣庄市
  • 山东省

  • 泰安市
  • 山东省

  • 济南市
  • 山东省

  • 济宁市
  • 山东省

  • 淄博市
  • 山东省

  • 滨州市
  • 山东省

  • 潍坊市
  • 山东省

  • 烟台市
  • 山东省

  • 聊城市
  • 山东省

  • 菏泽市
  • 山东省

  • 青岛市
  • 山西省

  • 临汾市
  • 山西省

  • 吕梁市
  • 山西省

  • 大同市
  • 山西省

  • 太原市
  • 山西省

  • 忻州市
  • 山西省

  • 晋中市
  • 山西省

  • 晋城市
  • 山西省

  • 朔州市
  • 山西省

  • 运城市
  • 山西省

  • 长治市
  • 山西省

  • 阳泉市
  • 广东省

  • 东莞市
  • 广东省

  • 中山市
  • 广东省

  • 云浮市
  • 广东省

  • 佛山市
  • 广东省

  • 广州市
  • 广东省

  • 惠州市
  • 广东省

  • 揭阳市
  • 广东省

  • 梅州市
  • 广东省

  • 汕头市
  • 广东省

  • 汕尾市
  • 广东省

  • 江门市
  • 广东省

  • 河源市
  • 广东省

  • 深圳市
  • 广东省

  • 清远市
  • 广东省

  • 湛江市
  • 广东省

  • 潮州市
  • 广东省

  • 珠海市
  • 广东省

  • 肇庆市
  • 广东省

  • 茂名市
  • 广东省

  • 阳江市
  • 广东省

  • 韶关市
  • 广西壮族自治区

  • 北海市
  • 广西壮族自治区

  • 南宁市
  • 广西壮族自治区

  • 崇左市
  • 广西壮族自治区

  • 来宾市
  • 广西壮族自治区

  • 柳州市
  • 广西壮族自治区

  • 桂林市
  • 广西壮族自治区

  • 梧州市
  • 广西壮族自治区

  • 河池市
  • 广西壮族自治区

  • 玉林市
  • 广西壮族自治区

  • 百色市
  • 广西壮族自治区

  • 贵港市
  • 广西壮族自治区

  • 贺州市
  • 广西壮族自治区

  • 钦州市
  • 广西壮族自治区

  • 防城港市
  • 新疆维吾尔自治区

  • 乌鲁木齐市
  • 新疆维吾尔自治区

  • 伊犁哈萨克自治州
  • 新疆维吾尔自治区

  • 克孜勒苏柯尔克孜自治州
  • 新疆维吾尔自治区

  • 克拉玛依市
  • 新疆维吾尔自治区

  • 博尔塔拉蒙古自治州
  • 新疆维吾尔自治区

  • 吐鲁番市
  • 新疆维吾尔自治区

  • 和田地区
  • 新疆维吾尔自治区

  • 哈密市
  • 新疆维吾尔自治区

  • 喀什地区
  • 新疆维吾尔自治区

  • 塔城地区
  • 新疆维吾尔自治区

  • 巴音郭楞蒙古自治州
  • 新疆维吾尔自治区

  • 昌吉回族自治州
  • 新疆维吾尔自治区

  • 自治区直辖县级行政区划
  • 新疆维吾尔自治区

  • 阿克苏地区
  • 新疆维吾尔自治区

  • 阿勒泰地区
  • 江苏省

  • 南京市
  • 江苏省

  • 南通市
  • 江苏省

  • 宿迁市
  • 江苏省

  • 常州市
  • 江苏省

  • 徐州市
  • 江苏省

  • 扬州市
  • 江苏省

  • 无锡市
  • 江苏省

  • 泰州市
  • 江苏省

  • 淮安市
  • 江苏省

  • 盐城市
  • 江苏省

  • 苏州市
  • 江苏省

  • 连云港市
  • 江苏省

  • 镇江市
  • 江西省

  • 上饶市
  • 江西省

  • 九江市
  • 江西省

  • 南昌市
  • 江西省

  • 吉安市
  • 江西省

  • 宜春市
  • 江西省

  • 抚州市
  • 江西省

  • 新余市
  • 江西省

  • 景德镇市
  • 江西省

  • 萍乡市
  • 江西省

  • 赣州市
  • 江西省

  • 鹰潭市
  • 河北省

  • 保定市
  • 河北省

  • 唐山市
  • 河北省

  • 廊坊市
  • 河北省

  • 张家口市
  • 河北省

  • 承德市
  • 河北省

  • 沧州市
  • 河北省

  • 石家庄市
  • 河北省

  • 秦皇岛市
  • 河北省

  • 衡水市
  • 河北省

  • 邢台市
  • 河北省

  • 邯郸市
  • 河南省

  • 三门峡市
  • 河南省

  • 信阳市
  • 河南省

  • 南阳市
  • 河南省

  • 周口市
  • 河南省

  • 商丘市
  • 河南省

  • 安阳市
  • 河南省

  • 平顶山市
  • 河南省

  • 开封市
  • 河南省

  • 新乡市
  • 河南省

  • 洛阳市
  • 河南省

  • 漯河市
  • 河南省

  • 濮阳市
  • 河南省

  • 焦作市
  • 河南省

  • 省直辖县级行政区划
  • 河南省

  • 许昌市
  • 河南省

  • 郑州市
  • 河南省

  • 驻马店市
  • 河南省

  • 鹤壁市
  • 浙江省

  • 丽水市
  • 浙江省

  • 台州市
  • 浙江省

  • 嘉兴市
  • 浙江省

  • 宁波市
  • 浙江省

  • 杭州市
  • 浙江省

  • 温州市
  • 浙江省

  • 湖州市
  • 浙江省

  • 绍兴市
  • 浙江省

  • 舟山市
  • 浙江省

  • 衢州市
  • 浙江省

  • 金华市
  • 海南省

  • 三亚市
  • 海南省

  • 三沙市
  • 海南省

  • 儋州市
  • 海南省

  • 海口市
  • 海南省

  • 省直辖县级行政区划
  • 湖北省

  • 十堰市
  • 湖北省

  • 咸宁市
  • 湖北省

  • 孝感市
  • 湖北省

  • 宜昌市
  • 湖北省

  • 恩施土家族苗族自治州
  • 湖北省

  • 武汉市
  • 湖北省

  • 省直辖县级行政区划
  • 湖北省

  • 荆州市
  • 湖北省

  • 荆门市
  • 湖北省

  • 襄阳市
  • 湖北省

  • 鄂州市
  • 湖北省

  • 随州市
  • 湖北省

  • 黄冈市
  • 湖北省

  • 黄石市
  • 湖南省

  • 娄底市
  • 湖南省

  • 岳阳市
  • 湖南省

  • 常德市
  • 湖南省

  • 张家界市
  • 湖南省

  • 怀化市
  • 湖南省

  • 株洲市
  • 湖南省

  • 永州市
  • 湖南省

  • 湘潭市
  • 湖南省

  • 湘西土家族苗族自治州
  • 湖南省

  • 益阳市
  • 湖南省

  • 衡阳市
  • 湖南省

  • 邵阳市
  • 湖南省

  • 郴州市
  • 湖南省

  • 长沙市
  • 甘肃省

  • 临夏回族自治州
  • 甘肃省

  • 兰州市
  • 甘肃省

  • 嘉峪关市
  • 甘肃省

  • 天水市
  • 甘肃省

  • 定西市
  • 甘肃省

  • 平凉市
  • 甘肃省

  • 庆阳市
  • 甘肃省

  • 张掖市
  • 甘肃省

  • 武威市
  • 甘肃省

  • 甘南藏族自治州
  • 甘肃省

  • 白银市
  • 甘肃省

  • 酒泉市
  • 甘肃省

  • 金昌市
  • 甘肃省

  • 陇南市
  • 福建省

  • 三明市
  • 福建省

  • 南平市
  • 福建省

  • 厦门市
  • 福建省

  • 宁德市
  • 福建省

  • 泉州市
  • 福建省

  • 漳州市
  • 福建省

  • 福州市
  • 福建省

  • 莆田市
  • 福建省

  • 龙岩市
  • 西藏自治区

  • 山南市
  • 西藏自治区

  • 拉萨市
  • 西藏自治区

  • 日喀则市
  • 西藏自治区

  • 昌都市
  • 西藏自治区

  • 林芝市
  • 西藏自治区

  • 那曲市
  • 西藏自治区

  • 阿里地区
  • 贵州省

  • 六盘水市
  • 贵州省

  • 安顺市
  • 贵州省

  • 毕节市
  • 贵州省

  • 贵阳市
  • 贵州省

  • 遵义市
  • 贵州省

  • 铜仁市
  • 贵州省

  • 黔东南苗族侗族自治州
  • 贵州省

  • 黔南布依族苗族自治州
  • 贵州省

  • 黔西南布依族苗族自治州
  • 辽宁省

  • 丹东市
  • 辽宁省

  • 大连市
  • 辽宁省

  • 抚顺市
  • 辽宁省

  • 朝阳市
  • 辽宁省

  • 本溪市
  • 辽宁省

  • 沈阳市
  • 辽宁省

  • 盘锦市
  • 辽宁省

  • 营口市
  • 辽宁省

  • 葫芦岛市
  • 辽宁省

  • 辽阳市
  • 辽宁省

  • 铁岭市
  • 辽宁省

  • 锦州市
  • 辽宁省

  • 阜新市
  • 辽宁省

  • 鞍山市
  • 重庆市

  • 重庆市

  • 市辖区
  • 陕西省

  • 咸阳市
  • 陕西省

  • 商洛市
  • 陕西省

  • 安康市
  • 陕西省

  • 宝鸡市
  • 陕西省

  • 延安市
  • 陕西省

  • 榆林市
  • 陕西省

  • 汉中市
  • 陕西省

  • 渭南市
  • 陕西省

  • 西安市
  • 陕西省

  • 铜川市
  • 青海省

  • 果洛藏族自治州
  • 青海省

  • 海东市
  • 青海省

  • 海北藏族自治州
  • 青海省

  • 海南藏族自治州
  • 青海省

  • 海西蒙古族藏族自治州
  • 青海省

  • 玉树藏族自治州
  • 青海省

  • 西宁市
  • 青海省

  • 黄南藏族自治州
  • 黑龙江省

  • 七台河市
  • 黑龙江省

  • 伊春市
  • 黑龙江省

  • 佳木斯市
  • 黑龙江省

  • 双鸭山市
  • 黑龙江省

  • 哈尔滨市
  • 黑龙江省

  • 大兴安岭地区
  • 黑龙江省

  • 大庆市
  • 黑龙江省

  • 牡丹江市
  • 黑龙江省

  • 绥化市
  • 黑龙江省

  • 鸡西市
  • 黑龙江省

  • 鹤岗市
  • 黑龙江省

  • 黑河市
  • 黑龙江省

  • 齐齐哈尔市