逻辑学第4章.ppt

逻辑学导论（4） 重庆邮电大学 张 牛 2008年9月 第四章 简单判断及其推理 第一节 性质判断 一、性质判断是断定对象具有或不具有某种属性的判断 如，“三角形（对象）具有稳定性（属性）”。 二、性质判断的形式和构成要素： 所有（有些） S 是（不是） P （量项） （主项） （联项） （谓项） 性质判断的分类： 第一，以性质判断的质作为标准：可将性质判断分为肯定判断和否定判断。 第二，以判断的量作为标准，可将性质判断分为单称判断、特称判断和全称判断。 第三，以性质判断的质和量的结合为标准，可将性质判断分为单称肯定判断、单称否定判断、特称肯定判断、特称否定判断、全称肯定判断和全称否定判断。 根据性质判断的联项和量项可以将性质判断分为： 单称判断为什么在逻辑形式上被视作全称判断？ 从内容上看，单称判断断定的是一个对象具有或不具有某种属性，全称判断断定的是一类对象具有或不具有某种属性。 逻辑学只研究判断的形式，从逻辑形式上看，单称判断和全称判断都是断定了主项的全部外延。 例如，“北京 是中华人民共和国首都。” “人 是能思维的动物。” 这两个判断的主项“北京” 和 “人”都是被断定了全部外延的。 四、性质判断的逻辑形式 A、E、I、O在自然语言中的表达方式： 在自然语言中，性质判断并不是都以标准形式出现的，这就需要我们根据字面意思进行转换： 1）全称量词省略：如，“三角形是图形。”（SAP） 如，“鲸鱼不是鱼。” （SEP） 2）双重否定：如，“没有一个 S 不是 P。”（SAP） 3）主项部分否定：如，“S 不都是 P。” （SOP） 4）主项全否： “没有一个 S 是 P。” （SEP） 五、A、E、I、O四种判断的真假情况 特称判断的真假判定问题 　　　为什么在“真包含于”关系中，明明“所有S是Ｐ”，断定“有的Ｓ是Ｐ”却是一个真判断？ 　　　这是因为，“有Ｓ是Ｐ”断定的是“至少一个Ｓ是Ｐ”，至于其他Ｓ是不是Ｐ，则没有被断定。既然所有Ｓ都是Ｐ，当然可以断定　“至少一个Ｓ是Ｐ”。 　　　同理，在全异关系中，虽然“所有Ｓ都不是Ｐ”，但断定“有Ｓ不是Ｐ”仍然是真的。 性质判断的对当关系和逻辑方阵 　　　　所谓对当关系是指同素材（具有相同主项和谓项）的性质判断Ａ、Ｅ、Ｉ、Ｏ之间的真假制约关系。　　　 对当关系与判断的真假情况 １、反对关系（ＳＡＰ——ＳＥＰ） 从图表上可以看出， 当ＳＡＰ真的，ＳＥＰ总是假的； 　　　　当ＳＥＰ真时，ＳＡＰ总是假的； 　　　　当ＳＡＰ假时，ＳＥＰ有时真，有时假； 　　　　当ＳＥＰ假时，ＳＡＰ有时真，有时假； 这种情况可以归结为“反对关系”即： 　　　“一个真另一个必假，一个假另一个真假不定。” 例：“我们班所有同学都是四川人”（SAP） ２、下反对关系（ＳＩＰ——ＳＯＰ） 从图表上可以看出，当ＳＩＰ假时，ＳＯＰ总是真的； 　　　　　　　　　当ＳＯＰ假时，ＳＩＰ总是真的； 　　　　　　　　　当ＳＩＰ真时，ＳＯＰ有时真，有时假； 　　　　　　　　　当ＳＯＰ真时，ＳＩＰ有时真，有时假； 这种情况可以归结为“下反对关系”即： 　　　“一个假另一个必真，一个真另一个真假不定。” 例：“这个班有外国留学生。”（至少一个是，可能全部都是） ３、差等关系（ＳＡＰ——ＳＩＰ，ＳＥＰ——ＳＯＰ） 从图表上可以看出，　　当ＳＡＰ真的，ＳＩＰ总是真的； 　　　　　　　　　　　当ＳＥＰ真时，ＳＯＰ总是真的； 　　　　　　　　　　　当ＳＡＰ假时，ＳＩＰ有时真，有时假； 　　　　　　　　　　　当ＳＥＰ假时，ＳＯＰ有时真，有时假； 　　　　当ＳＩＰ假时，ＳＡＰ总是假的； 　　　　当ＳＯＰ假时，ＳＯＰ总是假的； 　　　　当ＳＩＰ真时，ＳＡＰ有时真，有时假； 　　　　当ＳＯＰ假时，ＳＥＰ有时真，有时假； 这种情况可以归结为“差等关系”即： 　　　“全称真特称必真，全称假特称真假不定。 　　　特称假全称必假，特称真全称真假不定。” 例：“所有的大学生都是高智商的人。”（SAP） “有的药物能够提高智商。”（SIP） ４