简单判断及其推理课件.ppt

《简单判断及其推理课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、Logicintroduction逻辑学导论（4）西南财经大学逻辑学教研组2008年3月西南财经大学通识教育课程1搞清楚什么是判断及判断的分类。了解判断和判断及语句的关系重点掌握性质判断的主谓项周延性、同素材的A、E、I、O四种性质判断间的对当关系及三段论推理的规则。第四章简单判断及其推理学习目标：2第一节性质判断一、性质判断是断定对象具有或不具有某种属性的判断如，“三角形（对象）具有稳定性（属性）”。二、性质判断的形式和构成要素：所有（有些）S是（不是）P（量项）（主项）（联项）（谓项）3性质判断的分类：第一，以性质判断的质作为标准：可将性质判断分为肯定判断和否定判

2、断。第二，以判断的量作为标准，可将性质判断分为单称判断、特称判断和全称判断。第三，以性质判断的质和量的结合为标准，可将性质判断分为单称肯定判断、单称否定判断、特称肯定判断、特称否定判断、全称肯定判断和全称否定判断。4根据性质判断的联项和量项可以将性质判断分为：5单称判断为什么在逻辑形式上被视作全称判断？从内容上看，单称判断断定的是一个对象具有或不具有某种属性，全称判断断定的是一类对象具有或不具有某种属性。逻辑学只研究判断的形式，从逻辑形式上看，单称判断和全称判断都是断定了主项的全部外延。例如，“北京是中华人民共和国首都。”“人是能思维的动物。”这两个判断的主项“北京”

3、和“人”都是被断定了全部外延的。6四、性质判断的逻辑形式性质命题判断类型逻辑形式公式简称全称肯定判断所有的S都是PSAPA全称否定判断所有的S都不是PSEPE特称肯定判断有的S是PSIPI特称否定判断有的S不是PSOPO7A、E、I、O在自然语言中的表达方式：在自然语言中，性质判断并不是都以标准形式出现的，这就需要我们根据字面意思进行转换：1）全称量词省略：如，“三角形是图形。”（SAP）如，“鲸鱼不是鱼。”（SEP）2）双重否定：如，“没有一个S不是P。”（SAP）3）主项部分否定：如，“S不都是P。”（SOP）4）主项全否：“没有一个S是P。”（SEP）8五、A、

4、E、I、O四种判断的真假情况全同关系真包含于真包含交叉关系全异关系SAP真真假假假SEP假假假假真SIP真真真真假SOP假假真真真S、PPSSPSPSP9特称判断的真假判定问题为什么在“真包含于”关系中，明明“所有S是Ｐ”，断定“有的Ｓ是Ｐ”却是一个真判断？这是因为，“有Ｓ是Ｐ”断定的是“至少一个Ｓ是Ｐ”，至于其他Ｓ是不是Ｐ，则没有被断定。既然所有Ｓ都是Ｐ，当然可以断定“至少一个Ｓ是Ｐ”。同理，在全异关系中，虽然“所有Ｓ都不是Ｐ”，但断定“有Ｓ不是Ｐ”仍然是真的。10性质判断的对当关系和逻辑方阵所谓对当关系是指同素材（具有相同主项和谓项）的性质判断Ａ、Ｅ、Ｉ、Ｏ之间的

5、真假制约关系。Ａ反对关系ＥＩ下反对关系O差等关系差等关系矛盾关系矛盾关系11对当关系与判断的真假情况全同关系真包含于真包含交叉关系全异关系SAP真真假假假SEP假假假假真SIP真真真真假SOP假假真真真S、PPSSPSPSP12１、反对关系（ＳＡＰ——ＳＥＰ）从图表上可以看出，当ＳＡＰ真的，ＳＥＰ总是假的；当ＳＥＰ真时，ＳＡＰ总是假的；当ＳＡＰ假时，ＳＥＰ有时真，有时假；当ＳＥＰ假时，ＳＡＰ有时真，有时假；这种情况可以归结为“反对关系”即：“一个真另一个必假，一个假另一个真假不定。”例：“我们班所有同学都是四川人”（SAP）13２、下反对关系（ＳＩＰ——ＳＯＰ）从图表

6、上可以看出，当ＳＩＰ假时，ＳＯＰ总是真的；当ＳＯＰ假时，ＳＩＰ总是真的；当ＳＩＰ真时，ＳＯＰ有时真，有时假；当ＳＯＰ真时，ＳＩＰ有时真，有时假；这种情况可以归结为“下反对关系”即：“一个假另一个必真，一个真另一个真假不定。”例：“这个班有外国留学生。”（至少一个是，可能全部都是）14３、差等关系（ＳＡＰ——ＳＩＰ，ＳＥＰ——ＳＯＰ）从图表上可以看出，　　当ＳＡＰ真的，ＳＩＰ总是真的；当ＳＥＰ真时，ＳＯＰ总是真的；当ＳＡＰ假时，ＳＩＰ有时真，有时假；当ＳＥＰ假时，ＳＯＰ有时真，有时假；当ＳＩＰ假时，ＳＡＰ总是假的；当ＳＯＰ假时，ＳＯＰ总是假的；当ＳＩＰ真时，ＳＡＰ有时真

7、，有时假；当ＳＯＰ假时，ＳＥＰ有时真，有时假；这种情况可以归结为“差等关系”即：“全称真特称必真，全称假特称真假不定。特称假全称必假，特称真全称真假不定。”例：“所有的大学生都是高智商的人。”（SAP）“有的药物能够提高智商。”（SIP）15４、矛盾关系（ＳＡＰ——ＳＯＰ，ＳＥＰ——ＳＩＰ）从图表上可以看出，　　当ＳＡＰ真的，ＳＯＰ总是假的；当ＳＥＰ真时，ＳＩＰ总是假的；当ＳＡＰ假时，ＳＯＰ总是真的；当ＳＥＰ假时，ＳＩＰ总是真的；当ＳＩＰ真时，ＳＥＰ总是假的；当ＳＯＰ真时，ＳＡＰ总是假的；当ＳＩＰ假时，ＳＥＰ总是真的；当ＳＯＰ假时，ＳＡＰ总是真的；这