逻辑学-大学PPT课件.ppt

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,bad reasoning well as good reasoning is possible;and this fact is the foundation of the practical side of logic.,Charles Sanders Peirce,逻辑学,Logic,认识你自己,笛卡尔,:,“,人是会思想的芦苇”,;,“,我思故我在”,萨特,:“,存在即是合理”,尼采,:“,我是太阳”,海德格尔,:“,生命是诗意的栖居”,著名雕塑,沉思者,课程目的,：,培养批判性思维习惯；,掌握评估论证的标准和技巧；,提高理解能力和论说水平,计划学时：,32,学时,学习技巧：,课堂理解 多做作业 留心应用,授课教师：,谭开翠,Email:,kctan,Tel.,13972521699,1.1,逻辑是什么,逻辑简史与逻辑类型,逻辑的语源学,逻各斯、,Logic,、名学、辩学等。,“,逻辑”的多义性,客观规律；思维规律、规则；看问题的视角、方法；逻辑学等,逻辑学简史,先秦名辩,名学和辩学的合称。主要指先秦诸子关,于名和辩的逻辑思想和理论，泛指中国古代的逻辑思想。整个先秦逻辑思想就是一个以正名为重点，包括名、辞、说、辩在内的古代逻辑学说。,第一章 引论,逻辑是探求区分好论证与坏论证的方法和规则的科学。逻辑使人严谨。,墨经,之,小取,，是中国古典逻辑的一个,名家代表人物,纲要，比较集中完整地讨论了逻辑的基本内容。墨经,是墨家创始人墨翟思想的发展。,后期墨家在逻辑理论方面作出了重要贡献。他们对,“,故,”,、,“,理,”,、,“,类,”,古代逻辑的三个基本范畴下了明确的定义，并对,“,名,”,、,“,辞,”,、,“,说,”,作了深入研究。论述了,“,辟,”,（比喻）、,“,侔,”,（附比）、,“,援,”,（类比）、,“,推,”,（间接的归纳与演绎）四种形式的推理,(,见后期墨家逻辑,),。这些思想，在中国古代逻辑史上占有重要地位。,印度因明,从古代论辩术发展而来。先是五支论式，后发展为三支论式（宗、因、喻）。在分析正确论证和推理的同时，十分注重论证的,“,过,”,和反驳的,“,过,”,。因明于唐代传入我国并得到发展。,墨,子,西方逻辑,西方逻辑,学创始人。,工具论,6,篇奠定了逻辑的基础。主要贡献是对三段论的系统研究。,斯多葛学派于三段论之外，研究,了命题逻辑。,提出理想语言和推理是计算的思想而成为现代逻辑的先驱。,批判了形式逻辑，研究了辩证思维，构造了辩证逻辑的体系,。,新工具,针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。三表法。,揭示了思维的辩,证矛盾。,证明了狭谓词演算的有效公式皆可证；如果一个初等数论的形式系统一致，则它是不完全的；这种系统的一致性在本系统中不能证明，更不能用有穷方法证明。他的这些工作正面或反面地，或是部分地解答了,20,世纪以来数学基础问题争论的最根本或最重要的问题,现代归纳逻辑的发展有两个方向：“经典”数理统计方向和,由,J.M.,凯因斯和,F.P.,拉姆齐开创，流行于,50,80,年代初期的,贝叶斯运动。,20,世纪中叶以来，美国的,P.J.,科恩用模态逻辑,作为处理归纳推理的工具。科恩指出，支持度可列为不同,的等级，不同等级的支持度，就是证据给予假设不同等级,的必然性，一个被证明了的理论就是由较低级的必然性达,到较高级的必然性。,把概率作为一个逻辑概念来处理，区别于以相对频率为根据的统计概率。逻辑概率是一切不,具有演绎必然性的归纳推理的基础，关于逻辑概率的理论就是归纳逻辑。它可给出假说的相对于给定证据的确认度,严格的因果陈述只是概率陈述的极限情况，科学中尤其是量子力学中的因果概念，并不一定要求概率接近,于,1,。一切科学陈述均是概率陈述，科学的逻辑是取值为区间,0,1,上的全部实数的概率逻辑,N.Rescher,Topics in Philosophical Logic,逻辑分支一览表,A.,基础逻辑,1,传统逻辑,2,经典现代逻辑,3,非经典现代逻辑,B.,元逻辑,1,逻辑语法学,2,逻辑语义学,3,逻辑语用学,a,逻辑语言论和,自然语言逻辑,b,修辞学分析,c,语境蕴涵,d,非形式谬误理论,e,逻辑的非古典应用,4,逻辑语言学,a,结构理论（形态学）,b,意义理论,C,有效性理论,C.,数学发展方面,1,算术,2,代数,3,函数论,4,证明论,5,概率论逻辑,6,集合论,7,数学基础论,D.,科学发展方面,1,物理应用,a,量子论逻辑,b,物理或因果模态理论,2,生物应用,a,伍杰方式的发展,b,控制论逻辑,3,社会科学应用,a,规范逻辑,b,价值逻辑,c,法律应用,E.,哲学发展方面,1,伦理应用,a,行为逻辑,b,义务逻辑,c,命令（祈使）逻辑,d,优先逻辑和选择逻辑（效益、价值、对策和决策的逻辑问题）,2,形而上学的逻辑应用,a,存在性逻辑,b,时序逻辑（时态、变化、过程逻辑）,c,部分与整体逻辑,d,本体学,e,构造性逻辑（逻辑还原主义等）,f,（唯名论与唯实论之争意义下的）本体论逻辑,3,认识论应用,a,问（答）逻辑,b,认识论逻辑（相信、知道、相干）,c,假设逻辑（反事实的假设推理）,d,信息和信息过程的逻辑,e,归纳逻辑,4,归纳逻辑,a,证实和确证的逻辑,b,概率逻辑,逻辑形式,：具有不同内容的思维（命题和推理）所共同具有的,形式,或,结构,操作定义,：,用抽象字母代换命题或推理中的具体内容所得到的东西,逻辑形式,实践,感性认识,感觉,知觉,表象,理性认识,概念,判断,推理,思,维,形,式,认识与思维,普通逻辑的研究对象,研究思维的,逻辑形式,及其,基本规律,以及人们认识现实的简单的,逻辑方法,思维的特征,：,间接性、概括性、与语言不可分离,逻辑规律,：,同一律、矛盾律、排中律、充足理由律。,至此，我们知道了,逻辑方法,：,定义、划分、限制、概括等。,思维的逻辑形式,逻辑的基本规律,简单逻辑方法,有效性与可靠性,有效性和可靠性是评价推理标准的概念,。,有效的,：,当其前提为真，结论必定为真（或不可能为假）时，一个,推理,形式,是有效的；否则，便是,无效的,。,普通逻辑的对象,所有,S,是,P,，,所以，有的,P,是,S,这个推理形式可以保证，无论将,S,或,P,代以何种具体内容，前提为真时，结论不可能假。换言之，你构造不出一个实例，使得具有这一形式的推理拥有真的前提和假的结论。这实例叫该形式的反例。,所有,S,是,P,，,所以，所有,P,是,S,这个推理形式是有反例的。即，用具体内容代换变项,S,和,P,后，即使前提为真，结论也是可能为假的。试以,团员,代换,S,，,青年,代换,P,，就有：,所有团员是青年,所以，所有青年是团员。,该推理前提真而结论假。因此，原推理形式无效。,有效与无效是推理,形式的性质，是前提与,结论之间的逻辑关系，,与前提和结论事实上的,真假无直接关系。,前提,结论,有效性,真,真,不定,真,假,无效,假,真,不定,假,假,不定,我们所能确定的只是两点：,1.,前提真而结论假，则推理无效；,2.,前提真，,推理有效，则结论必真。,可靠的,：,当前提为真，结论较大可能为真时，一个推理形式是可靠的；否则，是,不可靠的,。,有效性主要适用于演绎推理的评估；可靠性适用于归纳推理的评估,1.2,学习逻辑的意义,逻辑的性质,基础性 人文性 工具性,学习逻辑的意义,培养批判性思维习惯与能力,思维创新的前提,理解、论说的基础工具,批判性思维是以鉴别一个人思维的力量与弱点的方式来思考其思维的能力，它以一种改良的形式重铸思维。这种对思维的反思包括，识别思想的基本要素：目的、问题、信息、假设、解释、概念、含意、观点等，以及使用诸如清晰性、准确性、精确性、相关性、深度、广度和逻辑性等等普遍智力规范和标准评价这些要素的能力。,任何学科理论都有目标和关于那些目标的逻辑结构集：假设、概念、主题、资料、理论、主张、含意、推论（后承）等等。某些概念在逻辑上比其他的更基本。每一学科都依赖概念、假设和理论，做出主张，给出理由和证据，避免矛盾等等。每一学科都应用着逻辑。,学习逻辑的方法,重点是理解；作业是手段；文本分析是关键,本章概要,：,逻辑是研究思维的逻辑形式及其基本规律以及,简单逻辑方法的科学。任何逻辑形式都包括逻辑常项和逻辑,变项。变项符号有两类，一类代表词项（,S,、,P,），一类代表,语句（,p,、,q,）。逻辑形式的性质主要由逻辑常项决定。逻辑,有三大源流。逻辑是工具性质的科学。学习逻辑可以提高批,判性思维能力。学好逻辑的关键是对实际会话和文本进行逻,辑分析。,概念是思维之网的纽结。我们对世界的认识成果都通过概念而巩固起来。,第二章 概念,2.1,概念的内涵和外延,2.2,概念的种类,2.3,概念间的关系,2.4,概念的定义,2.5,概念的划分,2.6,概括与限制,2.1,概念内涵与外延,概念是反映对象特有属性或本质属性的思维形式。,对象,：,客观的事物、现象；人的感觉、表象，思想意识，情感意志等，,总之，一切可以成为人的认识对象的东西。,属性,：,性质和关系。,特有属性：,该对象所有，其他对象不具有的属性。非特有属性是并不为,某对象专有的属性。借助特有属性，可以把一对象和其他对,象区别开来。特有属性反映为初级概念，此时把握的还是对,象的偶然的性质，如,“,人,”,的,初级概念,、,“,金,”,的初级概念。,本质属性：,特有属性中根本性的、基础性的，决定其他特有属性的那些,特有属性。本质属性反映为深刻的概念即,科学概念,，它把握,的是对象的必然的性质，如科学的,“,人,”,的概念、,“,金,”,的概念。,对象的特有属性是多种多样的，本质属性也是多方面的。,2.1,概念内涵与外延,内涵：,反映在概念中的对象的特有属性或本质属性。,例：,人是能制造和使用工具的动物,商品是为交换而生产的劳动产品,回答,“,是什么,”,：概念是什么意思 说明对象有何性质,外延,：具有概念所反映的特有属性或本质属性的对象。,回答：,“,有多少,”,：概念包括哪些对象 范围如何,该名称适用的事物,类、分子、子类、空类（虚概念）,注意：内涵特有属性 外延对象,概念内涵、外延的确定性和变动性,根据内涵与外延的一般特征对概念进行分类。,单独概念：,外延分子,1,普遍概念：,外延分子,2,一个对象 专名、摹状词 一类对象 名词、动词、形容词,2.2,概念的种类,普遍概念和单独概念,集合概念和非集合概念,反映非集合体,非集合概念,反映集合体,集合概念,设,A,为一个由多个个别对象,a,1,、,a,2,、,a,3,、,a,4,a,n,组成，,若,a,1,a,n,的任意一个 若,a,1,a,n,的任意一个,必然具有,A,的任一属性，,不必然具有,A,的任一属性，,则,A,为,非集合体,。则,A,为,集合体,。,举例：,“,书,”,“,丛书,”,，,同一语词在不同语境下既可以表达集合概念，也可以表达非集合概念,“,我班同学都是大学生,”,“,我班同学来自全国各地,”,正概念,：反映对象具有某种属性的概念,负概念：,反映对象不具有某种属性的概念。负概念在语词表现形式上,带有,“,无,”,、,“,不,”,、,“,非,”,等否定词，但并非带有否定词的都表达,负概念，如，,“,无锡,”,、,“,不莱梅,”,、,“,非洲,”,。,负概念的概括力较强，一切不具有某种属性的对象都包括在内。若不用负概念，用正概念列举有很大困难。,负概念的使用一般总是相对于一个特定的范围，否则陈述的意义不明确,“,这本杂志上有一篇小说，其余都是非小说,”,三种分类是对同一概念从不同角度划分的结果。说到底，三种划分实际可归为二种。集合与非集合的划分，在特定的论域内，可以用单独和普遍概念的划分来代替。所谓,“,总名,”,的用法，在一定语境中就是单独概念。,“,分名,”,的用法，就是普遍概念。这样，集合和非集合概念的区分，也就是单独概念和普遍概念的区分。如,“,鲁迅的作品,”,。,正（肯定）概念和负（否定）概念,从外延方面看到的概念间的关系。主要是考虑两个或两个以上概念的外延是否有公共分子，有多少。以下以两个概念关系为典型进行分析。,两个概念有完全相同的分子，即两个概念外延包括同样的对象，两个概念指称同样的对象。,设概念,s,和,p,，,s,p,，,自然语言,“,就是,”,，,“,即,”,全同概念外延相同，但内涵不尽相同，,它们反映的是同一对象不同方面的本质属性或特有属性。它既有认识意义，也有修辞意义。,根据全同概念，我们可以形成这样的命题：所有,s,是,p,，所有,p,是,s,s p,2.3,概念间的关系,全同,关系,s,概念的全部外延与,p,概念的一部分外延是相同的分子，则,s,概念真包含于,p,概念。这就是说，,s,概念的外延小，,p,概念的外延大，所有,s,概念的分子都是,p,概念的分子，但至少有一个,p,概念的分子不是,s,概念的分子。也叫,s,对,p,的,“,种属关系,”,。,我们可以说：所有,s,是,p,，有的,p,是,s,，,有的,p,不是,s,。,s,概念的部分外延与,p,概念的全部外延是相同的分子，则,s,概念包含,p,概念。也是说，,s,概念的外延大，,p,概念的外延小，所有,p,概念的分子都是,s,概念的分子，但至少有一个,s,概念的分子不是,p,概念的分子。也叫,s,对,p,的,“,属种关系,”,。,我们可以说：所有,p,都是,s,，有的,s,是,p,，,有的,s,不是,p,。,b,b,s,p,p,s,真包含于,关系,真包含,关系,s,概念的部分外延和,p,概念的部分外延是相同的分子，,而另一部分却是不同的分子。即两个概念仅有一部分,分子相同。,我们可以形成命题：有些,s,是,p,，,有些,s,不是,p,，有些,p,是,s,，有些,p,不是,s,。,s,概念和,p,概念没有任何相同的分子。,即所有,s,不是,p,，所有,p,不是,s,。,考虑到论域，全异关系可具体分为两种,s,p,s,p,交叉,关系,全异,关系,反对关系,s,与,p,全异，且,s+p,的外延,c,，,s,不是,p,，,p,不是,s,；,对,c,中的任一对象,x,而言，,x,可能既不是,s,，又不是,p,：,可能非此非彼,。,根据矛盾关系，从否定,x,是,s,即,x,不是,s,，推出,x,是,p,；,但依据反对关系就不行。,团员,s,党员,p,人,c,概念间的关系在以后的性质命题的分析中要运用。,s,p,c,矛盾关系,s,与,p,为全异关系，且,s,p,的外延论域（,c,）,s,不是,p,，,p,不是,s,；对,c,中的任一对象,x,而言，,x,不是,s,就是,p,，当然，,x,不可能既是,s,又是,p,，,x,也不可能既不是,s,，又不是,p,。,“,非此即彼,”,这种关系正是一个正概念与其负概念的关系。,团员,s,非团员,s,或,s,人,c,s,s,c,p,s,何谓定义,2.4,定义,揭示概念内涵的逻辑方法。以一些更易于理解的概念来替换不易理解的概念；用简明精练的语句将一个概念的内涵揭示出来。由于概念的内涵是反映在概念中的对象的特有属性或本质属性，因此，下定义也就是揭示被定义概念所反映的对象的特有属性或本质属性。这是作为动词的概念。,作为名词的,“,定义,”,：陈述一个概念内涵的语句。,它由三部分组成：被定义项（,D,s,）、定义项（,D,p,）和联项。联项有,“,是,”,、,“,就是,”,、,“,即,”,、,“,所谓，就是,”,等。其结构是：,D,s,就是,D,p,属加种差定义,被定义概念种差属,操作时，是先找出被定义概念的属概念，再在属的范围内找出被定义概念反映的对象与其他同类对象之间的差别，然后将种差作为定语加在表达属概念的语词的前头，最后用联词和被定义概念组成一个陈述句。,下定义的方法,人是能制造和使用工具的动物,人的属概念有：,高智能动物；灵长类动物；哺乳动物；脊椎动物；,爬行动物,动物；生物,选,“,动物,”,为,“,属,”,将人与非动物区别开来。但同属于动物的有马，牛，羊，狗,，,“,人是动物,”,并不能把人和其他动物区别开来。人与其他动物的区别，或人的特有属性是什么？找到这个差别，就可以将人和其余的事物相区别。,动物,人,牛,羊,猪,鸡,马,驴,人,关于属：一个概念的属概念有很多，选用哪一个，应依实际需要。,找不到属的概念不能用这种定义方法。,关于种差：当种差是很多属性的组合时，定义变得冗长，已不是,“,简明精,练,”,的语句。对个体作这种定义变成了描述。,种差反映对象的特有属性或本质属性。对象的特有属性和本质属性都是多个，因此，种差也可以有多种。不同学科对同一对象有不同定义。下定义也有多种属加种差的方法。,性质 发生情况 功用 关系 操作,真 实 定 义,性质定义 发生定义 功用定义 关系定义 操作定义等。,真实定义或实质定义揭示概念的内涵，也即对象的特有属性或本质属性。但语词定义却是揭示语词所表达的意义的定义，即一个语词本身的意义，而不是语词所表达的概念的意义。,描述性（说明性）的,：陈述或描述一个已在使用中的术语的一个或几个公认的意义。,形式：,具有与,相同的意义,；特征：有真假。,犊是小牛,规定性的,：,通过规定，赋予给定的术语以特定的意义；该术语可以是一个新造的语词或符号表达，也可以是一个,“,旧,”,术语被用在特定的新的意义上。形式：,应具有与,相同的意义,；,让我们把,理解为与,相同的东西,；,特征：是约定；不能区分真假。,语词定义,外延定义,穷举定义,如果一个概念所指的对象数目很少，或者其种类有限，则可以对它下穷举的外延定义。,列举定义,属于一个概念的外延的对象数目很大，或者种类很多，无法穷尽的列举，于是就举出一些例证，以帮助人们获得关于这个概念所指称的对象的一些了解。,实指定义,通过用手指着某一个对象，从而教会儿童去认识事物和使用语言，这样的方法常被叫做,“,实指定义,”,。,递归定义,用数学归纳法给对象下的定义,1,、定义相应相称,D,s,D,p,2,、定义不能循环（不得直接或间接包含被定义项）；,定义的规则,D,s,D,p,D,p,D,s,定义过宽,D,p,D,s,定义过窄,错误,错误,直接包含,D,s,D,p,（,D,s,）,同语反复,间接包含,D,s,D,p,D,s,循环定义,3,、尽可能用肯定形式；,负概念只能用否定形式来定义，如,“,非团员,”,正概念也可能用否定定义，如,“,平行线,”,错误,定义离题,4,、定义必须明确,排除各种修辞手法的运用,错误,定义含混 以比喻代定义,以一对象属性为标准，将一个属概念的外延分成若干个种概念，以明确概念外延的逻辑方法。划分比通过列举分子来明确外延更易操作。,结构：,被划分的概念划分的母项,划分后得到的概念子项,任意一个属性划分的根据,母项和子项间的关系是属种关系。划分和分解的区分：,对象 结果 关系,划分,类 子类 子类必有类的属性,分解,整体 部分 部分不必然有整体属性,2.5,划分,何谓划分,科学,包括,自然科学,和,人文社会科学,一次划分：,一个母项，一层次（多个）子项，一个根据,图书,自然科学图书 社会科学图书,连续划分：,多层母项，多层子项，多个根据,划分的方法,一次划分和连续划分,二分法,一个母项，两个子项，“有无”某属性为根据,人类社会形态,图书,自然科学图书,社会科学图书,物理学图书,化学图书,哲学图书,经济学图书,中国哲学,外国哲学,阶级社会 正概念,无阶级社会 负概念,划分根据为,本质属性,或,特有属性,分类,辅助分类,自然分类,生物分类,元素周期表,字典编排,超市商品摆设,划分的根据随意，所以，划分具有临时性；,分类的根据深刻，所以，相对稳定。,划分的规则,1.,划分必须是相称的 母项外延子项外延和,子项外延和母项外延,划分不全,子项外延和母项外延,多出子项,2.,一次划分的根据必须同一,3.,划分的子项应是相互排斥的 子项间为全异关系,错误,错误,错误,混淆根据,子项相容,属种关系的概念,:,内多外小，内少外大：,2.6,概括和限制,内涵和外延的反变关系,马,白马,小白马,动物,内,涵,外,延,少,多,大,小,概念的限制,根据内多外小，通过增加内涵（属性），使一个外延较大的概念过渡到一个外延较小的概念。,连续限制,。限制前后的概念关系是,属种,关系。注意限制性语词是限定即增加内涵，还是仅起描述作用。“长城”“万里长城”。限制的极限单独概念。,依据内少外大，通过减少内涵，使得一个外延较小的概念过渡到一个外延较大的概念。,连续概括,。概括前后的概念关系是,种属,关系。概括的极限外延最大的概念。去掉限定语是否减少了内涵？,概念的概括,本章概要,：,概念是反映对象特有属性或本质属性的思维形,式。内涵和外延是概念的基本特征。根据不同的标准，可将,概念划分为单独与普遍概念；集合与非集合概念；正概念与,负概念。概念间的外延关系有,5,种：全同、真包含于、真包,含、交叉和全异。其中全异关系包括矛盾关系和反对关系。,定义是揭示概念内涵的逻辑方法，一般用属加种差下定义方,法。划分是明确概念外延的逻辑方法，包括一次划分与连续,划分；二分法；分类。基于属种关系概念外延的反变关系，,可以对概念进行限制和概括。可以用集合论来分析概念外延,的某些性质，把概念间的关系理解为一种集合演算。,重点：概念间关系；概念的定义与划分 难点：集合概念,3.1,概 述,第三章 命题逻辑,命题,：,通过语句反映事物情况的思维形式。特征：有真假真值,判断,：,被断定了的命题。特征：主观断定。,语句,：,表示事物情况的声音或笔画。,3.1.1,命题、判断、语句,命题逻辑把命题分析为构成复合命题的成分即简单命题，简单命题的真值组合决定整个复合命题的真值。,命题与判断的关系,命题未必经过断定,被断定了的命题才是判断,命题与语句的关系,内容与表达形式,1,）任何命题都通过语句表达；,2,）但并非一一对应：有些语句不表达命题（疑问、祈使、感叹等）；,数句一命题；一句数命题,一切,反动派,都是,纸老虎,所有,团员,都是,青年,所有,我班学生,都是,大学生,所有,商品,都是,劳动产品,S,P,以上四个命题具有不同的内容，但用抽象字母替换其具体内容后，所得到的结构是：,所有,S,是,P,一切,反动派,都不是,纸老虎,所有,团员,都不是,青年,所有,我班学生,都不是,大学生,所有,商品,都不是,劳动产品,所有,S,不是,P,类似地，以下命题也具有不同的内容,但它们有共同的逻辑形式,与这些逻辑形式属于同类的还有,3.1.2,命题的逻辑形式,有的,S,是,P,有的,S,不是,P,如,：有的,人,是,团员,有的,人,不是,大学生,如果,一个物体摩擦,，,那么,这个物体生热,如果,你能办成这件事,，,那么,我从楼跳下去,还有另外一类命题,p,q,按照操作定义，得出它们的逻辑形式,是,如果那么,其中替换内容的字母用了,小写,的,p,、,q,等,只有才,只有耕耘，才有收获,只有发烧，才会患肺炎,要么武松死，要么老虎死,生存，还是死亡？,要么要么,这商品品质好，而且价格低,小张学习好，而且品德高尚,P,且,q,或者或者,或者老张是导演，或者老张是演员,他或者吃米饭，或者吃面条,并非,并非人是由石头变来的,并非人人有自知之明,命题形式,：,命题的逻辑形式命题形式,模态命题（带有,“,必然,”,、,“,可能,”,等）,简单命题,（变项概念）,复合命题,（变项命题）,联言,选言,假言,关系命题,（支命题与联结词）,（主、谓项与量词、联项）,（关系者项、量词与关系项）,性质命题,负命题,非模态命题,另一种分类,命题分类,推理,：从,一个或几个已知命题推出一个新命题的思维形式。,例，,有的大学生是男性，所以，有的男性是大学生。,推理由命题组成，如果用相同的字母替换相同的具体内容，就可得到推理的逻辑形式。,所有,团员,是,青年,，所以，有的,青年,是,团员,S P,P S,M P S M S P,所有,M,是,P,，所有,S,是,M,，所以，所有,S,是,P,所有,S,是,P,，,所以，有的,P,是,S,推理的逻辑形式,所有,哲学家,是,思想家,，,亚里士多德,是,哲学家,，所以，,亚里士多德,是,思想家,前提,推理标志词,结论,结构,不同类型的命题可组成不同类型的推理 如：,如果,一个人患肺炎（,p,）,，那么,他发烧（,q,）,，,小张不发烧（非,q,）,，,所以,，他未患肺炎（非,p,）,如果,p,，那么,q,非,q,所以，非,p,要么,你交钱（,p,）,，要么,你交命（,q,）,你交了钱（,p,）,所以，,你不用交命（非,q,）,要么,p,，要么,q,P,所以，非,q,以上均为演绎推理的逻辑形式，还有归纳推理形式，可参阅教科书,任何一个逻辑形式都包括：,逻辑常项,和,逻辑变项,所 有,S,是,P,常项,变项,推理分类,必然性推理,（演绎推理）,或然性推理,归纳推理,类比推理,简单命题推理,复合命题推理,性质,关系,联、选、假、负,定义,：,反映若干事物情况同时存在,结构,：,联言支（若干情况）联结词（同时存在）,公式,：,p,且,q,且,r pqr,（合取式）,自然语句,：,虽然，但是；既，又；不仅，而且；尽管，可是；逗、句、分号,例：,物美价廉这件商品质量好而且这件商品价格便宜,情况组合 符号 物美价廉之真假,1.,物美 价廉,p,q,真,t,2.,物美 价不廉,p,q,假,f,3.,物不美 价廉,p,q,假,f,4.,物不美 价不廉,p,q,假,f,联言命题,p q,pq,t t,t f,f t,f f,t,f,f,f,真值,：,支支真，真；任一支假，假,pq,的真值表,p q p q,3.2,联言命题及其推理,省略式：,省略主项、谓项，主谓项；,联言,推理,定义：,前提或结论为联言命题的推理；依据联言命题性质进行的推理,种类：,分解式,依据合取式定义反过来，合取真则支支真。,组合式,依据合取式定义，支支真则合取真,pq p,pq q,（,p,，,q,，,r,）,pq r,定义,：,反映若干可能事物情况至少有一种存在,结构,：,选言支（若干可能情况）联结词（至少有一存在）,选言命题,p q,pq,t t,t f,f t,f f,t,t,t,f,真值：,支支假，,假,pq,的真值表,情况组合 符号 命题真假,1.,不可靠 有错误,p,q,真,t,2.,不可靠 无错误,p,q,真,t,3.,可靠 有错误,p,q,真,t,4.,可靠 无错误,p,q,假,f,3.3,选言命题及其推理,相容选言命题,定义,：,选言支可同真,结构：,p,或,q pq,（为相容析取）,自然语句,：,或，或；可能，也可能；也许，也许,例,“此报告或材料不可靠，或计算有错误”,定义,：,选言支不同真,结构,：,选言支（可能情况）联结词（不能同时存在）,要么,p,，要么,q pqr,（为不相容析取）,自然语句,：,不是，就是；或，或，二者不可兼得等,p q,pq,t t,t f,f t,f f,f,t,t,f,真值：,至少有一存在，但不能同时存在即至少且至多,有一存在，也即唯一支真,唯一支真，真,pq,的真值表,情况组合 符号 命题真假,1.,虎死，松死,p,q,假,f,2.,虎死，松未死,p,q,真,t,3.,虎未死，松死,p,q,真,t,4.,虎未死，松未死,p,q,假,f,例析,“,要么武松打死老虎，要么老虎吃掉武松”,.,不相容选言命题,选言支穷尽问题,选言支穷尽的命题一定是真命题，但一个真的选言命题不一定是选言支穷尽的,定义,：,根据选言命题性质进行的推理,依据,pq,的性质，至少有一支真，所以,（,pq,）,p,）,q,（,pq,）,q,）,p,（,(pqr,）,p,）（,qr,）,但有,选言推理,相容选言推理,（,pq,）,p,）,q,（,pq,）,q,）,p,无效式,（,pq,）,p,）,q,（,pq,）,p,）,q,不相容选言推理,依据,pq,性质，至多至少有一支真,肯定否定式 根据至多有一支真,对多个支的不相容析取，肯定其一则可否定其余，即,（,pqr,）,p,）（,（,pq,）,（,pqr,）,p,）（,q,r,）,（,pq r,）,p,）（,qr,）,但否定其一，不能肯定剩余的每一个，只能肯定剩余的析取式,否定肯定式 根据至少有一支真,3.4,假言命题及其推理,假言命题,定义,：,反映,一,事物情况,是,另一事物情况,的,存在条件,的命题,前件,后件 联结词,如果一个人患了肺炎，那么这个人发烧,关键是前后件关系是否反映两种情况之条件关系,充分条件假言命题,定义,：,反映,一事物情况,是,另一,事物情况,的存在的,充分条件,命题,有,p,必有,q,，无,p,未必无,q,1,、,p,，,q,2,、,p,，,q,3,、,p,，,q,4,、从未有,p,而,q,P,是,q,的,充分条件,1,，,4 2,，,3,结构,：,若,p,则,q p,q,自然语句,：,假使，那么；倘若，则；只要，就；要是，就；,当，便；一旦，就；如果，则,例析,“,如果一个物体摩擦，那么这个物体生热”,情况组合 符号 命题真假,1.,摩擦，生热,p,q,真,t,2.,摩擦，不生热,p,q,假,f,3.,不摩擦，生热,p,q,真,t,4.,不摩擦，不生热,p,q,真,t,真值,：,前,（件）,真而后,（件）,假,，,则,假,前,（件）,假，,或,后,（件）,真，则真,p q,p,q,t t,t f,f t,f f,t,f,t,t,必要条件假言命题,定义,：,反映,一事物情况,是,另一,事物情况,的存在的,必要条件,命题,结构,：,只有,p,才,q p,q,自然语句,：,只有，才；除非，不；没有，就没有,例析,“,只有一个人年满,18,岁，他才有选举权,”,真值：,前,（件）,假而后,（件）,真,，,则,假,前,（件）,真，,或,后,（件）,假，则,真,p q,p,q,t t,t f,f t,f f,t,t,f,t,有,p,未必有,q,，无,p,必定无,q,P,是,q,的,必要条件,1,，,2 3,，,4,1,、,p,，,q,2,、,p,，,q,3,、,p,，,q,4,、从未有,p,而,q,情况组合 符号 命题真假,1.,年满,18,，有选举权,p,q,真,t,2.,年满,18,，无选举权,p,q,真,t,3.,未满,18,，有选举权,p,q,假,f,4.,未满,18,，无选举权,p,q,真,t,充分必要分条件假言命题,定义,：,反映,一事物情况,是,另一,事物情况,的存在的,充分且必要条件,命题,结构,：,当且仅当,p,才,q,p,q,自然语句,：,当且仅当；如果，则；如果不，则不,例析,p q,p,q,t t,t f,f t,f f,t,f,f,t,情况组合 符号 命题真假,1.,偶数，被,2,整除,p,q,真,t,2.,偶数，不被,2,整除,p,q,假,f,3.,不是偶数，但被,2,整除,p,q,假,f,4.,不是偶数，不被,2,整除,p,q,真,t,“,一个数是偶数，当且仅当它能被,2,整除,”,有,p,未必有,q,，无,p,必定无,q,充分条件,有,p,必有,q,，无,p,未必无,q,必要条件,充要条件,有,p,必有,q,，无,p,必无,q,（,P,等值于,q,）,真值：,前后件同真假，则,真,假言推理,根据假言命题性质的推理,充分条件假言推理,根据前件是后件的充分条件；后件是前件的必要条件,（,p,q,）,p,）,q,（,p,q,）,q,）,p,肯定前件式 有,p,必有,q,否定后件式 无,q,必无,p,P,是,q,的充分条件,q,是,p,的必要条件,（,p,q,）,q,）,p,（,p,q,）,p,）,q,肯定后件式 有,q,不必有,p,否定前件式 无,p,不必无,q,必要条件假言推理,根据前件是后件的必要条件；后件是前件的充分条件,（,p,q,）,p,）,q,（,p,q,）,q,）,p,否定前件式 无,p,必无,q,肯定后件式 有,q,必有,p,P,是,q,的必要条件,q,是,p,的充分条件,（,p,q,）,p,）,q,（,p,q,）,q,）,p,肯定前件式 有,p,不必有,q,否定后件式 无,q,不必无,p,根据,p,q,等值于,qp,，,pq,因此，两个有效式相当于,（,q,p,）,p,）,q,（,q,p,）,q,）,p,（,p,q,）,p,）,q,（,p,q,）,q,）,p,充要条件假言推理,根据前件是后件的充分条件；前件是后件的必要条件,后件是前件的充分条件；后件是前件的必要条件,（,p,q,）,p,）,q,（,p,q,）,p,）,q,肯定前件式 有,p,必有,q,否定前件式 无,p,必无,q,P,与,q,互为充分条件,互为必要条件,（,p,q,）,q,）,p,（,p,q,）,q,）,p,肯定后件式 有,q,必有,p,否定后件式 无,q,必无,p,只要对前后件进行一致的肯定或否定，充要条件推理就是有效的,根据转换，三种假言推理中，充分条件假言推理是基本的,条件命题的转换,（,p,q,）,（,qp,）（,q,p,）,（,p,q,）,（,qp,）（,p,q,）,p,q,（,p,q,）,（,q,p,）,（,p,q,）,（,p,q,）,（,p,q,）,（,p q,）,（,p,q,）,（,qp,）,如果摩擦，则生热,只有生热，才摩擦,如果未生热，则未摩擦,只有发烧，才患肺炎,如果患肺炎，则发烧,如果不发烧，则未患肺炎,一个数能被,2,整除，当且仅当它是偶数,一个数是偶数，当且仅当它能被,2,整除,一个数能被,2,整除，,当且仅当它是偶数,只有一个聪明人,A,、,B,、,C,三个人一起参加了物理和化学两门考试。,三个人中，只有一个聪明人。,A,说,（,1,）,如果我不聪明，我将不能通过物理考试。,（,2,）如果我聪明，我将能通过化学考试。,B,说,（,3,）,如果我不聪明，我将不能通过化学考试。,（,4,）如果我聪明，我将能通过物理考试。,C,说,（,5,）,如果我不聪明，我将不能通过物理考试。,（,6,）如果我聪明，我将能通过物理考试。,考试结束后，证明三个人说的都是真话，并且：,第一，聪明人是三人中唯一的一个通过两门科目中某门考试的人；,第二，聪明人也是三人中唯一的一个没有通过另一门考试的人。,你知道这三个人中，谁是聪明人吗？,3.5,负命题及其推理,负命题,定义：,否定某个命题的命题 一元联结词,任何一个命题形式都可以加上否定词,“,并非,”,（,）,形成其负命题,结构：,联结词,“,并非,”,支命题一个,自然语言,：,并非；并不是；是假的；是不对的,例析,并非我班所有同学都是中共党员,p,p,t,f,f,t,p,真值：,负命题真，当且仅当原命题假,因此有,双重否定律：,p,p,P,p,p,t,f,f,t,t,f,负命题的等值推理,联言命题负命题推理,（,p,q,）,（,p,q,）,否定合取得析取，分配否定到变项,充分条件假言命题负命题推理,相容选言命题负命题推理,不相容选言命题负命题推理,（,p,q,）,（,p,q,）,否定析取得合取，分配否定到变项,德摩根定律,（,p,q,）,（,p,q,）,(,p,q,）,（,p,q,）,（,p,q,）,必要条件假言命题负命题推理,充要条件假言命题负命题推理,（,p,q,）,（,pq,）,（,p,q,）,（,p,q,）（,pq,）,负命题的负命题推理,（,p,）,p,3.6,复合命题的其他推理,假言选言推理（二难推理）,定义：,假言、选言命题构成，假言前提为,2,者是二难推理,形式：,简单构成式、简单破坏式、复杂构成式、复杂破坏式,p,r,p,r,p,p,总之，,r,p,q,p,r,q,r,总之，,p,p,q,r,s,p,r,总之，或,q,或,s,简单构成式,结论不带析取,肯定前件式,前件不同后件同,简单破坏式,结论不带析取,否定后件式,后件不同前件同,复杂构成式,结论带析取,肯定前件式,前后件均不同,p,q,r,s,q,s,总之，或,p,或,r,复杂破坏式,结论带析取,否定后件式,前后件均不同,破斥错误的二难推理,推理形式评估,前提审查（充分条件存在否？选言支