逻辑与科学方法论[07-9]无穷.pptVIP

科学与逻辑方法论 第 讲 无穷 --- 从逻辑的观点看 回忆一下，关于“无穷”， 经验告诉了你什么？哲学家 告诉了你什么？ 现在来看看，关于“无穷”， 逻辑学家能对你说点什么？ 关于无穷的两种哲学见解： 实无穷 潜无穷 潜无穷 不承认排中律 构造性观点 实无穷 对无穷的讨论，可以归结为对无穷集合的讨论。 关于集合的基本概念 什么是集合？ 素朴集合论的两条基本原则 1） 概括原则 2） 外延原则 集合的表示方法 {1，2，3，…，n，n + 1，…} {x | x是自然数} {2，4，6，8，10} {x | x是大于1并且小于11的偶数} 集合与元素 x ?A 表示 x是集合A的元素。 x ? A 表示x不是集合A的元素。 子集和真子集 如果A的元素都是B的元素，则称A是B的子集，记为A?B，因此有 A=B当且仅当 A?B并且B?A 如果A?B并且A≠B，则称A是B的真子集，记作A?B { }表示空集，即没有元素的集合。 对任意集合A，显然有： { }?A 和 A?A 即：任一集合的子集中，都包括空集和它自身。 幂集 一个集合A的所有子集构成的集合，称为A的幂集，记为P(A)。 P（A）= {x│x?A [例] A={1，2，3} A的幂集 P（A）= {{ }，{1}，{2}，{3}，{1，2}， {1，3}，{2，3}，{1，2，3}} 一般地，如果集合A的元素有n个，则A的幂集的元素的数量为2n个。 两个集合A和B能建立一一对应关系，则称 A和B是等势的。等势的集合具有相同的基数。 基数是刻划集合中元素数量的一个概念，两个集合具有相同的基数，直观地说，就表示它们的元素的数量相同。 无穷集合 测测你的定义能力： 什么是“无穷集合”？ 一个集合A是无穷集合，当且仅当存在它的一个真子集B，A和B之间能建立一一对应。 例如，自然数集是无穷集合，因为存在自然数的一个真子集（不妨为）偶数集，二者能建立一一对应如下： 1 --- 2 2 --- 4 3 --- 6 --- n --- 2n ---- 显然，任何有穷集合都无法和自己的任一真子集建立一一对应。 整体可以等于部分，这个闪烁着辩证法光辉的命题，在传统的哲学思考中是靠思辩把握的，而在数理逻辑中，它可严格刻画的。 事实上，现代逻辑提供了这样一种可能性，对一些以往只能靠思辩来把握的哲学命题，提供严格的形式刻划和证明，或者一般地说，为哲学提供一种形式方法。西方兴起的形式哲学，应该引起我国哲学工作者应有的注意。 对于任何一个有穷集合A，显然都存在着一个自然数n，A的元素的数量等于n，n即为A的基数。等势的有穷集合具有相同的基数。 对于无穷集合自然数集，显然不存在一个自然数来表示它的基数。我们用ω0来表示自然数的基数。任何能与自然数集建立一一对应的集合的基数都是ω0 。自然数的任一无穷真子集的基数都是ω0 。 基数为ω0的无穷集合称为无穷可数的；有穷集合称为有穷可数的。因此，可数集合包括有穷集合和基数为ω0的无穷集合。有穷集合的元素自然是可数的；基数为ω0的无穷集合的元素虽然是无穷的，但由于它们可以和自然数集建立一一对应，因此是可以一一地数