第八讲 悖论与数学基础问题.pptVIP

第八讲 悖论与数学基础问题 章节目录 §1 悖论的定义和起源 §1 悖论的定义和起源 §1 悖论的定义和起源 一、关于悖论的定义 当前流行的说法 §1 悖论的定义和起源 当前流行的说法的缺陷： 孤立地用肯定等价于否定来作为悖论的定义不够合理全面。 1、任何一个悖论在实质上都相对地被包含在某个理论体系中。 2、并非每个悖论都要陈述为一个命题或某一语句的形式，有的 悖论往往要由一个推演过程来呈现。 3、从一些著名悖论的呈现形式来看，人们并不习惯于要求把每 个悖论都划归为肯定等价于否定的形式，也可用某一系统中 并存的两个互相矛盾的命题来表示一个悖论。 §1 悖论的定义和起源 §1 悖论的定义和起源 二、关于悖论的起源 §1 悖论的定义和起源 §1 悖论的定义和起源 §1 悖论的定义和起源 §2 悖论举例和数学三次危机 §2 悖论举例和数学三次危机 §2 悖论举例和数学三次危机 §2 悖论举例和数学三次危机 §2 悖论举例和数学三次危机 §2 悖论举例和数学三次危机 §2 悖论举例和数学三次危机 §2 悖论举例和数学三次危机 §2 悖论举例和数学三次危机 §3 策莫洛对悖论的解决方案 §3 策莫洛对悖论的解决方案 §3 策莫洛对悖论的解决方案 §3 策莫洛对悖论的解决方案 §3 策莫洛对悖论的解决方案 §3 策莫洛对悖论的解决方案 ZFC集合论公理系统 外延公理 空集公理 配对公理 并集公理 幂集公理 子集公理 无穷公理 选择公理 代换公理 正则公理 §4 罗素对悖论的解决方案 §4 罗素对悖论的解决方案 §4 罗素对悖论的解决方案 §4 罗素对悖论的解决方案 §4 罗素对悖论的解决方案 §4 罗素对悖论的解决方案 §4 罗素对悖论的解决方案 §4 罗素对悖论的解决方案 §5 塔斯基及其语义学 §5 塔斯基及其语义学 §5 塔斯基及其语义学 §5 塔斯基及其语义学 §5 塔斯基及其语义学 §6 哥德尔的不完备性定理与悖论 §6 哥德尔的不完备性定理与悖论 §6 哥德尔的不完备性定理与悖论 §6 哥德尔的不完备性定理与悖论 §7 悖论的成因与研究悖论的重要意义 §7 悖论的成因与研究悖论的重要意义 补充一：悖论与马克思主义哲学 课题讨论 超穷数与中学数学 教学教法 对于学生学习（如何培养正确的数学科学认识） 对于教师教学（有效找出学生的认识误区） 鉴于对非直谓定义的分析，罗素进一步明确了庞卡莱关于悖论成因的想法，即构成悖论的深刻原因却与非直谓定义法有关。为此，罗素明确提出如下的原则。 恶性循环原则：没有一个整体能包含一个只能借助于这个整体来定义的元素。 基于等价式非直谓是侠义非直谓的一种特殊情况的考虑，罗素的恶性循环原则从集合的观点出发隐含了下述一种思想规定： 类型混淆原则：任何一个集合绝不是它自身的一个元素。 作为类的划分的一个基本原则是，每一谓词（性质）都必须从属于一个确定的类。而且每一类的性质只有当其使用于直次于它的那个类的对象才是有意义的。 属于O类中的对象的名称 第一类：对象的性质，如：a,b,c,... 第二类：性质的性质，如：f(a),g(b),...中的f,g,... 第三类：性质的性质的性质，如：F(f),G(f),...中的F,G,... 基于类的划分的基本原则，如f(a),G(f)...是有意义的，但F(a),f(f),a(b),...就是无意义的。 罗素认为，除掉对于性质要作出类的划分之外，还要对于性质的定义方法，再把同一类中的性质作出级的划分，那些在定义方法中没有涉及“所有的性质”的性质是第1级的，而那些在下定义时涉及第n级的“所有的性质”的性质是第n+1级的，...，如此，当不具体指明所考虑的级，则凡涉及“所有的性质”的表达式是无意义的。 这样，所有的性质（谓词）首先按对象的性质，性质的性质，…加以分类，再按类中性质的定义方法加以分级，因之，每一性质都归属于一定的类和级，由于级是在类内划分的，因此，罗素的这一理论就叫做分支类型论。 类与级的划分的区分： 类的划分：对集合对象的性质而言的； 级的划分：对性质的定义方法而言。 恶性循环原则 狭义非直谓定义法 冲突 类型混淆原则 等价式非直谓定义法 冲突 实际上，那些不涉及类型混淆的非直谓定义法常常是不可缺少的。如果坚持贯彻恶性循环原则，势必要将许多数学概念抛弃，虽然排除了悖论，却也同时失去了很多合理的东西。 罗素的分支类型论虽然解决了悖论，但并没有让逻辑学家们和数学家们感到