- 1、本文档共58页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第五章 演绎推理(下) 主讲:高维新 副教授 内容提要 本章介绍复合判断推理。通过本章的学习,要掌握各种复合判断推理的逻辑形式及其规则,学会在思维和表达中运用这些推理,并能区分有效的推理和无效的推理,进一步提高逻辑思维能力。 第一节 联言推理 一、什么是联言推理 联言推理是前提或结论为联言判断的推理。 联言推理是根据联言判断的逻辑特性进行的推理,它由联言判断作前提推出简单判断作结论,或者由简单判断作前提推出联言判断结论。 联言推理有两种形式;分解式和组合式。 二、联言推理的分解式 联言推理的分解式是由联言判断的真,推出它的部分支判断真的推理。这种推理的前提只有一个判断,它事实上是一种直接推理。其逻辑形式是: 也可用符号表示为 例如: 三、联言推理的组合式 联言推理的组合式是由逐个断定支判断真推出联言判断真的联言推理。这种推理的前提是全部支判断,结论是联言判断。其逻辑形式为: 也可用符号表示为: 例如: ?? 高等学校要多出人才, 四、联言推理在司法工作中的应用 联言推理虽然较为简单,但它是人们思维活动中经常运用的一种推理形式,在司法工作中也不例外。 首先,在刑事侦查工作中应用联言推理,可以帮助司法人员分析案情,掌握证据,获得对案件情况的正确认识。例如: 某学校财务室被盗。侦查人员在现场发现: ①现场留下43码男式运动鞋的鞋印; ②财务室隔壁没有存放现金的办公室无被撬痕迹; ③现场发现有建筑用水泥、沙子痕迹; ④据学校出纳员介绍,下班前办公室进行了一次卫生大扫除。 据上述观察用联推理的组合方式,可以推出嫌疑犯是了解学校现金存放地点的,去过建筑工地的男性。破案后案犯果真就是学校建筑工地的一名建筑工人,因为他来学校财务室结过帐,知道正值开学,学校财务室存有一定现金。 其次,在审判工作中应用联言推理,可以帮助司法人员分析法律条文,以便于正确地适用法律。法律条文通常表现为多重复合判断,要从它所包括的多重中推导出某项规定。并将其作为审判推理的大前提,以满足适用法律的需要,就常常要应用联言推理的分解式。 例如: 我国《刑法》第258条规定:“有配偶而重婚的,或者明知他人有配偶而与之结婚的,处二年以下有期徒刑或者拘役。”对于这一法律条文,其逻辑形式可以表示为: (p1∨p2)→(q1∨q2) 在这一逻辑形式中,各肢判断所表示的内容是: P1=“有配偶而重婚的”; P2=“明知他人有配偶而与之结婚的”; q1=“处两年以下有期徒刑”; q2=“处拘役”。 上述法律条文的逻辑形式可以等值转化为以下逻辑形式(可以用真值表方法验证): [p1→(q1∨q2)]∧[p2→(q1∨q2)] 经等值转换后,就可以运用联言推理的分解式,从上述法律条文中推出: [p1→(q1∨q2)] 即“有配偶而重婚的,处二年以下有期徒刑或者拘投”。 也可以推出[p2→(q1∨q2)] 即“明知他人有配偶而与之结婚的,处二年以下有期徒刑或者拘役。” 上述两个结论均可以作为进行审判推理的大前提,适用于具体案件。由上可见,联言推理是司法工作者不可不用的一种推理形式。 第二节 选言推理 一、什么是选言推理 选言推理是以选言判断为前提,并根据选言判断的逻辑特性进行推演的推理。选言推理的第一个前提是选言判断,第二个前提是直言判断或联言判断,用其来肯定或否定选言前提中的一个或几个选言支,从而得出结论。 根据选言前提的不同,选言推理可分为相容选言推理和不相容选言推理两类。 相容选言推理就是前提中有一个是相容选言判断的选言推理。它是根据相容选言判断的逻辑特性进行的推理。因为相容选言判断的选言支可以同真,所以,相容选言推理有两条规则: ① 否定一部分选言支,就要肯定另一部分选言支; ② 肯定一部分选言支,不能否定另一部分选言支。 根据上述规则,相容选言推理只有一种有效式:否定肯定式。其逻辑形式为: 也可以用符号表示为: 学习不好的原因或者是自己不努力,或者是方法不对头,或者是老师没教好; 三、不相容选言推理 不相容选言推理是前提中有一个是不相容选言判断的选言推理。它是根据不相容选言判断的逻辑特性进行的推理。
文档评论(0)