科学逻辑方法论072ppt课件.pptVIP

本课程公共邮箱 进入 邮箱地址：chenmuze2000 密码参考书目： 《逻辑学》 中国人民大学哲学院逻辑教研室编 中国人民大出版社 《数理逻辑发展史》 张家龙著 中国社会科学出版社 《逻辑哲学》陈波著 中国人民大学出版社 《数理逻辑教程》陈慕泽著 上海人民出版社 《数理逻辑基础--- 一阶逻辑与一阶理论》 陈慕泽 著 中国人民大学出版社 第二讲 什么是逻辑？ （一个至少在逻辑学家中最具争议的问题） 逻辑学是研究思维的形式结构及其规律的科学 思维形式结构 思维形式结构的规律 思维形式结构 (1)所有杨树是落叶乔木。 (2)所有哺乳动物是脊椎动物。 (3)所有商品是劳动产品。 ? 所有S是P ? 逻辑常项 逻辑变项 （词项变项） 代入 (1)如果水温在一个大气压下为零摄氏度，那么就会结冰。 (2)如果某甲作案，那么他有作案动机。 (3)如果过度砍伐森林，那么会破坏生态平衡。 ? 如果p，那么q 逻辑常项 逻辑变项（命题变项） 代入 思维形式结构的规律性 永真式（逻辑规律） 可真式 非永真的可真式 不可真式 （逻辑矛盾） 定义是苍白的… 让我们找一下逻辑的感觉，品味一下逻辑。 逻辑学家是干什么的？ [一个小幽默] 初遇悖论 [思考]甲乙两人涉嫌作案被拘审。 甲：我没作案。 乙：我们两人中只有一人说真话。 根据以上陈述，法官断定甲作案。 以下是法官的推断： 如果乙说真话，则甲说假话，即事实上甲作案。 如果乙说假话，则有两种可能：第一，两人都说真话；第二，两人都说假话。 已假设乙说假话，所以第一种可能不存在，因此，两人都说假话，即事实上甲作案。 乙的陈述或者为真，或者为假，二者必居其一。 因此，甲事实上作案。 法官的推断给你何种感觉？ 悖论 逻辑林园中的奇葩 对理性思维的重大挑战 事实错误和逻辑错误 [思考] 命题1 世界是上帝创造的。 命题2 上帝是万能的造物主。 从无神论的观点看，上述命题都是假命题。 你能指出并分析这两个假命题之间的一个实质性区别吗？ [分析] 命题1是假的，因为… 当然我们也可以类似地说… 但是… [分析] 命题1是假的，因为它所断定的不是事实。 当然我们也可以类似地说，命题2是假的，因为它所断定的不是事实。但是，和命题1不同，命题2的假，还有更深刻的根据。 针对命题2，可以提这样的问题：上帝能不能造出一块他自己都搬不动的石头？ …… 我们发现，和命题1不同，命题2的假是独立于任何事实及其认定的。 针对命题2，可以提这样的问题：上帝能不能造出一块他自己都搬不动的石头？ 如果上帝能造出一块他自己都搬不动的石头，则他不是万能的，因为这块石头他搬不动。 如果上帝不能造出一块他自己都搬不动的石头，则他不是万能的，因为这块石头他不能创造。 上帝能造出一块他自己都搬不动的石头或者不能，二者必居其一。 因此，上帝不