现代逻辑学课件第二讲词项和简单命题(2228KB).ppt

§3 直接推理 （2）矛盾关系，不能同真，也不能同假 SAP→?SOP SEP→?SIPSIP→?SEP SOP→?SAP ?SAP→SOP ?SEP→SIP?SIP→SEP ?SOP→SAP §3 直接推理 （3）差等关系 A真则I真，E真则O真，I假则A假，O假则E假。 SAP→SIP ?SIP→?SAP SEP→SOP ?SOP→?SEP §3 直接推理 2、直言命题变形推理 直言命题变形推理就是通过改变一个直言命题的逻辑形式，从而推出一个新的直言命题的直接推理。 三种形式：换质法、换位法、换质位法 §3 直接推理 （1）换质法 通过改变前提直言命题的质，即把肯定变为否定，把否定变为肯定，使它变为一个新的直言命题的推理。 §3 直接推理 换质法的规则： 1 不改变前提命题的主项和量项； 2 改变前提命题的质，即肯定变否定，否定变肯定。 3 换质后，结论的谓项必须是前提命题谓项的矛盾词项。 §3 直接推理 换质法的有效式： SAP→SE﹁P SEP→SA﹁P SIP→SO﹁P SOP→SI﹁P §3 直接推理 （2）换位法 通过调换前提命题主项、谓项的位置，从而得到一个新的直言命题的直接推理。 §3 直接推理 换位法的规则： 1 把前提的主项作为结论的谓项，把前提的谓项作为结论的主项； 2 作为结论的直言命题的质与作为前提的直言命题的质保持一致(质不变)； 3 前提中不周延的项，结论中也不得周延。 §3 直接推理 换位法的有效式： SAP→PIS SEP→PES SIP→PIS §3 直接推理 注意：O命题的主项不周延，如果将其换位为POS，则S在结论中周延了，违反第三条规则；如果将其换位为PES，同样违反第三条规则；如果将其换位为肯定命题，则违反第二条规则，所以，SOP不能进行换位推理。 §3 直接推理 (3)换质位法： 换质法和换位法综合运用的直接推理。分为两种：一种是先换质后换位，再连续换质、换位等等；另一种是先换位后换质，再连续换位、换质等等。 §3 直接推理 注意：在进行换质位推理时，必须同时遵守换质法和换位法两种推理的规则。 习题 一、已知“有的S是P”是真的，请用欧拉图表示S和P之间所有可能的外延关系。 二、已知下列命题为假，请写出同一素材的其他三个命题，并判断其真假， 1、有些人是长生不死的。 2、并非所有的命题形式都不是不可满足的。 三、用直言命题直接推理证明。 1、﹃SAP→ˉPOˉS §2.1 直言命题及其逻辑结构 2 直言命题的逻辑结构 直言命题一般有四个组成部分。主项、谓项、量项和联项。 §2.1 直言命题及其逻辑结构 主项是直言命题中指称代表事物对象的词项。 谓项是命题中指称代表对象所具有或不具有的性质的词项。 §2.1 直言命题及其逻辑结构 量项是表达主项外延数量的词项。量项有全称量项和特称量项两种。全称量项一般用语词“所有”，“每一个”，“凡”等表示，特称量项一般用“有”、“有些”表示。逻辑学上称为“量”。 §2.1 直言命题及其逻辑结构 联项是表达主项与谓项之间逻辑关系的词项。联项有肯定的与否定的两种。肯定联项一般用语词“是”表示，否定联项一般用语词“不是”表示.逻辑学上通常称为“质”。 §2.1 直言命题及其逻辑结构 在直言命题的这四个组成部分中，量项和联顶的逻辑涵义是确定的。逻辑涵义确定的词项被称作逻辑常项。因此，直言命题的量项和联项是逻辑常项。 §2.1 直言命题及其逻辑结构 与量项和联项不同，主项和谓项的逻辑涵义是不确定。逻辑涵义不确定的词项被称作逻辑变项。因此，主项和谓项是变项，分别用S和P表示。 §2.2 直言命题的种类 任何一个传统直言命题都是由主项、谓项、量项和联项四部分构成。 在直言命题的逻辑形式中，只有量项和联项的涵义是确定的，因此我们就只能根据量项和联项的不同来区分直言命题的逻辑类型。 §2.2 直言命题的种类 直言命题的种类 1、全称命题和特称命题 全称命题与特称命题的区分是由量项决定的。量项全称的直言命题是全称命题，量项特称的则是特称命题。 §2.2 直言命题的种类 特称命题的量项“有”或“有些”的涵义是“至少有一个”,它在对主项外延量的描述上具有不确定性。 §2.2 直言命题的种类 2、肯定命题与否定命题 肯定联项表示主项与谓项之间具有相容关系，即主项的外延与谓项的外延至少有一部分是重合的。 联项肯定的命题我们称之为肯定命题。 §2.2 直言命题的种类 否定联项表示主项与谓项之间具有不相容关系，即主项外延的全部或部分被排斥在谓项外延之外。联项否定的命题我们称之为否