培养批判性思维习惯.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学时 学习技巧：课堂理解 多做作业 留心应用,授课教师：武宏志（1957-)，汉族，陕西榆林市人，教授，“唯物辩证法与论辩逻辑”方向硕士研究生导师。1982年1月毕业 于延安大学政教系政治教育专业，获哲学学士学位。1987年7月毕业于中国人民大学哲学系逻辑学研究生班。学术方向为论证 逻辑和谬误。著有谬误研究等，公开发表论文近百篇。Email:Tel.2332395（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是Px（SxPx）,太阳是恒星,“太阳”是两个汉字,“太阳是两个汉字”是对的,1.2 学习逻辑的意义,逻辑的性质,工具性，普遍性，抽象性，非政治性,学习逻辑的意义,培养批判性思维习惯与能力思维创新的前提理解、论说的基础工具,批判性思维是以鉴别一个人思维的力量与弱点的方式来思考其思维的能力，它以一种改良的形式重铸思维。这种对思维的反思包括，识别思想的基本要素：目的、问题、信息、假设、解释、概念、含意、观点等，以及使用诸如清晰性、准确性、精确性、相关性、深度、广度和逻辑性等等普遍智力规范和标准评价这些要素的能力。,任何学科理论都有目标和关于那些目标的逻辑结构集：假设、概念、主题、资料、理论、主张、含意、推论（后承）等等。某些概念在逻辑上比其他的更基本。每一学科都依赖概念、假设和理论，做出主张，给出理由和证据，避免矛盾等等。每一学科都应用着逻辑。,学习逻辑的方法,重点是理解；作业是手段；文本分析是关键作业：p20.二,本章概要：逻辑是研究思维的逻辑形式及其基本规律以及简单逻辑方法的科学。任何逻辑形式都包括逻辑常项和逻辑变项。变项符号有两类，一类代表词项（S、P），一类代表语句（p、q）。逻辑形式的性质主要由逻辑常项决定。逻辑有三大源流。逻辑是工具性质的科学。学习逻辑可以提高批判性思维能力。学好逻辑的关键是对实际会话和文本进行逻辑分析。,2.1 概 述,第二章 命题逻辑,命题：通过语句反映事物情况的思维形式。特征：有真假真值判断：被断定了的命题。特征：主观断定。语句：表示事物情况的声音或笔画。命题和语句的关系：内容与表达形式。1）任何命题都通过语句表达；2）但并非一一对应：有些语句不表达命题（疑问、祈使、感叹等）；数句一命题；一句数命题,命题、判断、语句,命题逻辑把命题分析为构成复合命题的成分即简单命题，简单命题的真值组合决定整个复合命题的真值。,命题形式：命题的逻辑形式命题形式,命题形式及其种类,模态命题（带有“必然”、“可能”等）,简单命题（变项概念）,复合命题（变项命题）,联言,选言,假言,关系命题,（支命题与联结词）,（主、谓项与量词、联项）（关系者项、量词与关系项）,性质命题,负命题,非模态命题,另一种分类,命题分类,推理：从一个或几个已知命题推出一个新命题的思维形式。例，有的大学生是男性，所以，有的男性是大学生。推理分类,推理及其分类,前提,推理标志词,结论,结构,必然性推理（演绎推理）,或然性推理,归纳推理,类比推理,简单命题推理,复合命题推理,性质,关系,联、选、假、负,定义：反映若干事物情况同时存在结构：联言支（若干情况）联结词（同时存在）公式：p且q且r pqr（合取式）自然语句：虽然，但是；既，又；不仅，而且；尽管，可是；逗、句、分号例：物美价廉这件商品质量好而且这件商品价格便宜 情况组合 符号 物美价廉之真假 1.物美 价廉 p,q 真 t 2.物美 价不廉 p,q 假 f 3.物不美 价廉 p,q 假 f 4.物不美 价不廉 p,q 假 f,联言命题,p q,pq,t tt ff tf f,t f f f,真值：支支真，真；任一支假，假,pq的真值表,p q p q,2.1 联言命题及其推理,省略式：省略主项、谓项，主谓项；教科书p30.末例 联言推理定义：前提或结论为联言命题的推理；依据联言命题性质进行的推理种类：分解式 依据合取式定义反过来，合取真则支支真。组合式 依据合取式定义，支支真则合取真,pq p,pq q,（p，q，r）pq r,定义：反映若干可能事物情况至少有一种存在结构：选言支（若干可能情况）联结词（至少有一存在）,选言命题,p q,pq,t tt ff tf f,t t t f,真值：支支假，假,pq的真值表,情况组合 符号 命题真假 1.不可靠 有错误 p,q 真 t2.不可靠 无错误 p,q 真 t3.可靠 有错误 p,q 真 t4.可靠 无错误 p,q 假 f,2.3 选言命题及其推理,相容选言命题,定义：选言支可同真 结构：p或q pq（为相容析取）自然语句：或，或；可能，也可能；也许，也许 例“此报告或材料不可靠，或计算有错误”,定义：选言支不同真 结构：选言支（可能情况）联结词（不能同时存在）要么p，要么q pqr（为不相容析取）自然语句：不是，就是；或，或，二者不可兼得等,p q,pq,t tt ff tf 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）（qr）,（pq r）p）（qr）,但否定其一，不能肯定剩余的每一个，只能肯定剩余的析取式,否定肯定式 根据至少有一支真,2.4 假言命题及其推理,假言命题,定义：反映一事物情况是另一事物情况的存在条件的命题 前件 后件 联结词 如果一个人患了肺炎，那么这个人发烧关键是前后件关系是否反映两种情况之条件关系,充分条件假言命题,定义：反映一事物情况是另一事物情况的存在的充分条件命题,有p必有q，无p未必无q,1、p，q2、p，q3、p，q4、从未有p而q,P是q的充分条件,1，4 2，3,结构：若p则q pq自然语句：假使，那么；倘若，则；只要，就；要是，就；当，便；一旦，就；如果，则,例析“如果一个物体摩擦，那么这个物体生热”,情况组合 符号 命题真假1.摩擦，生热 p,q 真 t 2.摩擦，不生热 p,q 假 f3.不摩擦，生热 p,q 真 t4.不摩擦，不生热 p,q 真 t真值：前（件）真而后（件）假，则假 前（件）假，或后（件）真，则真,p q,pq,t tt ff tf f,t f t t,必要条件假言命题,定义：反映一事物情况是另一事物情况的存在的必要条件命题,结构：只有p才q pq 自然语句：只有，才；除非，不；没有，就没有,例析“只有一个人年满18岁，他才有选举权”,真值：前（件）假而后（件）真，则假 前（件）真，或后（件）假，则真,p q,pq,t tt ff tf f,t t f t,有p未必有q，无p必定无q,P是q的必要条件,1，2 3，4,1、p，q2、p，q3、p，q4、从未有p而q,情况组合 符号 命题真假1.年满18，有选举权 p,q 真 t 2.年满18，无选举权 p,q 真 t3.未满18，有选举权 p,q 假 f4.未满18，无选举权 p,q 真 t,充分必要分条件假言命题,定义：反映一事物情况是另一事物情况的存在的充分且必要条件命题,结构：当且仅当p才q pq自然语句：当且仅当；如果，则；如果不，则不,例析,p q,pq,t tt ff tf f,t f f t,情况组合 符号 命题真假1.偶数，被2整除 p,q 真 t 2.偶数，不被2整除 p,q 假 f3.不是偶数，但被2整除 p,q 假 f4.不是偶数，不被2整除 p,q 真 t,“一个数是偶数，当且仅当它能被2整除”,有p未必有q，无p必定无q,充分条件,有p必有q，无p未必无q,必要条件,充要条件,有p必有q，无p必无q（P等值于q）,真值：前后件同真假，则,真,条件命题的转换,（pq）（qp）（q p）,（pq）（qp）（p q）,pq,（pq）（qp）,（pq）（pq）,（pq）（p q）,（pq）（qp）,如果摩擦，则生热只有生热，才摩擦如果未生热，则未摩擦,只有发烧，才患肺炎如果患肺炎，则发烧如果不发烧，则未患肺炎,一个数能被2整除，当且仅当它是偶数一个数是偶数，当且仅当它能被2整除,一个数能被2整除，当且仅当它是偶数,假言推理,根据假言命题性质的推理,充分条件假言推理,根据前件是后件的充分条件；后件是前件的必要条件,（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,必要条件假言推理,根据前件是后件的必要条件；后件是前件的充分条件,（pq）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,根据pq等值于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）（q p）,（p q）（q p）,充分条件假言易位推理,必要条件假言易位推理,充要条件假言易位推理,（p q）（q p）,两个以上假言命题作前提,充分条件,（pq）（q r）（p r）,（pq）（q r）（rp）,肯定式,否定式,必要条件,肯定式,否定式,（pq）（q r）（rp）,（pq）（q r）（p r）,混合条件,肯定式,否定式,（pq）（q r）（p r）,（pq）（q r）（p r）,2.5 负命题及其推理,负命题,定义：否定某个命题的命题 一元联结词 任何一个命题形式都可以加上否定词“并非”（）形成其负命题结构：联结词“并非”支命题一个自然语言：并非；并不是；是假的；是不对的,例析 并非我班所有同学都是中共党员,p,p,t f,f t,p,真值：负命题真，当且仅当原命题假 因此有 双重否定律：p p,P p p,tf,ft,tf,负命题的等值推理,联言命题负命题推理,（pq）（pq）,否定合取得析取，分配否定到变项,充分条件假言命题负命题推理,相容选言命题负命题推理,不相容选言命题负命题推理,（pq）（pq）,否定析取得合取，分配否定到变项,德摩根定律,（pq）（p q）(pq）,（p q）（pq）,必要条件假言命题负命题推理,充要条件假言命题负命题推理,（pq）（pq）,（pq）（pq）（pq）,负命题的负命题推理,（p）p,2.6 复合命题的其他推理,假言选言推理（二难推理）,定义：假言、选言命题构成，假言前提为2者是二难推理形式：简单构成式、简单破坏式、复杂构成式、复杂破坏式,prprpp总之，r,pqprqr总之，p,pqrspr总之，或q或s,简单构成式结论不带析取肯定前件式前件不同后件同,简单破坏式结论不带析取否定后件式后件不同前件同,复杂构成式结论带析取肯定前件式前后件均不同,pqrsqs总之，或p或r,复杂破坏式结论带析取否定后件式前后件均不同,破斥错误的二难推理,推理形式评估前提审查（充分条件存在否？选言支穷尽否？）构造相反的二难推理,假言联言推理,定义：假言命题与联言命题构成；结论为联言命题形式：肯定式、否定式,pqrsprq s,pqrsqs p r,实际是一次分解式，两次肯定前件式，一次组合式,实际是一次分解式，两次否定后件式，一次组合式,pr pq rs qp，r p r s q s qs,qs pq rs p q，s q s r p r p r,反三段论,如果从若干前提得出一个结论的推理是有效的，那么，若结论为假，则一定至少有一前提为假。如果知道其中的一个前提真，则剩余那个前提一定为假。,三段论：（pq）r反三段论：,（pq）r）（r p）q）,（pq）r）（r q）p）,试展开 已知（pq）r 再假定 r p 则有r，p（分解式得到），（pq）r（pq）（pq）r p（pq）q,（pq）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，p1()若A与B是命题形式，则A、AB、AB、AB、AB也是命题形式（）只有符合()、()的才是命题形式,5种基本真值形式 p 否定式 p q 合取式 pq 析取式 pq 蕴涵式 pq 等值式,真值函项,与函数类比,函数讲的是数值关系，一个函数的值依赖于其中变数的值yf（x），即y的值f（x）由x的取值决定。真值函项讲的是真值（真假）关系，一个真值形式的值依赖其变项的值，如pq的值，由p和q的值决定。,每一真值形式都是真值函项；真值形式与真值函项的数目并不一样多，真值形式的数目无限，真值函项数却是确定的；不同的真值形式，表达相同的真值函项；真值函项是对公式中变项的真假组合的真值断定，变项组合数2n，对每一组合有真假两种断定，故真值函项数为22n。,当n（变项数）为1时，其真假组合为2，对真假组合的断定有4种可能，即真值函项有4个；变项数为2，则真值函项有16个；变项数为3，则真值函项为256个。,P f1 f2 f3 f4t t t f ff t f t f,真值函项是确定的，但真值形式是无穷的。,f1 永真式（重言式）f4 永假式（矛盾式）f2 f3 可满足式（可真可假）,永真式表达逻辑规律，永假式的否定也是永真式，逻辑主要研究重言式,pp p p（pp）,pp pp（p）,p p p pp,pp（p p）（pp）,若变项数为2，则真值函项总数是16，但其真值函项的种类仍是3类，即重言式、矛盾式和可满足式：f1 是重言式，f16 是矛盾式，f2 f15是可满足式,f1 f2 f3 f4,p q f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16 t t t t t t t t t t f f f f f f f ft f t t t t f f f f t t t t f f f ff t t t f f t t f f t t f f t t f ff f t f t f t f t f t f t f t f t f,f1 pq p;p pq;(pq)(pq)(pq)(pq)等f2 pq;(pq)等 f3 p q；q p；pq等 f4 p(q q)；p（qq)等 f5 p q；pq；q p等 f6 q(p p)；q（pp)等,f7 pq;(p q)(p q)f8 pq;(p q)f9 f8 的矛盾式 f10 f7 的矛盾式 f11 f6 的矛盾式 f12 f5 的矛盾式,f13 f4 的矛盾式 f14 f3 的矛盾式 f15 f2 的矛盾式 f16 f1 的矛盾式,随着变项数目的增加，函项数也增加，当变项数目为3时，函项数目达到256个。但不管函项数是多少，重言式的函项只是一个，矛盾式的函项也是一个，其余均是可满足式。真值函项有3类，那么，表达真值函项的真值形式也有3类：重言式（永真式）、矛盾式（永假式）和可满足式（可真可假式）。当然，每一类真值函项包括很多的真值形式，而同一类真值函项的真值形式是等值的。,通过研究真值函项，使我们看到无穷的真值形式中的同一的和本质的东西，即不同形式的真值形式（公式）表达相同的真值函项。而且，可以把纷繁的真值形式加以归类，因为有多少真值函项，就有多少真值形式的类，使逻辑研究集中于规律性的东西上。逻辑主要研究重言式。,重言式,重言式是逻辑真理的表现形式，是关于复合命题的逻辑规律其中的重言蕴涵式、重言等值式表达有效推理,常见的重言式（逻辑规律）见教科书p8384,3.2 命题的真值判定方法,真值表方法,真值表的作用,定义作用：5个基本真值形式的真值表定义了5个真值形式。如，什么是合取式？回答是，每一支命题为真，则它为真的 那种真值形 式，这正是 合取式的真 值表反映的 情况。,p q,pq,t tt ff tf f,t f f f,判定作用：1、判定一个公式的性质（重言 式，矛盾式或可满足式）；2、判定任意多个公式的关系（等值或矛盾等）；3、判定一个推理是否有效，即 它是否一个重言的蕴涵式或 等值式。,真值表的作法,分解公式。把一复杂公式分解为支命题和命题变项。如,（pq）r）（r p）q）,先找到主联结词，即最大括号外的联结词。蕴涵号 得到（pq）r）和（r p）q）再行分解得到pq 和r；r p和q 按变项最简单公式复杂公式顺序排列p，q，r，q，r，pq，r p，（pq）r，（r p）q，最后是总公式（pq）r）（r p）q）可以坚持一条原则：一公式的支命题在前，该公式在后，因此顺序也可排为p，q，r，q，r，pq，（pq）r，r p,（r p）q，只要保证，被判定的公式的支命题在先已经赋值即可。然后画表，先画一个偏十字或表格，将分解后的公式成分由简到繁写进表,（pq）r）（r p）q）的真值表作法第一步：分解公式，画表 3个变项，其真假组合共有238种可能因此有8行；变项有3个，整个公式可分解为7部分，共有10列。,第二步：由简到繁填入欲赋值的公式,第三步：给变项赋值（技巧：先给最后一个变项按一真一假赋值，再给第2个变项按两真两假赋值；再给第一个变项按四真四假赋值）,第四步：依次按照5个基本真值形式的真值表给每个子公式赋值,第五步：根据真值表中的总公式即最后一列的赋值，对公式做出判定。此总公式下每一行均为真，故该蕴涵式为重言式，即一个有效推理形式。,判定多个公式的性质或关系,可以看出：第5列与第6列取值完全相反，二者为矛盾关系 第6列与第7列取值完全相同，二者为等值关系 第6列与第9列取值完全相同，二者为等值关系 第8列每一行取值均为真，是重言式,1 2 3 4 5 6 7 8 9,简化的真值表方法（归谬赋值法）,仅适用于蕴涵式是否重言式的判定。蕴涵式表达一个推理形式，因此也是一种判定复合命题推理是否有效的方法。由于其他的公式可以转换成蕴涵式，所以，这是一种有一定普遍性的方法。原理：一个公式或真或假；否定一个矛盾式，就得到一个重言式；否定一个重言式，就得到一个矛盾式；假设一个公式为假，如果至少一个变项的赋值必定出现矛盾（既赋真，又赋假），则表明原来的假设是错误的，否定假，就得到真，即原公式是重言式。步骤：1、写出被判定公式的横式（如有必要将其转换成蕴涵式）；2、假设该蕴涵式为假；3、依次按照基本真值形式的定义，给每一变项赋值；4、看得到赋值后的任一变项是否必然矛盾；5、若至少有一变项的赋值必然矛盾，则原公式是重言式，它表达的推理是有效的；否则不是重言式，相应的推理是无效的。第一步：,（p q）q）p,（p q）q）p,F,第二步：假设蕴涵式为假,（p q）q）p,第三步：给变项赋值(1)(2)(3),T F F,（p q）q）p,（p q）q）p,F T F T T F F F T,T T T F F,（p q）q）p,F,或者另一种可能 T T T T T F F F T,第四步：判定。变项p的赋值矛盾，所以该公式是重言式，对应的推理是有效的。,（p q）r）（r p）q）,1 F2 T F 3 T F 4 T T T5 F F6 T F F,变项q的赋值必然出现矛盾，故该蕴涵式（推理）是有效的。若使得q不出现矛盾，则p必定出现矛盾；若使p、q不出现矛盾，则r必定矛盾。总之，三个变项必有一个出现矛盾，因此，赋值后变项出现矛盾是必然的。,3.2 命题的自然推理,自然推理系统的构成,初始符号,命题变项符号p，q，r，p1，p2，pn5个基本真值联结词,形成规则,()任何命题变项是命题形式，如，p，q，p1()若A与B是命题形式，则A、AB、AB、AB、AB也是命题形式（）只有符合()、()的才是命题形式,推理规则,10条,建立证明的规则,从给定的前提或假设出发，运用推理规则，得到所要求的结论。在这一过程中，除了用到上述东西而外，再无其他东西。,推理规则,（1）重现律 A A（2）蕴涵消去律 _ A,AB B（3）蕴涵引入律+A AB（4）合取引入律+A，B AB,B,（5）合取消去律 _ AB AB A B（6）析取引入律 A B AB AB（7）析取消去律 A B AB C C C,（8）否定引入律 A B B A（9）否定消去律 A A（10）等值引入律 A B B A AB,例1,1.p q 2.q r/p r 3.P AP4.q 1,3 _5.r 2,4 _6.pr 3,5+,例2,1.p q 2.q/p 3.P AP4.q 1,3 _5.qq 2,4+6.p 3,5+,例3,p q 2.r s 3.pr/qs 4.P AP5.q 1,4 _6.qs 5,+7.r AP8.s 2,7 _9.qs 8,+10.qs 3,9 _,p r pr qs qs qs,证明逻辑公式，就是证明无前提公式（前提均为假设）,例4 证明 pp,1.p AP/pp2.p 1,重现律3.pp 1,2+,例5 证明p p,例6 证明 pq qp,1.p AP2.p AP3.pp 1,2+4.p 2,3+5.p p 1,4+,1.pq AP2.P AP3.qp 2,+4.q AP5.qp 4,+6.qp 25,_7.pq qp 1,6+,例7 证明(p(q s)(q(p s),1.p(q s)AP2.q AP3.p AP4.q s 1,3 _5.s 2,4 _6.ps 3,5+7.q(p s)2,6+8.p(q s)(q(p s)1,7+,本章概要：现代逻辑运用形式语言研究命题逻辑。仅从真值角度来看，命题形式就是真值形式。真值形式和其变项的关系是函数关系，真值形式是真值函项的表达形式。基本真值联结词有5个：否定、合取、析取、蕴涵、等值。基本真值形式包括否定式、合取式、析取式、蕴涵式和等值式。真值函项的个数是 2 2 n 个（n是变项的数目）。真值函项有三类：永真式（重言式）、永假式（矛盾式）和可满足式。同一真值函项的真值形式是等值的。矛盾式的否定是重言式，重言式的否定是矛盾式。重言式即是逻辑规律。重言蕴涵式表达有效推理。由于真值形式的值唯一地由其变项的真值组合决定，因此其值可以用机械的方法加以判定。根据有效推理是一重言蕴涵式这一性质，可以用归谬赋值法来确定一个推理是否有效。其要点是：假设蕴涵式假，进行推导，如果必然得到至少一个赋值矛盾的变项，则蕴涵式是有效推理形式。现代逻辑的命题逻辑是一个形式系统，所有逻辑真理，或是该系统的推理规则（10条）之一，或是其一个定理。对一个定理的证明仅利用前提、假设、推理规则来进行。,4.1 概念及其特征,第四章 概念,复合命题的性质及其推理的有效性通过分析构成它的命题成分就可揭示出来。但是，那些简单命题及其构成的推理的特性，用如此的办法并不能奏效。如，“所有团员是青年，所以，有些青年是团员”，这一推理的有效性，就不能用前边分析复合命题及其推理的方法显示出来。因为，“p，所以q”是无效的，而事实上这一推理是完全合乎逻辑的。其实，这一推理的有效性是建立在两个命题里的概念之间的关系上的。这样，我们就需要研究概念的种种问题，以便我们能够分析另一类推理即简单命题的推理。,概念是思维之网的纽结。我们对世界的认识成果都通过概念而巩固起来。,何谓概念,概念是反映对象特有属性或本质属性的思维形式。反映：表明概念是一种主观的形式，但有客观的内容。对象：客观的事物、现象；人的感觉、表象，思想意识，情感意志等，总之，一切可以成为人的认识对象的东西。属性：性质和关系。特有属性：该对象所有，其他对象不具有的属性。非特有属性是并不为 某对象专有的属性。借助特有属性，可以把一对象和其他对 象区别开来。特有属性反映为初级概念，此