悖论与数学基础问题.pptVIP

§4罗素对悖论的解决方案鉴于对非直谓定义的分析，罗素进一步明确了庞卡莱关于悖论成因的想法，即构成悖论的深刻原因却与非直谓定义法有关。为此，罗素明确提出如下的原则。恶性循环原则：没有一个整体能包含一个只能借助于这个整体来定义的元素。基于等价式非直谓是侠义非直谓的一种特殊情况的考虑，罗素的恶性循环原则从集合的观点出发隐含了下述一种思想规定：类型混淆原则：任何一个集合绝不是它自身的一个元素。第30页，共45页，星期日，2025年，2月5日§4罗素对悖论的解决方案作为类的划分的一个基本原则是，每一谓词（性质）都必须从属于一个确定的类。而且每一类的性质只有当其使用于直次于它的那个类的对象才是有意义的。属于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),...就是无意义的。第31页，共45页，星期日，2025年，2月5日§4罗素对悖论的解决方案罗素认为，除掉对于性质要作出类的划分之外，还要对于性质的定义方法，再把同一类中的性质作出级的划分，那些在定义方法中没有涉及“所有的性质”的性质是第1级的，而那些在下定义时涉及第n级的“所有的性质”的性质是第n+1级的，...，如此，当不具体指明所考虑的级，则凡涉及“所有的性质”的表达式是无意义的。这样，所有的性质（谓词）首先按对象的性质，性质的性质，…加以分类，再按类中性质的定义方法加以分级，因之，每一性质都归属于一定的类和级，由于级是在类内划分的，因此，罗素的这一理论就叫做分支类型论。第32页，共45页，星期日，2025年，2月5日悖论与数学基础问题第1页，共45页，星期日，2025年，2月5日章节目录§1悖论的定义和起源§2悖论举例和数学三次危机§3策莫洛对悖论的解决方案§4罗素对悖论的解决方案§5塔斯基及其语义学§6哥德尔的不完备性定理与悖论§7悖论的成因与研究悖论的重要意义第2页，共45页，星期日，2025年，2月5日§1悖论的定义和起源第3页，共45页，星期日，2025年，2月5日悖论分为三种主要形式1．一种论断看起来好像肯定错了，但实际上却是对的（佯谬）。2．一种论断看起来好像肯定是对的，但实际上却错了（似是而非的理论）。3．一系列推理看起来好像无法打破，可是却导致逻辑上自相矛盾。悖论的类型逻辑悖论、概率悖论、几何悖论、统计悖论和时间悖论等§1悖论的定义和起源第4页，共45页，星期日，2025年，2月5日§1悖论的定义和起源一、关于悖论的定义当前流行的说法悖论是一种导致逻辑矛盾的命题。这种命题，如果承认它是真的，那么它又是假的，如果承认它是假的，那么它又是真的。悖论是是指这样一个命题A，由A出发，可以找到一语句B，若假定B真，就可推得?B真，即B假。反之亦然。一个命题构成一个悖论，如果由它的真可以推出它的假，而由它的假可以推出它的真。第5页，共45页，星期日，2025年，2月5日§1悖论的定义和起源当前流行的说法的缺陷：孤立地用肯定等价于否定来作为悖论的定义不够合理全面。1、任何一个悖论在实质上都相对地被包含在某个理论体系中。2、并非每个悖论都要陈述为一个命题或某一语句的形式，有的悖论往往要由一个推演过程来呈现。3、从一些著名悖论的呈现形式来看，人们并不习惯于要求把每个悖论都划归为肯定等价于否定的形式，也可用某一系统中并存的两个互相矛盾的命题来表示一个悖论。第6页，共45页，星期日，2025年，2月5日§1悖论的定义和起源如果某一理论的公理和推理原则看上去是合理的，但在这个理论中却推出了两个互相矛盾的命题，或者证明了这样一个复合命题，它表现为两个互相矛盾的命题的等价式，那么我们就说这个理论包含了一个悖论。因此，我们主张采用A.A.Fraenkel与Y.Bar-Hillel的说法：这样看来，当前流行的那种定义，就只是抽取了Fraenkel陈述中的后半段作为悖论的定义，这显然是不够合理而全面的。第7页，共45页，星期日，2025年，2月5日§1悖论的定义和起源二、关于悖论的起源1、关于悖论的起源，可以追溯到古希