大学课程《逻辑学》课件.pptxVIP

逻辑学;1.1 逻辑是什么;《墨经》 之《小取》，是中国古典逻辑的一个;;证明了狭谓词演算的有效公式皆可证；如果一个初等数论的形式系统一致，则它是不完全的；这种系统的一致性在本系统中不能证明，更不能用有穷方法证明。他的这些工作正面或反面地，或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题; 逻辑的类型;N.Rescher Topics in Philosophical Logic 逻辑分支一览表;逻辑形式：具有不同内容的思维（命题和推理）所共同具有的形式或结构;一切反动派都是纸老虎　　　　　所有团员都是青年 所有我班学生都是大学生　　　　所有商品都是劳动产品;　有　的　S　是　P;或者ｐ或者ｑ;; 逻辑规律：同一律、矛盾律、排中律。（第9章详论）;所有S是P， 所以，所有P是S; 可靠的：当前提为真，结论较大可能为真时，一个推理形式是可靠的；否则，是不可靠的。; 自然语言与人工语言;1.2 学习逻辑的意义; 学习逻辑的方法;;命题的基本特征;命题形式：命题的逻辑形式＝命题形式 ; ; 推理：从一个或几个已知命题推出一个新命题的思维形式。 例，有的大学生是男性， 所以，有的男性是大学生。 推理分类; 定义：反映若干事物情况同时存在 结构：联言支（conjunct，若干情况） 联结词（connective