课程目的培养批判性思维习惯.ppt

badreasoningwellasgoodreasoningispossible;andthisfactisthefoundationofthepracticalsideoflogic.CharlesSandersPeirce,逻辑学,Logic,课程目的：培养批判性思维习惯；掌握评估论证的标准和技巧；提高理解能力和论说水平计划学时：72或54学时学习技巧：课堂理解多做作业留心应用,授课教师：武宏志（1957-)，汉族，陕西榆林市人，教授，“唯物辩证法与论辩逻辑”方向硕士研究生导师。1982年1月毕业于延安大学政教系政治教育专业，获哲学学士学位。1987年7月毕业于中国人民大学哲学系逻辑学研究生班。学术方向为论证逻辑和谬误。著有谬误研究等，公开发表论文近百篇。Email:yaydwhzyaydkychyaydwhzTel.2332395（H）,1.1逻辑是什么,逻辑简史与逻辑类型,逻辑的语源学,逻各斯、Logic、名学、辩学等。,“逻辑”的多义性客观规律；思维规律、规则；看问题的视角、方法；逻辑学等逻辑学简史先秦名辩名学和辩学的合称。主要指先秦诸子关于名和辩的逻辑思想和理论，泛指中国古代的逻辑思想。整个先秦逻辑思想就是一个以正名为重点，包括名、辞、说、辩在内的古代逻辑学说。,第一章引论,逻辑是探求区分好论证与坏论证的方法和规则的科学。逻辑使人严谨。,墨经之小取，是中国古典逻辑的一个,名家代表人物,纲要，比较集中完整地讨论了逻辑的基本内容。墨经是墨家创始人墨翟思想的发展。后期墨家在逻辑理论方面作出了重要贡献。他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的定义，并对“名”、“辞”、“说”作了深入研究。论述了“辟”（比喻）、“侔”（附比）、“援”（类比）、“推”（间接的归纳与演绎）四种形式的推理(见后期墨家逻辑)。这些思想，在中国古代逻辑史上占有重要地位。,印度因明从古代论辩术发展而来。先是五支论式，后发展为三支论式（宗、因、喻）。在分析正确论证和推理的同时，十分注重论证的“过”和反驳的“过”。因明于唐代传入我国并得到发展。,墨子,西方逻辑,西方逻辑学创始人。工具论6篇奠定了逻辑的基础。主要贡献是对三段论的系统研究。,斯多葛学派于三段论之外，研究了命题逻辑。,提出理想语言和推理是计算的思想而成为现代逻辑的先驱。,批判了形式逻辑，研究了辩证思维，构造了辩证逻辑的体系。,新工具针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。三表法。,揭示了思维的辩证矛盾。,证明了狭谓词演算的有效公式皆可证；如果一个初等数论的形式系统一致，则它是不完全的；这种系统的一致性在本系统中不能证明，更不能用有穷方法证明。他的这些工作正面或反面地，或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题,现代归纳逻辑的发展有两个方向：“经典”数理统计方向和由J.M.凯因斯和F.P.拉姆齐开创，流行于5080年代初期的贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑作为处理归纳推理的工具。科恩指出，支持度可列为不同的等级，不同等级的支持度，就是证据给予假设不同等级的必然性，一个被证明了的理论就是由较低级的必然性达到较高级的必然性。,把概率作为一个逻辑概念来处理，区别于以相对频率为根据的统计概率。逻辑概率是一切不,具有演绎必然性的归纳推理的基础，关于逻辑概率的理论就是归纳逻辑。它可给出假说的相对于给定证据的确认度,严格的因果陈述只是概率陈述的极限情况，科学中尤其是量子力学中的因果概念，并不一定要求概率接近,于1。一切科学陈述均是概率陈述，科学的逻辑是取值为区间01上的全部实数的概率逻辑,逻辑的类型,SusanHaackPhilosophyofLogics列出的逻辑的范围,TraditionalLogic三段论ClassicalLogic二值命题、谓词演算（狭义数理逻辑）ExtendedLogics模态、时态、规范、认知、择优、祈使、问句逻辑DeviateLogics多值、直觉、量子、自由逻辑InductiveLogics归纳逻辑,N.RescherTopicsinPhilosophicalLogic逻辑分支一览表,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,或者或者,或者老张是导演，或者老张是演员,他或者吃米饭，或者吃面条,并非,并非人是由石头变来的,并非人人有自知之明,推理的逻辑形式,推理由命题组成，如果用相同的字母替换相同的具体内容，就可得到推理的逻辑形式,所有团员是青年，所以，有的青年是团员,SPPS,所有哲学家是思想家，亚里士多德是哲学家，所以，亚里士多德是思想家,MPSMSP,所有M是P，所有S是M，所以，所有S是P,所有S是P，所以，有的P是S,不同类型的命题可组成不同类型的推理如：,如果一个人患肺炎（p），那么他发烧（q），小张不发烧（非q），所以，他未患肺炎（非p）,如果p，那么q非q所以，非p,要么你交钱（p），要么你交命（q）你交了钱（p）所以，你不用交命（非q）,要么p，要么qP所以，非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且rpqr（合取式）自然语句：虽然，但是；既，又；不仅，而且；尽管，可是；逗、句、分号例：物美价廉这件商品质量好而且这件商品价格便宜情况组合符号物美价廉之真假1.物美价廉p,q真t2.物美价不廉p,q假f3.物不美价廉p,q假f4.物不美价不廉p,q假f,联言命题,pq,pq,tttfftff,tfff,真值：支支真，真；任一支假，假,pq的真值表,pqpq,2.1联言命题及其推理,省略式：省略主项、谓项，主谓项；教科书p30.末例联言推理定义：前提或结论为联言命题的推理；依据联言命题性质进行的推理种类：分解式依据合取式定义反过来，合取真则支支真。组合式依据合取式定义，支支真则合取真,pqp,pqq,（p，q，r）pqr,定义：反映若干可能事物情况至少有一种存在结构：选言支（若干可能情况）联结词（至少有一存在）,选言命题,pq,pq,tttfftff,tttf,真值：支支假，假,pq的真值表,情况组合符号命题真假1.不可靠有错误p,q真t2.不可靠无错误p,q真t3.可靠有错误p,q真t4.可靠无错误p,q假f,2.3选言命题及其推理,相容选言命题,定义：选言支可同真结构：p或qpq（为相容析取）自然语句：或，或；可能，也可能；也许，也许例“此报告或材料不可靠，或计算有错误”,定义：选言支不同真结构：选言支（可能情况）联结词（不能同时存在）要么p，要么qpqr（为不相容析取）自然语句：不是，就是；或，或，二者不可兼得等,pq,pq,tttfftff,fttf,真值：至少有一存在，但不能同时存在即至少且至多有一存在，也即唯一支真唯一支真，真,pq的真值表,情况组合符号命题真假1.虎死，松死p,q假f2.虎死，松未死p,q真t3.虎未死，松死p,q真t4.虎未死，松未死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）,（pqr）p）（qr）,但否定其一，不能肯定剩余的每一个，只能肯定剩余的析取式,否定肯定式根据至少有一支真,2.4假言命题及其推理,假言命题,定义：反映一事物情况是另一事物情况的存在条件的命题前件后件联结词如果一个人患了肺炎，那么这个人发烧关键是前后件关系是否反映两种情况之条件关系,充分条件假言命题,定义：反映一事物情况是另一事物情况的存在的充分条件命题,有p必有q，无p未必无q,1、p，q2、p，q3、p，q4、从未有p而q,P是q的充分条件,1，42，3,结构：若p则qpq自然语句：假使，那么；倘若，则；只要，就；要是，就；当，便；一旦，就；如果，则,例析“如果一个物体摩擦，那么这个物体生热”,情况组合符号命题真假1.摩擦，生热p,q真t2.摩擦，不生热p,q假f3.不摩擦，生热p,q真t4.不摩擦，不生热p,q真t真值：前（件）真而后（件）假，则假前（件）假，或后（件）真，则真,pq,pq,tttfftff,tftt,必要条件假言命题,定义：反映一事物情况是另一事物情况的存在的必要条件命题,结构：只有p才qpq自然语句：只有，才；除非，不；没有，就没有,例析“只有一个人年满18岁，他才有选举权”,真值：前（件）假而后（件）真，则假前（件）真，或后（件）假，则真,pq,pq,tttfftff,ttft,有p未必有q，无p必定无q,P是q的必要条件,1，23，4,1、p，q2、p，q3、p，q4、从未有p而q,情况组合符号命题真假1.年满18，有选举权p,q真t2.年满18，无选举权p,q真t3.未满18，有选举权p,q假f4.未满18，无选举权p,q真t,充分必要分条件假言命题,定义：反映一事物情况是另一事物情况的存在的充分且必要条件命题,结构：当且仅当p才qpq自然语句：当且仅当；如果，则；如果不，则不,例析,pq,pq,tttfftff,tfft,情况组合符号命题真假1.偶数，被2整除p,q真t2.偶数，不被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）（qp）,（pq）（qp）（pq）,pq,（pq）（qp）,（pq）（pq）,（pq）（pq）,（pq）（qp）,如果摩擦，则生热只有生热，才摩擦如果未生热，则未摩擦,只有发烧，才患肺炎如果患肺炎，则发烧如果不发烧，则未患肺炎,一个数能被2整除，当且仅当它是偶数一个数是偶数，当且仅当它能被2整除,一个数能被2整除，当且仅当它是偶数,假言推理,根据假言命题性质的推理,充分条件假言推理,根据前件是后件的充分条件；后件是前件的必要条件,（pq）p）q,（pq）q）p,肯定前件式有p必有q否定后件式无q必无p,P是q的充分条件q是p的必要条件,（pq）q）p,（pq）p）q,肯定后件式有q不必有p否定前件式无p不必无q,必要条件假言推理,根据前件是后件的必要条件；后件是前件的充分条件,（pq）p）q,（pq）q）p,否定前件式无p必无q肯定后件式有q必有p,P是q的必要条件q是p的充分条件,（pq）p）q,（pq）q）p,肯定前件式有p不必有q否定后件式无q不必无p,根据pq等值于qp，pq因此，两个有效式相当于,（qp）p）q,（qp）q）p,（pq）p）q,（pq）q）p,充要条件假言推理,根据前件是后件的充分条件；前件是后件的必要条件后件是前件的充分条件；后件是前件的必要条件,（pq）p）q,（pq）p）q,肯定前件式有p必有q否定前件式无p必无q,P与q互为充分条件互为必要条件,（pq）q）p,（pq）q）p,肯定后件式有q必有p否定后件式无q必无p,只要对前后件进行一致的肯定或否定，充要条件推理就是有效的根据转换，三种假言推理中，充分条件假言推理是基本的,假言易位推理,假言联锁推理,（pq）（qp）,（pq）（qp）,充分条件假言易位推理,必要条件假言易位推理,充要条件假言易位推理,（pq）（qp）,两个以上假言命题作前提,充分条件,（pq）（qr）（pr）,（pq）（qr）（rp）,肯定式,否定式,必要条件,肯定式,否定式,（pq）（qr）（rp）,（pq）（qr）（pr）,混合条件,肯定式,否定式,（pq）（qr）（pr）,（pq）（qr）（pr）,2.5负命题及其推理,负命题,定义：否定某个命题的命题一元联结词任何一个命题形式都可以加上否定词“并非”（）形成其负命题结构：联结词“并非”支命题一个自然语言：并非；并不是；是假的；是不对的,例析并非我班所有同学都是中共党员,p,p,tf,ft,p,真值：负命题真，当且仅当原命题假因此有双重否定律：pp,Ppp,tf,ft,tf,负命题的等值推理,联言命题负命题推理,（pq）（pq）,否定合取得析取，分配否定到变项,充分条件假言命题负命题推理,相容选言命题负命题推理,不相容选言命题负命题推理,（pq）（pq）,否定析取得合取，分配否定到变项,德摩根定律,（pq）（pq）(pq）,（pq）（pq）,必要条件假言命题负命题推理,充要条件假言命题负命题推理,（pq）（pq）,（pq）（pq）（pq）,负命题的负命题推理,（p）p,2.6复合命题的其他推理,假言选言推理（二难推理）,定义：假言、选言命题构成，假言前提为2者是二难推理形式：简单构成式、简单破坏式、复杂构成式、复杂破坏式,prprpp总之，r,pqprqr总之，p,pqrspr总之，或q或s,简单构成式结论不带析取肯定前件式前件不同后件同,简单破坏式结论不带析取否定后件式后件不同前件同,复杂构成式结论带析取肯定前件式前后件均不同,pqrsqs总之，或p或r,复杂破坏式结论带析取否定后件式前后件均不同,破斥错误的二难推理,推理形式评估前提审查（充分条件存在否？选言支穷尽否？）构造相反的二难推理,假言联言推理,定义：假言命题与联言命题构成；结论为联言命题形式：肯定式、否定式,pqrsprqs,pqrsqspr,实际是一次分解式，两次肯定前件式，一次组合式,实际是一次分解式，两次否定后件式，一次组合式,prpqrsqp，rprsqsqs,qspqrspq，sqsrprpr,反三段论,如果从若干前提得出一个结论的推理是有效的，那么，若结论为假，则一定至少有一前提为假。如果知道其中的一个前提真，则剩余那个前提一定为假。,三段论：（pq）r反三段论：,（pq）r）（rp）q）,（pq）r）（rq）p）,试展开已知（pq）r再假定rp则有r，p（分解式得到），（pq）r（pq）（pq）rp（pq）q,（pq）r）（rp）q,不同于,归谬推理,一个命题包含逻辑矛盾，则该命题为假。或，一个命题推出p，又推出p的矛盾命题（p），则该命题假。,（pq）（pq）p,展开pq，pq，即是p（qq），而（qq）恒假，即（qq）恒真，恒真命题可作为前提使用，因此就有P（qq）（qq）p,本章概要：命题是有真假的语句。它包括简单命题和复合命题。复合命题形式有联言命题、选言（相容和不相容）、假言（充分、必要、充要）和负命题形式。它们有不同的真值性质。各种复合命题的推理正是根据这些性质进行的推理。复合命题的定义、结构、真值、推理有效式密切相关。二难推理、假言联言推理、反三段论和归谬推理是从这些复合命题推理的基本形式衍生出来的。,3.1重言式,第三章命题的自然推理,真值形式与真值函项,真值形式,从自然语言来看逻辑形式，有时需要考虑真假关系之外的因素，如支命题之间的相关性，语句的顺序等。如如果摩擦，则生热；明天或者有雨，或者无雨如果225，那么男人就不是男性；或者拉登已死，或者明天下雨第组至少是令人奇怪的，因为从常识来看，支命题之间缺少相关性。情有可原，理无可恕；理无可恕，情有可原支命题顺序不同，意义不同。,可以用类似于几何证明的方法证明所有复合命题的逻辑真理。检验复合命题推理的有效性就变成一种逻辑演算。,但逻辑学难以对付诸如相关性、顺序等影响命题真假的因素。逻辑研究撇开逻辑联结词在自然语言中的非真值意义，仅从复合命题与支命题之间的真假制约关系来考虑逻辑联结词，这样，逻辑联结词就成为真值联结词；命题的逻辑形式也就成为真值形式。,真值联结词,真值形式,仅仅反映支命题与复合命题之间的真值关系的逻辑联结词,仅仅反映支命题与复合命题之间的真值关系的命题形式,基本真值联结词否定合取析取蕴涵等值,基本真值形式真值形式是命题形式的一部分“不但，而且”等不是真值形式。在命题逻辑中，命题形式也就是真值形式。命题形式的定义()任何命题变项是命题形式，如，p，q，p1()若A与B是命题形式，则A、AB、AB、AB、AB也是命题形式（）只有符合()、()的才是命题形式,5种基本真值形式p否定式pq合取式pq析取式pq蕴涵式pq等值式,真值函项,与函数类比,函数讲的是数值关系，一个函数的值依赖于其中变数的值yf（x），即y的值f（x）由x的取值决定。真值函项讲的是真值（真假）关系，一个真值形式的值依赖其变项的值，如pq的值，由p和q的值决定。,每一真值形式都是真值函项；真值形式与真值函项的数目并不一样多，真值形式的数目无限，真值函项数却是确定的；不同的真值形式，表达相同的真值函项；真值函项是对公式中变项的真假组合的真值断定，变项组合数2n，对每一组合有真假两种断定，故真值函项数为22n。,当n（变项数）为1时，其真假组合为2，对真假组合的断定有4种可能，即真值函项有4个；变项数为2，则真值函项有16个；变项数为3，则真值函项为256个。,Pf1f2f3f4tttffftftf,真值函项是确定的，但真值形式是无穷的。,f1永真式（重言式）f4永假式（矛盾式）f2f3可满足式（可真可假）,永真式表达逻辑规律，永假式的否定也是永真式，逻辑主要研究重言式,pppp（pp）,pppp（p）,ppppp,pp（pp）（pp）,若变项数为2，则真值函项总数是16，但其真值函项的种类仍是3类，即重言式、矛盾式和可满足式：f1是重言式，f16是矛盾式，f2f15是可满足式,f1f2f3f4,pqf1f2f3f4f5f6f7f8f9f10f11f12f13f14f15f16ttttttttttfffffffftfttttffffttttffffftttffttffttffttfffftftftftftftftftf,f1pqp;ppq;(pq)(pq)(pq)(pq)等f2pq;(pq)等f3pq；qp；pq等f4p(qq)；p（qq)等f5pq；pq；qp等f6q(pp)；q（pp)等,f7pq;(pq)(pq)f8pq;(pq)f9f8的矛盾式f10f7的矛盾式f11f6的矛盾式f12f5的矛盾式,f13f4的矛盾式f14f3的矛盾式f15f2的矛盾式f16f1的矛盾式,随着变项数目的增加，函项数也增加，当变项数目为3时，函项数目达到256个。但不管函项数是多少，重言式的函项只是一个，矛盾式的函项也是一个，其余均是可满足式。真值函项有3类，那么，表达真值函项的真值形式也有3类：重言式（永真式）、矛盾式（永假式）和可满足式（可真可假式）。当然，每一类真值函项包括很多的真值形式，而同一类真值函项的真值形式是等值的。,通过研究真值函项，使我们看到无穷的真值形式中的同一的和本质的东西，即不同形式的真值形式（公式）表达相同的真值函项。而且，可以把纷繁的真值形式加以归类，因为有多少真值函项，就有多少真值形式的类，使逻辑研究集中于规律性的东西上。逻辑主要研究重言式。,重言式,重言式是逻辑真理的表现形式，是关于复合命题的逻辑规律其中的重言蕴涵式、重言等值式表达有效推理,常见的重言式（逻辑规律）见教科书p8384,3.2命题的真值判定方法,真值表方法,真值表的作用,定义作用：5个基本真值形式的真值表定义了5个真值形式。如，什么是合取式？回答是，每一支命题为真，则它为真的那种真值形式，这正是合取式的真值表反映的情况。,pq,pq,tttfftff,tfff,判定作用：1、判定一个公式的性质（重言式，矛盾式或可满足式）；2、判定任意多个公式的关系（等值或矛盾等）；3、判定一个推理是否有效，即它是否一个重言的蕴涵式或等值式。,真值表的作法,分解公式。把一复杂公式分解为支命题和命题变项。如,（pq）r）（rp）q）,先找到主联结词，即最大括号外的联结词。蕴涵号得到（pq）r）和（rp）q）再行分解得到pq和r；rp和q按变项最简单公式复杂公式顺序排列p，q，r，q，r，pq，rp，（pq）r，（rp）q，最后是总公式（pq）r）（rp）q）可以坚持一条原则：一公式的支命题在前，该公式在后，因此顺序也可排为p，q，r，q，r，pq，（pq）r，rp,（rp）q，只要保证，被判定的公式的支命题在先已经赋值即可。然后画表，先画一个偏十字或表格，将分解后的公式成分由简到繁写进表,（pq）r）（rp）q）的真值表作法第一步：分解公式，画表3个变项，其真假组合共有238种可能因此有8行；变项有3个，整个公式可分解为7部分，共有10列。,第二步：由简到繁填入欲赋值的公式,第三步：给变项赋值（技巧：先给最后一个变项按一真一假赋值，再给第2个变项按两真两假赋值；再给第一个变项按四真四假赋值）,第四步：依次按照5个基本真值形式的真值表给每个子公式赋值,第五步：根据真值表中的总公式即最后一列的赋值，对公式做出判定。此总公式下每一行均为真，故该蕴涵式为重言式，即一个有效推理形式。,判定多个公式的性质或关系,可以看出：第5列与第6列取值完全相反，二者为矛盾关系第6列与第7列取值完全相同，二者为等值关系第6列与第9列取值完全相同，二者为等值关系第8列每一行取值均为真，是重言式,123456789,简化的真值表方法（归谬赋值法）,仅适用于蕴涵式是否重言式的判定。蕴涵式表达一个推理形式，因此也是一种判定复合命题推理是否有效的方法。由于其他的公式可以转换成蕴涵式，所以，这是一种有一定普遍性的方法。原理：一个公式或真或假；否定一个矛盾式，就得到一个重言式；否定一个重言式，就得到一个矛盾式；假设一个公式为假，如果至少一个变项的赋值必定出现矛盾（既赋真，又赋假），则表明原来的假设是错误的，否定假，就得到真，即原公式是重言式。步骤：1、写出被判定公式的横式（如有必要将其转换成蕴涵式）；2、假设该蕴涵式为假；3、依次按照基本真值形式的定义，给每一变项赋值；4、看得到赋值后的任一变项是否必然矛盾；5、若至少有一变项的赋值必然矛盾，则原公式是重言式，它表达的推理是有效的；否则不是重言式，相应的推理是无效的。第一步：,（pq）q）p,（pq）q）p,F,第二步：假设蕴涵式为假,（pq）q）p,第三步：给变项赋值(1)(2)(3),TFF,（pq）q）p,（pq）q）p,FTFTTFFFT,TTTFF,（pq）q）p,F,或者另一种可能TTTTTFFFT,第四步：判定。变项p的赋值矛盾，所以该公式是重言式，对应的推理是有效的。,（pq）r）（rp）q）,1F2TF3TF4TTT5FF6TFF,变项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）重现律AA（2）蕴涵消去律_A,ABB（3）蕴涵引入律+AAB（4）合取引入律+A，BAB,B,（5）合取消去律_ABABAB（6）析取引入律ABABAB（7）析取消去律ABABCCC,（8）否定引入律ABBA（9）否定消去律AA（10）等值引入律ABBAAB,例1,1.pq2.qr/pr3.PAP4.q1,3_5.r2,4_6.pr3,5+,例2,1.pq2.q/p3.PAP4.q1,3_5.qq2,4+6.p3,5+,例3,pq2.rs3.pr/qs4.PAP5.q1,4_6.qs5,+7.rAP8.s2,7_9.qs8,+10.qs3,9_,prprqsqsqs,证明逻辑公式，就是证明无前提公式（前提均为假设）,例4证明pp,1.pAP/pp2.p1,重现律3.pp1,2+,例5证明pp,例6证明pqqp,1.pAP2.pAP3.pp1,2+4.p2,3+5.pp1,4+,1.pqAP2.PAP3.qp2,+4.qAP5.qp4,+6.qp25,_7.pqqp1,6+,例7证明(p(qs)(q(ps),1.p(qs)AP2.qAP3.pAP4.qs1,3_5.s2,4_6.ps3,5+7.q(ps)2,6+8.p(qs)(q(ps)1,7+,本章概要：现代逻辑运用形式语言研究命题逻辑。仅从真值角度来看，命题形式就是真值形式。真值形式和其变项的关系是函数关系，真值形式是真值函项的表达形式。基本真值联结词有5个：否定、合取、析取、蕴涵、等值。基本真值形式包括否定式、合取式、析取式、蕴涵式和等值式。真值函项的个数是22n个（n是变项的数目）。真值函项有三类：永真式（重言式）、永假式（矛盾式）和可满足式。同一真值函项的真值形式是等值的。矛盾式的否定是重言式，重言式的否定是矛盾式。重言式即是逻辑规律。重言蕴涵式表达有效推理。由于真值形式的值唯一地由其变项的真值组合决定，因此其值可以用机械的方法加以判定。根据有效推理是一重言蕴涵式这一性质，可以用归谬赋值法来确定一个推理是否有效。其要点是：假设蕴涵式假，进行推导，如果必然得到至少一个赋值矛盾的变项，则蕴涵式是有效推理形式。现代逻辑的命题逻辑是一个形式系统，所有逻辑真理，或是该系统的推理规则（10条）之一，或是其一个定理。对一个定理的证明仅利用前提、假设、推理规则来进行。,4.1概念及其特征,第四章概念,复合命题的性质及其推理的有效性通过分析构成它的命题成分就可揭示出来。但是，那些简单命题及其构成的推理的特性，用如此的办法并不能奏效。如，“所有团员是青年，所以，有些青年是团员”，这一推理的有效性，就不能用前边分析复合命题及其推理的方法显示出来。因为，“p，所以q”是无效的，而事实上这一推理是完全合乎逻辑的。其实，这一推理的有效性是建立在两个命题里的概念之间的关系上的。这样，我们就需要研究概念的种种问题，以便我们能够分析另一类推理即简单命题的推理。,概念是思维之网的纽结。我们对世界的认识成果都通过概念而巩固起来。,何谓概念,概念是反映对象特有属性或本质属性的思维形式。反映：表明概念是一种主观的形式，但有客观的内容。对象：客观的事物、现象；人的感觉、表象，思想意识，情感意志等，总之，一切可以成为人的认识对象的东西。属性：性质和关系。特有属性：该对象所有，其他对象不具有的属性。非特有属性是并不为某对象专有的属性。借助特有属性，可以把一对象和其他对象区别开来。特有属性反映为初级概念，此时把握的还是对象的偶然的性质，如“人”的初级概念、“金”的初级概念。本质属性：特有属性中根本性的、基础性的，决定其他特有属性的那些特有属性。本质属性反映为深刻的概念即科学概念，它把握的是对象的必然的性质，如科学的“人”的概念、“金”的概念。对象的特有属性是多种多样的，本质属性也是多方面的。,概念与语词、词项,语词是概念的物质外壳。任何概念都是通过语词表达的。它们二者的关系是思维和语言关系的具体表现之一。但是，概念和语词并不是一一对应的：1）并非所有语词都表达概念。虚词中的某些不表达概念。因为这些词并不反映对象的特有属性，如“吗”、“呢”；2）数词一概念。如，父亲、爸爸、大、爹、爹地、father同义词3）一词数概念。如，“道”多义词歧义词项是概念和语词的统一，换句话说，词项就是表达概念的语词。除去不表达概念的语词，所有的语词都可以看成是词项。,概念内涵与外延,内涵：反映在概念中的对象的特有属性或本质属性。例：人是能制造和使用工具的动物商品是为交换而生产的劳动产品回答“是什么”：概念是什么意思说明对象有何性质外延：具有概念所反映的特有属性或本质属性的对象。回答：“有多少”：概念包括哪些对象范围如何该名称适用的事物类、分子、子类、空类（虚概念）注意：内涵特有属性外延对象概念内涵、外延的确定性和变动性,根据内涵与外延的一般特征对概念进行分类。单独概念：外延分子1普遍概念：外延分子2一个对象专名、摹状词一类对象名词、动词、形容词,4.2概念的种类,普遍概念和单独概念,集合概念和非集合概念,反映非集合体非集合概念反映集合体集合概念设A为一个由多个个别对象a1、a2、a3、a4an组成，若a1an的任意一个若a1an的任意一个必然具有A的任一属性，不必然具有A的任一属性，则A为非集合体。则A为集合体。举例：“书”“丛书”，同一语词在不同语境下既可以表达集合概念，也可以表达非集合概念“我班同学都是大学生”“我班同学来自全省各地”,正概念：反映对象具有某种属性的概念负概念：反映对象不具有某种属性的概念。负概念在语词表现形式上带有“无”、“不”、“非”等否定词，但并非带有否定词的都表达负概念，如，“无锡”、“不莱梅”、“非洲”。负概念的概括力较强，一切不具有某种属性的对象都包括在内。若不用负概念，用正概念列举有很大困难。负概念的使用一般总是相对于一个特定的范围，否则陈述的意义不明确“这本杂志上有一篇小说，其余都是非小说”三种分类是对同一概念从不同角度划分的结果。说到底，三种划分实际可归为二种。集合与非集合的划分，在特定的论域内，可以用单独和普遍概念的划分来代替。所谓“总名”的用法，在一定语境中就是单独概念。“分名”的用法，就是普遍概念。这样，集合和非集合概念的区分，也就是单独概念和普遍概念的区分。如“鲁迅的作品”。,正概念和负概念,从外延方面看到的概念间的关系。主要是考虑两个或两个以上概念的外延是否有公共分子，有多少。以下以两个概念关系为典型进行分析。两个概念有完全相同的分子，即两个概念外延包括同样的对象，两个概念指称同样的对象。设概念a和b，ab，自然语言“就是”，“即”全同概念外延相同，但内涵不尽相同，它们反映的是同一对象不同方面的本质属性或特有属性。它既有认识意义，也有修辞意义。根据全同概念，我们可以形成这样的命题：所有a是b，所有b是a,ab,4.3概念间的关系,全同关系,a概念的全部外延与b概念的一部分外延是相同的分子，则a概念真包含于b概念。这就是说，a概念的外延小，b概念的外延大，所有a概念的分子都是b概念的分子，但至少有一个b概念的分子不是a概念的分子。也叫a对b的“种属关系”。我们可以说：所有a是b，有的b是a，有的b不是a。,a概念的部分外延与b概念的全部外延是相同的分子，则a概念包含b概念。也是说，a概念的外延大，b概念的外延小，所有b概念的分子都是a概念的分子，但至少有一个a概念的分子不是b概念的分子。也叫a对b的“属种关系”。我们可以说：所有b都是a，有的a是b，有的a不是b。,bb,a,b,b,a,真包含于关系,真包含关系,a概念的部分外延和b概念的部分外延是相同的分子，而另一部分却是不同的分子。即两个概念仅有一部分分子相同。我们可以形成命题：有些a是b，有些a不是b，有些b是a，有些b不是a。a概念和b概念没有任何相同的分子。即所有a不是b，所有b不是a。考虑到论域，全异关系可具体分为两种,a,b,a,b,交叉关系,全异关系,反对关系a与b全异，且a+b的外延c，a不是b，b不是a；对c中的任一对象x而言，x可能既不是a，又不是b：可能非此非彼。根据矛盾关系，从否定x是a即x不是a，推出x是b；但依据反对关系就不行。团员a党员b人c概念间的关系在以后的性质命题的分析中要运用。,a,b,c,矛盾关系a与b为全异关系，且ab的外延论域（c）a不是b，b不是a；对c中的任一对象x而言，x不是a就是b，当然，x不可能既是a又是b，x也不可能既不是a，又不是b。“非此即彼”这种关系正是一个正概念与其负概念的关系。团员a非团员a或a人c,aa,c,b,a,何谓定义,4.4定义,逻辑是研究思维的逻辑形式及其基本规律以及简单逻辑方法的科学。揭示概念内涵的逻辑方法。以一些更易于理解的概念来替换不易理解的概念；用简明精练的语句将一个概念的内涵揭示出来。由于概念的内涵是反映在概念中的对象的特有属性或本质属性，因此，下定义也就是揭示被定义概念所反映的对象的特有属性或本质属性。这是作为动词的概念。作为名词的“定义”：陈述一个概念内涵的语句。它由三部分组成：被定义项（Ds）、定义项（Dp）和联项。联项有“是”、“就是”、“即”、“所谓，就是”等。其结构是：Ds就是Dp,属加种差定义被定义概念种差属操作时，是先找出被定义概念的属概念，再在属的范围内找出被定义概念反映的对象与其他同类对象之间的差别，然后将种差作为定语加在表达属概念的语词的前头，最后用联词和被定义概念组成一个陈述句。,下定义的方法,人是能制造和使用工具的动物,人的属概念有：高智能动物；灵长类动物；哺乳动物；脊椎动物；爬行动物动物；生物选“动物”为“属”将人与非动物区别开来。但同属于动物的有马，牛，羊，狗，“人是动物”并不能把人和其他动物区别开来。人与其他动物的区别，或人的特有属性是什么？找到这个差别，就可以将人和其余的事物相区别。,动物,人,牛,羊,猪,鸡,马,驴,人,关于属：一个概念的属概念有很多，选用哪一个，应依实际需要。找不到属的概念不能用这种定义方法。关于种差：当种差是很多属性的组合时，定义变得冗长，已不是“简明精练”的语句。对个体作这种定义变成了描述。种差反映对象的特有属性或本质属性。对象的特有属性和本质属性都是多个，因此，种差也可以有多种。不同学科对同一对象有不同定义。下定义也有多种属加种差的方法。性质发生情况功用关系操作,真实定义,性质定义发生定义功用定义关系定义操作定义等。,真实定义或实质定义揭示概念的内涵，也即对象的特有属性或本质属性。但语词定义却是揭示语词所表达的意义的定义，即一个语词本身的意义，而不是语词所表达的概念的意义。描述性（说明性）的：陈述或描述一个已在使用中的术语的一个或几个公认的意义。形式：具有与相同的意义；特征：有真假。犊是小牛规定性的：通过规定，赋予给定的术语以特定的意义；该术语可以是一个新造的语词或符号表达，也可以是一个“旧”术语被用在特定的新的意义上。形式：应具有与相同的意义；让我们把理解为与相同的东西；特征：是约定；不能区分真假。,语词定义,“五四三”办公室,1、揭示本质属性与第4条规则相关2、定义相应相称DsDp3、定义项不得直接或间接包含被定义项；,定义的规则,DsDp,DpDs定义过宽DpDs定义过窄,错误,错误,直接包含DsDp（Ds）同语反复间接包含DsDpDs循环定义,4、尽可能用肯定形式；负概念只能用否定形式来定义，如“非团员”正概念也可能用否定定义，如“平行线”5、定义要清楚确切排除各种修辞手法的运用,定义的作用,教科书p125126,以一对象属性为标准，将一个属概念的外延分成若干个种概念，以明确概念外延的逻辑方法。划分比通过列举分子来明确外延更易操作。结构：被划分的概念划分的母项划分后得到的概念子项任意一个属性划分的根据母项和子项间的关系是属种关系。划分和分解的区分：对象结果关系划分类子类子类必有类的属性分解整体部分部分不必然有整体属性,4.5划分,何谓划分,科学包括自然科学和人文社会科学,一次划分：一个母项，一层次（多个）子项，一个根据图书自然科学图书社会科学图书连续划分：多层母项，多层子项，多个根据,划分的方法,一次划分和连续划分,二分法,一个母项，两个子项，“有无”某属性为根据人类社会形态,图书,自然科学图书,社会科学图书,物理学图书,化学图书,哲学图书,经济学图书,中国哲学外国哲学,阶级社会正概念无阶级社会负概念,划分根据为本质属性或特有属性,分类,辅助分类,自然分类,生物分类元素周期表,字典编排超市商品摆设,划分的根据随意，所以，划分具有临时性；分类的根据深刻，所以，相对稳定。,划分的规则,1.划分必须是相称的母项外延子项外延和子项外延和母项外延划分不全子项外延和母项外延多出子项2.一次划分的根据必须同一3.划分的子项应是相互排斥的子项间为全异关系,错误,错误,错误,混淆根据,子项相容,属种关系的概念:内多外小，内少外大：,4.6概括和限制,内涵和外延的反变关系,马,白马,小白马,动物,内涵,外延,少,多,大,小,概念的限制,根据内多外小，通过增加内涵（属性），使一个外延较大的概念过渡到一个外延较小的概念。连续限制。限制前后的概念关系是属种关系。注意限制性语词是限定即增加内涵，还是仅起描述作用。“长城”“万里长城”。限制的极限单独概念。依据内少外大，通过减少内涵，使得一个外延较小的概念过渡到一个外延较大的概念。连续概括。概括前后的概念关系是种属关系。概括的极限外延最大的概念。去掉限定语是否减少了内涵？,概念的概括,4.7集合论初步,基本概念,一个集合是对象（在思想上）的一个汇集。这些对象是集合的“元素”。集合的元素属于（）集合。集合用大写英文字母，A，B，C等表示，元素用a，b，c等表示，它们的关系表示为ab。当集合的分子给定时，集合也就完全确定了。列举法：Aa，b，c描述法：Axx是大学生集合论允许集合的元素数目为零，如果一个集合不包含任何元素，则它是空集，用o或表示，或。如“50岁的政法学院学生”。空集是唯一的，因为元素相同的集合是同一集合。在日常思维中，“会写计算机程序的狗”和“50岁的政法学院学生”是完全不同的，但它们是同一集合：空集是唯一