《logic_2逻辑学》PPT课件

《《logic_2逻辑学》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、判断的种类性质判断简单判断关系判断非模态判断联言判断复合判断选言判断判断假言判断负判断真值模态判断模态判断规范模态判断推理的分类直接推理性质判断推理三段论演绎推理联言推理复合判断推理选言推理假言推理二难推理推理完全归纳推理归纳推理简单枚举归纳推理不完全归纳推理科学归纳推理类比推理第二讲词项推理一、直言命题推理二、关系命题推理三、模态命题推理一、直言命题推理命题，也称为判断。其逻辑特征是，对对象的情况有所断定。性质判断，就是直接断定对象具有或不具有某种性质的判断。从其构成形式来看，性质判断直接由概念组成，不包含其他

2、任何判断，故也被称为直言命题。（一）直言命题的结构和种类1、直言命题的结构组成判断的概念成分，叫做词项。直言命题判断是由主项、谓项、联项和量项四个部分组成。例：“所有的金子都是闪光的。”“有的科学家不是受过正规高等教育的。”或下面非标准的判断形式：“玫瑰不都是红色的。”“不是所有天鹅都是白的。”“没有人不自私。”“没有无因之果。”“不是所有参加测试者都不合格。”撇开具体的思维内容，性质判断的形式可表达为：“所有（或有的）S是（或不是）P”性质判断实际上是对主项和谓项两个概念之间外延关系的断定。性质判断的真假也就取

3、决于它所断定的两个概念的外延关系是否同这两个概念所反映的客观事物之间的关系相一致。2、性质判断词项的周延问题所谓词项的周延问题，是指在性质判断中主、谓项概念的外延是否得到全部断定的问题。即如果一个词项在判断中它是被断定了全部外延，那么该词项就是周延的；相反，就是不周延的。全称判断的主项都周延，特称判断的主项都不周延。肯定判断的谓项都不周延，否定判断的谓项都周延。3、直言命题的种类从直言命题的质来看，直言命题可分为肯定命题和否定命题，即断定某对象具有或不具有某种属性。从直言命题的量来看，直言命题可分为全称命题和特称

4、命题，即是对某对象的全部还是部分具有某种属性作出断定。因此，综合直言命题的质和量，可把直言命题分为如下六种基本类型：（1）全称肯定判断即断定某类对象的所有个体都具有某种属性。它的逻辑形式是：“所有的S是P”（简称“SAP”或“A”）（2）全称否定判断即断定某类对象的所有个体都不具有某种属性。它的逻辑形式是：“所有的S都不是P”（简称“SEP”或“E”）（3）特称肯定判断即断定某类对象中有个体具有某种属性。它的逻辑形式是：“有的S是P”（简称“SIP”或“I”）（4）特称否定判断即断定某类对象中有个体不具有某种属性

5、。它的逻辑形式是：“有的S不是P”（简称“SOP”或“O”）（5）单称肯定判断：即断定具体某个对象具有某种属性。它的逻辑形式是：“某个S是P”（简称“SaP”或“a”）（6）单称否定判断：即断定具体某个对象不具有某种属性。它的逻辑形式是：“某个S不是P”（简称“SeP”或“e”）单称判断由于其断定的对象是一个独一无二的事物，断定了它，也就断定了它的全部。故我们也可以把单称判断都归于全称判断。特别注意：特称判断的量词“有的”，即“有”，所断定的是某类对象中至少存在一个个体，它具有或不具有某种属性。因此，它所断定的主

6、项的外延具体有多少是不确定的，可能是全部，可能是部分，也可能只是一个；但可以确定的是，其断定的对象范围内至少存在一个这样的个体。例：某大会主席宣布：“此方案没有异议，大家都赞同，通过。”如果以上不是事实，下面哪项必为事实？A．大家都不赞同方案。B．有少数人不赞同方案。C．有些人赞同，有些人反对。D．至少有人是赞同方案的。E.至少有人是反对方案的。（二）性质判断间的对当关系及推理由同素材的A、E、I、O四种判断间的真假关系，称为性质判断间的对当关系。所谓同素材，就是指相同的主项概念和谓项概念。A、E、I、O四种类型

7、判断间存在如下对当关系：（1）A判断和E判断之间的关系A判断真时，E判断必假，E判断真时，A判断必假；而A判断假时，E判断真假无法确定，E判断假时，A判断同样真假无法确定。E判断A判断和E判断可以同时是假的，但不可能同时是真的。（称之为上反对关系）（2）I判断和O判断之间的关系I判断和O判断可以同时是真的判断，却不能同时是假的判断。（称之为下反对关系）例：某公司财务部共有包括主任在内的8名职员。有关这8名职员，以下三个断定中只有一个是真的：（1）有人是广东人。（2）有人不是广东人。（3）主任不是广东人。以下哪项为

8、真？A．8名职员都是广东人。B．8名职员都不是广东人。C．只有一个不是广东人。D．只有一个是广东人。E．无法确定该部广东人的人数。（3）A判断和I判断、E判断和O判断之间的关系A判断和I判断之间的关系可以总结为：肯定该全称判断，则可肯定相应的特称判断，但肯定该特称判断却不能肯定相应的全称判断；否定该特称判断就可以否定相应全称判断，但否定该全称判断却不能否定相应的特称判断。