逻辑导论全套ppt课件.ppt

逻辑导论第一章第一章 绪论绪论第二章第二章 语言分析语言分析 第三章第三章 逻辑推理：命题演算逻辑推理：命题演算第四章第四章 逻辑推理：类演算与关系推理逻辑推理：类演算与关系推理第六章第六章 逻辑推理：模态、规范逻辑逻辑推理：模态、规范逻辑第七章第七章 合情推理：归纳逻辑合情推理：归纳逻辑第八章第八章 逻辑基本规律逻辑基本规律第九章第九章 论证论证目录目录第一章第一章 绪论绪论目录目录一、一、“逻辑逻辑”的含义的含义二、逻辑学的起源二、逻辑学的起源三、逻辑学的研究对象三、逻辑学的研究对象四、逻辑学的性质四、逻辑学的性质一、一、“逻辑逻辑”的含义的含义1.名称的由来名称的由来l音译词音译词logic来源于古希腊语来源于古希腊语（逻各斯）（逻各斯）l原意是思想、言词、理性、秩序、规律等原意是思想、言词、理性、秩序、规律等l汉语中最早出现在严复翻译的汉语中最早出现在严复翻译的穆勒名学穆勒名学中中 2.词义词义（1）客观事物的规律）客观事物的规律（2）某种具体的理论、观点、道理等）某种具体的理论、观点、道理等（3）思维的规律或推理的规则）思维的规律或推理的规则（4）逻辑学）逻辑学一、一、“逻辑逻辑”的含义的含义规律规律思维和理论中的必然联系以及论辩中的说服力思维和理论中的必然联系以及论辩中的说服力逻辑思维规律逻辑思维规律二、逻辑学的起源二、逻辑学的起源源于理智的自我反思源于理智的自我反思1.说谎者悖论及其他说谎者悖论及其他l克里特岛人埃匹门尼德（克里特岛人埃匹门尼德（Epimennides）：）：l所有的克里特岛人都说谎。

所有的克里特岛人都说谎l麦加拉派的欧布利德麦加拉派的欧布利德 ：l一个人说，我正在说的这句话是假话一个人说，我正在说的这句话是假话l罗素：罗素：“集合论悖论集合论悖论”l “理发师悖论理发师悖论”二、逻辑学的起源二、逻辑学的起源源于理智的自我反思源于理智的自我反思2、普罗泰戈拉斯的、普罗泰戈拉斯的“半费之讼半费之讼”普罗泰戈拉斯（普罗泰戈拉斯（Protagoras）的理由：）的理由：如果我打赢了这场官司，那么按照法庭的判决，你应如果我打赢了这场官司，那么按照法庭的判决，你应该付我另一半学费；该付我另一半学费；如果我打输了这场官司，那么按照当初的约定，你也如果我打输了这场官司，那么按照当初的约定，你也应该付我另一半学费；应该付我另一半学费；我或者打赢，或者打输，我或者打赢，或者打输，你都应该付我另一半学费你都应该付我另一半学费二、逻辑学的起源二、逻辑学的起源源于理智的自我反思源于理智的自我反思2、普罗泰戈拉斯的、普罗泰戈拉斯的“半费之讼半费之讼”欧提勒士（欧提勒士（Enathlas）的理由：）的理由：如果我打赢了这场官司，那么按照法庭的判决，我不如果我打赢了这场官司，那么按照法庭的判决，我不应该付你另一半学费；应该付你另一半学费；如果我打输了这场官司，那么按照当初的约定，我也如果我打输了这场官司，那么按照当初的约定，我也不应该付你另一半学费；不应该付你另一半学费；我或者打赢，或者打输，我或者打赢，或者打输，我都不应该付你另一半学费。

我都不应该付你另一半学费二、逻辑学的起源二、逻辑学的起源源于理智的自我反思源于理智的自我反思3、芝诺悖论、芝诺悖论l“飞矢不动飞矢不动”l“阿基里斯追龟阿基里斯追龟” 二、逻辑学的起源二、逻辑学的起源源于理智的自我反思源于理智的自我反思4、苏格拉底的、苏格拉底的“精神助产术精神助产术”二、逻辑学的起源二、逻辑学的起源源于理智的自我反思源于理智的自我反思 论证的成立论证的成立基于两个方面基于两个方面：1、前提是否真实、前提是否真实事实问题事实问题 2、前提与结论是否有必然联系、前提与结论是否有必然联系逻辑问题逻辑问题 怎样才能在论证中克敌制胜、说服听众呢？怎样才能在论证中克敌制胜、说服听众呢？这就是论证是否成立的问题这就是论证是否成立的问题三、思维形式是逻辑学的研究对象三、思维形式是逻辑学的研究对象1、思维形式分析为常项和变项、思维形式分析为常项和变项例如例如如果水温在一个大气压下为摄氏零度，那么水就会结冰如果水温在一个大气压下为摄氏零度，那么水就会结冰如果过度砍伐森林，那么就会破坏生态平衡如果过度砍伐森林，那么就会破坏生态平衡如果某甲作案，那么他有作案时间如果某甲作案，那么他有作案时间。

