集合论语形悖论.pptVIP

第1页，共38页，2022年，5月20日，1点23分，星期四 一、罗素悖论 1901年6月，罗素在利用康托儿的集合论解决问题时，发现了罗素悖论， 在1902年罗素写信把这个反先告诉了弗雷格，使得弗雷格大为震惊， 在《算术基本法则》中，弗雷格尝试用集合概念来定义数，并认为这一任务已大致完成。 然而在这个时候，他得知了所谓的“罗素悖论”，这一悖论对弗雷格的事业是一个毁灭性的打击。 第2页，共38页，2022年，5月20日，1点23分，星期四 弗雷格在他的《算术基本法则》第二卷的结尾处写了这样的一段话：“一个科学家工作完成之日，也是这一建筑物的几处倒塌之时，没有什么比这个更糟糕了。当本书即将付梓之时，罗素先生的一封信把我置于这样的境地。” “在工作已经结束时，自己建造的大厦的一块主要基石却动摇了，对一个科学家来说，没有比这更让人沮丧了”。 弗雷格以一个学者对于理论和研究的深刻忠诚，承认了这一切，1902年，弗雷格在《算术基础》第二卷“后记”中将该悖论随书出版公布。 第3页，共38页，2022年，5月20日，1点23分，星期四 什么是罗素悖论呢？这就是罗素发现的在近代由康托儿提出的集合论中间包含着的一个悖论。 在素朴集合论中，集合本身也能够成为集合的元素和对象，但是集合本身能否成为自己身的元素和对象呢？ 有些集合本身还可以成为自己集合的一个对象， 例如，元素个数不为3的集合，记作﹛元素个数不为3﹜， 第4页，共38页，2022年，5月20日，1点23分，星期四 元素个数不为3的集合有很多，肯定不是只有3个，所以这个集合﹛﹛元素个数不为3﹜﹜，即元素个数不为3的所有的集合本身构成的集合，它的元素个数肯定不是3，那么它也应该属于﹛元素个数不为3﹜的集合。 这样的集合我们称之为是属于自身的集合，记作﹛属于自身的集合﹜，即所有那些和上例相同的，能够属于自己的集合放在一起构成的大的集合。 第5页，共38页，2022年，5月20日，1点23分，星期四 当然与这个相对还有另一种情况：即集合是不属于自身， 例如﹛人﹜这个集合，集合里的元素就是世界上个人，而由人构成的集合本身只是一个集合，肯定不是人，所以它就不能属于自己。 而由这样的集合—不属于自身的集合，放在一起构成一个集合，这个集合就是不属于自身的集合的集合，记作﹛不属于自身的集合﹜。 第6页，共38页，2022年，5月20日，1点23分，星期四 我们就把所有的集合分为了两种情况：属于自身的和不属自身的， 而两种不同性质的集合又分别构成了两个大的集合，即﹛属于自身的集合﹜；﹛不属于自身的集合﹜。 这样两个集合我们分别用逻辑符号表示为：﹛x属于x﹜；﹛x不属于x﹜ 对于这两个新的集合：﹛属于自身的集合﹜和﹛不属于自身的集合﹜他们本身又是否属于自身呢？ ﹛属于自身的集合﹜，很明显它是属于自身的， 第7页，共38页，2022年，5月20日，1点23分，星期四 因为﹛属于自身的集合﹜，它本身就是一个属于自身的集合，当然按照对集合的两种归类，它应该被归到属于自身那一类， 所以它是属于自身的，即﹛属于自身的集合﹜属于﹛属于自身的集合﹜，即它是属于自身的，逻辑符号可以记作：﹛x属于x﹜属于﹛x属于x﹜； 但是对于集合﹛不属于自身的集合﹜，如何判断它呢？ 就是说这个集合是属于自身还是不属于自身，这就是罗素悖论的来源。 第8页，共38页，2022年，5月20日，1点23分，星期四 弗雷格表述如下：“为简短起见，我们称之为类K。现在让我们问，这个类K是不是属于自身。 如果一个东西属于一个类，那么它就归属于以这个类为其外延的概念。 这样，如果类K属于自身，那么它就是一个不属于自身的类。因此我们的第一个假定导致自相矛盾。 第二，让我们假定类K不属于自身，这样它就属于以自身为其外延的概念，因此就属于自身。 这里我们又一次得到同样的矛盾。” 第9页，共38页，2022年，5月20日，1点23分，星期四 这里解释两点： 第一，“以这个类为其外延的概念”，这里“一个概念是一个其值总是一个真值的函数”，即命题函项。 例如人这个概念指的是X是人这个函数，某物归属于这个概念，即它可以满足X是人这个函数式（使之为真）。 第二，集合的内涵和外延。 第10页，共38页，2022年，5月20日，1点23分，星期四 第一步，我们假设它是属于自身的； 假设这个集合是属于自身的，即它是集合﹛不属于自身的集合﹜的一个元素， 而集合﹛不属于自身的集合﹜的元素具有什么特点呢？即不属于自身， 既然我们假定它是属于这个集合的，是这个集合的一个元素，当然它也应该具有这个性质：不属于自身， 这样我们经过推倒得到的结论就是：它不属于自身。而这个结果就和假设相矛盾了； 第一步的假设不成立。 第11页