《逻辑学基础教程》课件_3第三章 简单命题（直言命题）及其推理（上）.pptxVIP

第三章简单命题（直言命题）及其推理（上）;第一节

命题与推理概述;一、命题概述

（一）什么是判断;（二）判断、语句和命题;表达同意判断的语句形式可以是不同的：

【例1】这是一本书。

Thisisabook

【例2】她那宽宽的、椭圆的、刻满了皱纹而且有点浮肿的脸上露出了慈祥的笑容。

她的脸上露出了笑容。

她笑了。

这三个句子，表达的判断是相同的——她笑了。;【例3】这个人谁也不认识。——歧义句

这个人不认识大家中的任何一个人。

大家中的任何一个人都不认识这个人。

自然语句不少是歧义语句，为正确地进行逻辑分析，需要根据语境排除歧义，准确把握语句实际断定的内容、实际表达的命题。;（三）命题的种类;二、推理概述;;推理是由命题构成的，命题是推理的组成要素。

前提：由其出发进行推理的已知命题

结论：由已知命题所推出的命题。

在自然语言中，推理是由复句或句群表述的。前提一般含有“因为”、“由于”、“根据”等，称作前提导入词；结论一般含有“所以”、“因此”、“由此可见”等，称作结论导入词。

;（二）推理的逻辑性;（三）推理的种类与演绎推理的性质;;;演绎推理的特征;第二节直言命题;一、什么是直言命题;直言命题的组成要素;量项有两种：

——全称量项：对主项的全部外延作了断定。表示全称量项的语词：“一切”、“所有”、“任何”、“每一”、“凡”等。

——特称量项：没有对主项的全部外延作出断定。表示特称量项的语词：“有的”、“有”、“某些”等。

在判断中，全称量项的语言标志（如“所有”）可以省略，而特称量项的语言标志不能省略。;直言命题的逻辑形式;二、直言命题的种类;（二）按量（量项）分，直言命题分为

——单称命题

——全称命题

——特称命题;单称命题：断定某一个单独对象具有或不具有某种性质的命题。

【例1】冥王星不是太阳系的大行星。

【例2】这本书的作者在道德方面很成问题。

它是全称命题的特殊形式。

;全称命题：断定某类对象中的每一个个别对象都具有（或不具有）某种性质的命题。

【例1】所有大学生都是学生。

【例2】马不是反刍动物。

;特称命题：断定某类事物中有对象具有（或不具有）某种性质的命题。

【例1】有的学生不是共产党员。

【例2】有许多奇异现象是科学尚无法解释的。;（三）按质和量的结合来分，将直言命题分为六种

【例1】“中华人民共和国是社会主义国家。”

单称肯定命题：断定某一单独对象具有某种性质的命题。

【例2】“黄河不是我国最长的河流。”

单称否定命题：断定某一单独对象不具有某种性质的命题。

;【例3】“有些同学是戴隐形眼镜的。”

特称肯定命题：断定某类对象中有对象具有某种性质的命题。

【例4】“有些学校不是师范学校。”

特称否定命题：断定某类对象中有对象不具有某种性质的命题。

【例5】“所有学校都是教育机构。”

全称肯定命题：断定某类对象中的的全部每一个个别对象都具有某种性质的命题。

【例6】“一切知识不是先天获得的。”

全称否定命题：断定某类对象中的每一个个别对象都不具有某种性质的命题。;注意;直言命题的四种基本形式;三、直言命题的凡恩图解;SEP：S?P=?

既属于没有S是P。

所有S不是P。;SIP：S?P??

有S是P。

;?;四、直言命题项的周延性;无论主项S具体代表什么：

全称命题“所有S是（不是）P”断定了S的全部外延，S在其中是周延的。

特称命题“有的S是（不是）P”只涉及S的部分外延，S在其中是不周延的。;无论谓项P具体代表什么：

肯定命题“所有（有的）S是P”只是断定了某个数量的S“是P”，并未对P的全部外延做出明确断定，因此P在肯定命题中总是不周延的。

否定命题“所有（有的）S不是P”断定了某个数量的S“不是P”，即把所有的P都排除在了这些S之外，所以，P在其中是周延的。;就主项说，全称命题是周延的，特称命题是不周延的；就谓项说，否定命题是周延的，肯定命题是不周延的。

四种直言命题的主谓项周延情况，可以归纳如下：

全称肯定命题：主项周延，谓项不周延；

全称否定命题：主项周延，谓项周延；

特称肯定命题：主项不周延，谓项不周延；

特称否定命题：主项不周延，谓项周延。

;注意;五、主、谓项相同的直言命题的真假关系;;直言命题间的对当关系：主项和谓项相同的A、E、I、O种命题在真假上的制约关系。

对当关系包括以下四种类型：

——反对关系

——矛盾关系

——差等关系

——下反对关系

;1、反对关系：A与E之间的关系;2、矛盾关系：A与O、E与I之间的关系;3、差等关系：A与I、E与O之间的关系;4、下反对关系：I与O之间的关系;对当方阵/逻辑方阵;六、直言命题的存在含义问题;第三节直言命题的直接推理;直接推理：以一个命题为前提而推出结论的推理