它们共同的形式是：它们共同的形式是：如果如果p，那么，那么q三、思维形式是逻辑学的研究对象三、思维形式是逻辑学的研究对象又如又如有的教师是律师有的教师是律师有的被告是无罪的有的被告是无罪的有的乌鸦是白色的有的乌鸦是白色的它们共同的形式是：它们共同的形式是：有的有的S是是P 三、思维形式是逻辑学的研究对象三、思维形式是逻辑学的研究对象2、思维形式具有规律性、思维形式具有规律性l有有一一类类思思维维形形式式结结构构在在任任意意代代入入下下都都表表达达真真实实的的思思想想内内容容，这称为逻辑规律这称为逻辑规律 例如例如“p或者非或者非p”、“所有所有S是是S”l另另一一类类思思维维形形式式结结构构在在任任意意代代入入下下都都表表达达虚虚假假的的思思想想内内容容，这称为逻辑矛盾这称为逻辑矛盾 例如例如“p并且非并且非p”、“有有S不是不是S”l还还有有一一类类思思维维形形式式结结构构在在有有的的代代入入下下表表达达真真实实的的思思想想内内容容，在有的代入下表达虚假的思想内容在有的代入下表达虚假的思想内容 例如例如“p或者或者q”、“如果如果p，那么，那么q”三、思维形式是逻辑学的研究对象三、思维形式是逻辑学的研究对象3、推理形式推理形式及其及其有效性的判定有效性的判定是逻辑学研究的核心课题是逻辑学研究的核心课题例如1(1)某案件的嫌犯是甲或者乙，某案件的嫌犯是甲或者乙，经查证，确认并非甲经查证，确认并非甲,所以，乙是嫌犯。

