逻辑学课件 1.ppt

逻辑学课件 1.ppt逻辑学Logic授课教师郑璐Email:zhenglu2004@一、“逻辑”是什么逻辑的语源学逻各斯、Logic、名学、辩学等。“逻辑”的多义性客观规律;思维规律、规则;看问题的视角、方法;逻辑学等逻辑学简史先秦名辩名学和辩学的合称。主要指先秦诸子关于名和辩的逻辑思想和理论,泛指中国古代的逻辑思想。整个先秦逻辑思想就是一个以正名为重点,包括名、辞、说、辩在内的古代逻辑学说。逻辑是探求区分好论证与坏论证的方法和规则的科学。逻辑使人严谨。第一节普通逻辑的对象和性质第一章绪论《墨经》之《小取》,是中国古典逻辑的一个名家代表人物纲要,比较集中完整地讨论了逻辑的基本内容。墨经》是墨家创始人墨翟思想的发展。后期墨家在逻辑理论方面作出了重要贡献。他们对“故”、“理”、“类”古代逻辑的三个基本范畴下了明确的定义,并对“名”、“辞”、“说”作了深入研究。论述了“辟”(比喻)、“侔”(附比)、“援”(类比)、“推”(间接的归纳与演绎)四种形式的推理(见后期墨家逻辑)。这些思想,在中国古代逻辑史上占有重要地位。印度因明从古代论辩术发展而来。先是五支论式,后发展为三支论式(宗、因、喻)。在分析正确论证和推理的同时,十分注重论证的“过”和反驳的“过”。因明于唐代传入我国并得到发展。墨子公孙龙西方逻辑西方逻辑学创始人。《工具论》6篇奠定了逻辑的基础。主要贡献是对三段论的系统研究。斯多葛学派于三段论之外,研究了命题逻辑。提出理想语言和推理是计算的思想而成为现代逻辑的先驱。批判了形式逻辑,研究了辩证思维,构造了辩证逻辑的体系。《新工具》针对亚氏的演绎逻辑而提出归纳和诉诸自然和经验。三表法。揭示了思维的辩证矛盾。证明了狭谓词演算的有效公式皆可证;如果一个初等数论的形式系统一致,则它是不完全的;这种系统的一致性在本系统中不能证明,更不能用有穷方法证明。他的这些工作正面或反面地,或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题现代归纳逻辑的发展有两个方向:“经典”,流行于50~80年代初期的贝叶斯运动。20世纪中叶以来,。科恩指出,支持度可列为不同的等级,不同等级的支持度,就是证据给予假设不同等级的必然性,一个被证明了的理论就是由较低级的必然性达到较高级的必然性。把概率作为一个逻辑概念来处理,区别于以相对频率为根据的统计概率。逻辑概率是一切不具有演绎必然性的归纳推理的基础,关于逻辑概率的理论就是归纳逻辑。它可给出假说的相对于给定证据的确认度严格的因果陈述只是概率陈述的极限情况,科学中尤其是量子力学中的因果概念,并不一定要求概率接近于1。一切科学陈述均是概率陈述,科学的逻辑是取值为区间0~1上的全部实数的概率逻辑逻辑形式:具有不同内容的思维(命题和推理)所共同具有的形式或结构操作定义:用抽象字母代换命题或推理中的具体内容所得到的东西逻辑形式实践感性认识感觉知觉表象理性认识概念判断推理思维形式认识与思维普通逻辑的研究对象研究思维的逻辑形式及其基本规律以及人们认识现实的简单的逻辑方法思维的特征:间接性、概括性、与语言不可分离一切反动派都是纸老虎所有团员都是青年所有我班学生都是大学生所有商品都是劳动产品SP以上四个命题具有不同的内容,但用抽象字母替换其具体内容后,所得到的结构是:所有 S 是 P一切反动派都不是纸老虎所有团员都不是青年所有我班学生都不是大学生所有商品都不是劳动产品所有 S 不是 P类似地,以下命题也具有不同的内容但它们有共同的逻辑形式与这些逻辑形式属于同类的还有命题的逻辑形式有的 S 是 P有的 S 不是 P如:有的人是团员有的人不是大学生如果一个物体摩擦, 那么这个物体生热如果你能办成这件事,那么我从四楼跳下去还有另外一类命题pq按照操作定义,得出它们的逻辑形式是如果p那么q其中替换内容的字母用了小写的p、q等只有p才q只有耕耘,才有收获只有发烧,才会患肺炎要么武松死,要么老虎死生存,还是死亡?要么p要么q这商品品质好,而且价格低小张学****好,而且品德高尚P且q或者p或者q或者老张是导演,或者老张是演员他或者吃米饭,或者吃面条并非p并非人是由石头变来的并非人人有自知之明推理的逻辑形式推理由命题组成,如果用相同的字母替换相同的具体内容,就可得到推理的逻辑形式所有团员是青年,所以,有的青年是团员SPPS所有哲学家是思想家,亚里士多德是哲学家,所以,亚里士多德是思想家MPSMSP所有M是P,所有S是M,所以,所有S是P所有S是P,所以,有的P是S不同类型的命题可组成不同类型的推理如:如果一个人患肺炎(p),那么他发烧(q),小张不发烧(非q),所以,他未患肺炎(非p)如果p,那么q非q所以,非p要么你交钱(p),要么你交命(q)你交了钱(p)所以