逻辑学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,课程目的,：,培养批判性思维习惯；,掌握评估论证的标准和技巧；,提高理解能力和论说水平,计划学时：,72或54学时,学习技巧：,课堂理解 多做作业 留心应用,授课教师：,胡龙彪（1971-)，外国哲学博士。学术方向为现代逻辑与批判性思维、逻辑史、教父哲学。著有拉丁教父波爱修斯（浙江大学2003年学术精品著作）、逻辑学教程等，在自然辩证法研究、哲学动态、浙江大学学报等刊物上发表论文10余篇。,Email：longbiaoz,Tel：[phone]（H）,1.1 逻辑是什么,逻辑简史与逻辑类型,逻辑的语源学,逻各斯、,Logic,、名学、辩学等。,“逻辑”的多义性,客观规律；思维规律、规则；看问题的视角、方法；逻辑学等,逻辑学简史,先秦名辩,名学和辩学的合称。主要指先秦诸子关,于名和辩的逻辑思想和理论，泛指中国古代的逻辑思想。整个先秦逻辑思想就是一个以正名为重点，包括名、辞、说、辩在内的古代逻辑学说。,第一章 引论,逻辑是探求区分好论证与坏论证的方法和规则的科学。逻辑使人严谨。,墨经,之小取，是中国古典逻辑的一个,名家代表人物,纲要，比较集中完整地讨论了逻辑的基本内容。墨经是墨家创始人墨翟思想的发展。,后期墨家在逻辑理论方面作出了重要贡献。他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的定义，并对“名”、“辞”、“说”作了深入研究。论述了“辟”（比喻）、“侔”（附比）、“援”（类比）、“推”（间接的归纳与演绎）四种形式的推理(见后期墨家逻辑)。这些思想，在中国古代逻辑史上占有重要地位。,印度因明,从古代论辩术发展而来。先是五支论式，后发展为三支论式（宗、因、喻）。在分析正确论证和推理的同时，十分注重论证的“过”和反驳的“过”。因明于唐代传入我国并得到发展。,墨,子,西方逻辑,西方逻辑,学创始人。工具论,6 篇奠定了逻辑的基础。主要贡献是对三段论的系统研究。,斯多葛学派于三段论之外，研究,了命题逻辑。,提出理想语言和推理是计算的思想而成为现代逻辑的先驱。,批判了形式逻辑，研究了辩证思维，构造了辩证逻辑的体系,。,新工具针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。三表法。,揭示了思维的辩,证矛盾。,证明了狭谓词演算的有效公式皆可证；如果一个初等数论的形式系统一致，则它是不完全的；这种系统的一致性在本系统中不能证明，更不能用有穷方法证明。他的这些工作正面或反面地，或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题,现代归纳逻辑的发展有两个方向：“经典”数理统计方向和,由J.M.凯因斯和F.P.拉姆齐开创，流行于5080年代初期的,贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑,作为处理归纳推理的工具。科恩指出，支持度可列为不同,的等级，不同等级的支持度，就是证据给予假设不同等级,的必然性，一个被证明了的理论就是由较低级的必然性达,到较高级的必然性。,把概率作为一个逻辑概念来处理，区别于以相对频率为根据的统计概率。逻辑概率是一切不,具有演绎必然性的归纳推理的基础，关于逻辑概率的理论就是归纳逻辑。它可给出假说的相对于给定证据的确认度,严格的因果陈述只是概率陈述的极限情况，科学中尤其是量子力学中的因果概念，并不一定要求概率接近,于 1。一切科学陈述均是概率陈述，科学的逻辑是取值为区间01上的全部实数的概率逻辑,逻辑的类型,Susan Haack,Philosophy of Logics,列出的逻辑的范围,Traditional Logic,三段论,Classical Logic,二值命题、谓词演算（狭义数理逻辑）,Extended Logics,模态、时态、规范、认知、择优、祈使、问句逻辑,Deviate Logics,多值、直觉、量子、自由逻辑,Inductive Logics,归纳逻辑,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,以上四个命题具有不同的内容，但用抽象字母替换其具体内容后，所得到的结构是：,所有S是P,一切,反动派,都不是,纸老虎,所有,团员,都不是,青年,所有,我班学生,都不是,大学生,所有,商品,都不是,劳动产品,所有S不是P,类似地，以下命题也具有不同的内容,但它们有共同的逻辑形式,与这些逻辑形式属于同类的还有,命题的逻辑形式,有的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,以上均为演绎推理的逻辑形式，还有归纳推理形式，可参阅教科书p.9,任何一个逻辑形式都包括：,逻辑常项,和,逻辑变项,所 有,S,是,P,常项,变项,逻辑规律,：,同一律、矛盾律、排中律。（第,9,章详论）,至此，我们知道了,逻辑方法,：,定义、划分、限制、概括等。（第,4,章详论）,思维的逻辑形式,逻辑的基本规律,简单逻辑方法,推理的有效性与可靠性,有效性和可靠性是评价推理标准的概念。,有效的,：,当其前提为真，结论必定为真（或不可能为假）时，一个,推理,形式,是有效的；否则，便是,无效的,。,普通逻辑的对象,所有S是P，,所以，有的P是S,这个推理形式可以保证，无论将S或P代以何种具体内容，前提为真时，结论不可能假。换言之，你构造不出一个实例，使得具有这一形式的推理拥有真的前提和假的结论。这实例叫该形式的反例。,所有S是P，,所以，所有P是S,这个推理形式是有反例的。即，用具体内容代换变项S和P后，即使前提为真，结论也是可能为假的。试以,团员,代换S，,青年,代换P，就有：,所有团员是青年,所以，所有青年是团员。,该推理前提真而结论假。因此，原推理形式无效。,有效与无效是推理,形式的性质，是前提与,结论之间的逻辑关系，,与前提和结论事实上的,真假无直接关系。,前提,结论,有效性,真,真,不定,真,假,无效,假,真,不定,假,假,不定,我们所能确定的只是两点：,1.,前提真而结论假，则推理无效；2.前提真，,推理有效，则结论必真。,可靠的,：,当前提为真，结论较大可能为真时，一个推理形式是可靠的；否则，是,不可靠的,。,有效性主要适用于演绎推理的评估；可靠性适用于归纳推理的评估,逻辑与语言,逻辑形式与语言形式,研究逻辑形式都通过语言形式进行；不同的语言形式可表达同一逻辑形式；同一语言形式也可表达不同的逻辑形式,任一S是P,没有S不是P,每一S是P,或，,但二者不相容,或，,但二者相容,所有S是P,或者,（逻辑形式）,（逻辑形式）,（语言形式,）,（语言形式）,自然语言与人工语言,对象语言,与元语言,自然语言：历史发展过程中形成的、日常使用的语言，如汉语、英语等。,特点：语义的丰富性、模糊性和歧义性。,人工语言：人为构造的表意符号系统，即符号语言。,特点：语义的单一性和精确性。,传统逻辑用自然语言，现代逻辑用人工语言，如,对象语言：作为讨论对象的那种语言。对象语言一般指称客观事物。,元语言：用来讨论对象语言的那种语言。常指称语言本身。,太阳是恒星,太阳是恒星,是一句真话,对象语言,元语言,为了区分对象语言和元语言，需要给高一层的语言,加引号。有元元语言，元元元语言，元语言。,所有S是P,x,（S,x,P,x,）,太阳是恒星,“太阳”是两个汉字,“太阳是两个汉字”是对的,1.2 学习逻辑的意义,逻辑的性质,工具性，普遍性，抽象性，非政治性,学习逻辑的意义,培养批判性思维习惯与能力,思维创新的前提,理解、论说的基础工具,批判性思维是以鉴别一个人思维的力量与弱点的方式来思考其思维的能力，它以一种改良的形式重铸思维。这种对思维的反思包括，识别思想的基本要素：目的、问题、信息、假设、解释、概念、含意、观点等，以及使用诸如清晰性、准确性、精确性、相关性、深度、广度和逻辑性等等普遍智力规范和标准评价这些要素的能力。,任何学科理论都有目标和关于那些目标的逻辑结构集：假设、概念、主题、资料、理论、主张、含意、推论（后承）等等。某些概念在逻辑上比其他的更基本。每一学科都依赖概念、假设和理论，做出主张，给出理由和证据，避免矛盾等等。每一学科都应用着逻辑。,学习逻辑的方法,重点是理解；作业是手段；文本分析是关键,本章概要,：,逻辑是研究思维的逻辑形式及其基本规律以及,简单逻辑方法的科学。任何逻辑形式都包括逻辑常项和逻辑,变项。变项符号有两类，一类代表词项（S、P），一类代表,语句（p、q）。逻辑形式的性质主要由逻辑常项决定。逻辑,有三大源流。逻辑是工具性质的科学。学习逻辑可以提高批,判性思维能力。学好逻辑的关键是对实际会话和文本进行逻,辑分析。,2.1 概 述,第二章 命题逻辑,命题（,proposition,）,：,通过语句反映事物情况的思维形式。特征：,有真假真值,判断（,judgment,）,：,被断定了的命题。特征：主观断定。,语句（,sentence,）,：,表示事物情况的声音或笔画。,命题函数（propositional function,）,：有变量的判断。,命题和语句的关系：内容与表达形式。1）任何命题都通过语句表达；,2）但并非一一对应：有些语句不表达命题（疑问、祈使、感叹等）；,有些语句表达多个命题，就是所谓的话语歧义。,命题、判断、语句、命题函数,命题逻辑把命题分析为构成复合命题的成分即简单命题，简单命题的真值组合决定整个复合命题的真值。,命题的基本特征,1、首先是符号串，但未必是语句，因为语句是有语法的符号串，取决于不同语言。（与语句属于不同范畴）,2、必须有所断定:或者肯定，或者否定。（与一般语句区别开来）,3、必须有真假之分,即一个命题或者是真的,或者是假的,二者必居其一。（与判断区别开来，与函数区别开来）,命题形式,：,命题的逻辑形式命题形式,命题形式及其种类,模态命题（,modal proposition，,带有“必然”、“可能”等）,简单命题,（,simple proposition，,变项概念）,复合命题,（,compound proposition，,变项命题）,联言,选言,假言,关系命题,（支命题与联结词）,（主、谓项与量词、联项）,（关系者项、量词与关系项）,性质命题,负命题,非模态命题,另一种分类,命题分类,命题逻辑舍弃一个命题的具体内容,而仅仅研究命题的真假问题.它除了命题必须具有真假意义外,不再有其他的要求。逻辑学把真和假称为命题的真值。,二值原则:,任何命题或者是真的，或者是假的。,命题的真值(truth-value of proposition),推理,：从,一个或几个已知命题推出一个新命题的思维形式。,例，,有的大学生是男性，所以，有的男性是大学生。,推理分类,推理及其分类,前提,推理标志词,结论,结构,必然性推理,（演绎推理）,或然性推理,归纳推理,类比推理,简单命题推理,复合命题推理,性质,关系,联、选、假、负,定义,：,反映若干事物情况同时存在,结构,：,联言支,（,conjunct，,若干情况）联结词（,connective，,同时存在）,公式,：,p且q且r pqr（合取式）,自然语句,：,虽然，但是；既，又；不仅，而且；尽管，可是；逗、句、分号,例：,物美价廉这件商品质量好而且这件商品价格便宜,情况组合 符号 物美价廉之真假,1.物美 价廉 p,q 真 t,2.物美 价不廉 p,q 假 f,3.物不美 价廉,p,q 假 f,4.物不美 价不廉,p,q 假 f,联言命题,(conjunctive proposition),p q,pq,t t,t f,f t,f f,t,f,f,f,真值,：,支支真，真；任一支假，假,pq,的真值表,p q p q,2.1 联言命题及其推理,省略式：,省略主项、谓项，主谓项；教科书p30.末例,联言,推理,定义：,前提或结论为联言命题的推理；依据联言命题性质进行的推理,种类：,分解式,依据合取式定义反过来，合取真则支支真。,组合式,依据合取式定义，支支真则合取真,pq p,pq q,（p，q，r）pq r,定义,：,反映若干可能事物情况至少有一种存在,结构,：,选言支（若干可能情况）联结词（至少有一存在）,选言命题,(disjunctive proposition),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,2.3 选言命题及其推理,相容选言命题,(inclusive/weak disjunctive proposition),定义：,选言支可同真,结构：,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,例析,“要么武松打死老虎，要么老虎吃掉武松”,.,不相容选言命题,(exclusive/strong disjunctive proposition,),在自然语言中，“或者”有两种不同的用法.一种可以表达相容的选言命题，另一种可以表达不相容的选言命题。为了区别这两种不同的用法，我们通常用“要么p，要么q”来表示不相容的选言命题，用至少有一表示相容的选言命题。,注 意,选言支穷尽问题,选言支穷尽的命题一定是真命题，但一个真的选言命题不一定是选言支穷尽的,定义,：,根据选言命题性质进行的推理,依据 pq 的性质，至少有一支真，所以,（pq）,p）q,（pq）,q）p,（(pqr）,p）（qr）,但有,选言推理,相容选言推理（,1,）,-,否定肯定式,（pq）p）,q,（pq）q）,p,无效式,案例:,这个统计数字的错误或者是由于原始数据不准确或者是由于计算出了问题，,在统计中计算没有出问题，,所以，这个统计数字的错误是由于原始数据不准确。,相容选言推理（2）-附加式,从A可以推出AB,竖式:,A,AB,横式:AAB,案例:,那个人是约翰,所以，那个人是约翰或者凯文。,（pq）,p）q,（pq）p）,q,不相容选言推理,依据,pq,性质，至多至少有一支真,肯定否定式 根据至多有一支真,对多个支的不相容析取，肯定其一则可否定其余，即,（pqr）p）（,（pq）,（pqr）p）（,q,r,）,（pq r）,p）（qr）,但否定其一，不能肯定剩余的每一个，只能肯定剩余的析取式,否定肯定式 根据至少有一支真,2.4 假言命题及其推理,假言命题,（,hypothetical proposition)/,条件命题,(conditional proposition),定义,：,反映,一事物情况,是,另一事物情况存在,的某种,条件,的命题,前件,(antecedent),后件,(consequent),联结词,如果一个人患了肺炎，那么这个人发烧,关键是前后件关系是否反映两种情况之条件关系,充分条件,(sufficient condition),假言命题,定义,：反映,一事物情况,是另一,事物情况,的存在的充分条件命题,有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,注意,充分条件假言命题与日常生活中充分条件的区别，以及与推出的区别：充分条件假言命题为实质蕴涵（material implication），只考虑前后件的真假与整个命题真假之间的关系，而充分条件只考虑前件为真的情况，推出考虑前件真时后件是否必真，而且有内容上的联系，推出类似于日常的充分条件。,必要条件,(necessary condition),假言命题,定义,：反映,一事物情况,是另一,事物情况,的存在的必要条件命题,结构,：,只有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,充分必要分条件,(sufficient and necessary condition),假言命题,定义,：反映,一事物情况,是另一,事物情况,的存在的,充分且必要条件,命题,结构,：,当且仅当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）,（qp）（q p）,（p,q）,（qp）（p q）,p,q,（p,q）,（q,p）,（p,q）,（pq）,（p,q）,（p q）,（p,q）,（qp）,如果摩擦，则生热,只有生热，才摩擦,如果未生热，则未摩擦,只有发烧，才患肺炎,如果患肺炎，则发烧,如果不发烧，则未患肺炎,一个数能被2整除，当且仅当它是偶数,一个数是偶数，当且仅当它能被2整除,一个数能被2整除，,当且仅当它是偶数,假言推理,根据假言命题性质的推理,充分条件假言推理,根据前件是后件的充分条件；后件是前件的必要条件,（p,q）p）q,（p,q）q）p,肯定前件式,(modus ponendo ponens）,有p必有q,否定后件式,(modus tollendo tollens）,无q必无p,P是q的充分条件,q是p的必要条件,（p,q）q）p,（p,q）p）q,肯定后件式 有q不必有p,否定前件式 无p不必无q,案例：,如果小李报考MBA,那么,小孙,小王和小张也都报考MBA.,如果上述断定为真,则下列哪项也一定为真,A.如果小王不报考MBA,那么小孙也不报考MBA.,B.如果小张不报考MBA,那么小李也不报考MBA.,C.如果小孙,小王和小张报考MBA,那么小李也报考MBA.,D.如果小李不报考MBA,那么小孙,小王和小张三人中至少有一人不报考MBA.,必要条件假言推理,根据前件是后件的必要条件；后件是前件的充分条件,（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,只要对前后件进行一致的肯定或否定，充要条件推理就是有效的,根据转换，三种假言推理中，充分条件假言推理是基本的,假言易位推理,(transposition),假言三段论,(hypothetical syllogism),（p,q）,（q p）,（p,q）,（q p）,充分条件假言易位推理,必要条件假言易位推理,充要条件假言易位推理,（p,q）,（q,p）,两个以上假言命题作前提,充分条件,（,pq）（q r）（p r）,（,pq）（q r）（rp）,肯定式,否定式,必要条件,肯定式,否定式,（p,q）（q r）（rp）,（p,q）（q r）（p r）,混合条件,肯定式,否定式,（,p,q）（q r）（p r）,（p,q）（q r）（p r）,蕴涵析取律,(p q)(p q),(p q)(p q),案例：,“只有认识错误，才能改正错误”。,以下诸项都准确地表达了上述断定的含义，除了：,A.除非认识错误，否则不能改正错误。,B.如果不认识错误，那么就不能改正错误。,C.只要认识错误，就一定改正错误。,D.如果改正错误，说明已经认识错误。,E.不改正错误，就不能认识错误。,2.5 负命题及其推理,负命题,(minus proposition),定义：,否定某个命题的命题 一元联结词,任何一个命题形式都可以加上否定词“并非”（,）,形成其负命题,结构：,联结词“并非”支命题一个,自然语言,：并非；并不是；是假的；是不对的,例析,并非我班所有同学都是中共党员,p,p,t,f,f,t,p,真值：,负命题真，当且仅当原命题假,因此有,双重否定律：,p,p,P,p,p,t,f,f,t,t,f,负命题的等值推理,联言命题负命题推理,（,pq）,（pq）,否定合取得析取，分配否定到变项,充分条件假言命题负命题推理,相容选言命题负命题推理,不相容选言命题负命题推理,（,pq）,（pq）,否定析取得合取，分配否定到变项,德摩根定律,(De Morgans law),（,pq）,（p q）(pq）,（p,q）,（pq,）,必要条件假言命题负命题推理,充要条件假言命题负命题推理,（p,q）,（pq）,（,p,q）,（pq）（pq）,负命题的负命题推理,（p）,p,2.6 复合命题的其他推理,假言选言推理（二难推理,/,dilemma,）,定义：,假言、选言命题构成，假言前提为2者是二难推理,形式：,简单构成式、简单破坏式、复杂构成式、复杂破坏式,p,r,pr,p,p,总之，,r,p,q,pr,q,r,总之，p,p,q,rs,pr,总之，或q或,s,简单构成式,结论不带析取,肯定前件式,前件不同后件同,简单破坏式,结论不带析取,否定后件式,后件不同前件同,复杂构成式,结论带析取,肯定前件式,前后件均不同,p,q,rs,q,s,总之，或,p,或,r,复杂破坏式,结论带析取,否定后件式,前后件均不同,典故,清代学者纪晓岚自幼勤奋好学，当他还是个孩子的时候，就经常到书摊上去看书。掌拒对他总是光看不买，有点不耐烦了。一天，掌拒对他说：“小孩子，我们是靠卖书吃饭的，你要看，就买回去看好了。纪晓岚听了，显出不高兴的样子，歪着小脑袋说：“买书就得先看，不看，怎么知道哪本好？”掌柜的说：“你经常到我这看书，就没有一本好的值得你买了吗？”纪晓岚见掌柜的发火了，就很和气地说：“你这书摊上好的书倒是不少，不过，我看完后也就背得了，还买它有何用？”“看完就能背？”掌柜显出一副不相信的神态，顺手拿起一本纪晓岚刚看过的书说道：“要是你当着我的面把这本书背下来，我就把它白送你，要是你背不下来，就永远别再来看我的书了！”“好，一言为定。”纪晓岚把两只小手一背，果然把那本书背了下来。掌柜大吃一惊，连连称赞，并把那本书送给了纪晓岚。,推理,这段故事中，纪晓岚前半部分的谈话里就包含了如下一个推理：如果是好书，我看完后就背过了，那么，我没必要买；如果不是好书，我看了后当然也没必要买；,或者是好书，或者不是好书；,总之，我只看不买。,半费之讼 的本质,老师的：,AFC,AHC,AA,C,或者：,A（FC）,A（HC）,AA,C,学生的：,AH C,AF C,AA,C,或者：,A（H C）,A（F C）,AA,C,破斥错误的二难推理,推理形式评估,前提审查（充分条件存在否？选言支穷尽否？）,构造相反的二难推理,假言联言推理,定义：,假言命题与联言命题构成；结论为联言命题,形式：,肯定式、否定式,p,q,rs,pr,q s,p,q,rs,qs,p r,实际是一次分解式，两次肯定前件式，一次组合式,实际是一次分解式，两次否定后件式，一次组合式,pr,p,q rs q,p，r p r s,q s qs,qs,p,q rs p,q，s q s r,p r p r,反三段论,如果从若干前提得出一个结论的推理是有效的，那么，若结论为假，则一定至少有一前提为假。如果知道其中的一个前提真，则剩余那个前提一定为假。,三段论：（p,q）,r,反三段论：,（p,q）r）（r p）q,）,（p,q）r）（r q）p）,试展开 已知（p,q）r 再假定,r,p 则有,r，,p（分解式得到），,（p,q）r,（p,q）,（pq）,r,p,（p,q）,q,（p,q）r）（r p）q,不同于,归谬推理,一个命题包含逻辑矛盾，则该命题为假。或，一个命题推出p，又推出p的矛盾命题（,p），则该命题假。,（p,q）（p q）p,展开,p,q，p q,，即是p（q q），而（q q）恒假，即,（q q）恒真，恒真命题可作为前提使用，因此就有,p（q q）,（q q）,p,本章概要,：,命题是有真假的语句。它包括简单命题和复合,命题。复合命题形式有联言命题、选言（相容和不相容）、,假言（充分、必要、充要）和负命题形式。它们有不同的真,值性质。各种复合命题的推理正是根据这些性质进行的推理。,复合命题的定义、结构、真值、推理有效式密切相关。二难,推理、假言联言推理、反三段论和归谬推理是从这些复合命,题推理的基本形式衍生出来的。,3.1 重言式,第三章 命题的自然推理,真值形式与真值函项,真值形式,从自然语言来看逻辑形式，有时需要考虑真假关系之外的因素，如支命题之间的相关性，语句的顺序等。如,如果摩擦，则生热；明天或者有雨，或者无雨,如果225，那么男人就不是男性；或者拉登已死，或者明天下雨,第组至少是令人奇怪的，因为从常识来看，支命题之间缺少相关性。,情有可原，理无可恕；理无可恕，情有可原,支命题顺序不同，意义不同。,可以用类似于几何证明的方法证明所有复合命题的逻辑真理。检验复合命题推理的有效性就变成一种逻辑演算。,但逻辑学难以对付诸如相关性、顺序等影响命题真假的因素。逻辑研究,撇开逻辑联结词在自然语言中的非真值意义，仅从复合命题与支命题之,间的真假制约关系来考虑逻辑联结词，这样，逻辑联结词就成为,真值联,结词,；命题的逻辑形式也就成为,真值形式,。,真值联结词,真值形式,仅仅反映支命题与复合命题之间的真值关系的逻辑联结词,仅仅反映支命题与复合命题之间的真值关系的命题形式,基本真值联结词,否定,合取,析取,蕴涵,等值,基本真值形式,真值形式是命题形式的一部分,“不但，而且”等不是真值形式。在命题逻辑中，,命题形式也就是真值形式。,命题形式的定义,()任何命题变项是命题形式，如，p，q，p,1,()若A与B是命题形式，则,A、AB、A,B、,AB、A,B也是命题形式,（）只有符合,()、()的才是命题形式,5种基本真值形式,p,否定式 p,q,合取式,p,q,析取式 p,q,蕴涵式 p,q 等值式,真值函项,与函数类比,函数讲的是数值关系，一个函数的值依赖于其中变数的值,y,f（x）,，即y的值,f（x）,由x的取值决定。,真值函项讲的是真值（真假）关系，一个真值形式的值依,赖其变项的值，如,pq的值，由p和q的值决定。,每一真值形式都是真值函项；真值形式与真值函项的数目并不一样多，,真值形式的数目无限，真值函项数却是确定的；不同的真值形式，表,达相同的真值函项；真值函项是对公式中变项的真假组合的真值断定，,变项组合数2,n,，对每一组合有真假两种断定，故真值函项数为,2,2,n,。,当n（变项数）为1时，其真假组合为2，对真假组合的断定有4种可能，即真值函项有4个；变项数为2，则真值函项有16个；变项数为3，则真值函项为256个。,P,f,1,f,2,f,3,f,4,t t t f f,f t f t f,真值函项是确定的，但真值形式是无穷的。,f,1,永真式（重言式）,f,4,永假式（矛盾式）,f,2,f,3,可满足式（可真可假）,永真式表达逻辑规律，永假式的否定也是永真式，逻辑主要研究重言式,p,p,p,p,（pp）,p,p,pp,（p）,p,p,p,pp,pp,（p,p）,（pp）,若变项数为2，则真值函项总数是16，但其真值函项的种类仍是3类，即,重言式、矛盾式和可满足式：,f,1,是重言式，,f,16,是矛盾式，,f,2,f,15,是可满,足式,f,1,f,2,f,3,f,4,p q,f,1,f,2,f,3,f,4,f,5,f,6,f,7,f,8,f,9,f,10,f,11,f,12,f,13,f,14,f,15,f,16,t t t t t t t t t t f f f f f f f f,t f t t t t f f f f t t t t f f f f,f t t t f f t t f f t t f f t t f f,f f t f t f t f t f t f t f t f t f,f,1,pq,p;p,p,q;(,p,q),(pq)(,p,q),(pq),等,f,2,p,q;(,p,q),等,f,3,p,q；q,p；,p,q,等,f,4,p,(q q)；p（qq),等,f,5,p,q；pq；q,p,等,f,6,q,(p p)；q（pp),等,f,7,p,q;(,p,q)(,p,q),f,8,p,q;,(,p,q),f,9,f,8,的矛盾式,f,10,f,7,的矛盾式,f,11,f,6,的矛盾式,f,12,f,5,的矛盾式,f,13,f,4,的矛盾式,f,14,f,3,的矛盾式,f,15,f,2,的矛盾式,f,16,f,1,的矛盾式,随着变项数目的增加，函项数也增加，当变项数目为3时，函项数目达到256个。但不管函项数是多少，重言式的函项只是一个，矛盾式的函项也是一个，其余均是可满足式。真值函项有3类，那么，表达真值函项的真值形式也有3类：重言式（永真式）、矛盾式（永假式）和可满足式（可真可假式）。当然，每一类真值函项包括很多的真值形式，而同一类真值函项的真值形式是等值的。,通过研究真值函项，使我们看到无穷的真值形式中的同一的和本质,的东西，即不同形式的真值形式（公式）表达相同的真值函项。而且，,可以把纷繁的真值形式加以归类，因为有多少真值函项，就有多少真值,形式的类，使逻辑研究集中于规律性的东西上。逻辑主要研究重言式。,重言式,重言式是逻辑真理的表现形式，是关于复合命题的逻辑规律,其中的重言蕴涵式、重言等值式表达有效推理,常见的重言式（逻辑规律）见教科书p8384,3.2 命题的真值判定方法,真值表方法,真值表的作用,定义作用,：5个基本真值形式的真值,表定义了5个真值形式。如，什么是,合取式？回答是，每一支命题为真，,则它为真的,那种真值形,式，这正是,合取式的真,值表反映的,情况。,p q,pq,t t,t f,f t,f f,t,f,f,f,判定作用,：,1、判定一个公式的性质（重言,式，矛盾式或可满足式）；,2、判定任意多个公式的关系,（等值或矛盾等）；,3、判定一个推理是否有效，即,它是否一个重言的蕴涵式或,等值式。,真值表的作法,分解公式。把一复杂公式分解为支命题和命题变项。如,（p,q）r）（r p）q）,先找到主联结词，即最大括号外的联