形式逻辑学第三章简单命题及其推理.ppt

第三章   简单命题及其推理 第一节 命题与推理概述 第二节 性质命题 第三节 性质命题直接推理 第四节 三段论 第五节 关系命题 第一节 命题与推理概述 一、什么是命题 二、命题的种类 三、命题和语句 四、什么是推理 五、推理的种类 一、什么是命题 1、命题定义 就是人们在认知过程中，对思维对象属性进行肯定或否定断定的思维形式。 亚里士多德是逻辑学的创始人。 有的著名的逻辑学家不是古希腊人。 逻辑学是既具有古老历史又充满勃勃生机的科学。 并非只有西方哲学家才有系统的逻辑思想。 2、命题的逻辑特征 第一，任何命题要么是肯定断定，要么是否定断定。 第二，任何命题要么是真实的，要么是虚假的。 先驱者11号是美国发射的探索外星文明的飞船。 先驱者11号不是载有宇航员的宇宙飞船。 先驱者11号飞船已经与人类失去联系了吗？ 二、命题的种类 1、非模态命题 简单命题：性质命题 关系命题 复合命题：联合命题 选言命题 假言命题 负命题 2、模态命题 必然命题 或然命题 三、命题和语句 联系： 第一，命题依赖于语句。 第二，语句依赖于命题。 区别：命题属于思维范畴，具有全人类性；而语句属于语言范畴，具有民族性。 第一，所有的命题都通过一定的语句表达，但并非所有语句都直接表达命题。 北京是中国的政治中心。 难道金钱是万能的吗？ 你懂法语吗？ 祖国啊，我的母亲！ 多美呀，乡间的早晨！ 请尊敬老人！ 请给我一根烟！ 第二，同一命题可用不同的语句来表达。 所有困难都是能够克服的。 没有困难是不能够克服的。 难道有不能够克服的困难吗？ 任何金属都导电。 没有金属是不导电的。 不导电的金属是没有的。 难道有不导电的金属吗？ 第三，同一语句可以表达不同的命题。 一个农民画家的画展已经开幕了。 他不在了。 四、什么是推理 人不过是一根芦苇，是自然界中最脆弱的东西，可是，人是会思维的。 ——帕斯卡（法） 推理的逻辑要求 第一，前提真实 第二，推理形式正确。 第二节 性质命题 一、什么是性质命题 二、性质命题的种类 三、性质命题的真值规律 四、性质命题之间的真值关系 五、性质命题主谓项的周延性 一、什么是性质命题 是人们对思维对象的性质直接做出肯定或否定断定的命题，又称直言命题。 主项： S 谓项 ：p 联项：肯定 否定 量项：全称 特称 单称 二、性质命题的种类 1、全称肯定命题 2、全称否定命题 3、特称肯定命题 4、特称否定命题 5、单称肯定命题 6、单称否定命题 1、全称肯定命题——SAP 所有乐队指挥都是穿燕尾服的人。 所有哺乳动物都是通过分泌乳汁饲养初生后代的脊椎动物。 2、全称否定命题——SEP 任何民主国家都不是世袭制国家。 所有成功的企业家都不是墨守陈规的人。 3、特称肯定命题——SIP 有的美籍华人是诺贝尔奖获得者。 有的NBA明星是中国人。 4、特称否定命题——SOP 有些选修数理逻辑的学生不是计算机系的学生。 有的企业家没有获得工商管理硕士学位。 5、单称肯定命题——S1AP 那个白发苍苍的德国老人是数理逻辑思想的构设者。 亚里士多德是古希腊百科全书式的学者。 6、单称否定命题——S1EP 比尔盖茨不是哈佛大学的毕业生。 那个秃顶的老人不是著名教授。 整理自然语言要注意： 第一、不能改变判断的原义。 第二、同一判断,在不改变原义的前提下,可以整理为不同的标准形式。 三、性质命题的真值规律 同一 包含于 包含 交叉 全异 A 真 真 假 假 假 E 假 假 假 假 真 I 真 真 真 真 假 O 假 假 真 真 真 SAP 1、所有三角形都是内角和等于180度的。 2、历史上著名的逻辑学家都是伟大的哲学家。 3、凡是水中生存的动物都是鱼类。 4、所有草原上的动物都是草食动物。 5、爬行动物都是两栖类动物。 SEP 1、所有两栖类动物都不是鱼类动物。 2、鸟类都不是有羽毛的脊椎动物。 3、鲸类动物都不是用肺呼吸的。 4、脊椎动物都不是胎生的。 5、生活在水里的动物都不是哺乳动物。 SIP 1、有些鸟是有羽毛的脊椎动物。 2、有的海豚是哺乳动物。 3、有的哺乳动物是生活在海里的鲸。 4、有些草原上的动物是肉食动物。 5、有些鳝鱼是鱼类。 SO