所以，乙是嫌犯p或者或者q非非p 所以，所以，q(有效式有效式)(2)某案件的嫌犯是甲或者乙，某案件的嫌犯是甲或者乙，经查证，确认是甲，经查证，确认是甲，所以，乙不是嫌犯所以，乙不是嫌犯p或者或者q p所以，非所以，非q(无效式）无效式）有效式前提和结论的联系是必然的，有效式前提和结论的联系是必然的，而无效式却不能保证这一点而无效式却不能保证这一点 例如2由由“大的帽子大的帽子”得出得出“帽子的主人智力水平高帽子的主人智力水平高”福尔摩斯的论证详细分析如下：福尔摩斯的论证详细分析如下：这是一顶大帽子；这是一顶大帽子；某人是这顶帽子的主人；某人是这顶帽子的主人；大的帽子的主人是大脑袋的人；大的帽子的主人是大脑袋的人；脑袋大的人大脑也大；脑袋大的人大脑也大；大脑大的人智力水平高；大脑大的人智力水平高；这顶帽子的主人智力水平高这顶帽子的主人智力水平高从上述分析可以看出从上述分析可以看出:福尔摩斯的论证在逻辑上并没有错误，错误出在前提上福尔摩斯的论证在逻辑上并没有错误，错误出在前提上 一个逻辑上正确的论证可能有一个或多个假前提一个逻辑上正确的论证可能有一个或多个假前提例如3所有的哺乳动物都是有死的所有的哺乳动物都是有死的,所有的狗都是有死的，所有的狗都是有死的，所以，所有的狗都是哺乳动物。

所以，所有的狗都是哺乳动物从上述分析可以看出从上述分析可以看出:一个逻辑上不正确的论证可能其前提都是真的，而且，一个逻辑上不正确的论证可能其前提都是真的，而且，它也可能有一个真的结论它也可能有一个真的结论前提正确、结论正确，不等于推理形式正确前提正确、结论正确，不等于推理形式正确可以说，前提、结论是否正确，与推理形式是否正确没可以说，前提、结论是否正确，与推理形式是否正确没有直接关系有直接关系三、思维形式是逻辑学的研究对象三、思维形式是逻辑学的研究对象小结：小结：一个推理正确，是指这个推理的结构正确一个推理正确，是指这个推理的结构正确一个推理的结构正确，一个推理的结构正确，是指具有这一结构的任一推理，都不会出现前提是指具有这一结构的任一推理，都不会出现前提真而结论假真而结论假三、思维形式是逻辑学的研究对象三、思维形式是逻辑学的研究对象4、定义、定义逻辑学是一门关于逻辑学是一门关于推理推理的科学，的科学，它主要是研究它主要是研究推理形式的逻辑有效性规律推理形式的逻辑有效性规律的的科学四、逻辑学的性质1、 基础性基础性联合国教科文组织：数学、逻辑学、联合国教科文组织：数学、逻辑学、天文学和天体物理学、地球科学和天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科空间科学、物理学、化学、生命科学。

学1977年版年版大英百科全书大英百科全书将逻辑将逻辑学列为基础学科第一位学列为基础学科第一位四、逻辑学的性质四、逻辑学的性质2、工具性、工具性 推理的工具推理的工具 表述思想、建构理论的工具表述思想、建构理论的工具 思想分析与批判的工具思想分析与批判的工具四、逻辑学的性质四、逻辑学的性质分分 析析 1 1比一比谁更聪明比一比谁更聪明戴帽子问题戴帽子问题五顶帽子：三顶黑色的，两顶白色的五顶帽子：三顶黑色的，两顶白色的第第三三个个人人能能看看见见前前面面两两个个人人头头上上戴戴的的帽帽子子，第第二二个个人人能能看看见见第第一一个个人人头上戴的帽子，第一个人谁的也看不见头上戴的帽子，第一个人谁的也看不见分别问这三个人是否知道自己头上戴的帽子的颜色：分别问这三个人是否知道自己头上戴的帽子的颜色：第三个人说：第三个人说：“我不知道我不知道第二个人也说：第二个人也说：“我不知道我不知道第一个人说出了他戴的帽子的颜色第一个人说出了他戴的帽子的颜色请问：第一个人戴的帽子是什么颜色的？他是怎么知道的？请问：第一个人戴的帽子是什么颜色的？他是怎么知道的？四、逻辑学的性质四、逻辑学的性质分分 析析 2男孩还是女孩？男孩还是女孩？一一对对夫夫妻妻带带着着他他们们的的一一个个孩孩子子在在路路上上碰碰到到一一个个朋朋友友，朋朋友友问问孩孩子子：“你是男孩还是女孩？你是男孩还是女孩？”朋友没听清孩子的回答。

朋友没听清孩子的回答孩子的父母中的某一个说：孩子的父母中的某一个说：“我孩子回答的是我孩子回答的是我是男孩我是男孩另一个接着说：另一个接着说：“这孩子说谎，她是女孩这孩子说谎，她是女孩这这家家人人中中男男性性从从不不说说谎谎，而而女女性性从从来来不不连连续续说说两两句句真真话话，但但也也不不连连续续说两句假话如果上述为真，那么说两句假话如果上述为真，那么请问：孩子是男孩还是女孩？父母俩第一个说话的是母亲还是父亲？请问：孩子是男孩还是女孩？父母俩第一个说话的是母亲还是父亲？四、逻辑学的性质四、逻辑学的性质分分 析析 3某北大经济学教授的言论某北大经济学教授的言论有一个北大的经济学教授，刚引用阿马蒂亚森的观点，有一个北大的经济学教授，刚引用阿马蒂亚森的观点，说美国限制第三世界国家的移民以维持其福利不被分享说美国限制第三世界国家的移民以维持其福利不被分享是不道德的，接下来讲到中国问题，就说中国现在还不是不道德的，接下来讲到中国问题，就说中国现在还不能开放城市户籍，否则大城市就会被搞得一团糟能开放城市户籍，否则大城市就会被搞得一团糟请问：这个经济学教授的言论有问题吗？请问：这个经济学教授的言论有问题吗？第二章第二章 语言分析语言分析目录目录语词分析语词分析一、语词和词项一、语词和词项1、什么是语词、什么是语词语词是指语词是指词词、词组词组一类的语言成分一类的语言成分一、语词和词项一、语词和词项2、什么是词项、什么是词项l简单命题的简单命题的主项主项和和谓项谓项称为词项。

称为词项l语词是词项的语言表达形式，但语词和词项并不是语词是词项的语言表达形式，但语词和词项并不是同一个概念同一个概念一、语词和词项一、语词和词项3、词项是对语词的抽象，表达语词的逻辑内、词项是对语词的抽象，表达语词的逻辑内容容 l第一，词项是抽象掉了第一，词项是抽象掉了非逻辑含义非逻辑含义的语词。