分枝类型论与可构成集.PDFVIP

分枝类型论与可构成集 杨睿之 北京大学哲学系 摘要 罗素悖论 的发现使 弗雷格 为数 学寻找逻辑基础 的努力受到重创。分 枝类型论是 罗素 自己提供 的一种解决方案。可构成集则是 集合论 中所定义的概 念。它由哥德 尔提 出并用于证 明连续统假设相对 的一致性。本文将探寻 两者 的 内在联 系，并 由此讨论罗素与哥德 尔的不 同哲学立场对 于他们数 学实践的影 响。 1 研究的出发点 1.1 哲学立场 我既不是典型 的实在论者也不是反实在论者，我也不是逻辑主义、直觉主 义、形式主义或者结构主义 的忠实簇拥 。如果必须用 “某某主义”来概括我的哲 学立场，实用主义 会是一个 比较接近的表达 。也就是说，面对具体 的问题时，依据经验，如果某种哲学理论的效果 比较好，我就会倾 向于接受这种 哲学理论。但是在数学哲学中，“实用主义”并不是一个正式称呼。 对数学哲学的思考 中，关于哲学理论与数学实践之 间相互关系有两种态度 。 夏皮罗